Evaluation du site schurr.io
Hans-Jörg Schurr
Généré le 28 Janvier 2026 14:11
Vieilles statistiques? UPDATE !
Le score est de 51/100
Optimisation du contenu
Titre
Hans-Jörg Schurr
Longueur : 16
Parfait, votre titre contient entre 10 et 70 caractères.
Description
Longueur : 0
Très mauvais. Nous n'avons pas trouvé de balise META description sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer une description.
Mots-clefs
Très mauvais. Nous n'avons pas trouvé de balise META keywords sur votre page. Utilisez ce générateur gratuit de balises META en ligne pour créer des mots-clés.
Propriétés Open Graph
Cette page ne profite pas des balises META Open Graph. Cette balise permet de représenter de manière riche n'importe quelle page dans le graph social (environnement social). Utilisez ce générateur gratuit de balises META Open Graph pour les créer.
Niveaux de titre
| 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
Nous avons trouvé 4 image(s) sur cette page Web.
2 attribut(s) alt sont vides ou manquants. Ajouter un texte alternatif permet aux moteurs de recherche de mieux comprendre le contenu de vos images.
Ratio texte/HTML
Ratio : 46%
Idéal! le ratio de cette page texte/HTML est entre 25 et 70 pour cent.
Flash
Parfait, aucun contenu FLASH n'a été détecté sur cette page.
Iframe
Génial, il n'y a pas d'Iframes détectés sur cette page.
Liens
Réécriture d'URLs
Bien. Vos liens sont optimisés!
Tiret bas dans les URLs
Nous avons détectés des soulignements dans vos URLs. Vous devriez plutôt utiliser des tirets pour optimiser votre référencement.
Liens dans la page
Nous avons trouvé un total de 112 lien(s) dont 40 lien(s) vers des fichiers
| Texte d'ancre | Type | Juice |
|---|---|---|
| University of Iowa | Externe | Passing Juice |
| cvc5 | Externe | Passing Juice |
| Eunoia | Externe | Passing Juice |
| LFSC | Externe | Passing Juice |
| Alethe | Externe | Passing Juice |
| veriT | Externe | Passing Juice |
| SMT-LIB benchmark library | Externe | Passing Juice |
| SMT competition | Externe | Passing Juice |
| Inria | Externe | Passing Juice |
| Université de Lorraine | Externe | Passing Juice |
| Pascal Fontaine | Externe | Passing Juice |
| Jasmin Blanchette | Externe | Passing Juice |
| Stephan Merz | Externe | Passing Juice |
| Isabelle/HOL | Externe | Passing Juice |
| Polytech Nancy | Externe | Passing Juice |
| Publications | Interne | Passing Juice |
| Artifacts | Interne | Passing Juice |
| Talks | Interne | Passing Juice |
| Service | Interne | Passing Juice |
| Teaching | Interne | Passing Juice |
| Contact | Interne | Passing Juice |
| Open Access | Externe | Passing Juice |
| .bib | Interne | Passing Juice |
| ArXiv | Externe | Passing Juice |
| Springer Link | Externe | Passing Juice |
| .bib | Interne | Passing Juice |
| The Authors | Interne | Passing Juice |
| Externe | Passing Juice | |
| .bib | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Interne | Passing Juice | |
| .bib | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| HAL | Externe | Passing Juice |
| Authors’ PDF | Interne | Passing Juice |
| Open Access | Externe | Passing Juice |
| .bib | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Authors’ PDF | Interne | Passing Juice |
| Springer Link | Externe | Passing Juice |
| .bib | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Extended Abstract | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Authors’ PDF | Interne | Passing Juice |
| Open Access | Externe | Passing Juice |
| .bib | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Interne | Passing Juice | |
| Externe | Passing Juice | |
| Webpage | Externe | Passing Juice |
| Github | Externe | Passing Juice |
| Webpage | Externe | Passing Juice |
| Benchmark Submission | Externe | Passing Juice |
| Zenodo | Externe | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Draft Paper | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Material | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Slides | Interne | Passing Juice |
| Abstract | Interne | Passing Juice |
| CPP | Externe | Passing Juice |
| SMT | Externe | Passing Juice |
| SBMF | Externe | Passing Juice |
| ATVA | Externe | Passing Juice |
| TACAS | Externe | Passing Juice |
| SBMF | Externe | Passing Juice |
| ICFP | Externe | Passing Juice |
| ATVA | Externe | Passing Juice |
| TACAS | Externe | Passing Juice |
| Sci. Comput. Program. | Externe | Passing Juice |
| J. Autom. Reason. | Externe | Passing Juice |
| SMT | Externe | Passing Juice |
| FroCoS | Externe | Passing Juice |
| TACAS | Externe | Passing Juice |
| SMT | Externe | Passing Juice |
| Int. J. Softw. Tools Technol. Transf. | Externe | Passing Juice |
| CADE | Externe | Passing Juice |
| CAV | Externe | Passing Juice |
| ICALP | Externe | Passing Juice |
| KI | Externe | Passing Juice |
| Hans-Jörg Schurr | Externe | Passing Juice |
| Hans-Jörg Schurr | Externe | Passing Juice |
| Jakob Bleier | Externe | Passing Juice |
| Marie Duflot-Kremer | Externe | Passing Juice |
| Mathias Fleury | Externe | Passing Juice |
| Christa Jenkins | Externe | Passing Juice |
| Hanna Lachnitt | Externe | Passing Juice |
| Pierre Lermusiaux | Externe | Passing Juice |
| Andrew Marmaduke | Externe | Passing Juice |
| J. Garrett Morris | Externe | Passing Juice |
| Aina Niemetz | Externe | Passing Juice |
| Mathias Preiner | Externe | Passing Juice |
| Martin Riener | Externe | Passing Juice |
| glitch.love | Externe | Passing Juice |
| Andy Reynolds | Externe | Passing Juice |
| Mallku Soldevila | Externe | Passing Juice |
| Cesare Tinelli | Externe | Passing Juice |
| Sophie Tourret | Externe | Passing Juice |
| Athénaïs Vaginay | Externe | Passing Juice |
| Haniel Barbosa | Externe | Passing Juice |
| Yoni Zohar | Externe | Passing Juice |
Mots-clefs
Nuage de mots-clefs
university introduction slides pdf schurr proof hans-jörg mathias proofs smt
Cohérence des mots-clefs
| Mot-clef | Contenu | Titre | Mots-clefs | Description | Niveaux de titre |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Ergonomie
Url
Domaine : schurr.io
Longueur : 9
Favicon
Génial, votre site web dispose d'un favicon.
Imprimabilité
Aucun style CSS pour optimiser l'impression n'a pu être trouvé.
Langue
Bien. Votre langue est : en.
Dublin Core
Cette page ne profite pas des métadonnées Dublin Core.
Document
Doctype
HTML 5
Encodage
Parfait. Votre charset est UTF-8.
Validité W3C
Erreurs : 0
Avertissements : 0
E-mail confidentialité
Attention! Au moins une adresse e-mail a été trouvée en texte clair. Utilisez une protection anti-spam gratuite pour cacher vos e-mails aux spammeurs.
HTML obsolètes
Génial! Nous n'avons pas trouvé de balises HTML obsolètes dans votre code.
Astuces vitesse
|
Excellent, votre site n'utilise pas de tableaux imbriqués. |
|
Parfait. Aucun style css inline n'a été trouvé dans vos tags HTML! |
|
Génial, votre site web contient peu de fichiers CSS. |
|
Parfait, votre site web contient peu de fichiers javascript. |
|
Dommage, votre site n'est pas optimisé avec gzip. |
Mobile
Optimisation mobile
|
Icône Apple |
|
Méta tags viewport |
|
Contenu FLASH |
Optimisation
Sitemap XML
Manquant
Votre site web ne dispose pas d’une sitemap XML, ce qui peut poser problème.
La sitemap recense les URLs que les moteurs de recherche peuvent indexer, tout en proposant d’éventuelles informations supplémentaires (comme la date de dernière mise à jour, la fréquence des changements, ainsi que leur niveau d’importance). Ceci permet aux moteurs de recherche de parcourir le site de façon plus efficace.
Robots.txt
https://schurr.io/robots.txt
Votre site dispose d’un fichier robots.txt, ce qui est optimal.
Mesures d'audience
Manquant
Nous n'avons trouvé aucun outil d'analytics sur ce site.
Un outil de mesure d'audience vous permet d'analyser l’activité des visiteurs sur votre site. Vous devriez installer au moins un outil Analytics. Il est souvent utile d’en rajouter un second, afin de confirmer les résultats du premier.
PageSpeed Insights
Dispositif
Les catégories
Free SEO Testing Tool
Free SEO Testing Tool est un outil gratuit de référencement qui vous aidera à analyser vos pages web