Prof. Dr. Lutz Schröder



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)



Project lead

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

HighMoon2: A High Level Language for Monad-based Processes
PD Dr.-Ing. Sergey Goncharov; Prof. Dr. Lutz Schröder
(01/11/2017 - 31/10/2020)

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: 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)


Publications (Download BibTeX)

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

Evert, S., Heinrich, P., Henselmann, K., Rabenstein, U., Scherr, E., & Schröder, L. (2017). Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures. In Loukanova R, Liefke K (Eds.), Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) (pp. 47 - 62). Stockholm, SE: Stockholm: Stockholm University.
Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2017). Efficient Coalgebraic Partition Refinement. In Meyer R, Nestmann U (Eds.), Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) (pp. 28:1--28:16). Schloss Dagstuhl.
Rauch, C., Goncharov, S., & Schröder, L. (2017). Generic Hoare Logic for Order-Enriched Effects with Exceptions. In James P, Roggenbach M (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (pp. 208--222). Springer.
Schröder, L., Kozen, D., Milius, S., & Wißmann, T. (2017). Nominal Automata with Name binding. In Esparza Javier, Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Springer.
Gorin, D., Meyn, M., Naumann, A., Polzer, M., Rabenstein, U., & Schröder, L. (2017). Ontological Modelling of a Psychiatric Clinical Practice Guideline. In KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings (pp. 300--308).
Gutierreiz-Basulto, V., Jung, J.C., Lutz, C., & Schröder, L. (2017). Probabilistic Description Logics for Subjective Uncertainty. Journal of Artificial Intelligence Research, 58, 1--66. https://dx.doi.org/10.1613/jair.5222
Seifan, F., Schröder, L., & Pattinson, D. (2017). Uniform Interpolation in Coalgebraic Modal Logic. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia (pp. 21:1--21:16).
Goncharov, S., Schröder, L., Rauch, C., & Piróg, M. (2017). Unifying Guarded and Unguarded Iteration. In Esparza Javier , Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Berlin: Springer.
Hausmann, D., Schröder, L., & Egger, C. (2016). Global Caching for the Alternation-free Coalgebraic mu-calculus. In Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016 (pp. 34:1-34:15). Québec City, Canada: Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Hausmann, D., Schröder, L., & Egger, C. (2016). Global Caching for the Alternation-free mu-Calculus. In Josée Desharnais, Radha Jagadeesan (Eds.), 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada (pp. 34:1--34:15). Québec City, CA: Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

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