Jürgen Cleve

According to our database, Jürgen Cleve authored at least 5 papers between 1985 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Lab 360. Interaktive Lernräume zur Verbesserung der Qualität der Lehre an der Hochschule Wismar.

Christopher Könitz, Jakob Diel, Jürgen Cleve

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

1994

A Methodology for Equational Reasoning.

Jürgen Cleve, Dieter Hutter

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.

Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver

Proceedings of the Verläßliche Informationssysteme, 1993

1992

7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme".

Jürgen Cleve, Steffen Hölldobler, Jörg Würtz

Künstliche Intell., 1992

1985

Prädiktoren höherer Ordnung und Schrittweitensteuerung bei Kurvenverfolgungsalgorithmen.

Jürgen Cleve

PhD thesis, 1985