![](/public/facilities/2.png)
Universität Koblenz
- 0261/287-0
![](/public/facilities/2.png)
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
Ferdinand, Peter
Pädagogisch-Didaktische Herausforderungen bei der Entwicklung von digitalen Lernumgebungen in der laborbasierten LehreHamburg: Zeitschrift MedienPädagogik, Sektion Medienpädagogik (DGfE) der Deutschen Gesellschaft fur Erziehungswissenschaft - DGfE Hamburg
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
Hunter, Anthony; Thimm, Matthias
Probabilistic Argumentation with Epistemic Extensions and Incomplete InformationCoRR. S. 1 - 17
Gaggl, Sarah Alice; Thimm, Matthias
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)CoRR. S. 1 - 32