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

1998

82.
E. Canver, "Formal verification of a coordinated atomic action based design" , 1998.
File:pdfhttp://vts.uni-ulm.de/docs/2013/8522/vts_8522_12573.pdf
81.
A. Seitz and A. M. Uhrmacher, "The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies" in Advances in Artificial Intelligence, Proceedings of the 22nd German Conference on Artificial Intelligence (KI 1998), Springer, 1998. pp. 213--224.
80.
H. Pfeifer and H. Rueß, "Polytypic Abstraction in Type Theory" in Workshop on Generic Programming (WGP'98),Roland Backhouse and Tim Sheard, Eds. Dept. of Computing Science, Chalmers Univ. of Technology, and Göteborg Univ., 1998.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Pfeifer98PolytypicAbstraction.pdf
79.
A. Dold, T. Gaul and W. Zimmermann, "Mechanized Verification of Compiler Backends" in Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT '98), Aalborg, Denmark, 1998.
File:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.5876&rep=rep1&type=pdf
78.
D. Schwier and F. von Henke, "Mechanical Verification of Clock Synchronization Algorithms" in Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98), Anders P. Ravn and Hans Rischel, Eds. Springer, 1998. pp. 262--271.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Schwier98Verification.pdf
77.
M. Strecker, M. Luther and F. von Henke, "Interactive and Automated Proof Construction in Type Theory" in Automated Deduction --- A Basis for Applications,W. Bibel and P. Schmitt, Eds. Kluwer Academic Publishers, 1998.
76.
A. M. Uhrmacher, P. Tyschler and D. Tyschler, "Modeling Mobile Agents" in Proceedings of the International Conference on Web-Based Modeling and Simulation, 1998. pp. 15--20.
File:pdfhttp://www.researchgate.net/publication/222803651_Modeling_and_simulation_of_mobile_agents/file/3deec51a51179d6d80.pdf
75.
A. M. Uhrmacher and A. Seitz, "Fallbasierte Simulation ökologischer und biologischer Systeme" in Proceedings of the 8th Workshop, AK5, GI-Fachgruppe 4.5.9/4.6.3: Werkzeuge für die Simulation und Modellierung in Umweltanwendungen. Wissenschaftliche Berichte des Forschungszentrums Karlsruhe (FZKA), 1998.
74.
A. M. Uhrmacher and B. Schattenberg, "Agents in Discrete Event Simulation" in 10TH European Simulation Symposium ``Simulation in Industry -- Simulation Technology: Science and Art" (ESS 1998), Andre Bargiela and Eugene Kerckhoffs, Eds. SCS Publications, Ghent, 1998. pp. 129--136.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Schattenberg/Publications/Papers/ess98.pdf
73.
D. Damm, F. von Henke, A. Seitz, A. M. Uhrmacher, L. Claes and S. Wolf, "Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung" , 1998.
72.
M. Luther and M. Strecker, "A guided tour through TYPELAB" , 1998.
File:pdfhttp://vts.uni-ulm.de/docs/2013/8520/vts_8520_12569.pdf
71.
J. Rintanen, "A Planning Algorithm not based on Directional Search" in Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR '98), Morgan Kaufmann Publishers, 1998. pp. 617--624.
File:pdfhttp://users.ics.aalto.fi/rintanen/jussi/papers/Rintanen98plan.pdf
70.
J. Rintanen, "Lexicographic Priorities in Default Logic" , Artificial Intelligence, vol. 106, pp. 221--265, 1998.
69.
A. Dold, T. Gaul, V. Vialard and W. Zimmermann, "ASM-based Mechanized Verification of Compiler Back-Ends" in Workshop on Abstract State Machines '98, 1998. pp. 50--67.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Dold98Verification.pdf
68.
J. Rintanen, "Complexity of Prioritized Default Logics" , Journal of Artificial Intelligence Research (JAIR), vol. 9, pp. 423--461, 1998.
File:pdfhttp://www.jair.org/media/554/live-554-1756-jair.pdf
67.
F. von Henke, S. Pfab, H. Pfeifer and H. Rueß, "Case Studies in Meta-Level Theorem Proving" in Proceedings Intl. Conf. on Theorem Proving in Higher Order Logics, J. Grundy and M. Newey, Eds. Springer, 1998. pp. 461--478.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/vHenke98TheoremProving.pdf

1997

66.
F. von Henke, M. Luther and M. Strecker, "Typelab: An Environment for Modular Program Development" in Theory and Practice of Software Development (TAPSOFT '97) - Proceedings of the 7th International Joint Conference CAAP/FASE, Springer Berlin Heidelberg, 1997. pp. 849--854.
DOI:10.1007/BFb0030645
65.
F. Bartels, F. von Henke, H. Pfeifer and H. Rueß, "Mechanizing Domain Theory" , 1997.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1997/Bartels97MechanizingDomainTheory.pdf
64.
F. von Henke, H. Pfeifer and H. Rueß, "Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs" , 1997.
63.
M. Strecker and M. Sorea, "Integrating an Equality Prover into a Software Development System Based on Type Theory" in Advances in Artificial Intelligence - Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI '97), Springer Berlin Heidelberg, 1997. pp. 147--158.
DOI:10.1007/3540634932_11
62.
E. Canver, J. Gayen and A. Moik, "Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche" , atp -- Automatisierungstechnische Praxis, vol. 39, no. 5, pp. 57--64, 1997. R. Oldenbourg Verlag.
61.
A. M. Uhrmacher, "Concepts of Object- and Agent-Oriented Simulation" , Transactions of the Society for Computer Simulation International, vol. 14, no. 2, pp. 59--67, 1997. http://dl.acm.org/citation.cfm?id=271934.
60.
A. M. Uhrmacher, F. E. Cellier and R. J. Frye, "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, vol. 11, no. 2, pp. 1--10, 1997.
59.
D. Cyrluk, O. Möller and H. Rueß, "An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors" in Computer Aided Verification - 9th International Conference, (CAV '97), Springer Berlin Heidelberg, 1997. pp. 60--71.
DOI:10.1007/3-540-63166-6_9
58.
A. Dold, F. von Henke, H. Pfeifer and H. Rueß, "Formal Verification of Transformations for Peephole Optimization" in FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, J. Fitzgerald and C. Jones and P. Lucas, Eds. Springer, 1997. pp. 459--472.