FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Fay, Damien; Kunegis, Jérôme; Yoneki, Eiko
On Joint Diagonalisation for Dynamic Network AnalysisCoRR. S. 1 - 10
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisCoRR. S. 1 - 39
Kunegis, Jérôme
Polcovar: Software for Computing the Mean and Variance of Subgraph Counts in Random GraphsCoRR. S. 1 - 5
Kunegis, Jérôme; Blattner, Marcel; Moser, Christine
Preferential Attachment in Online Networks: Measurement and ExplanationsCoRR. S. 1 - 10