2007

• B. Schattemberg, J. Bidot, S. Biundo
  On the Construction and Evaluation of Flexible Plan-Refinement Strategies
  Proceedings of the 30th German Conference on Artificial Intelligence (KI 2007), 2007.

• J. Bidot, T. Vidal, P. Laborie, J.C. Beck
  Une architecture générale pour ordonnancer dans un environnement stochastique
  2es Journées Francophones Planification, Décision, Apprentissage pour la conduite de systèmes (JFPDA 2007), 2007.

• J. Bidot, T. Vidal, P. Laborie, J.C. Beck
  A General Framework for Scheduling in a Stochastic Environment
  Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 2007.

• H. Pfeifer, F. von Henke
  Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
  Reliability Engineering & System Safety, 92(11):1538-1550, Nov. 2007
  Special Issue on Safety, Reliability and Security of Industrial Computer Systems, Elsevier Ltd.

2006

• A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaporn and T. Weithöner
  DIG 2.0 — Towards a Flexible Framework for Description Logics Reasoners
  Workshop on OWL Experiences and Directions 2006- OWL Experiences 2006
  Athens, GA, USA November 2006

• O. Noppens, T. Liebig
  Interactive Visualization of Large OWL Instance Sets
  Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI 2006)
  Athens, GA, USA November 2006
• T. Weithöner, T. Liebig, M. Luther, and S. Böhm
  What's Wrong with OWL Benchmarks?
  Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006)
  Athens, GA, USA November 2006
• T. Liebig
  Reasoning with OWL - System Support and Insights -
  Ulmer Informatik-Berichte Nr. 2006-04, Ulm University, September 2006
• O. Noppens, M. Luther, T. Liebig, M. Wagner, M. Paolucci
  Ontology-supported Preference Handling for Mobile Music Selection
  Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, in conjunction with the ECAI 2006
  Riva del Garda, Italy, August 28 - 29, 2006
• J. Bidot, P. Laborie, J.C. Beck, T. Vidal
  Using Constraint Programming and Simulation for Execution Monitoring and Progressive Scheduling
  Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), 2006.

• B. Schattenberg, S. Biundo
  Unifying Framework for Hybrid Planning and Scheduling
  29th German Conference on Artificial Intelligence (KI-2006)
  Bremen, Germany, 2006.
• B. Schattenberg, S. Balzer, and S. Biundo
  Semantic Web Technology as a Basis for Planning and Scheduling Systems
  20th Workshop ``Planen und Konfigurieren´´ (PuK'06)
  Bremen, Germany, 2006.
• B. Schattenberg, S. Balzer, and S. Biundo
  Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
  16th International Conference on Automated Planning and Scheduling (ICAPS-06)
  Ambleside, The English Lake District, UK, 2006.
• F. Müller, M. Hanselmann, T. Liebig, O. Noppens
  A Tableaux-based Mobile DL Reasoner - An Experience Report
  2006 International Workshop on Description Logics - DL '06
  Lake District, United Kingdom, May 30 - June 1, 2006

2005

• Matthias Wagner, Olaf Noppens, Thorsten Liebig, Marko Luther, Massimo Paolucci
  Semantic-based Service Discovery on mobile Devices
  Demo Track of the 4th International Semantic Web Conference (ISWC 2005)
  Galway, Ireland, November 2005
• Thorsten Liebig, Marko Luther, Olaf Noppens, Massimo Paolucci, Matthias Wagner, Friedrich von Henke
  Building Applications and Tools for OWL — Experiences and Suggestions
  Workshop on OWL Experiences and Directions - OWL Experiences 2005
  Galway, Ireland, November 2005
• T. Liebig, F. von Henke, O. Noppens
  Explaination Support for OWL Authoring
  AAAI Symposium on Explanation-aware Computing - ExaCt 2005
  Washington, D.C., November 2005
• B. Schattenberg, A. Weigl, and S. Biundo
  Hybrid Planning Using Flexible Strategies
  28th German Conference on Artificial Intelligence (KI 2005)
  Koblenz, Germany, September 2005

• T. Liebig, M. Halfmann
  A Tableau-based Explainer for DL Subsumption
  International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2005
  Koblenz, Germany, September 2005
• T. Liebig, O. Noppens
  OntoTrack: A semantic approach for ontology authoring
  Journal of Web Semantics, Volume 3, Issue 2-3, 2005
• T. Liebig, M. Halfmann
  Explaining Subsumption in ALEHFR+ TBoxes
  2005 International Workshop on Description Logics - DL2005
  Edinburgh, Scotland, July 2005
• K. Pantschenko, O. Noppens, T. Liebig
  Grounding Web Services Semantically: Why and How?
  W3C Workshop on Frameworks for Semantics in Web Services - W3C SWSF
  Innsbruck, Austria., June 2005
• S. Biundo, R. Holzer, and B. Schattenberg
  Project Planning Under Temporal Uncertainty
  L. Castillo, D. Borrajo, M. A. Salido, and A. Oddi (eds.) Planning, Scheduling, and Constraint Satisfaction: From Theory to Practice, volume 117 of Frontiers in Artificial Intelligence and Applications, pages 189-198. IOS Press, 2005.

2004

• H. Pfeifer, F. von Henke
  Formal Modelling and Analysis of Fault Tolerance Properties in the Time-Triggered Architecture
  5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT), Braunschweig, Germany, December 2-3, 2004

• S. Balzer, T. Liebig, M. Wagner
  Pitfalls of OWL-S — A practical Semantic Web Use Case
  2nd International Conference on Service Oriented Computing ICSOC 2004
  New York, USA, November 15-18, 2004
• T. Liebig, O. Noppens
  OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies
  3rd International Semantic Web Conference ISWC 2004
  Hiroshima, Japan, November 8-11, 2004
• S. Balzer, T. Liebig
  Bridging the Gap Between Abstract and Concrete Services — A Semantic Approach for Grounding OWL-S —
  Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications
  Located at the 3rd International Semantic Web Conference ISWC 2004
  Hiroshima, Japan, November 8, 2004
• M. Wagner, T. Liebig, O. Noppens, S. Balzer, W. Kellerer
  Towards Semantic-based Service Discovery on Tiny Mobile Devices
  Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications
  Located at the 3rd International Semantic Web Conference ISWC 2004
  Hiroshima, Japan, November 7, 2004
• T. Liebig, O. Noppens
  OntoTrack A New Ontology Authoring Approach
  Demo Track of the 3rd International Semantic Web Conference ISWC 2004
  Hiroshima, Japan, November 8, 2004
• T. Weithöner, T. Liebig, G. Specht
  Efficient Processing of Huge Ontologies in Logic and Relational Databases
  International Conference on Ontologies, Databases and Applications of Semantics ODBASE 2004
  Larnaca, Cyprus, October 26, 2004
• M. Sorea
  Lazy Approximation for Dense Real-Time Systems
  Joint Conferences on Formal Modelling and Analysis of Timed Systems and
  Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS / FTRTFT)
  Grenoble, France, September 22-24, 2004
  

• B. Dutertre, M. Sorea
  Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata
  Joint Conferences on Formal Modelling and Analysis of Timed Systems and
  Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS / FTRTFT)
  Grenoble, France, September 22-24, 2004
  

• H. Pfeifer, F. von Henke
  Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
  23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, September 21-24, 2004
  

• S. Biundo, R. Holzer, and B. Schattenberg
  Project Planning Under Temporal Uncertainty
  In: Proceedings of the Workshop on Planning and Scheduling: Bridging Theory to Practice.
  Held in conjunction with: The 16th European Conference on Artificial Intelligence (ECAI'04)
  Valencia, Spain, August 2004.

• M. Sorea
  Verification of Real-Time Systems through Lazy Approximations
  Ph.D. thesis, University of Ulm, 2004

• W. Steiner, J. Rushby, M. Sorea, H. Pfeifer
  Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation
  Proc. of the International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28 - July 1, 2004

• S. Biundo, R. Holzer, and B. Schattenberg
  Dealing with Continuous Resources in AI Planning
  Proceedings of the 4th International Workshop on Planning and Scheduling for Space, ESOC
  Darmstadt, Germany, June 2004

• T. Liebig, H. Pfeifer, F. von Henke
  Reasoning Services for an OWL Authoring Tool: An Experience Report
  2004 International Workshop on Description Logics (DL2004), co-located with KR2004, Whistler, British Columbia, Canada, June 6-8, 2004

2003

• T. Liebig, O. Noppens
  OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
  Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference (ISWC 2003)
  Florida, USA, 2003.

• M. Luther
  Elaboration and Erasure in Type Theory
  Ph.D. thesis, University of Ulm, 2003

• Joachim Herbst
  Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen
  Ph.D. thesis, University of Ulm, 2003

• H. Pfeifer
  Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
  PhD Thesis, Univ. Ulm, 2003

• T. Weithöner, T. Liebig, G. Specht
  Storing and Querying Ontologies in Logic Databases
  Proceedings of the First International Workshop on Semantic Web and Databases (SWDB'03) at the VLDB 2003
  Berlin, Germany, p. 329 - 348, 2003

• W. Zimmermann, A. Dold
  A Framework for Modelling the Semantics of Expression Evaluation with Abstract State Machines
  Proceedings of the 9th International Workshop on Abstract State Machines (ASM 2003), Springer LNCS 2589.

2002

• B.Schattenberg and S.Biundo
  On the Identification and Use of Hierarchical Resources in Planning and Scheduling
  Proceedings of the 6th International Conference on AI Planning & Scheduling, Toulouse, France, April 2002, AAAI Press, Menlo Park, California, 263-272, 2002.

• J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. von Henke
  Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
  IEEE Trans. on Computers, 2002.

• A. Dold, F. W. von Henke, V. Vialard, W. Goerigk
  A Mechanically Verified Compiling Specification for a Realistic Compiler
  Technical Report UIB 03-02, Universität Ulm, Fakultät für Informatik, Dec. 2002
  

• M. Schalk, T. Liebig, T. Illmann, F. Kargl
  Combining FIPA ACL With DAML OIL - A Case Study
  Proceedings of the Second International Workshop on Ontologies in Agent Systems, Bologna, Italy, July 2002.

• A. Seitz und M. Dannenberg
  Docs 'n Drugs - Gegenwart und Zukunft
  Proceedings of the 6. Workshop der AG CBT in der Medizin der GMDS, Ulm (D), 2002.

• A. Seitz, M. Dannenberg, H. Liebhart
  An Authoring System for Instructionally Designed Tutoring Processes
  Proceedings of the International Conference on Computers in Education, Auckland (New Zealand), 2002.

• E. Volz , A. Martens, A. Seitz
  An Execution System For Variable Tutoring Processes
  Proceedings of the International Conference on Computers in Education, Auckland (New Zealand), 2002.

2001

• S. Biundo, B. Schattenberg
  From Abstract Crisis to Concrete Relief - A Preliminary Report on Combining State Abstraction and HTN Planning
  Proceedings of the 6th European Conference on Planning (ECP-01), September 12-14, 2001, Toledo, Spain, LNCS, to appear.

• A. Dold, V. Vialard
  A Mechanically Verified Compiling Specification for a Lisp Compiler
  Proceedings of FSTTCS 2001, December 13-15, Bangalore, India.

• A. Dold, V. Vialard
  A Mechanically Verified Bootstrap Compiler
  Proc. of Kolloquium Programmiersprachen und Grundlagen der Programmierung
  Technical report AIB-2001-11, RWTH Aachen, Department of Computer Science, December 2001.
  

• T. Illmannn, A. Martens, A. Seitz, M. Weber
  Structure of Training Cases in Web-Based Case-Oriented Training Systems
  Proceedings of the ICALT'01, Madison (USA), August 2001.

• M. Luther
  More On Implicit Syntax
  Proceedings of IJCAR'01, LNAI 2083, pp. 386-400, 2001, © Springer-Verlag

• A. Martens, J. Bernauer, T. Illmann, A. Seitz
  Docs 'n Drugs - The Virtual Polyclinic. An Intelligent Tutoring System for Web-Based and Case-Oriented Training in Medicine
  Proceedings of the AMIA' 01, Washington (USA), Nov 2001.

• H. Pfeifer, F. von Henke
  Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
  8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) , Antibes Juan-les-Pins, France, October 15-18, 2001

• B. Schattenberg, A.M. Uhrmacher
  Planning Agents in James
  Proceedings of the IEEE, Vol. 89, No. 2, 158-173, 2001.

2000

• A. Dold
  Formal Software Development using Generic Development Steps
  PhD thesis, Universität Ulm, 2000.

• A. Dold
  Software Development in PVS using Generic Development Steps
  In Generic Programming - International Seminar on Generic Programming
  Schloss Dagstuhl, April 27 - May 1, 1998, Selected Papers.
  Springer LNCS 1766, 2000.

• T. Illmannn, A. Martens, A. Seitz, M. Weber
  A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine
  Proceedings of the 5th World Conference on Integrated Design & Process Technology, Dallas (USA), 2000.

• T. Liebig, D. Finkenzeller, M. Luther
  KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
  10th European - Japanese Conference on Information Modelling and Knowledge Bases EJC 2000, Saariselkä, Finland, May 2000

• A. Martens, J. Bernauer, T. Illmann, C. Scheuerer, A. Seitz
  A Flexible Architecture for Constructing and Executing Tutoring Processes.
  Proc. 45.Jahrestagung der Gmds, Hannover 2000, pp. 494-498.

• A. Martens, T. Illmann, A. Seitz, C. Scheuerer, M. Weber, J. Bernauer
  CSCW in webbasierten Lehrsystemen.
  Proc. 5.Workshop der AG CBT in der Medizin der GMDS, Köln, Mai 2000, pp. 90-95.

• A.Martens, A.M. Uhrmacher
  How to Execute a Tutoring Process
  Artificial Intelligence, Simulation and Planning, Tucson 6-8.3.2000, SCS San Diego, 114-122.

• H. Pfeifer
  Formal Verification of the TTP Group Membership Algorithm
  IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), FORTE/PSTV 2000, Pisa, Italy, October, 2000

• A.M. Uhrmacher, B.Kullick
  Plug and Test Software Agents in Virtual Environments
  Wintersimulation Conference, Orlando 10-13.12.2000, Fl.

• A.M. Uhrmacher, K.Gugler
  Distributed, Parallel Simulation of Multiple, Deliberative Agents
  Parallel and Distributed Simulation (Pads'2000), Bologna 28-31.5.2000, IEEE, Los Alamitos, 101-110.

• A.M. Uhrmacher, A. Seitz:
  Case-based Simulation of Ecological and Biological Systems.
  Journal on Systems Analysis Modelling Simulation Vol. 39, No. 2, 2000, pp. 215-234.

1999

• A.G. Bruzzone, A.M. Uhrmacher, E.H. Page (eds.)
  1999 International Conference on Web-Based Modeling and Simulation.
  SCS, Simulation Series, Vol. 31, No.3, San Diego, CA, 1999.

• E. Canver
  Model-Checking zur Analyse von Messages Sequence Charts über Statecharts
  Ulmer Informatik Berichte UIB-99-04, 1999.

• J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. W. von Henke
  Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
  FTCS-29, Madison, Wisconsin, USA, June 15-18, 1999.

• E. Canver, F.W. von Henke
  Formal Development of Object-Based Systems in a Temporal Logic Setting
  FMOODS'99, Florence, Italy, Feb. 15-18, 1999.

• Axel Dold, Vincent Vialard
  Formal Verification of a Compiler Back-end Generic Checker Program
  Proc. of 3rd Int. Conference Perspectives of System Informatics (PSI'99) (LNCS 1755).

• A. Dold
  Formal Software Development using Generic Development Steps
  Proc. of the 11th Nordic Workshop on Programming Theory
  Uppsala, Sweden, October 6-8, 1999.

• T. Illmann, M. Weber, A. Martens, A. Seitz
  A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine
  4th World Conference on Integrated Design & Process Technology '99, Kusadasi, Turkey.

• Friedemann Kienzler
  Synthese versus Analyse in modellbasierten KI-Planungssystemen?
  DIAKON - ein auto-adaptiver diagnostischer Lösungsansatz für Aktionsplanungs- und Konfigurierungsprobleme
  Ph.D.thesis, University of Ulm 1999

• A. Martens, J. Bernauer, T. Illmann, C. Scheuerer, A. Seitz, M. Weber
  Docs'n Drugs - Ein webbasiertes, multimediales Lehrsystem für die Medizin
  4. Workshop der AG CBT in der Medizin der GMDS, Heidelberg, April 1999

• A. Martens, J. Bernauer, A. Seitz, T. Illmann, C. Scheuerer
  Docs 'n Drugs - A System for Case-Oriented and Web-based Training in Medicine
  Proceedings of the AMIA'99, Washington DC (USA), 1999.

• A. Martens, A.M. Uhrmacher
  Modeling Tutoring as a Dynamic Process - A Discrete Event Simulation Approach.
  In: Proc. European Simulation Multiconference ESM'99, Warsaw 1.-4.6.1999, SCS, Ghent.

• H. Pfeifer, H. Rueß
  Polytypic Proof Construction
  Proc. Intl. Conf. on Theorem Proving in Higher Order Logics, Sept. 1999

• S. Pfab, H. Rueß, S. Owre, F. von Henke,
  Towards light-weight verification and heavy-weight testing
  In Tool Support for System Specification, Development and Verification, R. Berghammer, Y. Lakhnech, eds., pp. 189-200, Springer-Verlag Wien, 1999.

• H. Pfeifer, D. Schwier, F. W. von Henke
  Formal Verification for Time-Triggered Clock Synchronization
  Proc. Dependable Computing for Critical Applications (DCCA) 7, San Jose, CA, 6-8 Jan. 1999.

• J. Rintanen
  Constructing conditional plans by a theorem-prover
  Journal of Artificial Intelligence Research, 10, pages 323-352.

• J. Rintanen
  Improvements to the evaluation of quantified Boolean formulae
  in Proceedings of the 16th International Joint Conference on Artificial Intelligence, Thomas Dean, ed., pages 1192-1197, August 1999, Morgan Kaufmann Publishers.

• J. Rintanen and H. Jungholt
  Numeric state variables in constraint-based planning
  in Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, S. Biundo and M. Fox, ed., pages 109-121, Lecture Notes in Artificial Intelligence 1809, 2000. Springer-Verlag, Berlin, Germany.

• C. Scheuerer, A. Martens, J. Bernauer, T. Illmann, A. Seitz, M. Weber
  Docs 'n Drugs - a Web-Based and Case-Oriented Training System in Medicine
  In: Proc. 44.Jahrestagung der Gmds, Heidelberg 1999.

• A. Seitz:
  A Case-Based Methodology for Planning Individualized Case Oriented Tutoring
  In: Althoff, K.-D., Bergmann, R., Branting, L.K. (Eds.): Case-Based Reasoning Research and Development: Proceedings of the ICCBR '99, Seeon Monastery, Germany, 1999.

• A. Seitz, A. Martens, J. Bernauer, C. Scheuerer, J. Thomsen
  An Architecture for Intelligent Support of Authoring and Tutoring in Medical Multimedia Learning Environments
  In: B. Collis and R. Oliver (eds.): Proceedings of ED-Media 99, pp 852-857, Charlottesville, USA, 1999, AACE.

• A. Seitz, A.M. Uhrmacher, D. Damm  
  A Case-Based Prediction of Experimental Studies.
  International Journal on Artificial Intelligence in Medicine, Vol. 15, 255-273, 1999.

• Martin Strecker
  Construction and Deduction in Type Theories
  Ph.D. University of Ulm

1998

• E. Canver
  Formal Verification of a Coordinated Atomic Action Based Design
  Technical Report UIB-98-05, Universität Ulm, Fakultät für Informatik, Mar. 1998

• D. Damm, F.W. von Henke, A. Seitz, A.M. Uhrmacher, L. Claes, S. Wolf
  Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung.
  Technical Report UIB-98-01, Ulmer Informatik-Berichte, Universität Ulm, Fakultät für Informatik, Jan. 1998.

• A. Dold, T. Gaul, W. Zimmermann
  Mechanized Verification of Compiler Backends
  Proc. of the Internat. Workshop on Software Tools for Technology Transfer (STTT'98),
  Aalborg, Denmark, July 12-13, 1998.
  

• A. Dold, T. Gaul, V. Vialard, W. Zimmermann
  ASM-Based Mechanized Verification of Compiler Backends
  Proc. 5th International Workshop on Abstract State Machines,
  Magdeburg, Germany, September 21-22, 1998.

• F. W. von Henke, S. Pfab, H. Pfeifer, H. Rueß
  Case Studies in Meta-Level Theorem Proving
  Proc. Intl. Conf. on Theorem Proving in Higher Order Logics, Springer LNCS, Vol. 1479, pp. 461-478, Sept. 1998

• M. Luther, M. Strecker
  A guided tour through Typelab
  Technical Report UIB-98-03, Universität Ulm, Fakultät für Informatik, Jan. 1998

• H. Pfeifer, H. Rueß
  Polytypic Abstraction in Type Theory
  Informal Proc. of Workshop on Generic Programming (WGP'98). Marstrand, Sweden, 18 June 1998.

• J. Rintanen
  Lexicographic priorities in default logic
  Artificial Intelligence Journal, 106(2), pages 221-265.

• J. Rintanen
  Complexity of prioritized default logics
  Journal of Artificial Intelligence Research, 9, pages 423-461.

• J. Rintanen
  A planning algorithm not based on directional search
  In: A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 617-624, Morgan Kaufmann Publishers, San Francisco, California.

• D. Schwier, F.W. von Henke
  Mechanical Verification of Clock Synchronization Algorithms
  Proc. FTRTFT'98, 5th Intl. Symp. Formal Techniques in Real-Time Fault-Tolerant Systems
  Springer LNCS 1486, pp. 262--271, Sept. 1998

• A. Seitz, A.M. Uhrmacher,
  The Treatment of Time in A Case-Based Analysis of Experimental Medical Studies.
  In: Proc. KI-98 Advances in Artificial Intelligenc, LNAI 1504, Springer, Berlin, 213-224, 1998.

• M. Strecker, M. Luther, F. W. von Henke
  Interactive and automated proof construction in type theory
  In: Automated Deduction - A Basis for Applications, W. Bibel und P. Schmitt, Kluwer Academic Publishers, 1998.
  Volume I: Foundations, Chapter 3: Interactive Theorem Proving.

• A.M. Uhrmacher, B. Schattenberg,
  Agents in Discrete Event Simulation
  In: Proc. of the ESS'98, October 26-28, Nottingham, SCS Publications, Ghent, 129-136, 1998.

• A.M.Uhrmacher, P.Tyschler, D.Tyschler
  Modeling Mobile Agents.
  International Conference on Web-based Modeling and Simulation. Part of the 1998 SCS Western Multiconference on Computer Simulation. 15-20, 1998.

• A.M. Uhrmacher, A. Seitz
  Fallbasierte Simulation ökologischer und biologischer Systeme.
  8th Workshop, AK5, GI-Fachgruppe 4.5.9/4.6.3: Werkzeuge für die Simulation und Modellierung in Umweltanwendungen. Metropolis Verlag, 102-118, 1998.

1997

• E. Canver, J. Gayen, A. Moik
  Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche
  atp -- Automatisierungstechnische Praxis, 5(39), pp. 57-64, May 1997

• D. Cyrluk, O. Möller, H. Rueß
  An Efficient Decision Procedure for the Theory of Fixed-Sized Bitvectors
  CAV'97.

• A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
  Formal Verification of Transformations for Peephole Optimization
  Proc. of FME'97, Springer LNCS 1313, pp. 459 - 472, September 1997

• M. Strecker, M. Luther, F.W. von Henke
  Typelab: An Environment for Modular Program Development
  Proc. of TAPSOFT'97, Springer LNCS 1214, pp. 851-854, 1997

• M. Strecker, M. Sorea
  Integrating an Equality Prover into a Software Development System based on Type Theory
  Proc. of KI'97, Springer LNAI 1303, pp. 147-158, 1997

• A.M. Uhrmacher
  Concepts of Object- and Agent-Oriented Simulation.
  Transactions on SCS, Vol. 14. No. 2, 59-67, 1997.

• A.M. Uhrmacher, F.E. Cellier, R.J. Frye
  Applying Fuzzy-Based Inductive Reasoning to Analyze Qualitatively the Dynamic Behavior of an Ecological System.
  In: AI Applications, Vol. 11(2), 1-10, 1997.

1996

• F.W. von Henke, M. Luther, H. Pfeifer, H. Rueß, D. Schwier, M. Strecker, M. Wagner
  The Typelab Specification and Verification Environment
  Proc. of AMAST'96, Springer LNCS 1101, pp. 604-607, Munich, 1996

• H. Rueß
  Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study
  Proc. of FMCAD'96, Springer LNCS 1166, pp. 79-93, Palo Alto, CA, Nov. 1996

• H. Rueß, N. Shankar, and M. Srivas
  Modular Verification of SRT Division
  Proc. of CAV'96, Springer LNCS 1102, pp. 123-134, New Brunswick, NJ, July 1996

• A. Seitz, A.M. Uhrmacher
  Cases vs. Model-Based Knowledge - An Application in the Area of Bone Healing.
  In: H.-D. Burkhard, M. Lenz (Eds.): Proceedings of the 4th German Workshop on Case-Based Reasoning. Informatik-Berichte der Humboldt-Universität Berlin, Berlin, 1996.

• M. Strecker, M. Luther, M. Wagner
  Structuring and Using a Knowledge Base of Mathematical Concepts: A Type-Theoretic Approach
  Proc. of ECAI'96, pp. 23-26, 1996

• A.M. Uhrmacher and B.P. Zeigler
  Variable Structure Modelling in Object-Oriented Simulation
  International Journal on General Systems, Vol. 24(4), 359-375, 1996.

• A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
  Generic Compilation Schemes for Simple Programming Constructs
  Technical report UIB 96-12, Universität Ulm, Fakultät für Informatik, Dec. 1996
  Revised version as of Jan. 1999

• H. Pfeifer, F. W. v. Henke, and H. Rueß
  Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs
  Technical report UIB 96-11, Universität Ulm, Fakultät für Informatik, Dec. 1996
  Revised version as of July 1997

• F. Bartels, H. Pfeifer, F. W. v. Henke, and H. Rueß
  Mechanizing Domain Theory
  Technical Report UIB-96-10, Universität Ulm, 1996
  Revised version as of October 1997.

• D. Cyrluk, O. Möller, H. Rueß
  An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction
  Technical report UIB-96-8, Universität Ulm, Fakultät für Informatik, Dec. 1996

• E. Canver, J. Gayen, A. Moik
  Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
  Technical report UIB-96-1, Universität Ulm, Fakultät für Informatik, Feb. 1996

• A.M. Uhrmacher
  Object-Oriented and Agent-Oriented Simulation - Implications for Social Science Applications.
  In: J. Doran, N. Gilbert, U.Mueller, K.G. Troitzsch (eds.): Social Science Micro Simulation - A Challenge for Computer Science. Springer Lecture Notes in Economics and Mathematical Systems, Berlin, 432-447, 1996.

• W. Goerigk, A. Dold, Th. Gaul, G. Goos, A. Heberle, F.W. von Henke, U. Hoffmann, H. Langmaack, H. Pfeifer, H. Rueß, and W. Zimmermann.
  Compiler Correctness and Implementation Verification: The Verifix Approach.
  In P. Fritzson (ed.) Proceedings of the Poster Session of CC '96 - International Conference on Compiler Construction, IDA Technical Report LiTH-IDA-R-96-12, Linkøping University, Sweden, April 1996.

• A.M. Uhrmacher
  Concepts of Object- and Agent-Oriented Simulation
  Workshop on Multiagent Systems and Simulation MASSIM'96, Ulm, 5.-6.3.1996, ASIM Mitteilungen, Heft 53, 1-8, 1996.

• A.M. Uhrmacher
  Variable Structure Modelling - Discrete Events in Simulation
  Proc. of the 6th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. California, San Diego, March 1996, IEEE-Press, 133-140, 1996.

1995

• A. Dold
  Representing, Verifying and Applying Software Development Steps using the PVS System
  Proc. of AMAST'95, Springer LNCS 936, pp. 431-445, Montreal, 1995

• A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
  A Generic Specification for Verifying Peephole Optimizations
  Technical report UIB 95-14, Universität Ulm, Fakultät für Informatik.

• F.W. von Henke, A. Dold , H. Rueß, D. Schwier, and M. Strecker
  Construction and Deduction Methods for the Formal Development of Software
  in KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  Springer LNCS 1009, 1995.

• H. Rueß, H. Pfeifer, F.W. von Henke
  Formalization and Reasoning in a Reflective Architecture
  Proc. of the IJCAI 1995 Workshop on Reflection and Meta Level Architecture and their Application in AI, Montreal, Canada, August 1995

• Harald Ruess
  Formal Meta-Programming in the Calculus of Constructions
  Ph.D.thesis, University of Ulm 1995

• A.M. Uhrmacher
  Reasoning about Changing Structure, A Modelling Concept for Ecological Systems
  Applied Artificial Intelligence, 1995, 9(2),157-180.

• A.M. Uhrmacher
  Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2.
  Technical Report LSA-95-01, Informatik Berichte der Universität Kaiserslautern, Kaiserslautern, 1995, 95-104.

• C. Willy, A.M. Uhrmacher, J. Schröder, H. Gerngross
  Leucozyte-Endothelium Interaction in Traumatology - A Knowledge-Based Systems Approach
  EFFORD Congress, Munich, Poster, Juli 1995.

1994

• A. Dold
  Formalisierung schematischer Algorithmen
  Technical report UIB 94-10, Universität Ulm, Fakultät für Informatik, Jan. 1994.

• F.W. von Henke, A. Dold , H. Rueß, D. Schwier, and M. Strecker
  Construction and Deduction Methods for the Formal Development of Software
  Technical report UIB 94-09, Universität Ulm, Fakultät für Informatik.

• A.M. Uhrmacher, R. Arnold
  Distributing and Maintaining Knowledge - Agents in Variable Structure Environments
  Proc. of the 5th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. Florida, Gainesville, December, IEEE-Press, San Diego, 1994, 178-184.

• A.M. Uhrmacher
  Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2
  GI-Fachgruppe Maschinelles Lernen, Informatik Berichte der Universität Kaiserslautern, 1994, 95-104.

1993

• Förster, Kejwal, Baur, Göhner, Cleve, Drexler, Hutter, Sengler, Siekmann, Stephan, Wolpers, Reif, Canver, von Henke
  Verification Support Environment (VSE)
  Proc. of 3. Deutscher IT-Sicherheitskongress des BSI, 1993

• A.M. Uhrmacher
  Variable Structure Models: Autonomy and Control - Answers from Two Different Modeling Approaches
  Proc. of the 4th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. Arizona, Tucson, September, IEEE-Press, San Diego, 1993, 133-142.

1992

• Baur, Plasa, Kejwal, Drexler, Reif, Stephan, Wolpers, Hutter, Sengler, Canver
  The Verification Support Environment VSE
  Proc. of IFA Symposium on Safety, Security and Reliability of Computers, 1992

• A.M. Uhrmacher
  EMSY - An Extended Modelling System
  In: E.N. Houstis, J.R. Rice (eds.): AI, Expert Systems, and Symbolic Computing for Scientific Computation. North Holland, Amsterdam, 1992.

• A.M. Uhrmacher
  Qualitative and Quantitative Simulation - Some Comparative Aspects
  F. Faulbaum (ed.): SoftStat'91. Advances in Statistical Software. Gustav Fischer Stuttgart, 1992, 343-352.