EN | DE
Theoretische Informatik

Lutz Schröder's Publications

2018
[130] Model Theory and Proof Theory of Coalgebraic Predicate Logic (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder), In Logical Methods in Computer Science, vol. 14, 2018. [bib] [pdf] [doi]
2017
[129] Nominal Automata with Name binding (Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann), In Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Javier Esparza, Andrzej Murawski, eds.), Lecture Notes Comput. Sci. (ARCoSS), vol. 10203, pp. 124–142, Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_8. [bib] [pdf]
[128] A Characterization Theorem for a Modal Description Logic (Paul Wild, Lutz Schröder), In International Joint Conference on Artificial Intelligence, IJCAI 2017, IJCAI/AAAI, 2017. [preprint] [bib]
[127] Uniform Interpolation in Coalgebraic Modal Logic (Fatemeh Seifan, Lutz Schröder, Dirk Pattinson), In Proc. 7th Conference on Algebra and Coalgebra in Computer Science, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [preprint] [bib]
[126] A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (Lutz Schröder, Dirk Pattinson, Tadeusz Litak), In Journal of Logic and Computation, vol. 27(3), pp. 749–773, 2017. [preprint] [bib] [pdf]
[125] Generic Hoare Logic for Order-Enriched Effects with Exceptions (Christoph Rauch, Sergey Goncharov, Lutz Schröder), In Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (Phillip James, Markus Roggenbach, eds.), pp. 208–222, Springer, 2017. [bib]
[124] Probabilistic Description Logics for Subjective Uncertainty (Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder), In J. Artif. Intell. Res. (JAIR), vol. 58, pp. 1–66, 2017. [bib] [pdf]
[123] Ontological Modelling of a Psychiatric Clinical Practice Guideline (Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder), In Proc. 40th German Conference on Artificial Intelligence (KI 2017), Lect. Notes Comput. Sci, 2017. [bib] [pdf]
[122] Unifying Guarded and Unguarded Iteration (Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg), In Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Javier Esparza, Andrzej Murawski, eds.), Lect. Notes Comput. Sci. (ArCOSS), vol. 10203, pp. 517–533, Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_30. [bib] [pdf]
[121] Efficient Coalgebraic Partition Refinement (Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann), In Proc. 28th International Conference on Concurrency Theory (CONCUR 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [Full version] [bib]
2016
[120] Program equivalence is coinductive (Dirk Pattinson, Lutz Schröder), In Logic in Computer Science, LICS 2016 (Martin Grohe, Eric Koskinen, Natarajan Shankar, eds.), pp. 337–346, ACM, 2016. [bib] [pdf]
[119] Regular Behaviours with Names (Stefan Milius, Lutz Schröder, Thorsten Wißmann), In Appl. Cat. Struct., vol. 24(5), pp. 663–791, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/s10485-016-9457-8. [bib] [pdf] [doi]
[118] Global Caching for the Alternation-free Coalgebraic $\mu$-calculus (Daniel Hausmann, Lutz Schröder, Christoph Egger), In Concurrency Theory, CONCUR 2016, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [bib] [pdf]
2015
[117] Simplified Coalgebraic Trace Equivalence (Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder), In Software, Services and Systems, vol. 8950, pp. 75–90, Springer, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-15545-6_8. [bib] [pdf] [doi]
[116] Sound and Complete Equational Reasoning over Comodels (Dirk Pattinson, Lutz Schröder), In Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015, ENTCS, vol. 319, pp. 315–331, Elsevier, 2015. [bib] [pdf]
[115] From the editors (Dirk Pattinson, Lutz Schröder), In J. Comput. System Sci., vol. 81, pp. 797–798, 2015. (Special Issue, 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 (Selected Papers)) [bib]
[114] Generic Trace Semantics and Graded Monads (Stefan Milius, Dirk Pattinson, Lutz Schröder), In Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 (Lawrence S. Moss, Pawel Sobocinski, eds.), Leibniz International Proceedings in Informatics, vol. 35, pp. 253–269, 2015. [bib] [pdf]
[113] Reasoning with Global Assumptions in Arithmetic Modal Logics (Clemens Kupke, Dirk Pattinson, Lutz Schröder), In Proc. 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, Lect. Notes Comput. Sci., vol. 9210, pp. 367–380, Springer, 2015. [bib] [pdf]
[112] Global Caching for the Flat Coalgebraic mu-Calculus (Daniel Hausmann, Lutz Schröder), In Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, pp. 121–130, IEEE Comp. Soc., 2015. [bib] [pdf]
[111] Unguarded Recursion on Coinductive Resumptions (Sergey Goncharov, Christoph Rauch, Lutz Schröder), In Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Electronic Notes in Theoretical Computer Science, vol. 319(), pp. 183 – 198, 2015. [preprint] [bib] [pdf]
2014
[110] Monodic Fragments of Probabilistic First-order Logic (Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder), In Proc. 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014 (Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.), Lecture Notes in Computer Science, vol. 8573, pp. 256–267, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_22. [bib] [doi]
[109] Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (Daniel Gorín, Lutz Schröder), In Proc. Advances in Modal Logic, AiML 2014 (Rajeev Goré, Barteld Kooi, Agi Kurucz, eds.), pp. 254–273, College Publications, 2014. [bib] [pdf]
[108] COOL -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann), In Proc. 7th Internat. Joint Conf. on Automated Reasoning, IJCAR 2014 (Stéphane Demri, Deepak Kapur, Christoph Weidenbach, eds.), Lect. Notes Comput. Sci., vol. 8562, pp. 396–402, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6_31. [bib] [pdf] [doi]
[107] Towards Ontological Support for Principle Solutions in Mechanical Engineering (Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack), In Proc. 8th International Conference on Formal Ontology in Information Systems, FOIS 2014 (Pawel Garbacz, Oliver Kutz, eds.), Frontiers in Artificial Intelligence and Applications, vol. 267, pp. 427–432, IOS Press, 2014. [bib] [pdf] [doi]
[106] Semantic Support for Engineering Design Processes (Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack), In Proc. 13th International Design Conference, DESIGN 2014, pp. 1723–1732, 2014. [bib] [pdf]
Powered by bibtexbrowser

Publications as a bibtex file