Website beoordeling schurr.io
Hans-Jörg Schurr
Gegenereerd op Januari 28 2026 14:11 PM
Oude statistieken? UPDATE !
De score is 51/100
SEO Content
Title
Hans-Jörg Schurr
Lengte : 16
Perfect, uw title tag bevat tussen de 10 en 70 karakters.
Description
Lengte : 0
Erg slecht.we hebben geen meta description gevonden in uw website. Gebruik deze gratis online meta tags generator om een beschrijving te genereren.
Keywords
Erg slecht. We hebben geen meta keywords gevonden in uw website. Gebruik deze gratis online meta tags generator om keywords te genereren.
Og Meta Properties
Deze pagina maakt geen gebruik van Og Properties. Deze tags maken het sociale crawlers makkelijker uw pagina te indexeren.
Headings
| H1 | H2 | H3 | H4 | H5 | H6 |
| 1 | 8 | 10 | 0 | 0 | 0 |
- [H1] Hans-Jörg Schurr
- [H2] Introduction
- [H2] Publications
- [H2] Artifacts and Software
- [H2] Talks
- [H2] Service
- [H2] Teaching
- [H2] Contact
- [H2] Friends and Collaborators
- [H3] Content
- [H3] 2026
- [H3] 2025
- [H3] 2024
- [H3] 2023
- [H3] 2022
- [H3] 2021
- [H3] at The University of Iowa
- [H3] at Polytech Nancy (in French 🇫🇷)
- [H3] at FU Berlin
Afbeeldingen
We vonden 4 afbeeldingen in de pagina.
2 alt attributen ontbreken. Voeg alternatieve text toe zodat zoekmachines beter kunnen beoordelen wat het onderwerp van de afbeeldingen is.
Text/HTML Ratio
Ratio : 46%
Ideaal! De ratio van text tot HTML code is tussen de 25 en 70 procent.
Flash
Perfect, geen Flash content gevonden in uw website.
Iframe
Perfect, er zijn geen Iframes in uw website aangetroffen.
SEO Links
Herschreven URL
Perfect. Uw links zien er vriendelijk uit!
Underscores in de URLs
We hebben underscores gevonden in uw URLs. U zou het minteken moeten gebruiken ten behoeven van SEO.
In-page links
We vonden een totaal van 112 links inclusie 40 link(s) naar bestanden
| Ankertekst | Type | samenstelling |
|---|---|---|
| University of Iowa | Extern | doFollow |
| cvc5 | Extern | doFollow |
| Eunoia | Extern | doFollow |
| LFSC | Extern | doFollow |
| Alethe | Extern | doFollow |
| veriT | Extern | doFollow |
| SMT-LIB benchmark library | Extern | doFollow |
| SMT competition | Extern | doFollow |
| Inria | Extern | doFollow |
| Université de Lorraine | Extern | doFollow |
| Pascal Fontaine | Extern | doFollow |
| Jasmin Blanchette | Extern | doFollow |
| Stephan Merz | Extern | doFollow |
| Isabelle/HOL | Extern | doFollow |
| Polytech Nancy | Extern | doFollow |
| Publications | Intern | doFollow |
| Artifacts | Intern | doFollow |
| Talks | Intern | doFollow |
| Service | Intern | doFollow |
| Teaching | Intern | doFollow |
| Contact | Intern | doFollow |
| Open Access | Extern | doFollow |
| .bib | Intern | doFollow |
| ArXiv | Extern | doFollow |
| Springer Link | Extern | doFollow |
| .bib | Intern | doFollow |
| The Authors | Intern | doFollow |
| Extern | doFollow | |
| .bib | Intern | doFollow |
| Slides | Intern | doFollow |
| Intern | doFollow | |
| .bib | Intern | doFollow |
| Slides | Intern | doFollow |
| HAL | Extern | doFollow |
| Authors’ PDF | Intern | doFollow |
| Open Access | Extern | doFollow |
| .bib | Intern | doFollow |
| Slides | Intern | doFollow |
| Authors’ PDF | Intern | doFollow |
| Springer Link | Extern | doFollow |
| .bib | Intern | doFollow |
| Slides | Intern | doFollow |
| Extended Abstract | Intern | doFollow |
| Slides | Intern | doFollow |
| Authors’ PDF | Intern | doFollow |
| Open Access | Extern | doFollow |
| .bib | Intern | doFollow |
| Slides | Intern | doFollow |
| Intern | doFollow | |
| Extern | doFollow | |
| Webpage | Extern | doFollow |
| Github | Extern | doFollow |
| Webpage | Extern | doFollow |
| Benchmark Submission | Extern | doFollow |
| Zenodo | Extern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Draft Paper | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Material | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Slides | Intern | doFollow |
| Abstract | Intern | doFollow |
| CPP | Extern | doFollow |
| SMT | Extern | doFollow |
| SBMF | Extern | doFollow |
| ATVA | Extern | doFollow |
| TACAS | Extern | doFollow |
| SBMF | Extern | doFollow |
| ICFP | Extern | doFollow |
| ATVA | Extern | doFollow |
| TACAS | Extern | doFollow |
| Sci. Comput. Program. | Extern | doFollow |
| J. Autom. Reason. | Extern | doFollow |
| SMT | Extern | doFollow |
| FroCoS | Extern | doFollow |
| TACAS | Extern | doFollow |
| SMT | Extern | doFollow |
| Int. J. Softw. Tools Technol. Transf. | Extern | doFollow |
| CADE | Extern | doFollow |
| CAV | Extern | doFollow |
| ICALP | Extern | doFollow |
| KI | Extern | doFollow |
| Hans-Jörg Schurr | Extern | doFollow |
| Hans-Jörg Schurr | Extern | doFollow |
| Jakob Bleier | Extern | doFollow |
| Marie Duflot-Kremer | Extern | doFollow |
| Mathias Fleury | Extern | doFollow |
| Christa Jenkins | Extern | doFollow |
| Hanna Lachnitt | Extern | doFollow |
| Pierre Lermusiaux | Extern | doFollow |
| Andrew Marmaduke | Extern | doFollow |
| J. Garrett Morris | Extern | doFollow |
| Aina Niemetz | Extern | doFollow |
| Mathias Preiner | Extern | doFollow |
| Martin Riener | Extern | doFollow |
| glitch.love | Extern | doFollow |
| Andy Reynolds | Extern | doFollow |
| Mallku Soldevila | Extern | doFollow |
| Cesare Tinelli | Extern | doFollow |
| Sophie Tourret | Extern | doFollow |
| Athénaïs Vaginay | Extern | doFollow |
| Haniel Barbosa | Extern | doFollow |
| Yoni Zohar | Extern | doFollow |
SEO Keywords
Keywords Cloud
pdf smt proofs university proof mathias schurr introduction hans-jörg slides
Keywords Consistentie
| Keyword | Content | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Bruikbaarheid
Url
Domein : schurr.io
Lengte : 9
Favicon
Goed, uw website heeft een favicon.
Printbaarheid
Jammer. We vonden geen Print-Vriendelijke CSS.
Taal
Goed. Uw ingestelde taal is en.
Dublin Core
Deze pagina maakt geen gebruik van Dublin Core.
Document
Doctype
HTML 5
Encoding
Perfect. Uw ingestelde Charset is UTF-8.
W3C Validiteit
Fouten : 0
Waarschuwingen : 0
E-mail Privacy
Waarschuwing! Er is op zijn minst 1 e-mailadres gevonden als platte tekst. (voorkom spam!). Gebruik deze gratis antispam protector om e-mailadressen te verbergen voor spammers.
Niet ondersteunde HTML
Geweldig! We hebben geen niet meer ondersteunde HTMl tags gevonden in uw HTML.
Speed Tips
|
Geweldig, uw website heeft geen tabellen in een tabel. |
|
Perfect. Er zijn geen inline CSS style gevonden in uw HTML! |
|
Geweldig, uw website heeft een correct aantal CSS bestanden. |
|
Perfect, uw website heeft een correct aantal JavaScript bestanden. |
|
Jammer, uw website haalt geen voordeel uit gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Optimalisatie
XML Sitemap
Ontbrekend
Uw website heeft geen XML sitemap- dit kan problematisch zijn.
Een sitemap vermeld url's die beschikbaar zijn voor crawlen en kan extra informatie bevatten zoals uw laatste site-updates, frequentie van wijzigingen en het belang van de url's. Dit laat zoekmachines toe om de site intelligenter te doorzoeken.
Robots.txt
https://schurr.io/robots.txt
Geweldig uw website heeft een robots.txt bestand.
Analytics
Ontbrekend
We hadden niet op te sporen van een analytics tool op deze website geplaatst.
Web Analytics laat u toe de bezoekersactiviteit op uw website te meten. U zou minstens 1 Analytics tool geïnstalleerd moeten hebben en een extra tool voor de bevestiging van de resultaten.
PageSpeed Insights
Device
Categorieën
Free SEO Testing Tool
Website review is een gratis tool waarmee u eenvoudig uw website kunt analyseren