Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (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
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot EthicsCoRR. S. 1 - 5
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesCoRR. S. 1 - 16
Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question AnsweringCoRR. S. 1 - 7
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
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataCoRR. S. 1 - 50