FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Balthasar, D.; Priese, L.; Kasturi, R. et al.
Fast Projection Plane ClassifierIn Proceedings 16th International Conference on Pattern Recognition (ICPR 2002), 11-15 August 2002, Quebec City, Canada. Bd. In Proceedings 16th International Conference on Pattern Recognition (ICPR 2002), 11-15 August 2002, Quebec City, Canada. IEEE Computer Society Press, Vol. 2 S. 200-203
Lawonn, Kai; Preim, Bernhard
Feature Lines for Illustrating Medical Surface Models: Mathematical Background and SurveyCoRR. S. 1 - 33
Staab, Steffen
GLR-Parsing of Word Lattices Using a Beam Search MethodCoRR. S. 1 - 4
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsCoRR. S. 1 - 39
Kunegis, Jérôme
Handbook of Network Analysis: KONECT - the Koblenz Network CollectionCoRR. S. 1 - 64
Walk, Simon; Singer, Philipp; Strohmaier, Markus et al.
How to Apply Markov Chains for Modeling Sequential Edit Patterns in Collaborative Ontology-Engineering ProjectsCoRR. S. 1 - 50
Singer, Philipp; Helic, Denis; Hotho, Andreas et al.
HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the WebCoRR. S. 1 - 11
Lamprecht, Daniel; Strohmaier, Markus; Helic, Denis
Improving Reachability and Navigability in Recommender SystemsCoRR. S. 1 - 10
Karimi, Fariba; Wagner, Claudia; Lemmerich, Florian et al.
Inferring Gender from Names on the Web: A Comparative Evaluation of Gender Detection MethodsCoRR. S. 1 - 2