Analisi sito web schurr.io
Hans-Jörg Schurr
Generato il Gennaio 28 2026 14:11 PM
Statistiche non aggiornate? AGGIORNA !
Il punteggio e 51/100
SEO Content
Title
Hans-Jörg Schurr
Lunghezza : 16
Perfetto, il tuo title contiene tra 10 e 70 caratteri.
Description
Lunghezza : 0
Molto male. Non abbiamo trovato meta description nella tua pagina. Usa questo generatore online gratuito di meta tags per creare la descrizione.
Keywords
Molto male. Non abbiamo trovato meta keywords nella tua pagina. Usa questo generatore gratuito online di meta tags per creare keywords.
Og Meta Properties
Questa pagina non sfrutta i vantaggi Og Properties. Questi tags consentono ai social crawler di strutturare meglio la tua pagina. Use questo generatore gratuito di og properties per crearli.
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
Abbiamo trovato 4 immagini in questa pagina web.
2 attributi alt sono vuoti o mancanti. Aggiungi testo alternativo in modo tale che i motori di ricerca possano comprendere meglio il contenuto delle tue immagini.
Text/HTML Ratio
Ratio : 46%
Ideale! Il rapporto testo/codice HTML di questa pagina e tra 25 e 70 percento.
Flash
Perfetto, non e stato rilevato contenuto Flash in questa pagina.
Iframe
Grande, non sono stati rilevati Iframes in questa pagina.
SEO Links
URL Rewrite
Buono. I tuoi links appaiono friendly!
Underscores in the URLs
Abbiamo rilevato underscores nei tuoi URLs. Dovresti utilizzare trattini per ottimizzare le pagine per il tuo SEO.
In-page links
Abbiamo trovato un totale di 112 links inclusi 40 link(s) a files
| Anchor | Type | Juice |
|---|---|---|
| University of Iowa | Externo | Passing Juice |
| cvc5 | Externo | Passing Juice |
| Eunoia | Externo | Passing Juice |
| LFSC | Externo | Passing Juice |
| Alethe | Externo | Passing Juice |
| veriT | Externo | Passing Juice |
| SMT-LIB benchmark library | Externo | Passing Juice |
| SMT competition | Externo | Passing Juice |
| Inria | Externo | Passing Juice |
| Université de Lorraine | Externo | Passing Juice |
| Pascal Fontaine | Externo | Passing Juice |
| Jasmin Blanchette | Externo | Passing Juice |
| Stephan Merz | Externo | Passing Juice |
| Isabelle/HOL | Externo | Passing Juice |
| Polytech Nancy | Externo | Passing Juice |
| Publications | Interno | Passing Juice |
| Artifacts | Interno | Passing Juice |
| Talks | Interno | Passing Juice |
| Service | Interno | Passing Juice |
| Teaching | Interno | Passing Juice |
| Contact | Interno | Passing Juice |
| Open Access | Externo | Passing Juice |
| .bib | Interno | Passing Juice |
| ArXiv | Externo | Passing Juice |
| Springer Link | Externo | Passing Juice |
| .bib | Interno | Passing Juice |
| The Authors | Interno | Passing Juice |
| Externo | Passing Juice | |
| .bib | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Interno | Passing Juice | |
| .bib | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| HAL | Externo | Passing Juice |
| Authors’ PDF | Interno | Passing Juice |
| Open Access | Externo | Passing Juice |
| .bib | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Authors’ PDF | Interno | Passing Juice |
| Springer Link | Externo | Passing Juice |
| .bib | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Extended Abstract | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Authors’ PDF | Interno | Passing Juice |
| Open Access | Externo | Passing Juice |
| .bib | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Interno | Passing Juice | |
| Externo | Passing Juice | |
| Webpage | Externo | Passing Juice |
| Github | Externo | Passing Juice |
| Webpage | Externo | Passing Juice |
| Benchmark Submission | Externo | Passing Juice |
| Zenodo | Externo | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Draft Paper | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Material | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Slides | Interno | Passing Juice |
| Abstract | Interno | Passing Juice |
| CPP | Externo | Passing Juice |
| SMT | Externo | Passing Juice |
| SBMF | Externo | Passing Juice |
| ATVA | Externo | Passing Juice |
| TACAS | Externo | Passing Juice |
| SBMF | Externo | Passing Juice |
| ICFP | Externo | Passing Juice |
| ATVA | Externo | Passing Juice |
| TACAS | Externo | Passing Juice |
| Sci. Comput. Program. | Externo | Passing Juice |
| J. Autom. Reason. | Externo | Passing Juice |
| SMT | Externo | Passing Juice |
| FroCoS | Externo | Passing Juice |
| TACAS | Externo | Passing Juice |
| SMT | Externo | Passing Juice |
| Int. J. Softw. Tools Technol. Transf. | Externo | Passing Juice |
| CADE | Externo | Passing Juice |
| CAV | Externo | Passing Juice |
| ICALP | Externo | Passing Juice |
| KI | Externo | Passing Juice |
| Hans-Jörg Schurr | Externo | Passing Juice |
| Hans-Jörg Schurr | Externo | Passing Juice |
| Jakob Bleier | Externo | Passing Juice |
| Marie Duflot-Kremer | Externo | Passing Juice |
| Mathias Fleury | Externo | Passing Juice |
| Christa Jenkins | Externo | Passing Juice |
| Hanna Lachnitt | Externo | Passing Juice |
| Pierre Lermusiaux | Externo | Passing Juice |
| Andrew Marmaduke | Externo | Passing Juice |
| J. Garrett Morris | Externo | Passing Juice |
| Aina Niemetz | Externo | Passing Juice |
| Mathias Preiner | Externo | Passing Juice |
| Martin Riener | Externo | Passing Juice |
| glitch.love | Externo | Passing Juice |
| Andy Reynolds | Externo | Passing Juice |
| Mallku Soldevila | Externo | Passing Juice |
| Cesare Tinelli | Externo | Passing Juice |
| Sophie Tourret | Externo | Passing Juice |
| Athénaïs Vaginay | Externo | Passing Juice |
| Haniel Barbosa | Externo | Passing Juice |
| Yoni Zohar | Externo | Passing Juice |
SEO Keywords
Keywords Cloud
introduction pdf schurr proof mathias slides proofs smt hans-jörg university
Consistenza Keywords
| Keyword | Contenuto | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Usabilita
Url
Dominio : schurr.io
Lunghezza : 9
Favicon
Grande, il tuo sito usa una favicon.
Stampabilita
Non abbiamo riscontrato codice CSS Print-Friendly.
Lingua
Buono. La tua lingua dichiarata en.
Dublin Core
Questa pagina non sfrutta i vantaggi di Dublin Core.
Documento
Doctype
HTML 5
Encoding
Perfetto. Hai dichiarato che il tuo charset e UTF-8.
Validita W3C
Errori : 0
Avvisi : 0
Email Privacy
Attenzione! E stato trovato almeno un indirizzo mail in plain text. Usa antispam protector gratuito per nascondere gli indirizzi mail agli spammers.
Deprecated HTML
Grande! Non abbiamo trovato tags HTML deprecati nel tuo codice.
Suggerimenti per velocizzare
|
Eccellente, il tuo sito web non utilizza nested tables. |
|
Perfetto. Nessun codice css inline e stato trovato nei tags HTML! |
|
Grande, il tuo sito web ha pochi file CSS. |
|
Perfetto, il tuo sito web ha pochi file JavaScript. |
|
Peccato, il vostro sito non approfitta di gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Ottimizzazione
XML Sitemap
Non trovato
Il tuo sito web non ha una sitemap XML - questo può essere problematico.
A elenca sitemap URL che sono disponibili per la scansione e possono includere informazioni aggiuntive come gli ultimi aggiornamenti del tuo sito, frequenza delle variazioni e l'importanza degli URL. In questo modo i motori di ricerca di eseguire la scansione del sito in modo più intelligente.
Robots.txt
https://schurr.io/robots.txt
Grande, il vostro sito ha un file robots.txt.
Analytics
Non trovato
Non abbiamo rilevato uno strumento di analisi installato su questo sito web.
Web analytics consentono di misurare l'attività dei visitatori sul tuo sito web. Si dovrebbe avere installato almeno un strumento di analisi, ma può anche essere buona per installare una seconda, al fine di un controllo incrociato dei dati.
PageSpeed Insights
Dispositivo
Categorie
Free SEO Testing Tool
Free SEO Testing Tool e uno strumento di ottimizzazione per i motori di ricerca (seo tool) che serve per analizzare le tue pagine web