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 1 of 6 Go to next page Go to last page

Evert, S., Heinrich, P., Henselmann, K., Rabenstein, U., Scherr, E., Schmitt, M., & Schröder, L. (2019). Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures. Journal of Logic, Language and Information. https://dx.doi.org/10.1007/s10849-019-09283-6
Hausmann, D., & Schröder, L. (2019). Game-based local model checking for the coalgebraic µ-calculus. In Wan Fokkink, Rob van Glabbeek (Eds.), Leibniz International Proceedings in Informatics, LIPIcs. Amsterdam, NL: Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.
Dorsch, U., Milius, S., & Schröder, L. (2019). Graded monads and graded logics for the linear time – Branching time spectrum. In Wan Fokkink, Rob van Glabbeek (Eds.), Leibniz International Proceedings in Informatics, LIPIcs. Amsterdam, NL: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
Goncharov, S., Schröder, L., Rauch, C., & Pirog, M. (2019). Guarded and Unguarded Iteration for Generalized Processes. Logical Methods in Computer Science, 15(3). https://dx.doi.org/10.23638/LMCS-15(3:1)2019
Hausmann, D., & Schröder, L. (2019). Optimal Satisfiability Checking for Arithmetic µ-Calculi. In Mikolaj Bojanczyk, Alex Simpson (Eds.), Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2019 (pp. 277-294). Springer Verlag.
Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In Bernd Fischer Tarmo Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187) (pp. 191--210). Stellenbosch, South Africa: Springer International Publishing.
Wild, P., Schröder, L., Pattinson, D., & König, B. (2018). A van Benthem theorem for fuzzy modal logic. In 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 (pp. 909-918). IEEE.
Schröder, L., & Venema, Y. (2018). Completeness of Flat Coalgebraic Fixpoint Logics. ACM Transactions on Computational Logic, 19(1). https://dx.doi.org/10.1145/3157055
Goncharov, S., & Schröder, L. (2018). Guarded Traced Categories. In Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 (pp. 313-330). Springer Verlag.
Litak, T.M., Pattinson, D., Sano, K., & Schröder, L. (2018). Model Theory and Proof Theory of Coalgebraic Predicate Logic. Logical Methods in Computer Science, 14(1). https://dx.doi.org/10.23638/LMCS-14(1:22)2018

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