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 :: F. Zorzo, Finkenzeller, Finkler, Förster, ... , Frye

Preferences

Show keywords Show abstracts

8.
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
7.
pdf
Liebig, Thorsten; Finkenzeller, Dieter; Luther, Marko
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
Proceedings of the 10th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2000) of Frontiers in Artificial Intelligence and Applications , page 161--168.
Publisher: IOS Press,
2000
6.
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
5.
default
Uhrmacher, Adelinde M.; Cellier, Francois E.; Frye, R. J.
Applying Fuzzy-Based Inductive Reasoning to Analyze Qualitatively the Dynamic Behaviour of an Ecological System
International Journal on Applied Artificial Intelligence in Natural Resource Management, 11(2):1--10
1997
4.
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
3.
default
Baader, Franz; Hollunder, Bernhard; Nebel, Bernhard; Profitlich, Hans-Jürgen; Franconi, Enrico
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or "Making KRIS get a move on"
Applied Intelligence, 4(2):109--132
1994
2.
default
Ullmann, M.; Hauff, H.; Loevenich, D.; Kejwal, P.; Förster, R.; Baur, P.; Göhner, P.; Drexler, R.; Reif, W.; Stephan, Werner; Wolpers, A.; Cleve, J.; Hutter, D.; Sengler, C.; Canver, Ercument
VSE Verification Support Environment
In Weck, Gerhard and Horster, Patrick, editor, Verläßliche Informationssysteme of DuD-Fachbeiträge
page 175--190.
Publisher: Vieweg+Teubner Verlag,
1993
ISBN: 978-3-528-05344-4
1.
default
Förster, R.; Kejwal, P.; Baur, P.; Göhner, P.; Cleve, J.; Drexler, R.; Hutter, D.; Sengler, C.; Siekmann, ; Stephan, Werner; Wolpers, A.; Reif, W.; Canver, Ercument; von Henke, Friedrich
Verification Support Environment (VSE)
Proceedings of the 3. Deutscher IT-Sicherheitskongress des BSI , page 327--337.
1993
Export as: BibTeX, XML