Revisión web de schurr.io
Hans-Jörg Schurr
Generado el 28 Enero 2026 14:11 PM
Resultados antiguos? ACTUALIZAR !
La puntuación es 51/100
Contenido SEO
Título
Hans-Jörg Schurr
Longitud : 16
Perfecto, tu título contiene entre 10 y 70 caracteres.
Descripción
Longitud : 0
Muy mal. No hemos encontrado descripción meta en tu página. Usa este generador online gratuito para crear la descripción.
Palabras Claves (Keywords)
Muy mal. No hemos encontrado palabras clave (meta keywords) en tu página. Usa este generador de meta tags gratuito para crear tus palabras clave.
Propiedades Meta Og
Esta página no usa etiquetas Og. Estas etiquetas permiten a los rastreadores sociales estructurar mejor tu página. Usa este generador de etiquetas og gratuito para crearlas.
Titulos
| 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
Imagenes
Hemos encontrado 4 imágenes en esta web.
2 atributos alt están vacios o no existen. Agrega texto alternativo para que los motores de búsqueda puedan entender las imágenes.
Ratio Texto/HTML
Ratio : 46%
Ideal! El ratio entre texto y código HTML de esta página está entre 25 y 70 por ciento.
Flash
Perfecto, no se ha detectado contenido Flash en la página.
Iframe
Genial, no se han detectado Iframes en la página.
Enlaces SEO
Reescritura URL
Bien. Tus enlaces parecen amigables
Guiones bajos en las URLs
Hemos detectado guiones bajos en tus URLs. Deberías usar guiones en su lugar para optimizar tu SEO.
Enlaces en página
Hemos encontrado un total de 112 enlaces incluyendo 40 enlace(s) a ficheros
| Ancla | Tipo | Jugo |
|---|---|---|
| University of Iowa | Externo | Pasando Jugo |
| cvc5 | Externo | Pasando Jugo |
| Eunoia | Externo | Pasando Jugo |
| LFSC | Externo | Pasando Jugo |
| Alethe | Externo | Pasando Jugo |
| veriT | Externo | Pasando Jugo |
| SMT-LIB benchmark library | Externo | Pasando Jugo |
| SMT competition | Externo | Pasando Jugo |
| Inria | Externo | Pasando Jugo |
| Université de Lorraine | Externo | Pasando Jugo |
| Pascal Fontaine | Externo | Pasando Jugo |
| Jasmin Blanchette | Externo | Pasando Jugo |
| Stephan Merz | Externo | Pasando Jugo |
| Isabelle/HOL | Externo | Pasando Jugo |
| Polytech Nancy | Externo | Pasando Jugo |
| Publications | Interna | Pasando Jugo |
| Artifacts | Interna | Pasando Jugo |
| Talks | Interna | Pasando Jugo |
| Service | Interna | Pasando Jugo |
| Teaching | Interna | Pasando Jugo |
| Contact | Interna | Pasando Jugo |
| Open Access | Externo | Pasando Jugo |
| .bib | Interna | Pasando Jugo |
| ArXiv | Externo | Pasando Jugo |
| Springer Link | Externo | Pasando Jugo |
| .bib | Interna | Pasando Jugo |
| The Authors | Interna | Pasando Jugo |
| Externo | Pasando Jugo | |
| .bib | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Interna | Pasando Jugo | |
| .bib | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| HAL | Externo | Pasando Jugo |
| Authors’ PDF | Interna | Pasando Jugo |
| Open Access | Externo | Pasando Jugo |
| .bib | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Authors’ PDF | Interna | Pasando Jugo |
| Springer Link | Externo | Pasando Jugo |
| .bib | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Extended Abstract | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Authors’ PDF | Interna | Pasando Jugo |
| Open Access | Externo | Pasando Jugo |
| .bib | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Interna | Pasando Jugo | |
| Externo | Pasando Jugo | |
| Webpage | Externo | Pasando Jugo |
| Github | Externo | Pasando Jugo |
| Webpage | Externo | Pasando Jugo |
| Benchmark Submission | Externo | Pasando Jugo |
| Zenodo | Externo | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Draft Paper | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Material | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Slides | Interna | Pasando Jugo |
| Abstract | Interna | Pasando Jugo |
| CPP | Externo | Pasando Jugo |
| SMT | Externo | Pasando Jugo |
| SBMF | Externo | Pasando Jugo |
| ATVA | Externo | Pasando Jugo |
| TACAS | Externo | Pasando Jugo |
| SBMF | Externo | Pasando Jugo |
| ICFP | Externo | Pasando Jugo |
| ATVA | Externo | Pasando Jugo |
| TACAS | Externo | Pasando Jugo |
| Sci. Comput. Program. | Externo | Pasando Jugo |
| J. Autom. Reason. | Externo | Pasando Jugo |
| SMT | Externo | Pasando Jugo |
| FroCoS | Externo | Pasando Jugo |
| TACAS | Externo | Pasando Jugo |
| SMT | Externo | Pasando Jugo |
| Int. J. Softw. Tools Technol. Transf. | Externo | Pasando Jugo |
| CADE | Externo | Pasando Jugo |
| CAV | Externo | Pasando Jugo |
| ICALP | Externo | Pasando Jugo |
| KI | Externo | Pasando Jugo |
| Hans-Jörg Schurr | Externo | Pasando Jugo |
| Hans-Jörg Schurr | Externo | Pasando Jugo |
| Jakob Bleier | Externo | Pasando Jugo |
| Marie Duflot-Kremer | Externo | Pasando Jugo |
| Mathias Fleury | Externo | Pasando Jugo |
| Christa Jenkins | Externo | Pasando Jugo |
| Hanna Lachnitt | Externo | Pasando Jugo |
| Pierre Lermusiaux | Externo | Pasando Jugo |
| Andrew Marmaduke | Externo | Pasando Jugo |
| J. Garrett Morris | Externo | Pasando Jugo |
| Aina Niemetz | Externo | Pasando Jugo |
| Mathias Preiner | Externo | Pasando Jugo |
| Martin Riener | Externo | Pasando Jugo |
| glitch.love | Externo | Pasando Jugo |
| Andy Reynolds | Externo | Pasando Jugo |
| Mallku Soldevila | Externo | Pasando Jugo |
| Cesare Tinelli | Externo | Pasando Jugo |
| Sophie Tourret | Externo | Pasando Jugo |
| Athénaïs Vaginay | Externo | Pasando Jugo |
| Haniel Barbosa | Externo | Pasando Jugo |
| Yoni Zohar | Externo | Pasando Jugo |
Palabras Clave SEO
Nube de Palabras Clave
proof slides smt university hans-jörg schurr pdf proofs mathias introduction
Consistencia de las Palabras Clave
| Palabra Clave (Keyword) | Contenido | Título | Palabras Claves (Keywords) | Descripción | Titulos |
|---|---|---|---|---|---|
| smt | 32 |  |
|
|
|
| slides | 19 | |
|
|
|
| schurr | 16 |  |
|
|
|
| hans-jörg | 15 | |
|
|
|
| proof | 14 | |
|
|
|
Usabilidad
Url
Dominio : schurr.io
Longitud : 9
Favicon
Genial, tu web tiene un favicon.
Imprimibilidad
No hemos encontrado una hoja de estilos CSS para impresión.
Idioma
Genial. Has declarado el idioma en.
Dublin Core
Esta página no usa Dublin Core.
Documento
Tipo de documento (Doctype)
HTML 5
Codificación
Perfecto. Has declarado como codificación UTF-8.
Validez W3C
Errores : 0
Avisos : 0
Privacidad de los Emails
Atención! Hemos encontrado por lo menos una dirección de correo electrónico en texto plano. Usa este protector antispam gratuito para ocultarla de los spammers.
HTML obsoleto
Genial, no hemos detectado ninguna etiqueta HTML obsoleta.
Consejos de Velocidad
|
Excelente, esta web no usa tablas. |
|
Perfecto. No se han declaro estilos embenidos (inline CSS) en tus etiquetas HTML! |
|
Genial, tu página web usa muy pocos ficheros CSS. |
|
Perfecto, tu web usa pocos ficheros JavaScript. |
|
Su sitio web no se beneficia de gzip. Intente implementarlo en su sitio web. |
Movil
Optimización Móvil
|
Icono para Apple |
|
Etiqueta Meta Viewport |
|
Contenido Flash |
Optimización
Mapa del sitio XML
No disponible
Su sitio web no tiene un mapa del sitio XML. Esto puede traerle problemas.
Un mapa del sitio enumera las URL que pueden rastrearse y puede incluir información adicional, como las últimas actualizaciones de su sitio web, la frecuencia de cambios y la importancia de las URL. Esto permite a los motores de búsqueda rastrear el sitio web de una forma más exhaustiva.
Robots.txt
https://schurr.io/robots.txt
¡Estupendo! Su sitio web tiene un archivo robots.txt.
Herramientas de Analítica
No disponible
No hemos encontrado ninguna herramienta de analítica en esta web.
La analítica Web le permite medir la actividad de los visitantes de su sitio web. Debería tener instalada al menos una herramienta de analítica y se recomienda instalar otra más para obtener una confirmación de los resultados.
PageSpeed Insights
Dispositivo
Categorias
Free SEO Testing Tool
Free SEO Testing Tool es una herramienta seo gratuita que te ayuda a analizar tu web