Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Kahm, Matthias; Hasenbrink, Guido; Lichtenberg-Fraté, Hella et al.
Grofit: fitting biological growth curvesNature Precedings. London: Nature Publishing Group 2010
Kahm, Matthias; Hasenbrink, Guido; Lichtenberg-Fraté, Hella et al.
grofit: Fitting Biological Growth Curves with RJournal of Statistical Software. Bd. 33. H. 7. Innsbruck: Foundation for Open Access Statistics 2010 S. 1 - 21
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric SystemsJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 171 - 187
Höhn, Sebastian; Lowis, Lutz; Jürjens, Jan et al.
Identification of Vulnerabilities in Web Services using Model-based SecurityCarlos A. Gutiérrez;Eduardo Fernández-Medina;Mario Piattini (Hrsg). Web Services Security Development and Architecture: Theoretical and Practical Issues. Hershey, PA: Information Science Reference 2010 S. 1 - 32
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
Logic-Based Question AnsweringKünstliche Intelligenz. Bd. 24. H. 1. Berlin: Springer 2010 S. 51 - 55
Frey, Hannes; Schwier, Martin
Mobility Assisted Positioning in Wireless Sensor NetworksReiner Kolla (Hrsg). 9. Fachgespräch "Sensornetze" der GI/ITG Fachgruppe Kommunikation und Verteilte Systeme: Technischer Bericht 16. - 17. September 2010. Würzburg: Universität Würzburg Institut für Informatik 2010 S. 51 - 54
Jürjens, Jan
Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote)Paloma Díaz; Mary Beth Rosson; Christopher Hundhausen; Emmanuel Pietriga (Hrsg). IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC 2010: 21-25 September, 2010; Leganes, Madrid, Spain. Los Alamitos, CA: IEEE Computer Society 2010 S. 4 - 6
Jürjens, Jan
Modell-basierte Analyse von Geschäftsprozessen und Architekturen4. COMPARC Fokustag, Fraunhofer ISST, 20 Jan. 2010, Dortmund, Germany. Fraunhofer ISST, Dortmund 2010
Mohammed, Ammar; Furbach, Ulrich
Multi-Agent Systems: Modeling and Verification Using Hybrid AutomataLars Braubach; Jean-Pierre Briot; John Thangarajah (Hrsg). Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Berlin: Springer 2010 S. 49 - 66
Frey, Hannes; Stojmenovic, Ivan
On Delivery Guarantees and Worst-Case Forwarding Bounds of Elementary Face Routing Components in Ad Hoc and Sensor NetworksIEEE Transactions on Computers. Bd. 59. H. 9. Los Alamitos, CA: IEEE Computer Society 2010 S. 1224 - 1238