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: |
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: |
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: |
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: |
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: |
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: |
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: |
98.
E. Canver,
"Model-Checking zur Analyse von Message Sequence Charts über Statecharts" ,
1999.
File: |
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: |
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: |
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: |
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: |