2003 |
7 | EE | Achim D. Brucker,
Frank Rittinger,
Burkhart Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications.
J. UCS 9(2): 152-172 (2003) |
2002 |
6 | EE | David A. Basin,
Frank Rittinger,
Luca Viganò:
A Formal Analysis of the CORBA Security Service.
ZB 2002: 330-349 |
2001 |
5 | EE | David A. Basin,
Frank Rittinger,
Luca Viganò:
A formal data-model of the CORBA security service.
ESEC / SIGSOFT FSE 2001: 303-304 |
2000 |
4 | | Jens-Steffen Gutmann,
Wolfgang Hatzack,
Immanuel Herrmann,
Bernhard Nebel,
Frank Rittinger,
Augustinus Topor,
Thilo Weigel:
The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model.
AI Magazine 21(1): 37-46 (2000) |
3 | | Derek Long,
Henry A. Kautz,
Bart Selman,
Blai Bonet,
Hector Geffner,
Jana Koehler,
Michael Brenner,
Jörg Hoffmann,
Frank Rittinger,
Corin R. Anderson,
Daniel S. Weld,
David E. Smith,
Maria Fox:
The AIPS-98 Planning Competition.
AI Magazine 21(2): 13-33 (2000) |
1998 |
2 | EE | Jens-Steffen Gutmann,
Wolfgang Hatzack,
Immanuel Herrmann,
Bernhard Nebel,
Frank Rittinger,
Augustinus Topor,
Thilo Weigel,
Bruno Welsch:
The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
RoboCup 1998: 93-108 |
1 | | Bernhard Nebel,
Wolfgang Hatzack,
Thilo Weigel,
Jens-Steffen Gutmann,
Immanuel Herrmann,
Frank Rittinger,
Augustinus Topor:
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer.
AI Commun. 11(3-4): 243-248 (1998) |