Website review schurr.io
Hans-Jörg Schurr
Generated on January 28 2026 14:11 PM
Old data? UPDATE !
The score is 51/100
SEO Content
Title
Hans-Jörg Schurr
Length : 16
Perfect, your title contains between 10 and 70 characters.
Description
Length : 0
Very bad. We haven't found meta description on your page. Use this free online meta tags generator to create description.
Keywords
Very bad. We haven't found meta keywords on your page. Use this free online meta tags generator to create keywords.
Og Meta Properties
This page does not take advantage of Og Properties. This tags allows social crawler's better structurize your page. Use this free og properties generator to create them.
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
Images
We found 4 images on this web page.
2 alt attributes are empty or missing. Add alternative text so that search engines can better understand the content of your images.
Text/HTML Ratio
Ratio : 46%
Ideal! This page's ratio of text to HTML code is between 25 and 70 percent.
Flash
Perfect, no Flash content has been detected on this page.
Iframe
Great, there are no Iframes detected on this page.
SEO Links
URL Rewrite
Good. Your links looks friendly!
Underscores in the URLs
We have detected underscores in your URLs. You should rather use hyphens to optimize your SEO.
In-page links
We found a total of 112 links including 40 link(s) to files
| Anchor | Type | Juice |
|---|---|---|
| University of Iowa | External | Passing Juice |
| cvc5 | External | Passing Juice |
| Eunoia | External | Passing Juice |
| LFSC | External | Passing Juice |
| Alethe | External | Passing Juice |
| veriT | External | Passing Juice |
| SMT-LIB benchmark library | External | Passing Juice |
| SMT competition | External | Passing Juice |
| Inria | External | Passing Juice |
| Université de Lorraine | External | Passing Juice |
| Pascal Fontaine | External | Passing Juice |
| Jasmin Blanchette | External | Passing Juice |
| Stephan Merz | External | Passing Juice |
| Isabelle/HOL | External | Passing Juice |
| Polytech Nancy | External | Passing Juice |
| Publications | Internal | Passing Juice |
| Artifacts | Internal | Passing Juice |
| Talks | Internal | Passing Juice |
| Service | Internal | Passing Juice |
| Teaching | Internal | Passing Juice |
| Contact | Internal | Passing Juice |
| Open Access | External | Passing Juice |
| .bib | Internal | Passing Juice |
| ArXiv | External | Passing Juice |
| Springer Link | External | Passing Juice |
| .bib | Internal | Passing Juice |
| The Authors | Internal | Passing Juice |
| External | Passing Juice | |
| .bib | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Internal | Passing Juice | |
| .bib | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| HAL | External | Passing Juice |
| Authors’ PDF | Internal | Passing Juice |
| Open Access | External | Passing Juice |
| .bib | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Authors’ PDF | Internal | Passing Juice |
| Springer Link | External | Passing Juice |
| .bib | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Extended Abstract | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Authors’ PDF | Internal | Passing Juice |
| Open Access | External | Passing Juice |
| .bib | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Internal | Passing Juice | |
| External | Passing Juice | |
| Webpage | External | Passing Juice |
| Github | External | Passing Juice |
| Webpage | External | Passing Juice |
| Benchmark Submission | External | Passing Juice |
| Zenodo | External | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Draft Paper | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Material | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Slides | Internal | Passing Juice |
| Abstract | Internal | Passing Juice |
| CPP | External | Passing Juice |
| SMT | External | Passing Juice |
| SBMF | External | Passing Juice |
| ATVA | External | Passing Juice |
| TACAS | External | Passing Juice |
| SBMF | External | Passing Juice |
| ICFP | External | Passing Juice |
| ATVA | External | Passing Juice |
| TACAS | External | Passing Juice |
| Sci. Comput. Program. | External | Passing Juice |
| J. Autom. Reason. | External | Passing Juice |
| SMT | External | Passing Juice |
| FroCoS | External | Passing Juice |
| TACAS | External | Passing Juice |
| SMT | External | Passing Juice |
| Int. J. Softw. Tools Technol. Transf. | External | Passing Juice |
| CADE | External | Passing Juice |
| CAV | External | Passing Juice |
| ICALP | External | Passing Juice |
| KI | External | Passing Juice |
| Hans-Jörg Schurr | External | Passing Juice |
| Hans-Jörg Schurr | External | Passing Juice |
| Jakob Bleier | External | Passing Juice |
| Marie Duflot-Kremer | External | Passing Juice |
| Mathias Fleury | External | Passing Juice |
| Christa Jenkins | External | Passing Juice |
| Hanna Lachnitt | External | Passing Juice |
| Pierre Lermusiaux | External | Passing Juice |
| Andrew Marmaduke | External | Passing Juice |
| J. Garrett Morris | External | Passing Juice |
| Aina Niemetz | External | Passing Juice |
| Mathias Preiner | External | Passing Juice |
| Martin Riener | External | Passing Juice |
| glitch.love | External | Passing Juice |
| Andy Reynolds | External | Passing Juice |
| Mallku Soldevila | External | Passing Juice |
| Cesare Tinelli | External | Passing Juice |
| Sophie Tourret | External | Passing Juice |
| Athénaïs Vaginay | External | Passing Juice |
| Haniel Barbosa | External | Passing Juice |
| Yoni Zohar | External | Passing Juice |
SEO Keywords
Keywords Cloud
hans-jörg pdf schurr university mathias smt slides proofs introduction proof
Keywords Consistency
| Keyword | Content | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Usability
Url
Domain : schurr.io
Length : 9
Favicon
Great, your website has a favicon.
Printability
We could not find a Print-Friendly CSS.
Language
Good. Your declared language is en.
Dublin Core
This page does not take advantage of Dublin Core.
Document
Doctype
HTML 5
Encoding
Perfect. Your declared charset is UTF-8.
W3C Validity
Errors : 0
Warnings : 0
Email Privacy
Warning! At least one email address has been found in the plain text. Use free antispam protector to hide email from spammers.
Deprecated HTML
Great! We haven't found deprecated HTML tags in your HTML.
Speed Tips
|
Excellent, your website doesn't use nested tables. |
|
Perfect. No inline css has been found in HTML tags! |
|
Great, your website has few CSS files. |
|
Perfect, your website has few JavaScript files. |
|
Too bad, your website does not take advantage of gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Optimization
XML Sitemap
Missing
Your website does not have an XML sitemap - this can be problematic.
A sitemap lists URLs that are available for crawling and can include additional information like your site's latest updates, frequency of changes and importance of the URLs. This allows search engines to crawl the site more intelligently.
Robots.txt
https://schurr.io/robots.txt
Great, your website has a robots.txt file.
Analytics
Missing
We didn't detect an analytics tool installed on this website.
Web analytics let you measure visitor activity on your website. You should have at least one analytics tool installed, but It can also be good to install a second in order to cross-check the data.
PageSpeed Insights
Device
Categories
Free SEO Testing Tool
Free SEO Testing Tool is a free SEO tool which provides you content analysis of the website.