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 :: Dadam, Damm, Dannenberg, Dietmayer, ... , Drexler

Preferences

Show keywords Show abstracts

28.
pdf
Glodek, Michael; Honold, Frank; Geier, Thomas; Krell, Gerald; Nothdurft, Florian; Reuter, Stephan; Schüssel, Felix; Hörnle, Thilo; Dietmayer, Klaus; Minker, Wolfgang; Biundo, Susanne; Weber, Michael; Palm, Günther; Schwenker, Friedhelm
Fusion paradigms in cognitive technical systems for human–computer interaction
Neurocomputing, 161(0):17 - 37
2015
ISSN: 0925-2312
27.
pdf
Geier, Thomas; Reuter, Stephan; Dietmayer, Klaus; Biundo, Susanne
Goal-Based Person Tracking Using a First-Order Probabilistic Model
Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop (UAI-AW 2012)
August 2012
26.
pdf
Geier, Thomas; Reuter, Stephan; Dietmayer, Klaus; Biundo, Susanne
Track-Person Association Using a First-Order Probabilistic Model
Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) , page 844--851.
2012
25.
pdf
Thao Ly, Linh; Knuplesch, David; Rinderle-Ma, Stefanie; Göser, Kevin; Pfeifer, Holger; Reichert, Manfred; Dadam, Peter
SeaFlows Toolset -- Compliance Verication Made Easy for Process-aware Information Systems
In Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, editor, Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers Volume 72 of Lecture Notes in Business Information Processing , page 76--91.
Publisher: Springer,
2011
24.
pdf
Knuplesch, David; Thao Ly, Linh; Rinderle-Ma, Stefanie; Pfeifer, Holger; Dadam, Peter
On Enabling Data-Aware Compliance Checking of Business Process Models
In Jeffrey Parsons and Motoshi Saeki and Peretz and Shoval and Carson Woo and Yair Wand, editor, Proceedings of the 29th International Conference on Conceptual Modeling -- ER 2010 Volume 6412 of Lecture Notes in Computer Science , page 332--346.
Publisher: Springer,
2010
23.
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
22.
pdf
Seitz, Alexander; Dannenberg, Matthias
Docs'n Drugs - Gegenwart und Zukunft
Proceedings of the 6. Workshop der AG CBT in der Medizin der GMDS
2002
21.
pdf
Seitz, Alexander; Dannenberg, Matthias; Liebhart, Hubert
An Anthoring System for Instructionally Designed Tutoring Processes
Proceedings of the International Conference on Computers in Education (ICCE’02) , page 1317--1318.
2002
20.
pdf
Dold, Axel; von Henke, Friedrich; Vialard, Vincent; Goerigk, Wolfgang
A Mechanically Verified Compiling Specification for a Realistic Compiler
Document number: UIB 03-02
University of Ulm,
2002
19.
pdf
Dold, Axel; Vialard, Vincent
A Mechanically Verified Compiling Specification for a Lisp Compiler
In Ramesh Hariharan and Madhavan Mukund and V. Vinay, editor, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Sience Volume 2245 of lncs , page 144--155.
Publisher: springer,
2001
Export as: BibTeX, XML