FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Ding, Melissa; Hampe, J. Felix
Reconsidering the Challenges of mPayments: A Roadmap to Plotting the Potential of the Future mCommerce MarketRolf T. Wigand (Hrsg). Proceedings of the 16th Bled eCommerce Conference 2003; eTransformation: June 9 - 11, 2003; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2003 S. 873 - 884
Kempen, Gerard; Harbusch, Karin
RectificationCognition. Bd. 90. H. 2. Amsterdam: Elsevier 2003 S. 215
Chesñevar, Carlos Iván; Dix, Jürgen; Stolzenburg, Frieder et al.
Relating defeasible and normal logic programming through transformation propertiesTheoretical computer science. the journal of the EATCS. Bd. 290. H. 1. Amsterdam [u.a.]: Elsevier 2003 S. 499 - 530
Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operatorsJournal of Symbolic Computation. Bd. 36. H. 6. Amsterdam: Elsevier 2003 S. 891 - 924
Murray, J.; Obst, O.; Stolzenburg, F.
RoboLog Koblenz 2002 -- Short Team DescriptionRoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
Obst, O.; Ringelstein, C.
RoboLog Koblenz 2002 -- Visualization DescriptionRoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.
Security-critical system development with extended use casesWanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487
Maedche, Alexander; Staab, Steffen; Stojanovic, Nenad et al.
SEmantic portAL: The SEAL ApproachDieter Fensel; James A. Hendler; Henry Lieberman; Wolfgang Wahlster (Hrsg). Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. Cambridge, MA: MIT Press 2003 S. 317 - 359
Ebert, J.; Schulze, M.; Troch, I. et al.
Semantics of the Phase Model of Production: FormalizationProceedings of MATHMOD 2003. Bd. Proceedings of MATHMOD 2003. 2003
Troitzsch, Klaus G.; Gilbert, Nigel; Iba, Takashi et al.
Shakai Simulation no Giho: Seiji, Keizai, Shakai wo Meguru ShikoGijutsu no Frontier (Japanese translation of Simulation for the Social Scientist)Tokyo: Nippon Hyoronsha 2003