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 :: Padgham, ... , Patel-Schneider, Pfab, Pfeifer, ... , Profitlich

Preferences

Show keywords Show abstracts

40.
pdf
Ponomaryov, Denis; Vlasov, Dmitry
Concept Definability and Interpolation in Enriched Models of EL-TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
39.
pdf
Ponomaryov, Denis; Soutchanski, Mikhail
Progression of Decomposed Situation Calculus Theories
AAAI, The Twenty-Seventh Conference on Artificial Intelligence
2013
38.
pdf
Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Volume 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Publisher: CEUR Workshop Proceedings,
April 2012
37.
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
36.
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
35.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
In Rachid Guerraoui and Franck Petit, editor, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Volume 5873 of Lecture Notes in Computer Science , page 105--119.
Publisher: Springer,
2009
ISBN: 978-3-642-05117-3
34.
default
Pfeifer, Holger
Formal Methods in the Automotive Domain: The Case of TTA
In Nicolas Navet and Francoise Simonot-Lion, editor, Automotive Embedded Systems Handbook
Chapter 15,
Publisher: Taylor and Francis CRC Press,
2008
ISBN: 9780849380266
33.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Early Prototyping of Wireless Sensor Network Algorithms in PVS
In Michael D. Harrison and Mark-Alexander Sujan, editor, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings Volume 5219 of Lecture Notes in Computer Science , page 346--359.
Publisher: Springer,
2008
32.
pdf
Pfeifer, Holger; von Henke, Friedrich
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Reliability Engineering & System Safety, 92(11):1538--1550
2007
31.
pdf
Turhan, Anni-Yasmin; Bechhofer, Sean; Kaplunova, Alissa; Liebig, Thorsten; Luther, Marko; Möller, Ralf; Noppens, Olaf; Patel-Schneider, Peter F.; Boontawee, Suntisrivaporn; Timo, Weithöner
DIG2.0 -- Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, editor, Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006)
Athens, GA, USA
2006
Export as: BibTeX, XML