Navigation

Publications

2022
[243] , and : Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics, In ACM Transactions on Computational Logic, 23, . CRIS-Team WoS Importer:2022-03-18 [bibtex] [doi]
2021
[242] , , and : Finitary monads on the category of posets, In Mathematical Structures in Computer Science, pp. 1–23, . [bibtex] [url] [doi]
[241] , and : Behavioural Preorders via Graded Monads, In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 1–13, Association for Computing Machinery, . [bibtex] [url] [doi]
[240] , and : Monads on categories of relational structures, In Alexandra Silva Alexandra Silva Fabio Gadducci, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 211, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2021-12-24 [bibtex] [doi]
[239] , and : Initial algebras without iteration, In Alexandra Silva Alexandra Silva Fabio Gadducci, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 211, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2021-12-24 [bibtex] [doi]
[238] , and : A metalanguage for guarded iteration, In Theoretical Computer Science, . CRIS-Team Scopus Importer:2021-05-21 [bibtex] [doi]
[237] , , , and : Argument parsing via corpus queries, In it - Information Technology, 63, pp. 31–44, . [bibtex] [doi]
[236] and : A Quantified Coalgebraic van Benthem Theorem, In Stefan Kiefer; Christine Tasson, ed.: Foundations of Software Science and Computation Structures, pp. 551–571, . [bibtex] [doi]
[235] , , and : From generic partition refinement to weighted tree automata minimization, In Formal Aspects of Computing, . Created from Fastlane, WoS look-up [bibtex] [doi]
2020
[234] , and : Towards a Uniform Theory of Effectful State Machines, In ACM Trans. Comput. Logic, 21(3), . [preprint] [bibtex] [url]
[233] , , and : Cheap CTL Compassion in NuSMV, In 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020), LNCS, vol. 11990, pp. 248–269, Springer, . Artifact evaluation: Available and Functional [bibtex] [url]
[232] and : Characteristic logics for behavioural metrics via fuzzy lax extensions, In Laura Kovacs Igor Konnov, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 171, pp. 271–2723, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2021-04-19 [bibtex] [doi]
[231] , and : Implementing Hybrid Semantics: From Functional to Imperative, In Volker Stolz Adenilso Simao Violet Ka Pun, ed.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12545 LNCS, pp. 262–282, Springer Science and Business Media Deutschland GmbH, . CRIS-Team Scopus Importer:2020-12-25 [bibtex] [doi]
[230] , and : Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas, In Jurriaan Rot Daniela Petrisan, ed.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12094 LNCS, pp. 133–154, Springer, . CRIS-Team Scopus Importer:2020-09-11 [bibtex] [doi]
[229] and : Automata Learning: An Algebraic Approach, In ACM International Conference Proceeding Series, pp. 900–914, Association for Computing Machinery, . CRIS-Team Scopus Importer:2020-06-16 [bibtex] [url] [doi]
[228] and : Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store, In Barbara König Jean Goubault-Larrecq, ed.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12077 LNCS, pp. 542–561, Springer, . CRIS-Team Scopus Importer:2020-05-08 [bibtex] [doi]
[227] , , and : Cheap CTL Compassion in NuSMV, In Damien Zufferey Dirk Beyer, ed.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11990 LNCS, pp. 248–269, Springer, . CRIS-Team Scopus Importer:2020-02-18 [bibtex] [doi]
[226] , , and : Efficient and Modular Coalgebraic Partition Refinement, In Logical Methods in Computer Science, 16, pp. 1–63, . [bibtex]
[225] , , and : Efficient and Modular Coalgebraic Partition Refinement, In Log. Methods. Comput. Sci., 16(1), pp. 8:1–8:63, . [bibtex]
[224] , , and : Unifying Metadata-Based Storage Reconstruction and Carving with LAYR, In Proc. DFRWS USA, Forensic Science International: Digital Investigation, Elsevier, . To appear [bibtex]
[223] and : Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store, In Jean Goubault-Larrecq, Barbara König, eds.: 23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020), Lecture Notes in Computer Science, vol. 12077, pp. 542–561, Springer, . [bibtex] [url] [doi]
[222] : Implementing Hybrid Semantics: From Functional to Imperative, In Adenilso da Silva Simão Volker Stolz Violet Ka I Pun, ed.: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), . (accepted) [preprint] [bibtex]
[221] and : Towards Constructive Hybrid Semantics, In Zena M. Ariola, ed.: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Leibniz International Proceedings in Informatics (LIPIcs), vol. 167, pp. 24:1–24:19, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
[220] , and : On Well-Founded and Recursive Coalgebras, In Barbara König, Jean Goubault-Larrecq, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 12077, pp. 17–36, Springer, . [bibtex]
2019
[219] , , and : Guarded and Unguarded Iteration for Generalized Processes, In Logical Methods in Computer Science, 15, . CRIS-Team WoS Importer:2019-08-13 [bibtex] [doi]
[218] , , and : A coalgebraic view on reachability, In Commentationes Mathematicae Universitatis Carolinae, 60, pp. 605–638, . CRIS-Team WoS Importer:2020-02-04 [bibtex] [doi]
[217] and : An Adequate While-Language for Hybrid Computation, In Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), ASSOC COMPUTING MACHINERY, . CRIS-Team WoS Importer:2020-04-24 [bibtex] [doi]
[216] , , and : A Coalgebraic View on Reachability, In Comment. Math. Univ. Carolin., 60(4), . [bibtex]
[215] and : Varietes of Data Languages, In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, eds.: Proc. 46th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, vol. 132, pp. 130:1–130:14, . Full version available online at https://arxiv.org/abs/1903.08053 [bibtex]
[214] , , and : The High-Level Benefits of Low-Level Sandboxing, In Proc. ACM Program. Lang., 4(POPL), . 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Artifact evaluation: Reusable [bibtex] [url] [doi]
[213] and : Equational Axiomatization of Algebras with Structure, In Mikołaj Bojańczyk, Alex Simpson, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 11425, pp. 400–417, Springer, . [bibtex]
[212] : From Equational Specifications of Algebras with Structure to Varieties of Data Languages, In Markus Roggenbach, Ana Sokolova, eds.: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO), Leibniz International Proceedings in Informatics (LIPIcs), vol. 139, pp. 2:1–2:5, Schloss Dagstuhl, . [bibtex] [url] [doi]
[211] and : Coinductive resumption monads: Guarded iterative and guarded Elgot, In Ana Sokolova Markus Roggenbach, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 139, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2021-04-20 [bibtex] [doi]
[210] : From equational specifications of algebras with structure to varieties of data languages, In Ana Sokolova Markus Roggenbach, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 139, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2019-12-17 [bibtex] [doi]
[209] , , and : Finitely presentable algebras for finitary monads, In Theory and Applications of Categories, 34, pp. 1179–1195, . CRIS-Team Scopus Importer:2019-11-29 [bibtex]
[208] , , and : A modal characterization theorem for a probabilistic fuzzy description logic, In Sarit Kraus, ed.: IJCAI International Joint Conference on Artificial Intelligence, vol. 2019-August, pp. 1900–1906, International Joint Conferences on Artificial Intelligence, . CRIS-Team Scopus Importer:2019-11-22 [bibtex]
[207] , , and : Generic Partition Refinement and Weighted Tree Automata, In McIver A Oliveira JN Beek MH, ed.: Formal Methods – The Next 30 Years, pp. 280–297, Springer International Publishing, . [bibtex] [doi]
[206] , and : A new foundation for finitary corecursion and iterative algebras, In Information and Computation, . CRIS-Team Scopus Importer:2019-10-01 [bibtex] [doi]
[205] and : Game-based local model checking for the coalgebraic µ-calculus, In Rob van Glabbeek Wan Fokkink, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 140, Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2019-09-17 [bibtex] [doi]
[204] , and : Graded monads and graded logics for the linear time – Branching time spectrum, In Rob van Glabbeek Wan Fokkink, ed.: Leibniz International Proceedings in Informatics, LIPIcs, vol. 140, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . CRIS-Team Scopus Importer:2019-09-17 [bibtex] [doi]
[203] and : Complete Additivity and Modal Incompleteness, In Review of Symbolic Logic, 12, pp. 487–535, . CRIS-Team WoS Importer:2019-09-13 [bibtex] [doi]
[202] , , , , , and : Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures, In Journal of Logic, Language and Information, pp. 309–330, . CRIS-Team Scopus Importer:2019-05-28 [bibtex] [doi]
[201] and : Equational Axiomatization of Algebras with Structure, In Alex Simpson Mikolaj Bojanczyk, ed.: 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019), vol. 11425 LNCS, pp. 400–417, Springer Verlag, . CRIS-Team Scopus Importer:2019-05-09 [bibtex] [doi]
[200] , and : Completeness for mu-calculi: A coalgebraic approach, In Annals of Pure and Applied Logic, 170, pp. 578–641, . CRIS-Team WoS Importer:2019-04-12 [bibtex] [doi]
[199] , , and : Generalized Eilenberg Theorem: Varieties of Languages in a Category, In ACM Transactions on Computational Logic, 20, pp. 3:1–3:47, . [bibtex] [doi]
[198] , , and : Finitely Presentable Algebras for Finitary Monads, In Theory Appl. Categ., 34, pp. 1179–1195, . [bibtex]
[197] , , and : On Finitary Functors, In Theory Appl. Categ., 34, pp. 1134–1164, . [bibtex]
[196] , , and : Generalized Eilenberg Theorem: Varieties of Languages in a Category, In ACM Trans. Comput. Log., 20(1), pp. 3:1–3:47, . [bibtex]
[195] and : On Functors Preserving Coproducts and Algebras with Iterativity, In Theoret. Comput. Sci., 763, pp. 66–87, . [bibtex]
[194] , , and : A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic, In Sarit Kraus, ed.: Proc. International Joint Conference on Artificial Intelligence, IJCAI 2019, ijcai.org, . to appear [preprint] [bibtex]
[193] and : Lewisian Fixed Points I: Two Incomparable Constructions, In CoRR, abs/1905.09450, . [bibtex] [url]
[192] and : Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot, In Markus Roggenbach, Ana Sokolova, eds.: Proc. 8rd international conference on Algebra and coalgebra in computer science (CALCO 2019), LIPIcs, vol. 139, pp. 13:1–13:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
[191] and : Complete Additivity and Modal Incompleteness, In Review of Symbolic Logic, 12(3), pp. 487–535, . Available on arXiv: https://arxiv.org/abs/1809.07542, eScholarship: https://escholarship.org/uc/item/01p9x1hv and publisher's page: https://doi.org/10.1017/S1755020317000259 [bibtex] [url] [doi]
[190] and : Optimal Satisfiability Checking for Arithmetic mu-Calculi, In Mikolaj Bojanczyk, Alex Simpson, eds.: Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019, LNCS, Springer, . to appear [bibtex]
[189] , , and : Guarded and Unguarded Iteration for Generalized Processes, In Logical Methods in Computer Science, 15(3), . [bibtex] [url] [doi]
[188] and : An Adequate While-Language for Hybrid Computation, In Ekaterina Komendantskaya, ed.: Proceedings of the 21th International Symposium on Principles and Practice of Declarative Programming, (PPDP 2019), ACM, . [preprint] [bibtex]
[187] , , , , , and : Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures, In J. Logic, Language and Information (JoLLI), . to appear [preprint] [bibtex]
[186] , and : Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum, In Wan J. Fokkink, Rob van Glabbeek, eds.: 30th International Conference on Concurrency Theory (CONCUR), Leibniz International Proceedings in Informatics (LIPIcs), vol. 140, pp. 36:1–36:16, Schloss Dagstuhl, . [bibtex] [url] [doi]
[185] , , and : Generic Partition Refinement and Weighted Tree Automata, In Maurice ter Beek et al., ed.: Proc. International Symposium on Formal Methods (FM'19), Lecture Notes Comput. Sci., vol. 11800, pp. 280–297, Springer, . \bfseries Best Theory Paper at FM 2019 [bibtex]
2018
[184] and : Lewis meets Brouwer: constructive strict implication, In Indagationes Mathematicae, 29, pp. 36–90, . A special issue "L.E.J. Brouwer, fifty years later" [bibtex] [doi]
[183] , , and : Model Theory and Proof Theory of Coalgebraic Predicate Logic, In Logical Methods in Computer Science, 14, . [bibtex] [doi]
[182] : Proper Functors and Fixed Points for Finite Behaviour, In Log. Methods. Comput. Sci., 14(3:22), pp. 32 pp., . [bibtex]
[181] : Infinite Populations, Choice and Determinacy, In Studia Logica, 106, pp. 969–999, . [bibtex] [doi]
[180] , , , , and : A detailed analysis of the Arden Syntax expression grammar, In Journal of Biomedical Informatics, 83, pp. 196–203, . EVALuna2:209465 [bibtex] [doi]
[179] and : A Semantics for Hybrid Iteration, In 29th International Conference on Concurrency Theory, CONCUR 2018, . [bibtex] [doi]
[178] , and : A Metalanguage for Guarded Iteration, In Bernd Fischer Tarmo Uustalu, ed.: Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187), pp. 191–210, Springer International Publishing, . [bibtex] [doi]
[177] , , , and : A coalgebraic treatment of conditional transition systems with upgrades, In Logical Methods in Computer Science, Volume 14, Issue 1, . [bibtex] [url] [doi]
[176] and : Lewis meets Brouwer: Constructive strict implication, In Indagationes Mathematicae, 29, pp. 36–90, . [bibtex] [doi]
[175] and : Guarded Traced Categories, In 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Lecture Notes in Computer Science, pp. 313–330, Springer Verlag, . [bibtex] [doi]
[174] , , and : A van Benthem theorem for fuzzy modal logic, In 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 909–918, IEEE, . [bibtex] [doi]
[173] and : Completeness of Flat Coalgebraic Fixpoint Logics, In ACM Transactions on Computational Logic, 19, . [bibtex] [doi]
[172] , and : A Categorical Approach to Syntactic Monoids, In Logical Methods in Computer Science, 14, pp. 34 pp., . [bibtex] [pdf] [doi]
[171] , and : Fixed Points of Functors, In Journal of Logical and Algebraic Methods in Programming, 95, pp. 41–81, . [bibtex]
[170] , , and : Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages, In Corina Cîrstea, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'18), Springer, . To appear [bibtex] [url] [doi]
[169] , and : On Algebras with Effectful Iteration, In Corina Cîrstea, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'18), Lecture Notes Comput. Sci., . To appear [bibtex]
[168] , and : A Categorical Approach to Syntactic Monoids, In Log. Methods Comput. Sci., 14(2:9), pp. 34 pp., . [bibtex]
[167] , , and : A van Benthem Theorem for Fuzzy Modal Logic, In Anuj Dawar, Erich Grädel, eds.: Proc. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 909–918, ACM, . [preprint] [bibtex] [url] [doi]
[166] and : Completeness of Flat Coalgebraic Fixpoint Logics, In ACM Trans. Comput. Log., 19(1), pp. 4:1–4:34, . [preprint] [bibtex] [url] [doi]
[165] , , and : Model Theory and Proof Theory of Coalgebraic Predicate Logic, In Log. Methods Comput. Sci., 14(1), . [bibtex] [url] [doi]
[164] : Infinite Populations, Choice and Determinacy, In Studia Logica, 106, pp. 969–999, . [bibtex] [url] [doi]
[163] , , , , and : A detailed analysis of the Arden Syntax expression grammar, In J. Biomed. Inf., 83, pp. 196–203, . [bibtex] [url] [doi]
[162] , and : Permutation Games for the Weakly Aconjunctive mu $\mu$-Calculus, In Dirk Beyer, Marieke Huisman, eds.: Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018,, LNCS, vol. 10806, pp. 361–378, Springer, . [bibtex] [url] [doi]
[161] and : One Modal Logic to Rule Them All?, In G. Bezhanishvili, G. D'Agostino, G. Metcalfe, T. Studer, eds.: Advances in Modal Logic, vol. 12, pp. 367–386, College Publications, . Extended technical report available at https://escholarship.org/uc/item/07v9360j [bibtex] [pdf]
[160] and : Guarded Traced Categories, In Christel Baier, Ugo Dal Lago, eds.: Proc. 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018, LNCS, vol. 10803, pp. 313–330, Springer, . [bibtex] [url] [doi]
[159] , and : A Metalanguage for Guarded Iteration, In Bernd Fischer, Tarmo Uustalu, eds.: Theoretical Aspects of Computing – ICTAC 2018, pp. 191–210, Springer International Publishing, . [ArXiv preprint] [bibtex]
[158] , and : A Semantics for Hybrid Iteration, In Sven Schewe, Lijun Zhang, eds.: 29th International Conference on Concurrency Theory (CONCUR 2018), lncs, springer, . [preprint] [bibtex]
[157] , , and : Unguarded Recursion on Coinductive Resumptions, In Log. Methods Comput. Sci., 14(3), . [bibtex] [url] [doi]
2017
[156] , , and : Eilenberg Theorems for Free, In Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin, eds.: Proc. 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), LIPIcs, vol. 83, Schloss Dagstuhl, . \bfseries EATCS Best Paper Award [bibtex]
[155] , , and : Nominal Automata with Name binding, In Javier Esparza, Andrzej Murawski, eds.: Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Lecture Notes Comput. Sci. (ARCoSS), vol. 10203, pp. 124–142, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_8. [bibtex] [url]
[154] : Proper Functors and their Rational Fixed Point, In Filippo Bonchi, Barbara König, eds.: Proc. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17), LIPIcs, vol. 72, pp. 18:1–18:15, Schloss Dagstuhl, . To appear [bibtex]
[153] : Constructive Modalities with Provability Smack (Author's Cut), . Unabridged and extended version of a chapter in the Esakia volume of "Outstanding Contributions to Logic" [bibtex] [url]
[152] , and : Generic Hoare Logic for Order-Enriched Effects with Exceptions, In Roggenbach M James P, ed.: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers, pp. 208–222, Springer, . [bibtex] [doi]
[151] : Finite behaviours and finitary corecursion, In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, vol. 72, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . [bibtex] [doi]
[150] , , , , , and : Knowledge-Based Interoperability for Mathematical Software Systems, In Johannes Blömer, Temur Kutsia, Dimitris Simos, eds.: MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences, pp. 195–210, Springer, . [bibtex]
[149] , , , , and : Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures, In Liefke K Loukanova R, ed.: Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), pp. 47 – 62, Stockholm University, . [bibtex] [pdf]
[148] , , and : Eilenberg Theorems for Free, In L. Bodlaender H Raskin J G. Larsen K, ed.: Proc. 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), LIPIcs, vol. 83, pp. 43:1–43:14, Schloss Dagstuhl, . [bibtex] [doi]
[147] and : Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion, In Fundamenta Informaticae, pp. 407–449, . UnivIS-Import:2017-03-24:Pub.2017.tech.IMMD.profes_1.guardy [bibtex] [url] [doi]
[146] , and : A Presentation of Bases for Parametrized Iterativity, In Theory and Applications of Categories, 32, pp. 682–718, . [bibtex]
[145] , , , , and : Automatic verification of application-tailored OSEK kernels, In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 196–203, IEEE, . [bibtex] [doi]
[144] and : A Characterization Theorem for a Modal Description Logic, In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 1304–1310, . [bibtex] [doi]
[143] , , and : Efficient Coalgebraic Partition Refinement, In Nestmann U Meyer R, ed.: Proc. 28th International Conference on Concurrency Theory (CONCUR 2017), vol. 85, pp. 28:1–28:16, Schloss Dagstuhl, . [bibtex]
[142] , and : A Presentation of Bases for Parametrized Iterativity, In Theory Appl. Categ., 32(19), pp. 682–718, . [bibtex]
[141] and : On Corecursive Algebras for Functors Preserving Coproducts, In Filippo Bonchi, Barbara König, eds.: Proc. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17), LIPIcs, vol. 72, pp. 3:1–3:15, Schloss Dagstuhl, . [bibtex]
[140] and : A Characterization Theorem for a Modal Description Logic, In International Joint Conference on Artificial Intelligence, IJCAI 2017, IJCAI/AAAI, . [preprint] [bibtex] [url] [doi]
[139] , and : Uniform Interpolation in Coalgebraic Modal Logic, In Proc. 7th Conference on Algebra and Coalgebra in Computer Science, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, . [preprint] [bibtex] [url] [doi]
[138] , and : A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic, In Journal of Logic and Computation, 27(3), pp. 749–773, . [preprint] [bibtex] [url]
[137] , and : Generic Hoare Logic for Order-Enriched Effects with Exceptions, In Phillip James, Markus Roggenbach, eds.: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers, pp. 208–222, Springer, . The final publication is available at Springer via https://doi.org/10.1007/978-3-319-72044-9_14. [bibtex] [pdf]
[136] and : Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion, In Fundamenta Informaticae, 150, pp. 407–449, . special issue FiCS'13 edited by David Baelde, Arnaud Carayol, Ralph Matthes and Igor Walukiewicz [bibtex] [url] [doi]
[135] , and : Negative Translations and Normal Modality, In Dale Miller, ed.: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Leibniz International Proceedings in Informatics (LIPIcs), vol. 84, pp. 27:1–27:18, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, . [Local copy] [bibtex] [url] [doi]
[134] and : An Algebraic Glimpse at Bunched Implications and Separation Logic, In CoRR, abs/1709.07063, . To appear in the Outstanding Contributions volume "Hiroakira Ono on Residuated Lattices and Substructural Logics" [bibtex] [url]
[133] , , and : Probabilistic Description Logics for Subjective Uncertainty, In J. Artif. Intell. Res. (JAIR), 58, pp. 1–66, . [bibtex] [html]
[132] , , , , and : Ontological Modelling of a Psychiatric Clinical Practice Guideline, In Proc. 40th German Conference on Artificial Intelligence (KI 2017), Lect. Notes Comput. Sci, . The final publication is available at Springer via https://doi.org/10.1007/978-3-319-67190-1_24. [bibtex] [pdf]
[131] , , and : Unifying Guarded and Unguarded Iteration, In Javier Esparza, Andrzej Murawski, eds.: Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Lect. Notes Comput. Sci. (ArCOSS), vol. 10203, pp. 517–533, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_30. [bibtex] [pdf]
[130] , , , , and : Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures, In R. Loukanova, K. Liefke, eds.: Proc. Workshop on Logic and Algorithms in Computational Linguistics, LACompLing 2017, pp. 47 – 62, Stockholm University, . [bibtex] [pdf]
[129] , , and : Efficient Coalgebraic Partition Refinement, In Proc. 28th International Conference on Concurrency Theory (CONCUR 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, . [Full version] [bibtex]
[128] , , , , and : Automatic verification of application-tailored OSEK kernels, In Daryl Stewart, Georg Weissenbacher, eds.: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 196–203, IEEE, . [bibtex] [url] [doi]
2016
[127] , and : An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms, In Indrajit Ray, Manoj Singh Gaur, Mauro Conti, Dheeraj Sanghi, V. Kamakoti, eds.: Proc. Information Systems Security (ICISS), Lecture Notes Comput. Sci., vol. 10063, pp. 3–22, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49806-5_1. [bibtex] [doi]
[126] , and : A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties, In Bart Jacobs, Christof Löding, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 107–125, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49630-5_7. [bibtex] [doi]
[125] , and : Global Caching for the Alternation-free Coalgebraic mu-calculus, In Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . UnivIS-Import:2018-09-06:Pub.2016.tech.IMMD.profes_1.global [bibtex] [url] [doi]
[124] , and : Complete Elgot Monads and Coalgebraic Resumptions, In Electronic Notes in Theoretical Computer Science, 325, pp. 147–168, . UnivIS-Import:2018-09-05:Pub.2016.tech.IMMD.profes_1.comple [bibtex] [doi]
[123] : An implementation of global caching for the alternation-free coalgebraic μ-calculus, . [bibtex] [pdf]
[122] , , , and : Hardware-Software Co-Simulation of Self-Organizing Smart Home Networks: Who am I and where are the others?, In Yuri Merkuryev; Tuncer Ören; Mohammed s. Obaidat, ed.: , . [bibtex]
[121] , , , and : Adaptive Synchronization Interface for Hardware-Software Co-Simulation based on SystemC and QEMU, In Simutools: 9th EAI International Conference on Simulation Tools and Techniques, . [bibtex]
[120] , and : A New Foundation for Finitary Corecursion, In Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, vol. 9634, pp. 107–125, . UnivIS-Import:2017-03-24:Pub.2016.tech.IMMD.profes_1.anewfo [bibtex] [url] [doi]
[119] , and : An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms, In Proceedings of the 12th International Conference on Information Systems Security, ICISS 2016, Lecture Notes in Computer Science, vol. 10063, pp. 3–22, Springer, . UnivIS-Import:2017-03-24:Pub.2016.tech.IMMD.profes_1.anatta [bibtex] [doi]
[118] , and : Global Caching for the Alternation-free mu-Calculus, In Radha Jagadeesan Josée Desharnais, ed.: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, . [bibtex] [url] [doi]
[117] , and : Complete Elgot Monads and Coalgebraic Resumptions, In Lars Birkedal, ed.: MFPS XXXII, vol. 325, pp. 147–168, Electronic Notes in Theoretical Computer Science, . [bibtex] [doi]
[116] , , and : Profinite Monads, Profinite Equations and Reitermann's Theorem, In Bart Jacobs, Christof Löding, eds.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 531–547, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49630-5_31. [bibtex] [url] [doi]
[115] and : Program equivalence is coinductive, In Martin Grohe, Eric Koskinen, Natarajan Shankar, eds.: Logic in Computer Science, LICS 2016, pp. 337–346, ACM, . [bibtex] [pdf]
[114] , and : Regular Behaviours with Names, In Appl. Cat. Struct., 24(5), pp. 663–791, . The final publication is available at Springer via http://dx.doi.org/10.1007/s10485-016-9457-8. [bibtex] [pdf] [doi]
[113] , and : Relational lattices: From databases to universal algebra, In JLAMP, 85(4), pp. 540–573, . special issue with selected papers RAMiCS 2014 edited by Peter Höfner, Peter Jipsen, Wolfram Kahl and Martin E. Müller The final publication is available at Springer via http://dx.doi.org/10.1016/j.jlamp.2015.11.008 [bibtex] [url] [doi]
[112] , and : Global Caching for the Alternation-free Coalgebraic $\mu$-calculus, In Concurrency Theory, CONCUR 2016, LIPIcs, vol. 59, pp. 34:1–34:15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, . [bibtex] [url]
[111] , and : Complete Elgot Monads and Coalgebraic Resumptions, In Electr. Notes Theor. Comput. Sci., 325, pp. 147–168, . [bibtex] [url]
[110] , and : Completeness for Coalgebraic Fixpoint Logic, In Jean-Marc Talbot, Laurent Regnier, eds.: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 62, pp. 7:1–7:19, . [bibtex] [pdf]
2015
[109] , , , and : On Final Coalgebras of Power-Set Functors and Saturated Trees, In Appl. Categ. Structures, 23(4), pp. 609–641, . Available online; http://dx.doi.org/10.1007/s10485-014-9372-9 [bibtex]
[108] and : Global Caching for the Flat Coalgebraic mu-Calculus, In Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, pp. 121–130, IEEE, . [bibtex] [doi]
[107] , and : First Results of a Formal Analysis of the Network Time Security Specification, In Liqun Chen, Shin'ichiro Matsuo, eds.: Proc. Security Standardization Research, Lecture Notes Comput. Sci., vol. 9497, pp. 218–245, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-27152-1_12. [bibtex] [doi]
[106] , , and : Coalgebraic Constructions of Canonical Nondeterministic Automata, In Theoret. Comput. Sci., 604, pp. 81–101, . http:/dx.doi.org/10.1016/j.tcs.2015.03.035 [bibtex]
[105] , , and : Simplified Coalgebraic Trace Equivalence, In Software, Services and Systems, Lect. Notes Comput. Sci., vol. 8950, pp. 75–90, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-15545-6_8. [bibtex] [url] [doi]
[104] and : From the Editors, In Journal of Computer and System Sciences, 81, pp. 797–798, . [bibtex] [doi]
[103] , , and : Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure, In Theoretical Computer Science, 604, pp. 102–126, . UnivIS-Import:2016-06-01:Pub.2015.tech.IMMD.profes_1.killin [bibtex] [doi]
[102] , and : A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic, In Journal of Logic and Computation, pp. –, . UnivIS-Import:2016-06-01:Pub.2016.tech.IMMD.profes_1.avanbe [bibtex] [pdf] [doi]
[101] and : Finitary Corecursion for the Infinitary Lambda Calculus, In Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, vol. 35, pp. 336–351, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, . UnivIS-Import:2016-06-01:Pub.2015.tech.IMMD.profes_1.finita [bibtex] [pdf] [doi]
[100] , , , and : Coalgebraic Constructions of Canonical Nondeterministic Automata, In Theoretical Computer Science, 604, pp. 81–101, . UnivIS-Import:2016-06-01:Pub.2015.tech.IMMD.profes_1.coalge [bibtex] [doi]
[99] , and : Generic Trace Semantics and Graded Monads, In 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, pp. 253–269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [doi]
[98] , and : First Results of a Formal Analysis of the Network Time Security Specification, In Matsuo S Chen L, ed.: Proc. Security Standardization Research, Lecture Notes Comput. Sci., vol. 9497, pp. 218–245, Springer, . [bibtex]
[97] and : Global Caching for the Flat Coalgebraic μ-Calculus, In Lange M Lomuscio A Grandi F, ed.: Proceedings, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, pp. 121–130, Springer, . [bibtex] [doi]
[96] and : A fibrational approach to automata theory, In 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, vol. 35, pp. 50–65, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, . [bibtex] [doi]
[95] , , and : Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure, In Theoret. Comput. Sci., 604, pp. 102–126, . http://dx.doi.org/10.1016/j.tcs.2015.03.024 [bibtex]
[94] , , and : On Finitary Functors and Their Presentation, In J. Comput. System Sci., 81(5), pp. 813–833, . http://dx.doi.org/10.1016/j.jcss.2014.12.002 [bibtex]
[93] , and : Syntactic Monoids in a Category, In Lawrence S. Moss, Pawel Sobocinski, eds.: Proc. Coalgebraic and Algebraic Methods in Computer Science (CALCO'15), LIPICS, vol. 35, . CALCO 2015 Best Paper Award [bibtex]
[92] , , and : Varieties of Languages in a Category, In Catuscia Palamidessi, ed.: Proc. 30th Annual Symposium on Logic in Computer Science (LICS'15), pp. 414–425, . [bibtex]
[91] and : Sound and Complete Equational Reasoning over Comodels, In Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015, ENTCS, vol. 319, pp. 315–331, Elsevier, . [bibtex] [pdf]
[90] and : From the editors, In J. Comput. System Sci., 81, pp. 797–798, . Special Issue, 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 (Selected Papers) [bibtex]
[89] and : Finitary Corecursion for the Infinitary Lambda Calculus, In Lawrence S. Moss, Pawel Sobocinski, eds.: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, vol. 35, pp. 336–351, . [bibtex] [pdf]
[88] , and : Generic Trace Semantics and Graded Monads, In Lawrence S. Moss, Pawel Sobocinski, eds.: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, vol. 35, pp. 253–269, . [bibtex] [pdf]
[87] , and : Uniform Interpolation for Coalgebraic Fixpoint Logic, Chapter in Lawrence S. Moss, Pawel Sobocinski, eds.: 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Leibniz International Proceedings in Informatics (LIPIcs), vol. 35, pp. 238–252, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, . [bibtex] [pdf]
[86] , and : Reasoning with Global Assumptions in Arithmetic Modal Logics, In Proc. 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, LNCS, vol. 9210, pp. 367–380, Springer, . [bibtex] [pdf]
[85] and : Global Caching for the Flat Coalgebraic mu-Calculus, In Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, pp. 121–130, IEEE Comp. Soc., . [bibtex] [pdf]
[84] , and : Unguarded Recursion on Coinductive Resumptions, In Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Electronic Notes in Theoretical Computer Science, vol. 319(), pp. 183 – 198, . [preprint] [bibtex] [url]
[83] , and : Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras, In Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), LICS '15, pp. 353–365, IEEE Computer Society, . [bibtex] [url] [doi]
2014
[82] : Uncertain network reasoning for agents via Gaussian radial basis functions, In Computational Intelligence and Applications (IWCIA), 2014 IEEE 7th International Workshop on, pp. 47–52, . [bibtex] [doi]
[81] : A dynamical model for individual and social cognitive infocommunications over truth values, In Cognitive Infocommunications (CogInfoCom), 2014 5th IEEE Conference on, pp. 385–389, . [bibtex] [doi]
[80] : PCA-based algorithmic approximation of crisp target sets, In 14th UK Workshop on Computational Intelligence, UKCI 2014, Bradford, UK, September 8-10, 2014, pp. 1–8, IEEE, . [bibtex] [url] [doi]
[79] and : Observations on formal safety analysis in practice, In Sci. Comput. Programming, 80A, pp. 150–168, . Available online at http://dx.doi.org/10.1016/j.scico.2013.01.001 [bibtex]
[78] , , and : Canonical Nondeterministic Automata, In Marcello M. Bonsangue, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'14), Lecture Notes Comput. Sci., vol. 8446, pp. 189–210, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44124-4_11. [bibtex] [doi]
[77] : Data-Based Approximation of Fuzzy Target Sets, In Plamen P. Angelov, Krassimir T. Atanassov, Lyubka Doukovska, Mincho Hadjiski, Vladimir Simov Jotsov, Janusz Kacprzyk, Nikola Kasabov, Sotir Sotirov, Eulalia Szmidt, Slawomir Zadrozny, eds.: 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, Advances in Intelligent Systems and Computing, vol. 322, pp. 801–810, Springer, . [bibtex] [url] [doi]
[76] : Characterization of Large Target Sets with Probabilistic Classifiers, In Plamen P. Angelov, Krassimir T. Atanassov, Lyubka Doukovska, Mincho Hadjiski, Vladimir Simov Jotsov, Janusz Kacprzyk, Nikola Kasabov, Sotir Sotirov, Eulalia Szmidt, Slawomir Zadrozny, eds.: 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, Advances in Intelligent Systems and Computing, vol. 322, pp. 791–800, Springer, . [bibtex] [url] [doi]
[75] : Subjective characterization of fuzzy target sets based on a fuzzy universe, In 2014 IEEE International Conference on Granular Computing, GrC 2014, Noboribetsu, Japan, October 22-24, 2014, pp. 25–29, IEEE, . [bibtex] [url] [doi]
[74] : Full Rough Sets, In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, eds.: Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, FedCSIS 2014, Warsaw, Poland, September 7-10, 2014., Annals of Computer Science and Information Systems, vol. 3, pp. 3–11, . [bibtex] [url] [doi]
[73] , , , and : Generalized Eilenberg Theorem I: Local Varieties of Languages, In Foundations of Software Science and Computation Structures, Lecture Notes Comput. Sci., vol. 8412, pp. 366–380, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.genera [bibtex] [url] [doi]
[72] , , , and : COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description), In Automated Reasoning, Lecture Notes in Artificial Intelligence, vol. 8562, pp. 396–402, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.coolag [bibtex] [pdf] [doi]
[71] , , and : How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure, In Proc. Coalgebraic Methods in Computer Science (CMCS'14), vol. 8446, pp. 53–74, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.howtok [bibtex] [url] [doi]
[70] and : Coalgebraic Weak Bisimulation from Recursive Equations over Monads, In Proc. 41st International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science, vol. 8573, pp. 196–207, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.coalge [bibtex] [url] [doi]
[69] , , , and : Canonical Nondeterministic Automata, In Coalgebraic Methods in Computer Science, Lecture Notes in Computer Science, vol. 8446, pp. 189–210, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.canoni [bibtex] [url] [doi]
[68] , , and : An Open Alternative for SMT-based Verification of SCADE Models, In Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), Lecture Notes Comput. Sci., vol. 8718, pp. 124–139, Springer, . UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.anopen [bibtex] [url]
[67] , and : Base modules for parametrized iterativity, In Theoretical Computer Science, 523, pp. 56–85, . UnivIS-Import:2015-03-09:Pub.2014.tech.IMMD.profes_1.basemo [bibtex] [url] [doi]
[66] , and : Corecursive Algebras, Corecursive Monads and Bloom Monads, In Logical Methods in Computer Science, 10, pp. 51, . UnivIS-Import:2015-03-09:Pub.2010.tech.IMMD.profes_1.corecu [bibtex] [url]
[65] : Constructive modalities with provability smack, Chapter in Guram Bezhanishvili, ed.: Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, vol. 4, pp. 179–208, Springer, . UnivIS-Import:2015-04-20:Pub.2014.tech.IMMD.profes_1.constr [bibtex] [url] [doi]
[64] , , and : How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure, In Marcello M. Bonsangue, ed.: Proc. Coalgebraic Methods in Computer Science (CMCS'14), Lecture Notes Comput. Sci., vol. 8446, pp. 53–74, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44124-4_4. [bibtex] [doi]
[63] , , and : An Open Alternative for SMT-based Verification of SCADE Models, In F. Lang, F. Flammini, eds.: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), Lecture Notes Comput. Sci., vol. 8718, pp. 124–139, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-10702-8_9. [bibtex] [doi]
[62] , and : Base Modules for Parametrized Iterativity, In Theoret. Comput. Sci., 523, pp. 56–85, . doi: 10.1016/j.tcs.2013.12.019 [bibtex]
[61] , , and : On Continuous Nondeterminism and State Minimality, In Bart Jacobs, Alexandra Silva, Sam Staton, eds.: Proc. Mathematical Foundations of Programming Science (MFPS XXX), Electron. Notes Theor. Comput. Sci., vol. 308, pp. 3–23, Elsevier, . [bibtex]
[60] , , and : Generalized Eilenberg Theorem I: Local Varieties of Language, In Anca Muscholl, ed.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci., vol. 8412, pp. 366–380, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54830-7_24. [bibtex] [doi]
[59] , and : Corecursive Algebras, Corecursive Monads and Bloom Monads, In Log. Methods Comput. Sci., 10(3:19), pp. 51 pp., . [bibtex]
[58] , and : Relational Lattices, In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin E. Müller, eds.: Relational and Algebraic Methods in Computer Science 2014 (RAMiCS), Lecture Notes in Computer Science, vol. 8428, pp. 327–343, Springer International Publishing, . Superseded by the journal version in the special issue of JLAMP with selected papers of RAMiCS 2014 The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-06251-8_20. [bibtex] [url] [doi]
[57] : Constructive modalities with provability smack, Chapter in Guram Bezhanishvili, ed.: Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, vol. 4, pp. 179–208, Springer, . [bibtex] [doi]
[56] , , and : Monodic Fragments of Probabilistic First-order Logic, In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.: Proc. 41st International Colloquium on Automata, Languages, and Programming, ICALP 2014, Lecture Notes in Computer Science, vol. 8573, pp. 256–267, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_22. [bibtex] [doi]
[55] and : Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics, In Rajeev Goré, Barteld Kooi, Agi Kurucz, eds.: Proc. Advances in Modal Logic, AiML 2014, pp. 254–273, College Publications, . [bibtex] [pdf]
[54] , , , and : COOL – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description), In Stéphane Demri, Deepak Kapur, Christoph Weidenbach, eds.: Proc. 7th Internat. Joint Conf. on Automated Reasoning, IJCAR 2014, Lect. Notes Comput. Sci., vol. 8562, pp. 396–402, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6_31. [bibtex] [pdf] [doi]
[53] and : Coalgebraic Weak Bisimulation from Recursive Equations over Monads, In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, eds.: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, Lecture Notes in Computer Science, vol. 8573, pp. 196–207, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-43951-7_17. [bibtex] [doi]
[52] , and : Towards a Coalgebraic Chomsky Hierarchy (Extended Abstract), In Josep Diaz, Ivan Lanese, Davide Sangiorgi, eds.: Proc. 8th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS'14), Lecture Notes Comput. Sci., vol. 8705, pp. 265–280, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44602-7_21. [bibtex] [doi]
[51] , , , , and : Towards Ontological Support for Principle Solutions in Mechanical Engineering, In Pawel Garbacz, Oliver Kutz, eds.: Proc. 8th International Conference on Formal Ontology in Information Systems, FOIS 2014, Frontiers in Artificial Intelligence and Applications, vol. 267, pp. 427–432, IOS Press, . [bibtex] [pdf] [doi]
[50] , , , , and : Semantic Support for Engineering Design Processes, In Proc. 13th International Design Conference, DESIGN 2014, pp. 1723–1732, . [bibtex] [pdf]
2013
[49] Reiko Heckel, Stefan Milius, eds.: Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings), Lecture Notes Comput. Sci., vol. 8089, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7. [bibtex] [doi]
[48] , and : Abstract GSOS Rules and a Modular Treatment of Recursive Definitions, In Log. Methods Comput. Sci., 9(3:28), pp. 52 pp., . [bibtex]
[47] , , and : Rational Operation Models, In Michael Mislove, ed.: Proc. 29th conference on Mathematical Foundations of Programming Science (MFPS XXIX), Electron. Notes Theor. Comput. Sci., vol. 298, pp. 257–282, . The final publication is available at http://dx.doi.org/10.1016/j.entcs.2013.09.017. [bibtex] [doi]
[46] , and : Coalgebraic Announcement Logics, In Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II, Lecture Notes in Computer Science, vol. 7966, pp. 101–112, Springer-verlag, . UnivIS-Import:2015-04-16:Pub.2013.tech.IMMD.profes_1.coalge_9 [bibtex] [doi]
[45] and : Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion, In Proc. Fixed Points in Computer Science, Electronic Proceedings in Theoretical Computer Science, vol. 126, pp. 72–86, Cornell University Library, . UnivIS-Import:2015-04-16:Pub.2013.tech.IMMD.profes_1.guardy [bibtex] [pdf] [doi]
[44] and : A Relatively Complete Generic Hoare Logic for Order-Enriched Effects, In Proc. 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp. 273–282, Institute of Electrical and Electronics Engineers, . UnivIS-Import:2015-04-16:Pub.2013.tech.IMMD.profes_1.arelat [bibtex] [doi]
[43] , , and : Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds, In Information Fusion, 14, pp. 57–77, . UnivIS-Import:2015-03-09:Pub.2013.tech.IMMD.profes_1.integr [bibtex] [doi]
[42] , , and : Exploring the Boundaries of Monad Tensorability on Set, In Logical Methods in Computer Science, 9, pp. 1–18, . UnivIS-Import:2015-03-09:Pub.2013.tech.IMMD.profes_1.explor [bibtex] [doi]
[41] and : A coinductive calculus for asynchronous side-effecting processes, In Information and Computation, 231, pp. 204–232, . UnivIS-Import:2015-03-09:Pub.2013.tech.IMMD.profes_1.acoind [bibtex] [doi]
[40] , and : Abstract GSOS rules and a Modular Treatment of Recursive Definitions, In Logical Methods in Computer Science, 9, pp. 1–52, . UnivIS-Import:2015-03-09:Pub.2013.tech.IMMD.profes_1.abstra [bibtex] [html] [doi]
[39] Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings), Reiko Heckel, Stefan Milius, eds.: , Lecture Notes Comput. Sci., vol. 8089, Springer, . [bibtex]
[38] , and : How Iterative Reflections of Monads are Constructed, In Information and Computation, 225, pp. 83–118, . [bibtex]
[37] , and : Coalgebraic Predicate Logic: Equipollence Results and Proof Theory, In Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, vol. 7758, pp. 257–276, Springer-verlag, . UnivIS-Import:2015-04-16:Pub.2013.tech.IMMD.profes_1.coalge [bibtex] [doi]
[36] and : A characterisation of NL/poly via nondeterministic finite automata, In 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013, pp. 194–204, . [bibtex] [doi]
[35] , and : Sound and complete axiomatizations of coalgebraic language equivalence, In ACM Trans. Comput. Log., 14(1:7), . [bibtex]
[34] , and : How Iterative Reflections of Monads are Constructed, In Inform. and Comput., 225, pp. 83–118, . Available online at http://dx.doi.org/10.1016/j.ic.2013.02.003 [bibtex]
[33] , , and : Well-pointed Coalgebras, In Log. Methods Comput. Sci., 9(3:2), pp. 51 pp., . [bibtex]
[32] : Preface to CALCO-Tools, In Reiko Heckel, Stefan Milius, eds.: Proc. 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Lecture Notes in Computer Science, vol. 8089, pp. 314, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_23. [bibtex] [doi]
[31] , and : Preface, In Electronic Communications of the ECEASST, 62, . Special Issue Specification, Transformation, Navigation, Dedicated to Bernd Krieg-Brückner [bibtex] [url]
[30] and : Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion, In David Baelde, Arnaud Carayol, eds.: FICS, EPTCS, vol. 126, pp. 72–86, . Superseded by the journal version invited to FI [bibtex] [url]
[29] , and : Coalgebraic Predicate Logic: Equipollence Results and Proof Theory, Chapter in Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, eds.: Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, Lecture Notes in Computer Science, vol. 7758, pp. 257–276, Springer Berlin Heidelberg, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-36976-6_16. [bibtex] [url] [doi]
[28] , and : Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC, In Francesca Rossi, ed.: Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 962–968, IJCAI/AAAI, . [updated version] [bibtex] [pdf]
[27] , , and : Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds, In Information Fusion, 14(1), pp. 57–77, . [bibtex] [url] [doi]
[26] and : Simulations and Bisimulations For Coalgebraic Modal Logics, In Reiko Heckel, Stefan Milius, eds.: Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Lect. Notes Comput. Sci., vol. 8089, pp. 253–266, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_19. [bibtex] [url] [doi]
[25] , and : Reasoning with Bounded Self-reference Using Logical Interpreters, In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds.: 26th International Workshop on Description Logics, DL 2013, CEUR Workshop Proceedings, vol. 1014, pp. 689–703, CEUR-WS.org, . [bibtex] [pdf]
[24] and : A Relatively Complete Generic Hoare Logic for Order-Enriched Effects, In Proc. 28th Annual Symposium on Logic in Computer Science (LICS 2013), pp. 273–282, IEEE, . [bibtex] [pdf] [doi]
[23] and : A coinductive calculus for asynchronous side-effecting processes, In Information and Computation, 231(0), pp. 204 – 232, . [bibtex] [pdf] [doi]
[22] : Trace Semantics via Generic Observations, In Reiko Heckel, Stefan Milius, eds.: Algebra and Coalgebra in Computer Science (CALCO 2013), Lecture Notes in Computer Science, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_13. [bibtex] [doi]
[21] , and : Integrated program verification tools in education, In Softw., Pract. Exper., 43(4), pp. 403–418, . [bibtex]
[20] , and : Coalgebraic Announcement Logics, In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, eds.: Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, Lect. Notes Comput. Sci., vol. 7966, pp. 101–112, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39212-2_12. [bibtex] [pdf] [doi]
[19] , , and : Exploring the Boundaries of Monad Tensorability on Set, In Logical Methods in Computer Science, 9(3), . [bibtex] [url] [doi]
2012
[18] , , , , , , and : A framework for formal verification of systems of synchronous components, In Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, eds.: Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES'12), pp. 145–154, . Available at http:\\www.versyko.de [bibtex]
[17] , and : On the formal verification of systems of synchronous software components, In Frank Ortmeier, Peter Daniel, eds.: Proc. SAFECOMP'12, Lecture Notes Comput. Sci., vol. 7612, pp. 291–304, Springer, . Extended version available at http:\\www.versyko.de The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-33678-2_25. [bibtex] [doi]
[16] and : Extending ALCQ With Bounded Self-Reference, In Advances in Modal Logic, Advances in Modal Logic, vol. 9, pp. 300–316, College Publications, . UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.extend [bibtex]
[15] , , and : Coproducts of Monads on Set, In Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12), Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on, pp. 45–54, IEEE Computer Society, . UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.coprod [bibtex] [doi]
[14] , , and : Coalgebraic Predicate Logic, In Automata, Languages, and Programming, Lecture Notes in Ciomputer Science, vol. 7392, pp. 299–311, Springer-verlag, . UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.coalge [bibtex] [url] [doi]
[13] , , , , , , and : A framework for formal verification of systems of synchronous components, In Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES’12), pp. 145–154, fortiss GmbH, . UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.aframe [bibtex]
[12] , , , , and : A Coalgebraic Perspective on Minimization and Determinization, In Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 7213, pp. 58–73, Springer-verlag, . UnivIS-Import:2015-04-16:Pub.2012.tech.IMMD.profes_1.acoalg [bibtex] [url] [doi]
[11] , , , and : A proof theoretic interpretation of model theoretic hiding, In 20th International Workshop on Algebraic Development Techniques, WADT 2010, pp. 118–138, . [bibtex] [doi]
[10] , and : On the specification of operations on the rational behaviour of systems, In Bas Luttik, Michel A. Reniers, eds.: Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS'12), Electron. Proc. Theoret. Comput. Sci., vol. 89, pp. 3–18, . [bibtex]
[9] , , and : Well-Pointed Coalgebras, In Lars Birkedal, ed.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci., vol. 7213, pp. 89–103, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_6. [bibtex] [doi]
[8] , and : On Finitary Functors and Their Presentation, In Dirk Pattinson, Lutz Schröder, eds.: Proc. Coalgebraic Methods in Computer Science (CMCS'12), Lecture Notes Comput. Sci., vol. 7399, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32784-1_4. [bibtex] [doi]
[7] , , and : Coproducts of Monads on Set, In Proc. 27th Annual Symposium on Logic in Computer Science (LICS'12), . [bibtex]
[6] , , , , and : A Coalgebraic Perspective on Minimization and Determinization, In Lars Birkedal, ed.: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes Comput. Sci., vol. 7213, pp. 58–73, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_4. [bibtex] [doi]
[5] Dirk Pattinson, Lutz Schröder, eds.: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, Lecture Notes in Computer Science, vol. 7399, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32784-1. [bibtex] [doi]
[4] , , and : Coalgebraic Predicate Logic, In Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer, eds.: Proc. 39th International Colloquium on Automata, Languages, and Programming, ICALP 2012, Lecture Notes in Computer Science, vol. 7392, pp. 299–311, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-31585-5_29. [bibtex] [pdf] [doi]
[3] and : Extending ALCQ With Bounded Self-Reference, In Silvio Ghilardi, Lawrence Moss, eds.: Proc. Advances in Modal Logic 2012, AiML 2012, pp. 300–316, College Publications, . [bibtex] [pdf]
[2] and : Narcissists Are Easy, Stepmothers Are Hard, In Lars Birkedal, ed.: Proc. 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, Lecture Notes in Computer Science, vol. 7213, pp. 240–254, Springer, . The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28729-9_16. [bibtex] [pdf] [doi]
2009
[1] , and : Formal management of CAD/CAM processes, In 2nd World Congress on Formal Methods, FM 2009, pp. 223–238, . [bibtex] [doi]