Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   RoboCup, 1998, pp:93-108 [Conf]
   
2. David A. Basin, Frank Rittinger, Luca Viganò
   A formal data-model of the CORBA security service. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 2001, pp:303-304 [Conf]
   
3. David A. Basin, Frank Rittinger, Luca Viganò
   A Formal Analysis of the CORBA Security Service. [Citation Graph (0, 0)][DBLP]
   ZB, 2002, pp:330-349 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   AI Commun., 1998, v:11, n:3-4, pp:243-248 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   AI Magazine, 2000, v:21, n:1, pp:37-46 [Journal]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   AI Magazine, 2000, v:21, n:2, pp:13-33 [Journal]
   
7. Achim D. Brucker, Frank Rittinger, Burkhart Wolff
   HOL-Z 2.0: A Proof Environment for Z-Specifications. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:152-172 [Journal]