kulczyn.ski

Evaluation du site kulczyn.ski

Dr. Mitja Kulczynski

 Généré le 05 Janvier 2026 08:41

Vieilles statistiques? UPDATE !

Le score est de 43/100

Optimisation du contenu

Titre

Dr. Mitja Kulczynski

Longueur : 20

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 3 0 63 0 0
  • [H1] Hi, I'm Mitja Kulczynski
  • [H2] About Me
  • [H2] Publications
  • [H2] Contact
  • [H4] FMCAD '25
  • [H4] Mitja Kulczynski, Kevin Lotz and Dirk Nowotka
  • [H4] s2s: An Eager SMT Solver for Strings
  • [H4] IJFCS '25
  • [H4] Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen and Anders Schlichtkrull
  • [H4] Certainty in Formalising SMT-LIB for Strings in Isabelle
  • [H4] SBMF '24
  • [H4] Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen and Paul Sarnighausen-Cahn
  • [H4] SMT-Query: Analysing SMT-LIB string benchmarks
  • [H4] CIAA '23
  • [H4] Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen and Anders Schlichtkrull
  • [H4] Verified Verifying: SMT-LIB for Strings in Isabelle
  • [H4] TCS '23
  • [H4] Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, and Dirk Nowotka
  • [H4] Towards more Efficient Methods for Solving Regular-Expression Heavy String Constraints
  • [H4] SPIN '22
  • [H4] Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Solving String Theories involving Regular Membership Predicates Using SAT
  • [H4] CAU '22
  • [H4] Mitja Kulczynski
  • [H4] Light On String Solving
  • [H4] JSEP '21
  • [H4] Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] ZaligVinder: A Generic Test Framework for String Solvers
  • [H4] FM '21
  • [H4] Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, and Vijay Ganesh
  • [H4] Z3str4: A Multi-armed String Solver
  • [H4] RAMiCS '21
  • [H4] Rudolf Berghammer and Mitja Kulczynski
  • [H4] Experimental Investigation of Sufficient Criteria for Relations to Have Kernels
  • [H4] WORDS '21
  • [H4] Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, and Dirk Nowotka
  • [H4] String Theories involving Regular Membership Predicates: From Practice to Theory and Back
  • [H4] DLT '21
  • [H4] Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, and Dirk Nowotka
  • [H4] Weighted Prefix Normal Words: Mind the Gap
  • [H4] CAV '21
  • [H4] Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, and Vijay Ganesh
  • [H4] An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
  • [H4] F-IDE '21
  • [H4] Mitja Kulczynski, Axel Legay, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Analysis of Source Code Using UPPAAL
  • [H4] SAT-COMP '20
  • [H4] Thorsten Ehlers, Mitja Kulczynski, Dirk Nowotka, and Philipp Sieweck
  • [H4] TopoSAT2
  • [H4] SMT-COMP '20
  • [H4] Murphy Berzish, Mitja Kulczynski, Federico Mora, Vijay Ganesh, and Dirk Nowotka
  • [H4] Z3str4: A Two-Armed String Solver
  • [H4] AST '20
  • [H4] Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] The Power of String Solving: Simplicity of Comparison
  • [H4] FormaliSE '20
  • [H4] Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] Rule-based Word Equation Solving
  • [H4] LATA '20
  • [H4] Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] On Collapsing Prefix Normal Words
  • [H4] FMTea '19
  • [H4] Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, and Thomas Wilke
  • [H4] Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
  • [H4] RP '19
  • [H4] Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, and Danny Bøgsted Poulsen
  • [H4] On Solving Word Equations Using SAT

Images

Nous avons trouvé 1 image(s) sur cette page Web.

1 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 : 6%

le ratio de cette page texte/HTML est au-dessous de 15 pour cent, ce qui signifie que votre site manque de contenu textuel.

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.

Réécriture d'URLs

Bien. Vos liens sont optimisés!

Tiret bas dans les URLs

Parfait! Aucuns soulignements détectés dans vos URLs.

Liens dans la page

Nous avons trouvé un total de 4 lien(s) dont 0 lien(s) vers des fichiers

Texte d'ancre Type Juice
Learn More Interne Passing Juice
Dr. Mitja Kulczynski Interne Passing Juice
Publications Interne Passing Juice
Contact Interne Passing Juice

Mots-clefs

Nuage de mots-clefs

kiel involving formulae nowotka especially dirk formal mitja university solving

Cohérence des mots-clefs

Mot-clef Contenu Titre Mots-clefs Description Niveaux de titre
kiel 4
university 3
dirk 2
formal 2
nowotka 2

Ergonomie

Url

Domaine : kulczyn.ski

Longueur : 11

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!
Mauvais, votre site web contient trop de fichiers CSS (plus de 4).
Mauvais, votre site web contient trop de fichiers javascript (plus de 6).
Parfait : votre site tire parti de 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://kulczyn.ski/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