FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Orphanou, Kalia; Christoforou, Evgenia; Otterbacher, Jahna et al.
Preserving the memory of the first wave of COVID-19 pandemic: Crowdsourcing a collection of image search queriesS. 1 - 10