FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Kunegis, Jérôme
Exploiting the Structure of Bipartite Graphs for Algebraic and Spectral Graph Theory ApplicationsCoRR. S. 1 - 37
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
Alahmadi, Amal A.; Musa, Mohamed O. I.; El-Gorashi, Taisir E. H. et al.
Fogbanks: Future Dynamic Vehicular Fog Banks for Processing, Sensing and Storage in 6GS. 1 - 6
Matamoros, Mauricio; Harbusch, Karin; Paulus, Dietrich
From Commands to Goal-based Dialogs: A Roadmap to Achieve Natural Language Interaction in RoboCup@HomeS. 1 - 13
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