Prof. Dr. Lutz Schröder


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

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

GenMod: Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics
Prof. Dr. Lutz Schröder
(01/05/2008 - 31/08/2019)

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.
Goncharov, S., Schröder, L., Rauch, C., & Pirog, M. (2019). Guarded and Unguarded Iteration for Generalized Processes. Logical Methods in Computer Science, 15(3).
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).
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).
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