IPLIST.NET - formal-methods.de
Search for IP or hostnames:
formal-methods.de checked at 2025-09-20T09:06:18.072Z 549ms 93/93/93 100% R:28formal-methods.de
| NS | ns1.arcor-ip.de | ||||||
| A | 145.253.2.19🇩🇪 Vodafone Germany | ||||||
| PTR | ns1.vodafone-ip.de | ||||||
| NS | ns2.arcor-ip.de | ||||||
| A | 145.253.2.80🇩🇪 Vodafone Germany | ||||||
| PTR | ns2.vodafone-ip.de | ||||||
| NS | ns3.arcor-ip.de | ||||||
| A | 145.253.3.171🇩🇪 Vodafone Germany | ||||||
| PTR | ns3.vodafone-ip.de | ||||||
| NS | selene.rz.uni-duesseldorf.de | ||||||
| A | 134.99.128.5🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | dns-2.rz.uni-duesseldorf.de | ||||||
| NS | sirene.rz.uni-duesseldorf.de | ||||||
| A | 134.99.128.2🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | dns-1.rz.uni-duesseldorf.de | ||||||
| MX | a2881.mx.srv.dfn.de | ||||||
| A | 194.95.233.77🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | a2881.mx.srv.dfn.de | ||||||
| MX | b2881.mx.srv.dfn.de | ||||||
| A | 194.95.235.77🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | b2881.mx.srv.dfn.de | ||||||
| MX | c2881.mx.srv.dfn.de | ||||||
| A | 194.95.239.77🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | c2881.mx.srv.dfn.de | ||||||
| A | 134.99.142.9🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
| PTR | web-container.stups.hhu.de | ||||||
de
| NS | a.nic.de | ||||||
| NS | f.nic.de | ||||||
| NS | z.nic.de | ||||||
| NS | l.de.net | ||||||
| NS | n.de.net | ||||||
| NS | s.de.net | ||||||
Starts with same word
formal-methods.de |
Starts similarily
formal-methods.de |
AI analysis
formal-methods.de maps to IP address 134.99.142.9.
Other host names, for example web-container.stups.hhu.de, gepavas.de and stups.hhu.de share the same IP as formal-methods.de.
formal-methods.de delegates to five name servers: ns1.arcor-ip.de, ns2.arcor-ip.de, ns3.arcor-ip.de, selene.rz.uni-duesseldorf.de and sirene.rz.uni-duesseldorf.de.
formal-methods.de at least partially shares name servers with other domains such as 88.59.84.in-addr.arpa, labor-tiergesundheit.de, sub32.243.253.145.in-addr.arpa, 46.0.178.in-addr.arpa and digaservice.de.
These name servers are often used together with deneb.dfn.de, zdns01.hs-duesseldorf.de, zdns02.hs-duesseldorf.de, dns1.isis.de, dns-1.dfn.de, dns-2.dfn.de, dns-3.dfn.de, dns.math.uni-duesseldorf.de and verzeichnis.cs.uni-duesseldorf.de.
Host names with one IP number:
ns1.arcor-ip.de points to 145.253.2.19
ns2.arcor-ip.de points to 145.253.2.80
ns3.arcor-ip.de points to 145.253.3.171
selene.rz.uni-duesseldorf.de points to 134.99.128.5
sirene.rz.uni-duesseldorf.de points to 134.99.128.2
formal-methods.de is handled by three mail servers: a2881.mx.srv.dfn.de, b2881.mx.srv.dfn.de and c2881.mx.srv.dfn.de.
formal-methods.de shares mail servers with other domains at least in part, for instance biophys.uni-duesseldorf.de, phil.uni-duesseldorf.de, mail.rz.uni-duesseldorf.de, tp1.uni-duesseldorf.de and dfpk.de.
Host names with a single IP:
a2881.mx.srv.dfn.de points to 194.95.233.77
b2881.mx.srv.dfn.de points to 194.95.235.77
c2881.mx.srv.dfn.de points to 194.95.239.77