Prof. Dr. Lutz Schröder



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)


Awards / Honours


2018 : EACTS Best Paper Award at ETAPS 2018
2018 : ICTAC 2018 Best Paper Award



Project lead

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

Coinduction meets algebra for the axiomatization and algorithmics of system equivalences
apl. Prof. Dr. Stefan Milius; Prof. Dr. Lutz Schröder
(01/02/2019 - 31/01/2022)

Rekonstruktion von Argumenten aus Noisy Text
Prof. Dr. Lutz Schröder
(01/06/2018 - 31/05/2021)

BottlePost- ein sicheres, providerloses zu 100% dezentralisiertes peer-to-peer Emailsystem, welches die Privatsphäre auf innovative und benutzerfreundliche Art und Weise, durch automatische Verwendung von "State-of-the-Art" Verschlüsselungstechnologie und Dezentralisierung schützt.
Prof. Dr. Lutz Schröder
(01/10/2017 - 30/09/2018)

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/HighMoon2: A High Level Language for Monad-based Processes
PD Dr.-Ing. Sergey Goncharov; Prof. Dr. Lutz Schröder
(01/09/2013 - 31/10/2020)


Publications (Download BibTeX)

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

Gorin, D., & Schröder, L. (2012). Extending ALCQ With Bounded Self-Reference. In Advances in Modal Logic (pp. 300-316). Kopenhagen: London: College Publications.
Gorin, D., & Schröder, L. (2012). Narcissists Are Easy, Stepmothers Are Hard. In Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures (pp. 240-254). Tallinn: Berlin: Springer-verlag.
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. In Proceedings of the 2nd World Congress on Formal Methods, FM 2009 (pp. 223-238). Eindhoven.

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