Peter C. Dillinger
Tags: peterd, peter, dillinger, acl, spin, murphi, workshop, software, verification, storage, state, theorem, nasa, triple, sedan, probabilistic, fast, panagiotis, manolios, approximate, international, java, proving, prover, resume, engineering, coverity, reliable, laboratory, automated, pathfinder, web, archived, enhanced, group, bloom, purpose, adaptive, northeastern, extending,
Peterd.org
|
Content Revalency:
Title: 66.67%
Description: 0.00%
Keywords: 0.00% | Document size: 4,395 bytes
More info: Whois - Trace Route - RBL Check |
|
| PETERD.ORG - Site Location | |
| Country/Flag |  United States |
| City/Region/Zip Code | Chicago, Illinois, 60608 |
| Organization | Server Axis Corporation |
| Internet Service Provider | Server Axis Corporation |
| PETERD.ORG - Domain Information | |
| Domain | PETERD.ORG [ Traceroute RBL/DNSBL lookup ] |
| Registrar | CSL Computer Service Langenbach GmbH d/b/a joker.com a German GmbH |
| Whois server | whois.pir.org |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| Status | clientTransferProhibited https://icann.org/epp#clientTransferProhibited |
| DNS servers | A.NS.JOKER.COM 69.39.224.27 B.NS.JOKER.COM 66.197.237.21 C.NS.JOKER.COM 69.39.224.26 |
| PETERD.ORG - DNS Information | |
| IP Address | 208.68.210.65 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | b.ns.joker.com 66.252.5.4 c.ns.joker.com 85.25.110.247 a.ns.joker.com 184.172.157.218 |
| Mail Exchange | mail.peterd.org 45.32.200.10 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny9 with Suhosin-Patch mod_python/3.3.1 Python/2.5.2 mod_ssl/2.2.9 OpenSSL/0.9.8g |
| Date | Fri, 15 Apr 2011 18:44:11 GMT |
| Content-Type | text/html |