Prof. Dr. Lutz Schröder



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)



Project lead

Go to first page Go to previous page 1 of 2 Go to next page Go to last page

HighMoon2: A High Level Language for Monad-based Processes
PD Dr.-Ing. Sergey Goncharov; Prof. Dr. Lutz Schröder
(01/11/2017 - 31/10/2020)

COAX: Coinduction Meets Algebra For the Axiomatization of System Equivalence
apl. Prof. Dr. Stefan Milius; Prof. Dr. Lutz Schröder
(01/10/2014 - 31/07/2018)

HighMoon: A High Level Language for Programming and Specifying Multi-Effect Algorithms
PD Dr.-Ing. Sergey Goncharov; Prof. Dr. Lutz Schröder
(01/09/2013)

FormalCAD: Formal Methods and Semantic Technologies for Engineering Design Processes
Prof. Dr. Lutz Schröder
(01/10/2012 - 31/03/2014)

ProbDL: Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe
Prof. Dr. Lutz Schröder
(01/04/2011)


Publications (Download BibTeX)

Go to first page Go to previous page 6 of 6 Go to next page Go to last page

Pattinson, D., & Schröder, L. (Eds.) (2012). Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). Berlin: Springer.
Kohlhase, M., & Schröder, L. (2009). Formal management of CAD/CAM processes. (pp. 223-238). Eindhoven.

Last updated on 2016-05-05 at 05:35