Frank Rittinger

According to our database, Frank Rittinger authored at least 7 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

HOL-Z 2.0: A Proof Environment for Z-Specifications.

Achim D. Brucker, Frank Rittinger, Burkhart Wolff

J. Univers. Comput. Sci., 2003

2002

A Formal Analysis of the CORBA Security Service.

David A. Basin, Frank Rittinger, Luca Viganò

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

A formal data-model of the CORBA security service.

David A. Basin, Frank Rittinger, Luca Viganò

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000

The AIPS-98 Planning Competition.

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

AI Mag., 2000

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

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 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

Proceedings of the RoboCup-98: Robot Soccer World Cup II, 1998