Universität Koblenz
- 0261/287-0
Götz, Thomas; Klar, Axel
Nonexistence of steady solutions for rotational slender fibre spinning with surface tensionArXiv e-prints. S. 1 - 9
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
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