FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Hampe, Felix; Hampe, J. - F.; Ryan, T. et al.
M-Government: Status Quo and Perspectives
Thimm, Matthias
Measuring Inconsistency in Probabilistic Knowledge BasesCoRR. S. 1 - 8
Singer, Philipp; Helic, Denis; Taraghi, Behnam et al.
Memory and Structure in Human Navigation Patterns Using Markov Chain Models of Varying OrderCoRR. S. 1 - 31
Laufer, Paul; Wagner, Claudia; Flöck, Fabian et al.
Mining cross-cultural relations from Wikipedia: A study of 31 European food culturesCoRR. S. 1 - 10
Jürjens, Jan
Model-based Security-Engineering (Invited Lecture)Eingeladener Vortrag in der Ringvorlesung ‘‘Standort Internet"Invited talk in the colloquium. Institut für Informatik und Gesellschaft, Abt. Telematik, Universität Freiburg, Nov. 2005 eingeladen vonon invitation of Prof. Dr. Günter Müller
Staab, Steffen; Stalla-Bourdillon, Sophie; Carmichael, Laura
Observing and Recommending from a Social Web with BiasesCoRR. S. 1 - 37
Doerfel, Stephan; Zoller, Daniel; Singer, Philipp et al.
Of course we share! Testing Assumptions about Social Tagging SystemsCoRR. S. 1 - 12
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningCoRR. S. 1 - 24
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsCoRR. S. 1 - 41
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsCoRR. S. 1 - 33