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
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
Hausmann, D., Schröder, L., & Deifel, H.-P. (2018). Permutation games for the weakly aconjunctive μ -calculus. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 (pp. 361-378). Springer.
Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2018). Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Springer.

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

Share link