Prädiktoren höherer Ordnung und Schrittweitensteuerung bei Kurvenverfolgungsalgorithmen. - Jürgen Cleve (1985)

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)

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 001; Andreas Wolpers; Jürgen Cleve; Dieter Hutter; Claus Sengler; et al. (VIS, 1993)

A Methodology for Equational Reasoning. - Jürgen Cleve; Dieter Hutter (HICSS (3), 1994)

Lab 360. Interaktive Lernräume zur Verbesserung der Qualität der Lehre an der Hochschule Wismar. - Christopher Könitz; Jakob Diel; Jürgen Cleve (GI-Jahrestagung, 2016)