Publikationen

Dirk Pattinson; Lutz Schröder

In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), located at 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008), April 4-6, Budapest, Hungary, Pages 221-241, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 203, Elsevier, Amsterdam, 2008.

Dirk Pattinson; Lutz Schröder

In: Roberto Amadio (Hrsg.). Foundations of Software Science and Computation Structures (FOSSACS 2008). International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2008), located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 66-80, Lecture Notes in Computer Science (LNCS), Vol. 4962, Springer, 2008.

Till Mossakowski; Lutz Schröder; Sergey Goncharov

In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), located at 11th Conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 199-214, Lecture Notes in Computer Science (LNCS), Vol. 4961, Springer, 2008.

Oliver Kutz; Dominik Lücke; Till Mossakowski

In: T. Meyer; M.A. Orgun (Hrsg.). Knowledge Representation Ontology Workshop. Knowledge Representation Ontology Workshop (KROW-08), located at KR-2008, September 16-19, Sidney, Australia, Pages 41-50, CRPIT, Vol. 90, ASR, 2008.

Oliver Kutz; Till Mossakowski; Mihai Codescu

In: Ulrike Sattler; Andrei Tamilin (Hrsg.). International Workshop on Ontologies: Reasoning and Modularity. International Workshop on Ontologies: Reasoning and Modularity (WORM-08), located at the 5th European Semantic Web Conference ESWC-08, June 2, Tenerife, Spain, CEUR-WS online proceedings, Vol. 348, CEUR, 2008.

Yohei Kurata; Hui Shi

In: Andreas Dengel (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), 31st Annual German Conference on AI, September 23-26, Kaiserslautern, Germany, Pages 258-266, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, Springer-Verlag, Berlin Heidelberg, 2008.

Andrea Kohlhase

In: Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. World Conference on Educational Multimedia (ED-MEDIA-2008), June 30 - July 4, Wien, Australia, Pages 1279-1286, Vol. 1, AACE, Chesapeake, VA, 2008.

Michael Wünstel; Thomas Röfer

In: Sabine Timpf (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. Themenheft Räumliche Mobilität, Pages 69-71, Fachbereich KI der Gesellschaft für Informatik e.V., BöttcherIT Verlag, 2008.

Joana Hois; Michael Wünstel; John A. Bateman; Thomas Röfer

In: Thomas Barkowsky; Markus Knauff; Gérard Ligozat; Daniel R. Montello (Hrsg.). Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006. International Conference Spatial Cognition (Spatial Cognition-20), September 24-28, Bremen, Germany, Pages 107-126, Lecture Notes in Artificial Intelligence (LNAI), No. 4387, Springer-Verlag Heidelberg, 2008.

David Becker; Jörg Brose; Daniel Göhring; Matthias Jüngel; Max Risler; Thomas Röfer

In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup International Symposium (RoboCup), located at The 12th RoboCup International Competitions and Conferences, RoboCup-2008 Suzhou, Suzhou, China, RoboCup Federation; www.robocup.org, 2008.