schurr.io

Webseiten-Bericht für schurr.io

Hans-Jörg Schurr

 Generiert am 28 Januar 2026 14:11 PM

Aktuelle Statistiken? UPDATE !

Der Wert ist 51/100

SEO Inhalte

Seitentitel

Hans-Jörg Schurr

Länge : 16

Perfekt, denn Ihr Seitentitel enthält zwischen 10 und 70 Anzahl Zeichen.

Seitenbeschreibung

Länge : 0

Schlecht. Wir konnten keine Seitenbeschreibung auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um eine Seitenbeschreibung zu erzeugen.

Suchbegriffe

Nicht so gut. Wir konnten keine META-Suchbegriffe auf Ihrer Webseite finden. Benutzen Sie dieses kostenlose Werkzeug um META-Suchbegriffe zu erzeugen.

Og META Eigenschaften

Ihre Webseite nutzt nicht die Vorteile der Og Properties. Diese Angaben erlauben sozialen Suchmaschinenrobotern Ihre Webseite besser strukturiert zu speichern. Benutzen Sie dieses kostenlose Werkzeug um Og Properties zu erzeugen.

Überschriften

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

Es konnten 4 Bilder auf dieser Webseite gefunden werden.

Bei 2 Bilder(n) fehlt ein ALT-Attribut. Fügen Sie ALT-Attribute zu Ihren Bildern, um die Bedeutung der Bilder für Suchmaschinen zugänglich zu machen.

Text/HTML Verhältnis

Anteil : 46%

Ideal! Das Text zu HTML Code Verhältnis dieser Webseite ist zwischen 25 und 70 Prozent.

Flash

Perfekt, denn es wurde kein Flash auf Ihrer Webseite gefunden.

IFrame

Großartig, denn Sie verwenden keine IFrames auf Ihrer Webseite.

URL Rewrite

Gut. Ihre Links sind für Suchmaschinen gut lesbar (sprechende Links)!

Underscores in the URLs

Wir haben Unterstriche in Ihren Links entdeckt. Benutzen Sie zur Optimierung besser Bindestriche in Ihren Links.

In-page links

We found a total of 112 links including 40 link(s) to files

Anker Typ Natürlich
University of Iowa extern natürliche Links
cvc5 extern natürliche Links
Eunoia extern natürliche Links
LFSC extern natürliche Links
Alethe extern natürliche Links
veriT extern natürliche Links
SMT-LIB benchmark library extern natürliche Links
SMT competition extern natürliche Links
Inria extern natürliche Links
Université de Lorraine extern natürliche Links
Pascal Fontaine extern natürliche Links
Jasmin Blanchette extern natürliche Links
Stephan Merz extern natürliche Links
Isabelle/HOL extern natürliche Links
Polytech Nancy extern natürliche Links
Publications intern natürliche Links
Artifacts intern natürliche Links
Talks intern natürliche Links
Service intern natürliche Links
Teaching intern natürliche Links
Contact intern natürliche Links
Open Access extern natürliche Links
.bib intern natürliche Links
ArXiv extern natürliche Links
Springer Link extern natürliche Links
.bib intern natürliche Links
The Authors intern natürliche Links
PDF extern natürliche Links
.bib intern natürliche Links
Slides intern natürliche Links
PDF intern natürliche Links
.bib intern natürliche Links
Slides intern natürliche Links
HAL extern natürliche Links
Authors’ PDF intern natürliche Links
Open Access extern natürliche Links
.bib intern natürliche Links
Slides intern natürliche Links
Authors’ PDF intern natürliche Links
Springer Link extern natürliche Links
.bib intern natürliche Links
Slides intern natürliche Links
Extended Abstract intern natürliche Links
Slides intern natürliche Links
Authors’ PDF intern natürliche Links
Open Access extern natürliche Links
.bib intern natürliche Links
Slides intern natürliche Links
PDF intern natürliche Links
PDF extern natürliche Links
Webpage extern natürliche Links
Github extern natürliche Links
Webpage extern natürliche Links
Benchmark Submission extern natürliche Links
Zenodo extern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Draft Paper intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Material intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Slides intern natürliche Links
Abstract intern natürliche Links
CPP extern natürliche Links
SMT extern natürliche Links
SBMF extern natürliche Links
ATVA extern natürliche Links
TACAS extern natürliche Links
SBMF extern natürliche Links
ICFP extern natürliche Links
ATVA extern natürliche Links
TACAS extern natürliche Links
Sci. Comput. Program. extern natürliche Links
J. Autom. Reason. extern natürliche Links
SMT extern natürliche Links
FroCoS extern natürliche Links
TACAS extern natürliche Links
SMT extern natürliche Links
Int. J. Softw. Tools Technol. Transf. extern natürliche Links
CADE extern natürliche Links
CAV extern natürliche Links
ICALP extern natürliche Links
KI extern natürliche Links
Hans-Jörg Schurr extern natürliche Links
Hans-Jörg Schurr extern natürliche Links
Jakob Bleier extern natürliche Links
Marie Duflot-Kremer extern natürliche Links
Mathias Fleury extern natürliche Links
Christa Jenkins extern natürliche Links
Hanna Lachnitt extern natürliche Links
Pierre Lermusiaux extern natürliche Links
Andrew Marmaduke extern natürliche Links
J. Garrett Morris extern natürliche Links
Aina Niemetz extern natürliche Links
Mathias Preiner extern natürliche Links
Martin Riener extern natürliche Links
glitch.love extern natürliche Links
Andy Reynolds extern natürliche Links
Mallku Soldevila extern natürliche Links
Cesare Tinelli extern natürliche Links
Sophie Tourret extern natürliche Links
Athénaïs Vaginay extern natürliche Links
Haniel Barbosa extern natürliche Links
Yoni Zohar extern natürliche Links

SEO Suchbegriffe

Suchbegriffswolke

smt slides proof introduction mathias schurr hans-jörg proofs pdf university

Keywords Consistency

Suchbegriff Inhalt Seitentitel Suchbegriffe Seitenbeschreibung Überschriften
smt 32
slides 19
schurr 16
hans-jörg 15
proof 14

Benutzerfreundlichkeit

URL

Domain : schurr.io

Länge : 9

Favoriten Icon

Gut. Die Webseite hat ein Favicon.

Druckeigenschaften

Es konnten keine druckfreundlichen CSS-Angaben gefunden werden.

Sprache

Gut, denn Sie haben in den META-Elementen eine Sprache deklariert: en.

Dublin Core

Diese Webseite nutzt nicht die Vorteile der Dublin Core Elemente.

Dokument

Doctype

HTML 5

Verschlüsselung

Perfekt, denn Ihre Webseite deklariert einen Zeichensatz: UTF-8.

W3C Validität

Fehler : 0

Warnungen : 0

E-Mail Datenschutz

Achtung! Es wurde mindestens eine E-Mail Adresse im Klartext auf Ihrer Webseite gefunden. Benutzen Sie dieses kostenlose Werkzeug um E-Mail Adressen vor SPAM zu schützen.

Veraltetes HTML

Sehr gut! Sie verwenden aktuelle HTML Tags in Ihrem Webseitenquelltext.

Tipps zur Webseitengeschwindigkeit

Sehr gut, denn Ihre Webseite benutzt keine verschachtelten Tabellen.
Perfekt. Es wurden keine CSS-Angaben in HTML-Elementen entdeckt!
Gut, denn Ihre Webseite enthält nur wenig CSS-Dateien.
Perfekt, denn Ihre Webseite enthät nur wenig Javascript-Dateien.
Ihre Webseite nutzt die Vorteile von gzip nicht.

Mobile

Mobile Optimierung

Apple Icon
META Viewport Tag
Flash Inhalt

Optimierung

XML-Sitemap

Fehlt

Ihre Webseite hat keine XML-Sitemap. Dies könnte Probleme machen.

Eine Sitemap listet alle URLs, die für einen Suchmaschinenzugriff verfügbar sind. Sie kann ebenfalls Angaben zu aktuellen Updates, Häufigkeit von Änderungen und zur Priorität der URLs enthalten. Dies erlaubt Suchmaschinen, Seiten effizienter auszuloten.

Robots.txt

https://schurr.io/robots.txt

Sehr gut! Ihre Webseite enthält eine robots.txt-Datei.

Analytics

Fehlt

Wir haben nicht ein Analyse-Tool auf dieser Website installiert zu erkennen.

Webanalyse erlaubt die Quantifizierung der Besucherinteraktionen mit Ihrer Seite. Insofern sollte zumindest ein Analysetool installiert werden. Um die Befunde abzusichern, empfiehlt sich das parallele Verwenden eines zweiten Tools.

PageSpeed Insights


Gerät
Kategorien

Free SEO Testing Tool

Free SEO Testing Tool ist ein kostenloses SEO Werkzeug zur Analyse Ihrer Webseite