EN | DE
Theoretische Informatik

Chair Publications

[65] Varieties of Languages in a Category (Jiří Adámek, Stefan Milius, Robert S.R. Myers, Henning Urbat), In Proc. 30th Annual Symposium on Logic in Computer Science (LICS'15) (Catuscia Palamidessi, ed.), pp. 414–425, 2015. [bib]
[64] 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]
[63] 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]
[62] Finitary Corecursion for the Infinitary Lambda Calculus (Stefan Milius, Thorsten Wißmann), 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. 336–351, 2015. [bib] [pdf]
[61] 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]
[60] Uniform Interpolation for Coalgebraic Fixpoint Logic (Johannes Marti, Fatemeh Seifan, Yde Venema), Chapter in 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) (Lawrence S. Moss, Pawel Sobocinski, eds.), Leibniz International Proceedings in Informatics (LIPIcs), vol. 35, pp. 238–252, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015. [bib] [pdf]
[59] 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, LNCS, vol. 9210, pp. 367–380, Springer, 2015. [bib] [pdf]
[58] 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]
[57] 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]
[56] Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (Sebastian Enqvist, Fatemeh Seifan, Yde Venema), In Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), LICS '15, pp. 353–365, IEEE Computer Society, 2015. [bib] [pdf] [doi]
2014
[55] Uncertain network reasoning for agents via Gaussian radial basis functions (Ray-Ming Chen), In Computational Intelligence and Applications (IWCIA), 2014 IEEE 7th International Workshop on, pp. 47–52, 2014. [bib] [doi]
[54] A dynamical model for individual and social cognitive infocommunications over truth values (Ray-Ming Chen), In Cognitive Infocommunications (CogInfoCom), 2014 5th IEEE Conference on, pp. 385–389, 2014. [bib] [doi]
[53] PCA-based algorithmic approximation of crisp target sets (Ray-Ming Chen), In 14th UK Workshop on Computational Intelligence, UKCI 2014, Bradford, UK, September 8-10, 2014, pp. 1–8, IEEE, 2014. [bib] [pdf] [doi]
[52] Observations on formal safety analysis in practice (Michaela Huhn, Stefan Milius), In Sci. Comput. Programming, vol. 80A, pp. 150–168, 2014. (Available online at http://dx.doi.org/10.1016/j.scico.2013.01.001) [bib]
[51] Canonical Nondeterministic Automata (Robert S. L. Myers, Jiří Adámek, Stefan Milius, Henning Urbat), In Proc. Coalgebraic Methods in Computer Science (CMCS'14) (Marcello M. Bonsangue, ed.), Lecture Notes Comput. Sci., vol. 8446, pp. 189–210, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44124-4_11. [bib] [doi]
[50] Data-Based Approximation of Fuzzy Target Sets (Ray-Ming Chen), In Intelligent Systems'2014 - Proceedings of the 7th International Conference Intelligent Systems IEEE IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses (Plamen P. Angelov, Krassimir T. Atanassov, Lyubka Doukovska, Mincho Hadjiski, Vladimir Simov Jotsov, Janusz Kacprzyk, Nikola Kasabov, Sotir Sotirov, Eulalia Szmidt, Slawomir Zadrozny, eds.), Advances in Intelligent Systems and Computing, vol. 322, pp. 801–810, Springer, 2014. [bib] [pdf] [doi]
[49] Characterization of Large Target Sets with Probabilistic Classifiers (Ray-Ming Chen), In Intelligent Systems'2014 - Proceedings of the 7th International Conference Intelligent Systems IEEE IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses (Plamen P. Angelov, Krassimir T. Atanassov, Lyubka Doukovska, Mincho Hadjiski, Vladimir Simov Jotsov, Janusz Kacprzyk, Nikola Kasabov, Sotir Sotirov, Eulalia Szmidt, Slawomir Zadrozny, eds.), Advances in Intelligent Systems and Computing, vol. 322, pp. 791–800, Springer, 2014. [bib] [pdf] [doi]
[48] Subjective characterization of fuzzy target sets based on a fuzzy universe (Ray-Ming Chen), In 2014 IEEE International Conference on Granular Computing, GrC 2014, Noboribetsu, Japan, October 22-24, 2014, pp. 25–29, IEEE, 2014. [bib] [pdf] [doi]
[47] Full Rough Sets (Ray-Ming Chen), In Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, FedCSIS 2014, Warsaw, Poland, September 7-10, 2014. (Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, eds.), Annals of Computer Science and Information Systems, vol. 3, pp. 3–11, 2014. [bib] [pdf] [doi]
[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]
Powered by bibtexbrowser
Publications as a bibtex file