Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Winter, Andreas; Ebert, Jürgen
Ein Referenz-Schema zur OrganisationsbeschreibungKoblenz-Landau: Univ., Inst. f. Informatik 1994 17 S. (Fachberichte Informatik ; 6/94)
Berling, R.; Rosendahl, M.; Sodhi, R.S.
Geometry Modelling Using Dimensional ConstraintsSodhi, R.S. (Hrsg). Advances in Manufacturing Systems: Design, Modeling and Analysis. Amsterdam, Lausanne: Elsevier 1994 S. 365-370
Lemmer, Uwe; Steigner, C.
KOSCRIPT - A hybrid unification based cursive script recognition system4th International Workshop on Frontiers of Handwriting Recognition. Taipeh. 1994 S. 296-304
Baumgartner, P.; Furbach, U.
Lineare Vervollständigung für die Behandlung von HorntheorienDFG-Colloquium ``Deduction´´. 1994
Rosendahl, M.; Chun, Du; Chun, Du
Modelling geometric relationship with object-oriented methodology4th EUROGRAPHICS Workshop on Object Oriented Graphics. Sintra, Portugal. 1994 S. 199-213
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension INterfaceLecture notes in computer science. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Baumgartner, P.; Furbach, U.
The Spectrum of Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Lautenbach, Kurt; Ridder, Hanno
Liveness in bounded Petri nets which are covered by T-invariantsKoblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)
Baumgartner, Peter; Furbach, Ulrich
Model elimination without contrapositives and its application to PTTPKoblenz: Inst. für Informatik, Univ. 1993 23 S. (Fachberichte Informatik ; 12/93)
Du, C.; Rosendahl, M.; Berling, R. et al.
Variation of Geometry and Parametric DesignTang, Zesheng (Hrsg). New Advances in Computer Aided Design & Computer Graphics. Beijing, China: International Academic Publishers 1993 S. 400-405
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Inst. für Informatik, Univ. 1992 26 S. (Fachberichte Informatik ; 1992,11)
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equationsBulletin of the European Association for Theoretical Computer Science. Bd. 37. Antwerpen: EATCS 1989 S. 181 - 185
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equations.Bulletin of the EATCS. Bd. 37. 1989 S. 181 - 185
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsCoRR. S. 1 - 16
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)CoRR. S. 1 - 9
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.
Baumgartner, P.; Furbach, U.
Refinements for Restart Model Elimination
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis Applications