Universität Koblenz
- 0261/287-0
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
Schmiedt, H.; Merten, S.; Pohl, I.
Heikle Interpretationsraster. Methoden- und Erkenntniswechsel am Beispiel der Literaturgeschichtsschreibung über die Aufklärung und den Sturm und DrangMerten, S.; Pohl, I. (Hrsg). Texte. Spielräume interpretativer Näherung. Festschrift für Gerhard Fieguth. Landau. Landau S. 93-106
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
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsCoRR. S. 1 - 31