Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.

Logic-Based Question Answering

Künstliche Intelligenz. Bd. 24. H. 1. Berlin: Springer 2010 S. 51 - 55


Frey, Hannes; Schwier, Martin

Mobility Assisted Positioning in Wireless Sensor Networks

Reiner 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 Architekturen

4. 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 Automata

Lars 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 Networks

IEEE Transactions on Computers. Bd. 59. H. 9. Los Alamitos, CA: IEEE Computer Society 2010 S. 1224 - 1238


Ihlemann, Carsten; Sofronie-Stokkermans, Viorica

On Hierarchical Reasoning in Combinations of Theories

Jü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. 30 - 45


Jürjens, Jan

Outsourcing, SaaS & Clouds: Aber sicher! (... und compliant)

Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010). Wuppertal (Germany). 2010


Hopfgartner, Frank

Personalised Video Retrieval: Application of Implicit Feedback and Semantic User Profiles

ACM SIGMultimedia Records. Bd. 2. H. 4. New York, NY: ACM Association for Computing Machinery 2010 S. 6 - 7


Hopfgartner, Frank

Personalized Video Retrieval: Application of Implicit Feedback and Semantic User Profiles

SIGIR Forum. Bd. 44. H. 2. New York, NY: ACM Association for Computing Machinery 2010 S. 84 - 85