@inproceedingsHüllermeier_1997, title=Hierarchical  propagation of uncertain constraints, booktitle=in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1997, pages=953–957 

@inproceedingsHüllermeier_1997, title=Approximation of fuzzy functions, booktitle=in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, author=Hüllermeier, Eyke, editor=Grauel, A. and Becker, W. and Belli, F.Editors, year=1997, pages=374–381 

@inproceedingsHüllermeier_1997, title=Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose, booktitle=In Proceedings ASIM Fachgruppentagung Soft Computing, author=Hüllermeier, Eyke, editor=Möller, D.P.F. and Richter, O.Editors, year=1997 

@articleHüllermeier_1997, title=A new approach to modelling and simulation of uncertain dynamical systems, volume=5, number=2, journal=International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, author=Hüllermeier, Eyke, year=1997, pages=117–137 

@inbookKleine Büning_Lettmann_1996, place=Berlin, Heidelberg, title=Learning a representation for optimizable formulas, DOI=10.1007/3-540-61863-5_33, booktitle=Lecture Notes in Computer Science, author=Kleine Büning, Hans and Lettmann, Theodor, year=1996 

@inproceedingsHüllermeier_1996, title=Approminate probabilistic reasoning with fuzzy constraints, booktitle=in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1996 

@inproceedingsHüllermeier_1996, title=A fuzzy simulation method, booktitle=International Symposium on Soft Computing, Reading U.K., publisher=ICSC Academic Press, author=Hüllermeier, Eyke, editor=Anderson, P.G. and Warwick, K.Editors, year=1996, pages=0–6 

@inproceedingsHüllermeier_1996, title=Hierarchical constraint propagation based on interval arithmetic, booktitle=in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, author=Hüllermeier, Eyke, year=1996, pages=54–55 

@inproceedingsHüllermeier_1995, title=Towards modelling of fuzzy functions, booktitle=in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1995, pages=150–154 

@inproceedingsHüllermeier_1995, title=Rule-based modelling in fuzzy simulation, booktitle=in Proceedings ISFL-95 International Symposium on Logic, Zürich, publisher=ICSC Academic Press, author=Hüllermeier, Eyke, year=1995, pages=– 

@inproceedingsHüllermeier_1995, title=Fuzzy polynomial and spline interpolation, booktitle=in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, publisher=Gordon and Breach Publishers, author=Hüllermeier, Eyke, year=1995, pages=401–404 

@inbookHüllermeier_1995, title=Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung, booktitle=Moderne Makroökonomie-Eine kritische Bestandsaufnahme, publisher=Metropolis, author=Hüllermeier, Eyke, editor=Flemmig, J.Editor, year=1995, pages=413–454 

@inproceedingsHüllermeier_1994, title=Approximate solution of a linear programming problem using a modified perceptron-algorithm., booktitle=in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1994, pages=195–199 

@articleFlögel_Kleine Büning_Lettmann_1993, title=On the restricted equivalence for subclasses of propositional logic, DOI=10.1051/ita/1993270403271, journal=RAIRO - Theoretical Informatics and Applications, author=Flögel, A. and Kleine Büning, H. and Lettmann, Theodor, year=1993, pages=327–340 

@bookDahn_Lettmann_Schönfeld_1991, place=´Heidelberg, series=IWBS Report, title=ILFA Interface Concept, volume=193, publisher=Wissenschaftliche Zentrum der IBM Deutschland , author=Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang, year=1991, collection=IWBS Report 

@articleKleine Büning_Lettmann_Mayr_1989, title=Projections of vector addition system reachability sets are semilinear, DOI=10.1016/0304-3975(89)90055-8, journal=Theoretical Computer Science, author=Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W., year=1989, pages=343–350 

@inproceedingsKleine Büning_Lettmann_1988, place=Berlin, Heidelberg, title=Perspektiven für die Logikprogrammierung, booktitle=Workshop Wissensrepräsentation in Expertensystemen, author=Kleine Büning, Hans and Lettmann, Theodor, editor=Rahmstorf, G.Editor, year=1988, pages=56–78 

@inbookBüning_Lettmann_1987, place=Berlin, Heidelberg, title=Representation independent query and update operations on propositional definite Horn formulas, DOI=10.1007/3-540-18170-9_167, booktitle=Computation Theory and Logic, author=Büning, Hans Kleine and Lettmann, Theodor, editor=Börger, EgonEditor, year=1987, pages=208–223 

@inbookKleine Büning_Lettmann_1986, place=Berlin, Heidelberg, title=Classes of first order formulas under various satisfiability definitions, DOI=10.1007/3-540-16780-3_119, booktitle=8th International Conference on Automated Deduction, author=Kleine Büning, H. and Lettmann, Theodor, year=1986