FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Hans, Wolfram; Knopp, Benjamin; Paulus, Dietrich
Farbmetrische ObjekterkennungGerd Stanke;Michael Pochanke (Hrsg). FarbBV 2009 - 15. Workshop Farbbildverarbeitung: 08. - 09. Oktober 2009; Berlin-Adlershof. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2009 S. 43 - 51
Bergen, Tobias; Ruthotto, Steffen; Münzenmayer, Christian et al.
Feature-Based Real-Time Endoscopic MosaickingPeter Zinterhof (Hrsg). Proceedings of the 6th International Symposium on Image and Signal Processing and Analysis ISPA 2009: 16 - 18 September, 2009; Salzburg, Austria. Piscataway, NJ: IEEE Computer Society 2009 S. 695 - 700
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