20.04.2007

Publikationen

  • Dorothea Schäfer, Reinhold Schäfer: Scheduling in der Laborautomation — Permanente Prozessplanung kann Automatisierungsgrad erhöhen; In Hessisches Ministerium für Wissenschaft und Kunst, editor, TTN-Hessen, Forschung und Innovation — Hannover Messe 2007 — Wiesbaden (2007)
  • Dorothea Schäfer, Reinhold Schäfer: Constraint Based Scheduler With Implicit Transport Activities Applied to Laboratory Automation; LabAutomation 2007, Palm Springs, California (2007) (ALA Academic Grant)
  • Dorothea Schäfer, Reinhold Schäfer: Constraint Solving Based Scheduler in Laboratory Automation; 4th International Forum Life Science Automation, Rostock, Germany (2006)
  • István Bátori, Kristián Németh, Holger Puttkammer, Dorothea Schäfer: Multilinguale Ein- und Ausgabe am Beispiel der UEDb; In Gippert, Jost and Petr Vavrouek, editors, Multilinguale Corpora - Codierung, Strukturierung, Analyse: Tagungsband der 11. GLDV-Tagung 1999 in Frankfurt a/M. enigma Prag 1999, 210-218
  • Dorothea Schäfer: Vom Problem in PL1 zum Beweis in NL; Kurzversion des gleichnamigen Vortrags auf der 7. TaCoS 1997 in Koblenz
  • Dorothea Schäfer: Simplification in Model Elimination; Diplomarbeit an der Universität Koblenz-Landau
  • Peter Baumgartner, Dorothea Schäfer: Coupling the software verification system KIV with the theorem prover PROTEIN; In R. Berghammer and Y. Lakhnech, editors, Tool Support for System Specification, Development, and Verification, Advances in Computer Science. Springer-Verlag Wien NewYork, 1999
  • Peter Baumgartner, Dorothea Schäfer: Model Elimination with Simplification and its Application to Software Verification; Fachberichte Informatik 5-98, Universität Koblenz-Landau, 1998
  • Dorothea Schäfer: PROTEIN - A PROver with a Theory Extension INterface; Studienarbeit an der Universität Koblenz-Landau
  • Gerd Neugebauer, Dorothea Schäfer: Glue: Opening the world to theorem provers; Proceedings of the fourth international conference on Logic Programming and Non-Monotonic Reasoning (LP & NMR ‘97), Dagstuhl, Germany, July 28-31, 1997
  • Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On merging theorem proving and logic programming paradigms; In M. Maher, editor, Proceedings of JICSLP ‘96, Bonn, Germany, September 1996. The MIT Press
  • Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren; KI Vol. 10, Nr. 2, pp. 34-39, 1996 oder Research Report 17-95
SocialTwist Tell-a-Friend

Kommentieren ist momentan nicht möglich.

«  zurück  »
zurueck
© 2008 Webkrebse GmbH