FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Troitzsch, Klaus G.
Linear systemsDarity, William A. (Hrsg). International Encyclopedia of the Social Sciences, Vol. 4, Inequality, income - Marxism, black. 2. Aufl. Detroit: Macmillian Reference 2008 S. 455 - 457
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
Hardy, Catherine A.; Williams, Susan P.
Making e-Government Research Designs Visible: Reflexivity and Collaborative ResearchDan Remenyi (Hrsg). 4th International Conference on e-Government 2008: Melbourne, Australia; 23-24 October 2008. Red Hook, NY: Curran 2008 S. 171 - 178
Wienss, Christian; Müller, Stefan; Hedrich, Jens et al.
Materialparameter zur Kabelsimulation in VRMarco Schumann;Torsten Kuhlen (Hrsg). Virtuelle und Erweiterte Realität: 5. Workshop der GI Fachgruppe VR/AR. Aachen: Shaker 2008 S. 157 - 168