carstensinz.de bewertung und analyse
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Carsten |
| Description | Carsten Sinz Welcome Projects Publications Activities Talks Software CV Links Carsten Sinz Welcome to my Web Page! I am a computer scientist currently act |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 91.204.46.169 |
| Location | - |
Verwandte Websites
| Site | Rank |
| carstenmueller.de | 33,551,838 |
| carstenkraus.ai | 22,378,834 |
| carsten-nichte.de | 12,586,502 |
| carstennicolai.de | 2,072,443 |
| carsten-kania.de | 0 |
Mehr zu entdecken
carstensinz.de bewertung
|
Euro€1,102
Zuletzt aktualisiert: 2022-06-01 07:09:02
carstensinz.de hat Semrush globalen Rang von 35,017,150. carstensinz.de hat einen geschätzten Wert von € 1,102, basierend auf seinen geschätzten Werbeeinnahmen. carstensinz.de empfängt jeden Tag ungefähr 551 einzelne Besucher. Sein Webserver befindet sich in - mit der IP-Adresse 91.204.46.169. Laut SiteAdvisor ist carstensinz.de sicher zu besuchen. |
Verkehr & Wertschätzungen
| Kauf-/Verkaufswert | Euro€1,102 |
| Tägliche Werbeeinnahmen | Euro€22,591 |
| Monatlicher Anzeigenumsatz | Euro€7,714 |
| Jährliche Werbeeinnahmen | Euro€551 |
| Tägliche eindeutige Besucher | 551 |
| Hinweis: Alle Traffic- und Einnahmenwerte sind Schätzungen. | |
DNS Records
| Host | Type | TTL | Data |
| carstensinz.de. | A | 7199 | IP: 91.204.46.169 |
| carstensinz.de. | AAAA | 7199 | IPV6: 2a03:4000:30:ca1b::15:2535 |
| carstensinz.de. | NS | 86400 | NS Record: root-dns.netcup.net. |
| carstensinz.de. | NS | 86400 | NS Record: second-dns.netcup.net. |
| carstensinz.de. | NS | 86400 | NS Record: third-dns.netcup.net. |
| carstensinz.de. | MX | 86400 | MX Record: 50 mx2eab.netcup.net. |
| carstensinz.de. | MX | 86400 | MX Record: 10 mail.carstensinz.de. |
| carstensinz.de. | TXT | 86400 | TXT Record: v=spf1 mx a include:_spf.webhosting.systems ~all |
HtmlToTextCheckTime:2022-06-01 07:09:02
| Carsten Sinz Welcome Projects Publications Activities Talks Software CV Links Carsten Sinz Welcome to my Web Page! I am a computer scientist currently acting as head of the research group "Verification meets Algorithm Engineering" at the Institute for Theoretical Computer Science of Karlsruhe Institute of Technology , Germany. Before that, I have been a member of the Symbolic Comptuation Group at the University of Tbingen, Germany and the Institute for Formal Models and Verification at the Johannes Kepler University Linz , Austria. I studied computer science and physics at the Eberhard Karls University Tbingen , Germany, where I gratuated with a PhD (Dr. rer. nat.) in computer science. My professional interests include SAT Solving (especially industrial applications, parallel SAT algorithms, and visualization of SAT instances), Product Configuration (modeling and verification issues), and Software Verification (bounded model checking). Over the last years, I have also been working on |
HTTP Headers
HTTP/1.1 301 Moved Permanently Server: nginx Date: Sat, 05 Mar 2022 09:07:04 GMT Content-Type: text/html Content-Length: 162 Connection: keep-alive Location: https://carstensinz.de/ HTTP/2 200 server: nginx date: Sat, 05 Mar 2022 09:07:04 GMT content-type: text/html content-length: 3416 vary: Accept-Encoding x-accel-version: 0.01 last-modified: Sat, 16 Jan 2021 21:18:13 GMT etag: "d58-5b90b06c66f40" accept-ranges: bytes vary: Accept-Encoding |