Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
Publikationen
Ergebnisse pro Seite:  10

Strohmaier, Markus

A few thoughts on engineering social machines: extended abstract

Daniel Schwabe; Virgílio Almeida; Hartmut Glaser; Leslie Carr; Alberto H. F. Laender; Bernadette Farias Lóscio; Irwin King; Marcus Fontoura; Denny Vrandeèiæ; Lora Aroyo; José Palazzo M. de Oliveira; Fernanda Lima; Erik Wilde (Hrsg). Proceedings of the 22nd International Conference on World Wide Web WWW 2013 Companion: May 13 - 17, 2013; Rio de Janeiro, Brazil. New York, NY: ACM Association for Computing Machinery 2013 S. 919 - 920


Bräunlich, Katharina; Grimm, Rüdiger

A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board

James 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 Models

Birgit 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 Provision

Maria 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 Computing

Ian 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, Borneo

Zootaxa. 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 species

Phytotaxa. 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 System

Dietmar 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 Moiety

Organometallics. Bd. 32. H. 16. Washington, DC: American Chemical Society 2013 S. 4523 - 4530