Webbplats analys schurr.io
Hans-Jörg Schurr
Genereras på Januari 28 2026 14:11 PM
Gammal statistik? UPDATERA !
Ställningen är 51/100
SEO Innehåll
Titel
Hans-Jörg Schurr
Längd : 16
Perfekt, din titel innehåller mellan 10 och 70 tecken.
Beskrivning
Längd : 0
Mycket dåligt. Vi har inte lyckats hitta någon metabeskrivning på din sida. Använd denna online meta-taggar generator, gratis för att skapa beskrivningar.
Nyckelord
Mycket dåligt. Vi har inte lyckats hitta några meta-taggar på din sida. Använd denna meta-tag generator, gratis för att skapa nyckelord.
Og Meta Egenskaper
Den här sidan drar inte nytta utav Og. Deras taggar möjliggör sociala sökrobotar att bättre strukturera strukturera din sida. Använd denna og generatorn gratis för att skapa dom.
Rubriker
| 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
Bilder
Vi hittade 4 bilder på denna webbsida.
2 alt attribut är tomma eller saknas. Lägg till alternativ text så att sökmotorer enklare kan förstå innehållet i dina bilder.
Text/HTML Ratio
Ratio : 46%
Idealisk! Den här sidans text till HTML-kod förhållande är mellan 25 och 70 procent.
Flash
Perfekt, inga Flash-innehåll har upptäckts på denna sida.
Iframe
Bra, vi upptäckte inga Iframes på den här sidan.
SEO Länkar
URL Rewrite
Bra. Dina adressfält ser bra ut!
Understreck i URLen
Vi har upptäckt understreck i din webbadress. Du bör hellre använda bindestreck för att optimera din SEO.
In-page länkar
Vi hittade totalt 112 länkar inklusive 40 länk(ar) till filer
| Anchor | Typ | Juice |
|---|---|---|
| University of Iowa | Externa | Passing Juice |
| cvc5 | Externa | Passing Juice |
| Eunoia | Externa | Passing Juice |
| LFSC | Externa | Passing Juice |
| Alethe | Externa | Passing Juice |
| veriT | Externa | Passing Juice |
| SMT-LIB benchmark library | Externa | Passing Juice |
| SMT competition | Externa | Passing Juice |
| Inria | Externa | Passing Juice |
| Université de Lorraine | Externa | Passing Juice |
| Pascal Fontaine | Externa | Passing Juice |
| Jasmin Blanchette | Externa | Passing Juice |
| Stephan Merz | Externa | Passing Juice |
| Isabelle/HOL | Externa | Passing Juice |
| Polytech Nancy | Externa | Passing Juice |
| Publications | Interna | Passing Juice |
| Artifacts | Interna | Passing Juice |
| Talks | Interna | Passing Juice |
| Service | Interna | Passing Juice |
| Teaching | Interna | Passing Juice |
| Contact | Interna | Passing Juice |
| Open Access | Externa | Passing Juice |
| .bib | Interna | Passing Juice |
| ArXiv | Externa | Passing Juice |
| Springer Link | Externa | Passing Juice |
| .bib | Interna | Passing Juice |
| The Authors | Interna | Passing Juice |
| Externa | Passing Juice | |
| .bib | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Interna | Passing Juice | |
| .bib | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| HAL | Externa | Passing Juice |
| Authors’ PDF | Interna | Passing Juice |
| Open Access | Externa | Passing Juice |
| .bib | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Authors’ PDF | Interna | Passing Juice |
| Springer Link | Externa | Passing Juice |
| .bib | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Extended Abstract | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Authors’ PDF | Interna | Passing Juice |
| Open Access | Externa | Passing Juice |
| .bib | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Interna | Passing Juice | |
| Externa | Passing Juice | |
| Webpage | Externa | Passing Juice |
| Github | Externa | Passing Juice |
| Webpage | Externa | Passing Juice |
| Benchmark Submission | Externa | Passing Juice |
| Zenodo | Externa | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Draft Paper | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Material | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Slides | Interna | Passing Juice |
| Abstract | Interna | Passing Juice |
| CPP | Externa | Passing Juice |
| SMT | Externa | Passing Juice |
| SBMF | Externa | Passing Juice |
| ATVA | Externa | Passing Juice |
| TACAS | Externa | Passing Juice |
| SBMF | Externa | Passing Juice |
| ICFP | Externa | Passing Juice |
| ATVA | Externa | Passing Juice |
| TACAS | Externa | Passing Juice |
| Sci. Comput. Program. | Externa | Passing Juice |
| J. Autom. Reason. | Externa | Passing Juice |
| SMT | Externa | Passing Juice |
| FroCoS | Externa | Passing Juice |
| TACAS | Externa | Passing Juice |
| SMT | Externa | Passing Juice |
| Int. J. Softw. Tools Technol. Transf. | Externa | Passing Juice |
| CADE | Externa | Passing Juice |
| CAV | Externa | Passing Juice |
| ICALP | Externa | Passing Juice |
| KI | Externa | Passing Juice |
| Hans-Jörg Schurr | Externa | Passing Juice |
| Hans-Jörg Schurr | Externa | Passing Juice |
| Jakob Bleier | Externa | Passing Juice |
| Marie Duflot-Kremer | Externa | Passing Juice |
| Mathias Fleury | Externa | Passing Juice |
| Christa Jenkins | Externa | Passing Juice |
| Hanna Lachnitt | Externa | Passing Juice |
| Pierre Lermusiaux | Externa | Passing Juice |
| Andrew Marmaduke | Externa | Passing Juice |
| J. Garrett Morris | Externa | Passing Juice |
| Aina Niemetz | Externa | Passing Juice |
| Mathias Preiner | Externa | Passing Juice |
| Martin Riener | Externa | Passing Juice |
| glitch.love | Externa | Passing Juice |
| Andy Reynolds | Externa | Passing Juice |
| Mallku Soldevila | Externa | Passing Juice |
| Cesare Tinelli | Externa | Passing Juice |
| Sophie Tourret | Externa | Passing Juice |
| Athénaïs Vaginay | Externa | Passing Juice |
| Haniel Barbosa | Externa | Passing Juice |
| Yoni Zohar | Externa | Passing Juice |
SEO Nyckelord
Nyckelord Moln
university pdf smt schurr proof hans-jörg introduction mathias slides proofs
Nyckelord Konsistens
| Nyckelord | Innehåll | Titel | Nyckelord | Beskrivning | Rubriker |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Användbarhet
Url
Domän : schurr.io
Längd : 9
Favikon
Bra, din webbplats har en favicon.
Utskriftbart
Vi kunde inte hitta CSS för utskrifter.
Språk
Bra. Ditt angivna språk är en.
Dublin Core
Denna sida drar inte nytta utav Dublin Core.
Dokument
Doctype
HTML 5
Encoding
Perfekt. Din deklarerade teckenuppsättning är UTF-8.
W3C Validity
Errors : 0
Varningar : 0
E-post Sekretess
Varning! Minst en e-postadress har påträffats i klartext. Använd gratis antispam skydd för att dölja e-post från spammare.
Föråldrad HTML
Bra! Vi har inte hittat några föråldrad HTML taggar i din HTML.
Hastighets Tips
|
Utmärkt, din webbplats använder inga nästlade tabeller. |
|
Perfekt. Ingen inline css har upptäckts i HTML taggar! |
|
Bra, din webbplats har få CSS-filer. |
|
Perfekt, din webbplats har få Javascript filer |
|
Synd, din webbplats utnyttjar inte gzip. |
Mobil
Mobiloptimering
|
Apple Ikon |
|
Meta Viewport Tagg |
|
Flash innehåll |
Optimering
XML Sitemap
Saknas
Din webbplats saknar en XML sitemap - detta kan orsaka ett problem.
Eftersom en sitemap listar webbadresser som är tillgängliga för genomsökning och kan innehålla ytterligare information såsom din webbplats senaste uppdatering, antal förändringar och betydelsen av webbadresserna. Detta gör det möjligt för sökmotorer att på ett mer intelligent sätt genomsöka webbplatsen.
Robots.txt
https://schurr.io/robots.txt
Bra, din webbplats har en robots.txt fil.
Analytics
Saknas
Vi hittade inte någon analysverktyg på din webbplats.
Webbanalys program kan mäta besökare på din webbplats. Du bör ha minst ett analysverktyg installerat, men det kan också vara en bra ide att installera två för att dubbelkolla uppgifterna.
PageSpeed Insights
Enhet
Kategorier
Free SEO Testing Tool
Free SEO Testing Tool är en fri SEO verktyg som hjälper dig att analysera din webbplats