David von Oheimb - Computer Science Homepage
Description: Computer Science Homepage of David von Oheimb
Keywords: David von Oheimb, David, von Oheimb, homepage, Computer Science, Isabelle, Semantics, Java, Bali, Security, Analysis, ISM, Noninterference, Protocols
Tags: ddvo, science, computer, von, david, oheimb, homepage, html, valid, dvo, photo, transitional, ichtys, security, münchen, phd, siemens, isabelle, bali, java, semantics, analysis, software, source, fme, open, interacting, avispa, certification, state, avantssar, criteria, track, acm, applied, symposium, computing, chair, programme, verificard,
Ddvo.net
|
Content Revalency:
Title: 100.00%
Description: 85.71%
Keywords: 86.67% | Document size: 6,614 bytes
More info: Whois - Trace Route - RBL Check |
|
| DDVO.NET - Site Location | |
| Country/Flag |  Germany |
| City/Region/Zip Code | Nürnberg, Bayern, 90455 |
| Organization | Hetzner Online AG |
| Internet Service Provider | Hetzner Online GmbH |
| DDVO.NET - Domain Information | |
| Domain | DDVO.NET [ Traceroute RBL/DNSBL lookup ] |
| Registrar | PSI-USA, INC. DBA DOMAIN ROBOT PSI-USA, Inc. dba Domain Robot |
| Registrar URL | http://www.psi-usa.info |
| Whois server | whois.psi-usa.info |
| Created | 14-Mar-2001 |
| Updated | 15-Mar-2014 |
| Expires | 14-Mar-2015 |
| Time Left | 0 days 0 hours 0 minutes |
| Status | clientTransferProhibited clientTransferProhibited |
| DNS servers | NS01.WEBGO24.DE 62.116.159.47 NS02.WEBGO24.DE 83.169.55.8 NS03.WEBGO24.DE 89.146.248.44 NS04.WEBGO24.DE 74.208.254.43 ns01.webgo24.de 62.116.159.47 ns02.webgo24.de 83.169.55.8 ns03.webgo24.de 89.146.248.44 ns04.webgo24.de 74.208.254.43 |
| DDVO.NET - DNS Information | |
| IP Address | 88.198.58.137 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns03.webgo24.de 89.146.248.44 ns02.webgo24.de 217.160.113.79 ns04.webgo24.de 74.208.254.43 ns01.webgo24.de 62.116.159.47 |
| Mail Exchange | pop.ddvo.net 37.17.224.8 smtp.ddvo.net 37.17.224.8 |
| Site Response Header | |
| Response | HTTP/1.1 302 Found |
| Server | Apache/2.2.9 (Debian) DAV/2 SVN/1.5.1 PHP/5.3.3 |
| Date | Sun, 10 Apr 2011 19:56:04 GMT |
| Content-Type | text/html |