Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory ExtensionsLogical Methods in Computer Science. Bd. 4. H. 4. Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig 2008 S. 1 - 31
Taubenberger, Stefan; Jürjens, Jan
IT Security Risk Analysis based on Business Process Models enhanced with Security RequirementsJon Whittle;Jan Jürjens;Bashar Nuseibeh;Glen Dobson (Hrsg). Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 10
Wilkins, Peter; Byrne, Daragh; Jones, Gareth J. F. et al.
K-Space at TRECVID 2008Paul Over;George Awad;R. Travis Rose;Jonathan G. Fiscus;Wessel Kraaij;Alan F. Smeaton (Hrsg). Proceedings of TREC Video Retrieval Evaluation TRECVID 2008 - workshop participants notebook papers: 17-18 November 2008; Gaithersburg, MD, USA. Gaithersburg, MD: NIST National Institute of Standards and Technology 2008 S. 260 - 269
Jürjens, Jan
Linking Cryptoprotocol Verification to RealityAnnual Meeting of the Working Group on Formal Methods and Software Engineering for Safety and Security (German Computer Society). Darmstadt (Germany). 2008 S. 1 - 29
Sofronie-Stokkermans, Viorica
Locality and Subsumption Testing in EL and Some of its ExtensionsFranz Baader; Carsten Lutz; Boris Motik (Hrsg). Proccedings of the 21th International Workshop on Description Logics DL 2008; Dresden, Germany; May 13–16, 2008. Aachen: CEUR/RWTH 2008 S. keine Angaben
Sofronie-Stokkermans, Viorica
Locality and subsumption testing in EL and some of its extensionsCarlos Areces; Robert Goldblatt (Hrsg). Advances in Modal Logic. Rickmansworth: College Publications 2008 S. 315 - 339
Frey, Hannes; Ingelrest, François; Simplot-Ryl, David
Localized Minimum Spanning Tree Based Multicast Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Sensor NetworksRamesh Jain; Mohan Kumar (Hrsg). IEEE International Symposium on World of Wireless, Mobile and Multimedia Networks WoWMoM 2008; 23.-26. June, 2008; Newport Beach, CA, USA. Piscataway, NJ: IEEE Computer Society 2008 S. 1 - 8
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Localized Sensor Self-Deployment with Coverage GuaranteeACM SIGMOBILE Mobile Computing and Communications Review. Bd. 12. H. 2. New York, NY: ACM Association for Computing Machinery 2008 S. 50 - 52
Frey, Hannes; Simplot-Ryl, David
Localized Topology Control Algorithms for Ad Hoc and Sensor NetworksAmiya Nayak;Ivan Stojmenovic (Hrsg). Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems. Hoboken, NJ: Wiley-Interscience 2008 S. 439 - 464
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
LogAnswer - A Deduction-Based Question Answering System (System Description)Alessandro Armando; Peter Baumgartner; Gilles Dowek (Hrsg). Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceeding. Berlin: Springer 2008 S. 139 - 146