EN | DE
Theoretische Informatik

Chair Publications

[46] How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure (Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi), In Proc. Coalgebraic Methods in Computer Science (CMCS'14) (Marcello M. Bonsangue, ed.), Lecture Notes Comput. Sci., vol. 8446, pp. 53–74, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44124-4_4. [bib] [doi]
[45] An Open Alternative for SMT-based Verification of SCADE Models (Henning Basold, Michaela Huhn, Henning Günther, Stefan Milius), In Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) (F. Lang, F. Flammini, eds.), Lecture Notes Comput. Sci., vol. 8718, pp. 124–139, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-10702-8_9. [bib] [doi]
[44] Base Modules for Parametrized Iterativity (Jiří Adámek, Stefan Milius, Jiří Velebil), In Theoret. Comput. Sci., vol. 523, pp. 56–85, 2014. (doi: 10.1016/j.tcs.2013.12.019) [bib]
[43] On Continuous Nondeterminism and State Minimality (Jiří Adámek, Stefan Milius, Robert S.R. Myers, Henning Urbat), In Proc. Mathematical Foundations of Programming Science (MFPS XXX) (Bart Jacobs, Alexandra Silva, Sam Staton, eds.), Electron. Notes Theor. Comput. Sci., vol. 308, pp. 3–23, Elsevier, 2014. [bib]
[42] Generalized Eilenberg Theorem I: Local Varieties of Language (Jiří Adámek, Stefan Milius, Robert S. Myers, Henning Urbat), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Anca Muscholl, ed.), Lecture Notes Comput. Sci., vol. 8412, pp. 366–380, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54830-7_24. [bib] [doi]
[41] Corecursive Algebras, Corecursive Monads and Bloom Monads (Jiří Adámek, Mahdieh Haddadi, Stefan Milius), In Log. Methods Comput. Sci., vol. 10(3:19), pp. 51 pp., 2014. [bib]
[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]
Powered by bibtexbrowser
Publications as a bibtex file