Searching for authors named "Frank Rittinger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

A Formal Analysis of the CORBA Security Service
by David Basin, Frank Rittinger, Luca Vigano — 2001
…A Formal Analysis of the CORBA Security Service David Basin, Frank Rittinger, Luca Vigano…
Cited by 4 (2 self) – Add To MetaCart

HOL-Z 2.0: A proof environment for Z-specifications
by Achim D. Brucker, Frank Rittinger, Burkhart Wolff — 2002 — JOURNAL OF UNIVERSAL COMPUTER SCIENCE
…-Ludwigs-Universitat Freiburg brucker@(email omitted); Frank Rittinger Albert-Ludwigs-Universitat Freiburg rittinge…
Cited by 5 (3 self) – Add To MetaCart

Participation at RoboCup'98: The World Champions in Robotic Soccer
by Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-steffen Gutmann, Immanuel Herrmann, Frank Rittinger, Augustinus Topor — 1999
…, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger, and Augustinus…
Add To MetaCart

The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model
by Jens-steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel — 1999 — AI Magazine
…, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel…
Cited by 10 (1 self) – Add To MetaCart

Hol-Z 2.0:
by Proof Environment For, Achim D. Brucker, Albert-ludwigs-universität Freiburg, Frank Rittinger, Burkhart Wolff — 2002 — Journal of Universal Computer Science
…-Ludwigs-Universität Freiburg brucker@(email omitted); Frank Rittinger Albert-Ludwigs-Universität Freiburg rittinge…
Add To MetaCart

The CVS-Server Case Study:
by Formalized Security Architecture, Achim D. Brucker, Frank Rittinger, Burkhart Wol — 2002 — In Electronic Notes in Theoretical Computer Science
…, Frank Rittinger, and Burkhart Wol# {brucker,rittinge,wolff}@(email omitted); 1 Introduction…
Add To MetaCart

The CS Freiburg Team
by Jens-Steffen Gutmann, J-s. Gutmann, Immanuel Herrmann, Bernhard Nebel, Wolfgang Hatzack, Augustinus Topor, Thilo Weigel, I. Herrmann, B. Nebel, Frank Rittinger, A. Topor, T. Weigel, Bruno Welsch — 1998 — In Minoru Asada, editor, Proceedings of the second RoboCup Workshop
…. This paper describes the CS Freiburg Team for the RoboCup '98 contest. Our main focus lies in developing reliable and robust perception technology and basic behaviors for playing soccer with mobile robots. We present the hard- and software components of our robots including a self-built device for…
Cited by 3 (1 self) – Add To MetaCart

The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills
by Jens-steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel, Bruno Welsch — 1998 — In Asada and Kitano [1
…, and Basic Soccer Skills ? Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank…
Cited by 17 (10 self) – Add To MetaCart

Reliable Self-Localization, Multirobot Sensor Integration, Accurate Path-Planning and Basic Soccer Skills: Playing an Effective Game of Robotic Soccer
by Jens-Steffen Gutmann, J. -s. Gutmann, Immanuel Herrmann, Bernhard Nebel, Wolfgang Hatzack, Augustinus Topor, Thilo Weigel, I. Herrmann, B. Nebel, Frank Rittinger, A. Topor, T. Weigel — 1999 — In: Proceedings of the Ninth International Conference on Advanced Robotics
…Robotic soccer is a challenging research domain because problems in robotics, artificial intelligence, multi-agent systems and real-time reasoning have to be solved in order to create a successful team of robotic soccer players. In this paper, we describe the key components of the CS Freiburg team. …
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB