Universität Koblenz
- 0261/287-0
Bräunlich, Katharina; Grimm, Rüdiger
A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin BoardJames Heather;Steve Schneider;Vanessa Teague (Hrsg). E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings. Berlin: Springer 2013 S. 93 - 108
Pflanzl, Nicolas; Breuker, Dominic; Dietrich, Hanns-Alexander et al.
A Framework for Fast Graph-Based Pattern Matching in Conceptual ModelsBirgit Hofreiter; Kwei-Jay Lin (Hrsg). Proceeding of the 2013 IEEE International Conference on Business Informatics BI: 15–18 July 2013; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2013 S. 250 - 257
Mondorf, Ansgar; Wimmer, Maria A.; Reiser, Daniel
A Framework for Interoperability Testing in Pan-European Public Service ProvisionMaria A. Wimmer; Marijn Janssen; Hans Jochen Scholl (Hrsg). Electronic Government: 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013 Proceedings. Berlin: Springer 2013 S. 188 - 199
Shirazi, Noorulhassan; Watson, Michael R.; Marnerides, Angelos K. et al.
A Multilevel Approach Towards Challenge Detection in Cloud ComputingIan Bayley;Clive Blackwell (Hrsg). Cyberpatterns 2013: The Second International Workshop on Cyber Patterns: Unifying Design Patterns with Security, Attack and Forensic Patterns; July 8. - 9., 2013; Abingdon. Oxford: Oxford Brookes University 2013 S. 103 - 107
Dehling, J. Maximilian; Dehling, D. Matthias
A new montane species of Philautus (Amphibia: Anura: Rhacophoridae) from western Sarawak, Malaysia, BorneoZootaxa. Bd. 3686. H. 2. Auckland, New Zealand: Magnolia Press 2013 S. 277 - 288
Dehling, J. Maximilian; Matsui, Masafumi
A new species of Leptolalax (Anura: Megophryidae) from Gunung Mulu National Park, Sarawak, East Malaysia (Borneo)Zootaxa. Bd. 3670. H. 1. Auckland, New Zealand: Magnolia Press 2013 S. 33 - 44
Fischer, Eberhard; Lachenaud, Oliver
A new species of Torenia (Linderniaceae) from Gabon, remarks on Torenia mannii Skan, and a key to the African and Madagascan Torenia speciesPhytotaxa. Bd. 125. H. 1. Auckland: Magnolia Press 2013 S. 40 - 46
Hinze, Michael; Kahle, Christian
A Nonlinear Model Predictive Concept for Control of Two-Phase Flows Governed by the Cahn-Hilliard Navier-Stokes SystemDietmar Hömberg; Fredi Tröltzsch (Hrsg). System Modeling and Optimization: 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers. Berlin: Springer 2013 S. 348 - 357
Almazahreh, Laith R.; Apfel, Ulf-Peter; Imhof, Wolfgang et al.
A Novel [FeFe] Hydrogenase Model with a (SCH₂)₂Ρ=O MoietyOrganometallics. Bd. 32. H. 16. Washington, DC: American Chemical Society 2013 S. 4523 - 4530
Schaarschmidt, Mario; Walsh, Gianfranco; MacCormack, Alan et al.
A problem-solving perspective on governance and product design in open source software projects: Conceptual issues and exploratory evidenceRichard Baskerville; Michael Chau (Hrsg). Proceeding of the 34th International Conference on Information Systems ICIS 2013 - Reshaping society through information systems design: December 15-18, 2013; Milan, Italy; Volume 1-5. Atlanta, GA: Association for Information Systems/AIS eLibrary 2013 S. 219 - 229