zs.informatik uni-kiel.de
Dependable Systems Group
The Dependable Systems Group investigates formal methods for the discovery and prevention of hard- and software bugs. In particular, we work on the field of formal specification and verification, model-checking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures.
OVERVIEW
The web page zs.informatik.uni-kiel.de presently has an average traffic ranking of zero (the smaller the more users). We have downloaded eight pages inside the web page zs.informatik.uni-kiel.de and found eight websites linking to zs.informatik.uni-kiel.de. There are one social networking sites retained by this website.
Pages Parsed
8Links to this site
8Social Links
1ZS.INFORMATIK.UNI-KIEL.DE TRAFFIC
The web page zs.informatik.uni-kiel.de is seeing a variation amounts of traffic for the whole of the year.
Date Range
1 week
1 month
3 months
This Year
Last Year
All time
Date Range
All time
This Year
Last Year
Date Range
All time
This Year
Last Year
Last Month
LINKS TO ZS.INFORMATIK.UNI-KIEL.DE
WHAT DOES ZS.INFORMATIK.UNI-KIEL.DE LOOK LIKE?
ZS.INFORMATIK.UNI-KIEL.DE SERVER
Our crawlers caught that a single page on zs.informatik.uni-kiel.de took one thousand seven hundred and thirty-four milliseconds to stream. Our web crawlers could not detect a SSL certificate, so in conclusion we consider this site not secure.
Load time
1.734 sec
SSL
NOT SECURE
IP
134.245.2.139
FAVICON
SERVER SOFTWARE AND ENCODING
We found that zs.informatik.uni-kiel.de is using the Zope/(2.13.24, python 2.7.10, linux2) ZServer/1.1 server.SITE TITLE
Dependable Systems GroupDESCRIPTION
The Dependable Systems Group investigates formal methods for the discovery and prevention of hard- and software bugs. In particular, we work on the field of formal specification and verification, model-checking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures.PARSED CONTENT
The web page has the following on the site, "On the Solvability Problem for Restricted Classes of Word Equations." I saw that the web page also said " One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations." They also said " Parallelizing Constraint Programming with Learning. Efficiently Finding All Maximal α-gapped Repeats."SEE SIMILAR WEB PAGES
AlessandraLe Lênory Alessandra - DeviantArt
Forgot Password or Username? Deviant for 2 Years. This is the place where you can personalize your profile! My hilda c.
thiagopaladino - DeviantArt
Forgot Password or Username? Deviant for 2 Years. This is the place where you can personalize your profile! Click he.
Mensch-Computer-Interaktion
Auf der Website des Fachbereichs Mensch-Computer-Interaktion. Der Gesellschaft für Informatik e. , der größten Informatikfachvertretung im deutschsprachigen Raum. Koordiniert die Aktivitäten der ihn tragenden Fachgruppen.