EN | DE
Theoretische Informatik

Chair Publications

[71] First Results of a Formal Analysis of the Network Time Security Specification (Kristof Teichel, Dieter Sibold, Stefan Milius), In Proc. Security Standardization Research (Liqun Chen, Shin'ichiro Matsuo, eds.), Lecture Notes Comput. Sci., vol. 9497, pp. 218–245, Springer, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-27152-1_12. [bib] [doi]
[70] Coalgebraic Constructions of Canonical Nondeterministic Automata (Robert S. L. Myers, Jiří Adámek, Stefan Milius, Henning Urbat), In Theoret. Comput. Sci., vol. 604, pp. 81–101, 2015. (http:/dx.doi.org/10.1016/j.tcs.2015.03.035) [bib]
[69] 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]
[68] Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure (Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi), In Theoret. Comput. Sci., vol. 604, pp. 102–126, 2015. (http://dx.doi.org/10.1016/j.tcs.2015.03.024) [bib]
[67] On Finitary Functors and Their Presentation (Jiří Adámek, Henning Urbat, Stefan Milius, Lawrence S. Moss), In J. Comput. System Sci., vol. 81(5), pp. 813–833, 2015. (http://dx.doi.org/10.1016/j.jcss.2014.12.002) [bib]
[66] Syntactic Monoids in a Category (Jiří Adámek, Stefan Milius, Henning Urbat), In Proc. Coalgebraic and Algebraic Methods in Computer Science (CALCO'15) (Lawrence S. Moss, Pawel Sobocinski, eds.), LIPICS, vol. 35, 2015. (CALCO 2015 Best Paper Award) [bib]
[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]
Powered by bibtexbrowser
Publications as a bibtex file