WWW.RTSAK.COM - formal-methods.de
Search for IP or hostnames:
formal-methods.de checked at 2025-10-03T05:00:51.172Z 711ms 93/93/93 100% R:21formal-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 resolves to a single IP: 134.99.142.9.
Other host names including web-container.stups.hhu.de, gepavas.de and stups.hhu.de share IP numbers with 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 shares some name servers with other domains, for example 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 some mail servers with other domains, at least partially; 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.