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 :: Zeigler, Zhou, Zimmermann

Preferences

Show keywords Show abstracts

6.
pdf
Zhou, Zhangquan; Qi, Guilin; Glimm, Birte
Exploring Parallel Tractability of Ontology Materialization
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)
Publisher: IOS Press,
2016
5.
pdf
Zimmermann, Wolf; Dold, Axel
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
Abstract State Machines 2003 -- Proceedings of the 10th International Workshop, ASM 2003 , page 391--406.
2003
4.
pdf
Dold, Axel; Gaul, Thilo; Vialard, Vincent; Zimmermann, Wolf
ASM-based Mechanized Verification of Compiler Back-Ends
Workshop on Abstract State Machines '98 , page 50--67.
1998
3.
default
Dold, Axel; Gaul, Thilo; Zimmermann, Wolf
Mechanized Verification of Compiler Backends
Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT '98)
1998
2.
default
Uhrmacher, Adelinde M.; Zeigler, Bernard P.
Variable Structure Modeling in Object-Oriented Simulation
International Journal on General Systems, 24(4):359--375
1996
1.
pdf
Goerigk, Wolfgang; Dold, Axel; Gaul, Thilo; Goos, Gerhard; Heberle, Andreas; von Henke, Friedrich; Hoffmann, Ulrich; Langmaack, Hans; Pfeifer, Holger; Rueß, Harald; Zimmermann, Wolf
Compiler Correctness and Implementation Verification: The \em Verifix Approach
In P. Fritzson, editor, Proceedings of the Poster Session of CC '96 -- International Conference on Compiler Construction , page 65--73.
IDA Technical Report LiTH-IDA-R-96-12, Linkøping, Sweden
1996
Export as: BibTeX, XML