dblp.uni-trier.dewww.uni-trier.de

Frank Rittinger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
7EEAchim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)
2002
6EEDavid A. Basin, Frank Rittinger, Luca Viganò: A Formal Analysis of the CORBA Security Service. ZB 2002: 330-349
2001
5EEDavid 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
2EEJens-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)

Coauthor Index

1Corin R. Anderson [3]
2David A. Basin [5] [6]
3Blai Bonet [3]
4Michael Brenner [3]
5Achim D. Brucker [7]
6Maria Fox [3]
7Hector Geffner [3]
8Jens-Steffen Gutmann [1] [2] [4]
9Wolfgang Hatzack [1] [2] [4]
10Immanuel Herrmann [1] [2] [4]
11Jörg Hoffmann [3]
12Henry A. Kautz [3]
13Jana Koehler (Jana Köhler) [3]
14Derek Long [3]
15Bernhard Nebel [1] [2] [4]
16Bart Selman [3]
17David E. Smith [3]
18Augustinus Topor [1] [2] [4]
19Luca Viganò [5] [6]
20Thilo Weigel [1] [2] [4]
21Daniel S. Weld [3]
22Bruno Welsch [2]
23Burkhart Wolff [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)