Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10

Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica

On First-Order Model-Based Reasoning

CoRR. S. 1 - 24


Sofronie-Stokkermans, Viorica

On Interpolation and Symbol Elimination in Theory Extensions

CoRR. S. 1 - 41


Peuter, Dennis; Sofronie-Stokkermans, Viorica

On Invariant Synthesis for Parametric Systems

CoRR. S. 1 - 33


Fay, Damien; Kunegis, Jérôme; Yoneki, Eiko

On Joint Diagonalisation for Dynamic Network Analysis

CoRR. S. 1 - 10


Ferdinand, Peter

Pädagogisch-Didaktische Herausforderungen bei der Entwicklung von digitalen Lernumgebungen in der laborbasierten Lehre

Hamburg: Zeitschrift MedienPädagogik, Sektion Medienpädagogik (DGfE) der Deutschen Gesellschaft fur Erziehungswissenschaft - DGfE Hamburg


Sofronie-Stokkermans, Viorica

Parametric Systems: Verification and Synthesis

CoRR. S. 1 - 39



Kunegis, Jérôme; Blattner, Marcel; Moser, Christine

Preferential Attachment in Online Networks: Measurement and Explanations

CoRR. S. 1 - 10