EN | DE
Theoretische Informatik

Chair Publications

[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]
[15] Trace Semantics via Generic Observations (Sergey Goncharov), In Algebra and Coalgebra in Computer Science (CALCO 2013) (Reiko Heckel, Stefan Milius, eds.), Lecture Notes in Computer Science, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_13. [bib] [doi]
[14] Integrated program verification tools in education (Guido de Caso, Diego Garbervetsky, Daniel Gorín), In Softw., Pract. Exper., vol. 43(4), pp. 403–418, 2013. [bib]
[13] Coalgebraic Announcement Logics (Facundo Carreiro, Daniel Gorín, Lutz Schröder), In Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013 (Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, eds.), Lect. Notes Comput. Sci., vol. 7966, pp. 101–112, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39212-2_12. [bib] [pdf] [doi]
[12] Exploring the Boundaries of Monad Tensorability on Set (Nathan Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder), In Logical Methods in Computer Science, vol. 9(3), 2013. [bib] [pdf] [doi]
2012
[11] A framework for formal verification of systems of synchronous components (Henning Günther, Ramin Hedayati, Helge Löding, Stefan Milius, Oliver Möller, Jan Peleska, Martin Sulzmann, Axel Zechner), In Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES'12) (Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, eds.), pp. 145–154, 2012. (Available at http:\\www.versyko.de) [bib]
[10] On the formal verification of systems of synchronous software components (Henning Günther, Stefan Milius, Oliver Möller), In Proc. SAFECOMP'12 (Frank Ortmeier, Peter Daniel, eds.), Lecture Notes Comput. Sci., vol. 7612, pp. 291–304, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-33678-2_25. (Extended version available at http:\\www.versyko.de) [bib] [doi]
[9] On the specification of operations on the rational behaviour of systems (Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot), In Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS'12) (Bas Luttik, Michel A. Reniers, eds.), Electron. Proc. Theoret. Comput. Sci., vol. 89, pp. 3–18, 2012. [bib]
[8] Well-Pointed Coalgebras (Jiří Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Lars Birkedal, ed.), Lecture Notes Comput. Sci., vol. 7213, pp. 89–103, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_6. [bib] [doi]
[7] On Finitary Functors and Their Presentation (Jiří Adámek, Stefan Milius, Lawrence S. Moss), In Proc. Coalgebraic Methods in Computer Science (CMCS'12) (Dirk Pattinson, Lutz Schröder, eds.), Lecture Notes Comput. Sci., vol. 7399, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32784-1_4. [bib] [doi]
[6] Coproducts of Monads on Set (Jiří Adámek, Nathan Bowler, Paul B. Levy, Stefan Milius), In Proc. 27th Annual Symposium on Logic in Computer Science (LICS'12), 2012. [bib]
[5] A Coalgebraic Perspective on Minimization and Determinization (Jiří Adámek, Filippo Bonchi, Barbara König, Mathias Hülsbusch, Stefan Milius, Alexandra Silva), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Lars Birkedal, ed.), Lecture Notes Comput. Sci., vol. 7213, pp. 58–73, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_4. [bib] [doi]
[4] Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, (Dirk Pattinson, Lutz Schröder, eds.), Lecture Notes in Computer Science, vol. 7399, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32784-1. [bib] [doi]
[3] Coalgebraic Predicate Logic (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder), In Proc. 39th International Colloquium on Automata, Languages, and Programming, ICALP 2012 (Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer, eds.), Lecture Notes in Computer Science, vol. 7392, pp. 299–311, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-31585-5_29. [bib] [pdf] [doi]
[2] Extending ALCQ With Bounded Self-Reference (Daniel Gorín, Lutz Schröder), In Proc. Advances in Modal Logic 2012, AiML 2012 (Silvio Ghilardi, Lawrence Moss, eds.), pp. 300–316, College Publications, 2012. [bib] [pdf]
[1] Narcissists Are Easy, Stepmothers Are Hard (Daniel Gorín, Lutz Schröder), In Proc. 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012 (Lars Birkedal, ed.), Lecture Notes in Computer Science, vol. 7213, pp. 240–254, Springer, 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_16. [bib] [pdf] [doi]
Powered by bibtexbrowser
Publications as a bibtex file