Frank Rittinger

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

Achim D. Brucker, Frank Rittinger, Burkhart Wolff
HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. 9 (2) (2003)
David A. Basin, Frank Rittinger, Luca Viganò
A Formal Analysis of the CORBA Security Service. ZB (2002)
David A. Basin, Frank Rittinger, Luca Viganò
A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE (2001)
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 Mag. 21 (2) (2000)
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 Mag. 21 (1) (2000)
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) (1998)
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)