EN | DE
Theoretische Informatik

Chair Publications

[40] Relational Lattices (Tadeusz Litak, Szabolcs Mikulás, Jan Hidders), In Relational and Algebraic Methods in Computer Science 2014 (RAMiCS) (Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin E. Müller, eds.), Lecture Notes in Computer Science, vol. 8428, pp. 327–343, Springer International Publishing, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-06251-8_20. (Superseded by the journal version in the special issue of JLAMP with selected papers of RAMiCS 2014) [bib] [pdf] [doi]
[39] Constructive modalities with provability smack (Tadeusz Litak), Chapter in Leo Esakia on duality in modal and intuitionistic logics (Guram Bezhanishvili, ed.), Outstanding Contributions to Logic, vol. 4, pp. 179–208, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-94-017-8860-1_8. [bib] [pdf] [doi]
[38] 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]
[37] 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]
[36] 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]
[35] Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Sergey Goncharov, Dirk Pattinson), In Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.), Lecture Notes in Computer Science, vol. 8573, pp. 196–207, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_17. [bib] [doi]
[34] Towards a Coalgebraic Chomsky Hierarchy (Extended Abstract) (Sergey Goncharov, Stefan Milius, Alexandra Silva), In Proc. 8th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS'14) (Josep Diaz, Ivan Lanese, Davide Sangiorgi, eds.), Lecture Notes Comput. Sci., vol. 8705, pp. 265–280, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44602-7_21. [bib] [doi]
[33] 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]
[32] 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]
2013
[31] Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings), (Reiko Heckel, Stefan Milius, eds.), Lecture Notes Comput. Sci., vol. 8089, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7. [bib] [doi]
[30] Abstract GSOS Rules and a Modular Treatment of Recursive Definitions (Stefan Milius, Lawrence S. Moss, Daniel Schwencke), In Log. Methods Comput. Sci., vol. 9(3:28), pp. 52 pp., 2013. [bib]
[29] Rational Operation Models (Stefan Milius, Marcello M. Bonsangue, Robert S.R. Myers, Jurriaan Rot), In Proc. 29th conference on Mathematical Foundations of Programming Science (MFPS XXIX) (Michael Mislove, ed.), Electron. Notes Theor. Comput. Sci., vol. 298, pp. 257–282, 2013. The final publication is available at http://dx.doi.org/10.1016/j.entcs.2013.09.017. [bib] [doi]
[28] Sound and complete axiomatizations of coalgebraic language equivalence (Marcello M. Bonsangue, Stefan Milius, Alexandra Silva), In ACM Trans. Comput. Log., vol. 14(1:7), 2013. [bib]
[27] How Iterative Reflections of Monads are Constructed (Jiří Adámek, Stefan Milius, Jiří Velebil), In Inform. and Comput., vol. 225, pp. 83–118, 2013. (Available online at http://dx.doi.org/10.1016/j.ic.2013.02.003) [bib]
[26] Well-pointed Coalgebras (Jiří Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa), In Log. Methods Comput. Sci., vol. 9(3:2), pp. 51 pp., 2013. [bib]
[25] Preface to CALCO-Tools (Lutz Schröder), In Proc. 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Reiko Heckel, Stefan Milius, eds.), Lecture Notes in Computer Science, vol. 8089, pp. 314, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_23. [bib] [doi]
[24] Preface (Till Mossakowski, Markus Roggenbach, Lutz Schröder), In Electronic Communications of the ECEASST, vol. 62, 2013. (Special Issue Specification, Transformation, Navigation, Dedicated to Bernd Krieg-Brückner) [bib] [pdf]
[23] Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion (Stefan Milius, Tadeusz Litak), In FICS (David Baelde, Arnaud Carayol, eds.), EPTCS, vol. 126, pp. 72–86, 2013. (Superseded by the journal version invited to FI) [bib] [pdf]
[22] Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano), Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011 (Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, eds.), Lecture Notes in Computer Science, vol. 7758, pp. 257–276, Springer Berlin Heidelberg, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-36976-6_16. [bib] [pdf] [doi]
[21] Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder), In Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Francesca Rossi, ed.), pp. 962–968, IJCAI/AAAI, 2013. [updated version] [bib] [pdf]
[20] Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds (Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder), In Information Fusion, vol. 14(1), pp. 57–77, 2013. [bib] [pdf] [doi]
[19] Simulations and Bisimulations For Coalgebraic Modal Logics (Daniel Gorín, Lutz Schröder), In Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Reiko Heckel, Stefan Milius, eds.), Lect. Notes Comput. Sci., vol. 8089, pp. 253–266, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_19. [bib] [pdf] [doi]
[18] Reasoning with Bounded Self-reference Using Logical Interpreters (Daniel Gorín, Lutz Schröder, Thorsten Wißmann), In 26th International Workshop on Description Logics, DL 2013 (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds.), CEUR Workshop Proceedings, vol. 1014, pp. 689–703, CEUR-WS.org, 2013. [bib] [pdf]
[17] A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (Sergey Goncharov, Lutz Schröder), In Proc. 28th Annual Symposium on Logic in Computer Science (LICS 2013), pp. 273–282, IEEE, 2013. [bib] [pdf] [doi]
[16] A coinductive calculus for asynchronous side-effecting processes (Sergey Goncharov, Lutz Schröder), In Information and Computation, vol. 231(0), pp. 204 – 232, 2013. [bib] [pdf] [doi]
Powered by bibtexbrowser
Publications as a bibtex file