Diese Seite enthält sämtliche Publikationen, die an diesem Institut vor 1996 entstanden sind. Später entstandene Publikationen entnehmen Sie bitte unserer aktuellen Publikationsseite.

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

• 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.

• 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.