Webside score schurr.io
Hans-Jörg Schurr
Genereret Januar 28 2026 14:11 PM
Gammel data? OPDATER !
Scoren er 51/100
SEO Indhold
Titel
Hans-Jörg Schurr
Længde : 16
Perfekt, din titel indeholder mellem 10 og 70 bogstaver.
Beskrivelse
Længde : 0
Meget kritisk. Vi kan ikke finde en meta beskrivelse på dit website! Brug denne gratis meta generator til at lave beskrivelser.
Nøgleord
Dårligt! Vi kan ikke finde nogle meta nøgleord på din side! Brug denne gratis online meta generator for at oprette nye nøgleord.
Og Meta Egenskaber
Din side benytter ikke Og egenskaberne. Disse tags tillader sociale medier at forstå din side bedre. Brug denne gratis Og generator for at oprette tags.
Overskrifter
| 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
Billeder
Vi fandt 4 billeder på denne side.
2 alt tags mangler eller er tomme. Tilføj alternativ tekst til dine billeder for at gøre siden mere brugervenlig, og for at optimere din SEO i forhold til søgemaskinerne.
Text/HTML balance
Balance : 46%
Optimalt! Denne sides text til HTML fordeling er mellem 25 og 70 procent.
Flash
Perfekt, ingen Flash objekter er blevet fundet på siden.
iFrame
Perfekt, der er ikke nogen iFrames på din side!
SEO Links
URL Omskrivning
Godt. Dine links ser venlige ud!
Underscores i links
Dårligt! Vi har fundet underscores i dine links, du bør benytte bindestreg istedet for underscores for at optimere din SEO.
On-page links
Vi fandt et total af 112 links inkluderende 40 link(s) til filer
| Anker | Type | Juice |
|---|---|---|
| University of Iowa | Ekstern | Sender Juice |
| cvc5 | Ekstern | Sender Juice |
| Eunoia | Ekstern | Sender Juice |
| LFSC | Ekstern | Sender Juice |
| Alethe | Ekstern | Sender Juice |
| veriT | Ekstern | Sender Juice |
| SMT-LIB benchmark library | Ekstern | Sender Juice |
| SMT competition | Ekstern | Sender Juice |
| Inria | Ekstern | Sender Juice |
| Université de Lorraine | Ekstern | Sender Juice |
| Pascal Fontaine | Ekstern | Sender Juice |
| Jasmin Blanchette | Ekstern | Sender Juice |
| Stephan Merz | Ekstern | Sender Juice |
| Isabelle/HOL | Ekstern | Sender Juice |
| Polytech Nancy | Ekstern | Sender Juice |
| Publications | Intern | Sender Juice |
| Artifacts | Intern | Sender Juice |
| Talks | Intern | Sender Juice |
| Service | Intern | Sender Juice |
| Teaching | Intern | Sender Juice |
| Contact | Intern | Sender Juice |
| Open Access | Ekstern | Sender Juice |
| .bib | Intern | Sender Juice |
| ArXiv | Ekstern | Sender Juice |
| Springer Link | Ekstern | Sender Juice |
| .bib | Intern | Sender Juice |
| The Authors | Intern | Sender Juice |
| Ekstern | Sender Juice | |
| .bib | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Intern | Sender Juice | |
| .bib | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| HAL | Ekstern | Sender Juice |
| Authors’ PDF | Intern | Sender Juice |
| Open Access | Ekstern | Sender Juice |
| .bib | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Authors’ PDF | Intern | Sender Juice |
| Springer Link | Ekstern | Sender Juice |
| .bib | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Extended Abstract | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Authors’ PDF | Intern | Sender Juice |
| Open Access | Ekstern | Sender Juice |
| .bib | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Intern | Sender Juice | |
| Ekstern | Sender Juice | |
| Webpage | Ekstern | Sender Juice |
| Github | Ekstern | Sender Juice |
| Webpage | Ekstern | Sender Juice |
| Benchmark Submission | Ekstern | Sender Juice |
| Zenodo | Ekstern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Draft Paper | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Material | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Slides | Intern | Sender Juice |
| Abstract | Intern | Sender Juice |
| CPP | Ekstern | Sender Juice |
| SMT | Ekstern | Sender Juice |
| SBMF | Ekstern | Sender Juice |
| ATVA | Ekstern | Sender Juice |
| TACAS | Ekstern | Sender Juice |
| SBMF | Ekstern | Sender Juice |
| ICFP | Ekstern | Sender Juice |
| ATVA | Ekstern | Sender Juice |
| TACAS | Ekstern | Sender Juice |
| Sci. Comput. Program. | Ekstern | Sender Juice |
| J. Autom. Reason. | Ekstern | Sender Juice |
| SMT | Ekstern | Sender Juice |
| FroCoS | Ekstern | Sender Juice |
| TACAS | Ekstern | Sender Juice |
| SMT | Ekstern | Sender Juice |
| Int. J. Softw. Tools Technol. Transf. | Ekstern | Sender Juice |
| CADE | Ekstern | Sender Juice |
| CAV | Ekstern | Sender Juice |
| ICALP | Ekstern | Sender Juice |
| KI | Ekstern | Sender Juice |
| Hans-Jörg Schurr | Ekstern | Sender Juice |
| Hans-Jörg Schurr | Ekstern | Sender Juice |
| Jakob Bleier | Ekstern | Sender Juice |
| Marie Duflot-Kremer | Ekstern | Sender Juice |
| Mathias Fleury | Ekstern | Sender Juice |
| Christa Jenkins | Ekstern | Sender Juice |
| Hanna Lachnitt | Ekstern | Sender Juice |
| Pierre Lermusiaux | Ekstern | Sender Juice |
| Andrew Marmaduke | Ekstern | Sender Juice |
| J. Garrett Morris | Ekstern | Sender Juice |
| Aina Niemetz | Ekstern | Sender Juice |
| Mathias Preiner | Ekstern | Sender Juice |
| Martin Riener | Ekstern | Sender Juice |
| glitch.love | Ekstern | Sender Juice |
| Andy Reynolds | Ekstern | Sender Juice |
| Mallku Soldevila | Ekstern | Sender Juice |
| Cesare Tinelli | Ekstern | Sender Juice |
| Sophie Tourret | Ekstern | Sender Juice |
| Athénaïs Vaginay | Ekstern | Sender Juice |
| Haniel Barbosa | Ekstern | Sender Juice |
| Yoni Zohar | Ekstern | Sender Juice |
SEO Nøgleord
Nøgleords cloud
pdf slides university hans-jörg schurr proof proofs smt mathias introduction
Nøgleords balance
| Nøgleord | Indhold | Titel | Nøgleord | Beskrivelse | Overskrifter |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Brugervenlighed
Link
Domæne : schurr.io
Længde : 9
FavIkon
Godt, din side har et FavIcon!
Printervenlighed
Vi kunne ikke finde en printer venlig CSS skabelon.
Sprog
Godt, dit tildelte sprog er en.
Dublin Core
Denne side benytter IKKE Dublin Core principperne.
Dokument
Dokumenttype
HTML 5
Kryptering
Perfekt. Dit Charset er tildelt UTF-8.
W3C Validering
Fejl : 0
Advarsler : 0
Email Privatliv
Advarsel! Mindst én email adresse er blevet fundet i rå tekst. Brug gratis antispam beskytter for at hemme din email fra spammere.
Udgået HTML
Godt! Vi har ikke fundet udgåede HTML tags i din kildekode
Hastigheds Tips
|
Alle tiders! Din webside bruger ikke nestede tabeller. |
|
Perfekt. Ingen inline CSS kode er blevet fundet i dine HTML tags! |
|
Godt, din website har få antal CSS filer |
|
Perfekt, din website har få JavaScript filer. |
|
Ærgerligt, din hjemmeside ikke udnytte gzip. |
Mobil
Mobil Optimering
|
Apple Ikon |
|
Meta Viewport Tag |
|
Flash indhold |
Optimering
XML Sitemap
Mangler
Dit websted ikke har en XML sitemap - det kan være problematisk.
Et sitemap lister URL'er, der er tilgængelige for gennemgang og kan indeholde yderligere oplysninger som dit websted seneste opdateringer, hyppigheden af ændringer, og betydningen af de webadresser. Dette gør det muligt søgemaskiner til at gennemgå webstedet mere intelligent.
Robots.txt
https://schurr.io/robots.txt
Stor, din hjemmeside har en robots.txt-fil.
Analytics
Mangler
Vi har ikke registrerer en analyseværktøj installeret på denne hjemmeside.
Web analytics kan du måle besøgendes aktivitet på dit websted. Du bør have mindst én analyseværktøj installeret, men det kan også være godt at installere et sekund for at krydstjekke data.
PageSpeed Insights
Apparat
Kategorier
Free SEO Testing Tool
Free SEO Testing Tool er et gratis SEO redskab der hjælper med din hjemmeside