The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills. - Jens-Steffen Gutmann; Wolfgang Hatzack; Immanuel Herrmann; Bernhard Nebel; Frank Rittinger; Augustinus Topor; Thilo Weigel; Bruno Welsch (RoboCup, 1998)

CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer. - Bernhard Nebel; Wolfgang Hatzack; Thilo Weigel; Jens-Steffen Gutmann; Immanuel Herrmann; Frank Rittinger; Augustinus Topor (AI Commun., 1998)

The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model. - Jens-Steffen Gutmann; Wolfgang Hatzack; Immanuel Herrmann; Bernhard Nebel; Frank Rittinger; Augustinus Topor; Thilo Weigel (AI Mag., 2000)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

A formal data-model of the CORBA security service. - David A. Basin; Frank Rittinger; Luca Viganò 001 (ESEC / SIGSOFT FSE, 2001)

A Formal Analysis of the CORBA Security Service. - David A. Basin; Frank Rittinger; Luca Viganò 001 (ZB, 2002)

HOL-Z 2.0: A Proof Environment for Z-Specifications. - Achim D. Brucker; Frank Rittinger; Burkhart Wolff (J. Univers. Comput. Sci., 2003)