Prof. Dr. Lutz Schröder



Organisationseinheit


Lehrstuhl für Informatik 8 (Theoretische Informatik)



Projektleitung

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

HighMoon2: Eine High-Level-Sprache für monadenbasierte Prozesse
PD Dr.-Ing. Sergey Goncharov; Prof. Dr. Lutz Schröder
(01.11.2017 - 31.10.2020)

COAX: Koinduktion und Algebra in der Axiomatisierung von Systemäquivalenz
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)


Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 6 Go to next page Go to last page

Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In 11187. 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. (pp. 909-918). Institute of Electrical and Electronics Engineers Inc..
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. (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. (pp. 361-378). Springer Verlag.
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.
Goncharov, S., Schröder, L., Rauch, C., & Jakob, J. (2018). Unguarded Recursion on Coinductive Resumptions. Logical Methods in Computer Science, 14(3). https://dx.doi.org/10.23638/LMCS-14(3:10)2018
Wild, P., & Schröder, L. (2017). A Characterization Theorem for a Modal Description Logic. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (pp. 1304--1310).
Deifel, H.-P., Göttlinger, M., Milius, S., Schröder, L., Dietrich, C., & Lohmann, D. (2017). Automatic verification of application-tailored OSEK kernels. In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 (pp. 196--203). IEEE.

Zuletzt aktualisiert 2016-05-05 um 05:35