This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: J. Stroud, Jameson, Jungholt

Preferences

Show keywords Show abstracts

4.
default
Xu, Jie; Randell, Brian; B. Romanovsky, Alexander; J. Stroud, Robert; F. Zorzo, Avelino; Canver, Ercument; von Henke, Friedrich
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers, 51(2):164--179
2002
3.
pdf
Rintanen, Jussi; Jungholt, Hartmut
Numeric State Variables in Constraint-Based Planning
Recent Advances in AI Planning, Proceedings of the 5th European Conference on Planning (ECP '99) , page 109--121.
1999
2.
default
Xu, Jie; Randell, Brian; Romanovsky, A.; J. Stroud, Robert; F. Zorzo, Avelino; Canver, Ercument; von Henke, Friedrich
Rigorous development of a safety-critical system based on coordinated atomic actions
Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Digest of Papers. , page 68--75.
1999
1.
default
Andre, Elisabeth; Finkler, Wolfgang; Graf, Winfried; Harbusch, Karin; Heinsohn, Jochen; Kilger, Anne; Nebel, Bernhard; Profitlich, Hans-Jürgen; Rist, Thomas; Wahlster, Wolfgang; Butz, Andreas; Jameson, Anthony
WIP: From Multimedia to Intellimedia (Abstract of Video)
Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95) , page 2053--2054.
1995
Export as: BibTeX, XML