FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Tyson, Gareth; Grace, Paul; Blair, Gordon S. et al.
Fine Grained Component Engineering of Adaptive Overlays: Experiences and PerspectivesLancaster: Lancaster University 2009 S. 1 - 20
Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol VerificationPierpaolo Degano; Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Focused-Coverage by Mobile Sensor NetworksWie Zhao; Lionel M. Ni (Hrsg). Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems MASS 2009: 12-15 October 2009; Macau (S.A.R.), China. Piscataway, NJ: IEEE Computer Society 2009 S. 466 - 475
Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Becker, Jörg; Delfmann, Patrick; Herwig, Sebastian et al.
Formalizing Linguistic Conventions for Conceptual ModelsAlberto H. F. Laender; Silvana Castano; Umeshwar Dayal; Fabio Casati; José Palazzo M. de Oliveira (Hrsg). Conceptual Modeling - ER 2009; 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings. Berlin: Springer 2009 S. 70 - 83 (LNCS 5829)
Mauthe, Andreas; Zeadally, Sherali; Cerqueira, Eduardo et al.
Future Multimedia Networking: Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. ProceedingsBerlin: Springer 2009
Frick, Norbert; Schubert, Petra
Future requirements of ERP software from the vendors' point of viewSusan Newell; Edgar A. Whitley; Nancy Pouloudi; Jonathan Wareham; Lars Mathiassen (Hrsg). Proceedings of the 17th European Conference on Information Systems, ECIS 2009 - "Information systems in a globalising world: challenges, ethics and practices": Verona, Italy; June 8 - 10, 2009. Atlanta, GA: Association for Information Systems/AIS eLibrary 2009 S. 497 - 508
Harbusch, Karin; Kempen, Gerard
Generating clausal coordinate ellipsis multilingually: A uniform approach based on posteditingEmiel Krahmer;Mariët Theune (Hrsg). Proceedings of the 12th European Workshop on Natural Language Generation ENLG 2009: Proceedings of the Workshop; Athens, Greece; March 30 & 31, 2009. Stroudsburg, PA: Association for Computational Linguistics 2009 S. 138 - 145
Schwarz, Christian; Weyand, Christian; Zöbel, Dieter
Generisches Verfahren zur präzisen Pfadverfolgung für SerienfahrzeuggespanneRüdiger Dillmann; Jürgen Beyerer; Christoph Stiller; J. Marius Zöllner; Tobias Gindele (Hrsg). Autonome Mobile Systeme 2009: 21. Fachgespräch Karlsruhe, 3. - 4. Dezember 2009. Berlin: Springer 2009 S. 97 - 104
Gil, Sandra; Scherer, Sabrina; Monrós, Celsa
Giving citizens from the regions their VoiceS in EU legislation with WEB 3.0 toolsRenato Lucarini (Hrsg). E-Gov. 2.0: Pave the way for e-Participation: Madrid; 5th October, 2009. Rom: European Industrial Space Study Group 2009 S. 134 - 140