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

2000

111.
H. Pfeifer, "Formal Verification of the TTP Group Membership Algorithm" in Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000, T. Bolognesi and D. Latella, Eds. Pisa, Italy: Kluwer Academic Publishers, 2000, pp. 3--18.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/forte-pstv2000.pdf
110.
A. Martens, T. Illmann, A. Seitz, C. Scheuerer, M. Weber and J. Bernauer, "CSCW in webbasierten Lehrsystemen" in Proceedings of 5. Workshop der AG CBT in der Medizin der GMDS, 2000, pp. 90--95.
109.
A. M. Uhrmacher and A. Seitz, "Case-Based Simulation of Ecological and Biological Systems", Journal of Systems Analysis, Modelling and Simulation (SAMS), vol. 39, no. 2, pp. 215--234, 2000. http://portal.acm.org/citation.cfm?id=363182.363202.
108.
A. Martens, J. Bernauer, T. Illmann, C. Scheuerer and A. Seitz, "A Flexible Architecture for Constructing and Executing Tutoring Processes" in Proceedings of the 45. Jahrestagung der GMDS, Hannover 2000, 2000, pp. 494--498.
107.
A. Dold, "Formal Software Development using Generic Development Steps", PhD Thesis, Universität Ulm, 2000.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/Dold00Thesis.pdf

1999

106.
A. Dold, "Formal Software Development using Generic Development Steps" in Proceedings of the 11th Nordic Workshop on Programming Theory, Uppsala, Sweden, October, 6-8, 1999.
105.
S. Pfab, H. Rueß, S. Owre and F. von Henke, "Towards Light-Weight Verification and Heavy-Weight Testing" in Tool Support for System Specification, Development and Verification, Berghammer, Rudolf and Lakhnech, Yassine, Eds. Springer Vienna, 1999, pp. 189--200.
DOI:10.1007/978-3-7091-6355-9_14
ISBN:978-3-211-83282-0
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfab99Verification.pdf
104.
B. Höfling, T. Liebig, L. Webel and D. Rösner, "Towards an Ontology for Substances and Related Actions" in Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW'99), Fensel, Dieter and Studer, Rudi, Eds. Springer Berlin / Heidelberg, 1999, pp. 191--206.
DOI:10.1007/3-540-48775-1_12
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/ekaw99-liebig.pdf
103.
F. Kienzler, "Synthese versus Analyse in modellbasierten KI-Planungssystemen? DIAKON - ein auto-adaptiver diagnostischer Lösungsansatz für Aktionsplanungs- und Konfigurierungsprobleme", PhD Thesis, Universität Ulm, 1999.
102.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver and F. von Henke, "Rigorous development of a safety-critical system based on coordinated atomic actions" in Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Digest of Papers., 1999, pp. 68--75.
DOI:10.1109/FTCS.1999.781035
101.
H. Pfeifer and H. Rueß, "Polytypic Proof Construction" in Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Théry, Eds. Springer, 1999, pp. 55--72.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99Polytypic.pdf
100.
J. Rintanen and H. Jungholt, "Numeric State Variables in Constraint-Based Planning" in Recent Advances in AI Planning, Proceedings of the 5th European Conference on Planning (ECP '99), 1999, pp. 109--121.
File:pdfhttp://users.ics.aalto.fi/rintanen/jussi/papers/RintanenJungholt99.pdf
99.
A. Martens and A. M. Uhrmacher, "Modelling Tutoring as a Dynamic Process - A Discrete Event Simulation Approach" in Proceedings of European Simulation Multiconference ESM'99, SCS, 1999, pp. 111--119.
File:pdfhttp://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/esm99.pdf
98.
E. Canver, "Model-Checking zur Analyse von Message Sequence Charts über Statecharts" , 1999.
File:pdfhttp://vts.uni-ulm.de/docs/2009/7093/vts_7093_9943.pdf
97.
J. Rintanen, "Improvements to the Evaluation of Quantified Boolean Formulae" in Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Morgan Kaufmann Publishers, 1999, pp. 1192--1197.
File:pdfhttp://www.eecs.berkeley.edu/~russell/classes/cs289/f04/readings/Rintanen:1999.pdf
96.
A. Dold and V. Vialard, "Formal Verification of a Compiler Back-End Generic Checker Program" in Proceedings of the Andrei Ershov Third International Conference on Perspectives of System Informatics (PSI'99), Springer-Verlag, 1999, pp. 470--480.
95.
H. Pfeifer, D. Schwier and F. von Henke, "Formal Verification for Time-Triggered Clock Synchronization" in Dependable Computing for Critical Applications 7, C. Weinstock and J. Rushby, Eds. IEEE Computer Society, 1999, pp. 207--226.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99ClockSynchronization.pdf
94.
E. Canver and F. von Henke, "Formal Development of Object-Based Systems in a Temporal Logic Setting" in Formal Methods for Open Object-Based Distributed Systems (FMOODS '99), Springer US, 1999, pp. 419--436.
DOI:10.1007/978-0-387-35562-7_33
93.
J. Rintanen, "Constructing Conditional Plans by a Theorem-Prover", Journal of Artificial Intelligence Research (JAIR), pp. 323--352, 1999.
DOI:10.1613/jair.591
File:http://arxiv.org/pdf/1105.5465
92.
1999 International Conference on Web-Based Modeling and Simulation. .... San Diego, CA: SCS, 1999.
91.
A. Seitz, "A Case-Based Methodology for Planning Individualized Case Oriented Tutoring" in Case-Based Reasoning Research and Development - Third International Conference on Case-Based Reasoning (ICCBR '99), Springer Berlin Heidelberg, 1999, pp. 318--328.
DOI:10.1007/3-540-48508-2_23
90.
A. Seitz, A. M. Uhrmacher and D. Damm, "A Case-Based Prediction of Experimental Studies", International Journal on Artificial Intelligence in Medicine, vol. 15, no. 3, pp. 255--273, 1999.
DOI:10.1016/S0933-3657(98)00057-8
89.
A. Seitz, A. Martens, J. Bernauer, C. Scheuerer and J. Thomsen, "An Architecture for Intelligent Support of Authoring and Tutoring in Medical Multimedia Learning Environments" in Proceedings of the World Conference on Educational Multimedia, Hypermedia, Piet Kommers and Griff Richards, Eds. Chesapeake, VA: AACE, 1999, pp. 852--857.
File:pdfhttp://www.informatik.uni-rostock.de/~martens/Papers/dnd_edmed99.pdf
88.
T. Illmann, M. Weber, A. Martens and A. Seitz, "A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine" in 4th World Conference on Integrated Design & Process Technology, 1999.
87.
M. Strecker, "Construction and Deduction in Type Theories", PhD Thesis, Universität Ulm, Fakultät für Informatik, 1999.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Strecker/diss-strecker.pdf