2025
- , , , , , , , , , , , , , :
Maschinelles Schliessen mit s(CASP) - Anmeldung eines neuen Geschäftsführers einer GmbH zum Handelsregister
In: Jusletter IT (2025), S. 433-442
ISSN: 1664-848X
DOI: 10.38023/74311d25-cd34-4fd2-9add-3b19549c3edc - , , :
Initial algebras and terminal coalgebras: The theory of fixed points of functors
Cambridge University Press, 2025
ISBN: 9781108884112
DOI: 10.1017/9781108884112 - , , :
Conformance Games for Graded Semantics
40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (Singapore, SGP, 23. Juni 2025 - 26. Juni 2025)
In: Proceedings - Symposium on Logic in Computer Science 2025
DOI: 10.1109/LICS65433.2025.00048 - , , , , , , :
Quantitative Graded Semantics and Spectra of Behavioural Metrics
33rd EACSL Annual Conference on Computer Science Logic, CSL 2025 (Amsterdam, 10. Februar 2025 - 14. Februar 2025)
In: Jorg Endrullis, Sylvain Schmitz (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2025
DOI: 10.4230/LIPIcs.CSL.2025.33 - , , :
Non-expansive Fuzzy ALC
34th Internationa Joint Conference on Artificial Intelligence, IJCAI 2025 (Montreal, QC, CAN, 16. August 2025 - 22. August 2025)
In: James Kwok (Hrsg.): IJCAI International Joint Conference on Artificial Intelligence 2025
DOI: 10.24963/ijcai.2025/502 - , , , , :
Identity-Preserving Lax Extensions and Where to Find Them
42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025 (Jena, 4. März 2025 - 7. März 2025)
In: Olaf Beyersdorff, Michal Pilipczuk, Elaine Pimentel, Nguyen Kim Thang (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2025
DOI: 10.4230/LIPIcs.STACS.2025.40 - , , , , :
Relators and Notions of Simulation Revisited
40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (Singapore, SGP, 23. Juni 2025 - 26. Juni 2025)
In: Proceedings - Symposium on Logic in Computer Science 2025
DOI: 10.1109/LICS65433.2025.00064 - , , , , :
Bialgebraic Reasoning on Stateful Languages
In: Proceedings of the ACM on Programming Languages 9 (2025), S. 246-275
ISSN: 2475-1421
DOI: 10.1145/3747513 - , , :
Abstract Operational Methods for Call-by-Push-Value
In: Proceedings of the ACM on Programming Languages 9 (2025), S. 1013-1039
ISSN: 2475-1421
DOI: 10.1145/3704871 - , , , :
Algebraic Language Theory with Effects
52nd EATCS International Colloquium on Automata, Languages, and Programming, ICALP 2025 (Aarhus, DNK, 8. Juli 2025 - 11. Juli 2025)
In: Keren Censor-Hillel, Fabrizio Grandoni, Joel Ouaknine, Gabriele Puppis (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2025
DOI: 10.4230/LIPIcs.ICALP.2025.165 - , , :
Extended Stone Duality via Monoidal Adjunctions
In: Logical Methods in Computer Science 21 (2025)
ISSN: 1860-5974
DOI: 10.46298/lmcs-21(4:4)2025 - , , , , :
Automated Analysis and Synthesis of Message Authentication Codes
38th IEEE Computer Security Foundations Symposium, CSF 2025 (Santa Cruz, CA, 16. Juni 2025 - 20. Juni 2025)
In: Proceedings - IEEE Computer Security Foundations Symposium 2025
DOI: 10.1109/CSF64896.2025.00015 - , , , :
Relational Connectors and Heterogeneous Simulations
28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 (Hamilton, ON, 3. Mai 2025 - 8. Mai 2025)
In: Parosh Aziz Abdulla, Delia Kesner (Hrsg.): Lecture Notes in Computer Science 2025
DOI: 10.1007/978-3-031-90897-2_6 - , , :
Impact of Plasticity-Based Reservoir Adaptation on Spectral Radius and Performance of ESNs
34th International Conference on Artificial Neural Networks (Kaunas, 9. September 2025 - 12. September 2025)
In: Artificial Neural Networks and Machine Learning. ICANN 2025 International Workshops and Special Sessions 2025
DOI: 10.1007/978-3-032-04552-2_16 - , , , :
Trees in Coalgebra from Generalized Reachability
In: Cîrstea C, Knapp A (Hrsg.): 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) 2025
DOI: 10.4230/LIPIcs.CALCO.2025.15
2024
- , , , , , , , , , , , , :
DIREGA – Building Decision Support for German Register Law
JURIX 2024 (Brno, 11. Dezember 2024 - 13. Dezember 2024)
In: Jaromir Savelka, Jakub Harasta, Tereza Novotna, Jakub Misek (Hrsg.): Frontiers in Artificial Intelligence and Applications 2024
DOI: 10.3233/FAIA241269
URL: https://ebooks.iospress.nl/volumearticle/71034 - , , , , , , :
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024 (Clermont-Ferrand, FRA, 12. März 2024 - 14. März 2024)
In: Olaf Beyersdorff, Mamadou Moustapha Kante, Orna Kupferman, Daniel Lokshtanov (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2024
DOI: 10.4230/LIPIcs.STACS.2024.10 - , , :
Monoidal Extended Stone Duality
27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 (Luxembourg City, 6. April 2024 - 11. April 2024)
In: Naoki Kobayashi, James Worrell (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
DOI: 10.1007/978-3-031-57228-9_8 - , , , , :
Finding Argument Fragments on Social Media with Corpus Queries and LLMs
1st International Conference on Robust Argumentation Machines, RATIO 2024 (Bielefeld, DEU, 5. Juni 2024 - 7. Juni 2024)
In: Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein (Hrsg.): Robust Argumentation Machines, Cham: 2024
DOI: 10.1007/978-3-031-63536-6_10 - , , , , :
Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models
First Workshop on Language-driven Deliberation Technology (DELITE) @ LREC-COLING 2024 (Torino, Italy, 20. Mai 2024 - 20. Mai 2024)
In: Hautli-Janisz A, Lapesa G, Anastasiou L, Gold V, Liddo AD, Reed C (Hrsg.): Proceedings of the First Workshop on Language-driven Deliberation Technology (DELITE) @ LREC-COLING 2024, Torino, Italy: 2024
URL: https://aclanthology.org/2024.delite-1.7 - , , , , , , :
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
35th International Conference on Concurrency Theory, CONCUR 2024 (Calgary, AB, 9. September 2024 - 13. September 2024)
In: Rupak Majumdar, Alexandra Silva (Hrsg.): 35th International Conference on Concurrency Theory (CONCUR 2024) 2024
DOI: 10.4230/LIPIcs.CONCUR.2024.20 - , , , , , :
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024 (Luxembourg City, 6. April 2024 - 7. April 2024)
In: Barbara König, Henning Urbat (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
DOI: 10.1007/978-3-031-66438-0_6 - , , , :
Bialgebraic Reasoning on Higher-order Program Equivalence
39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024 (Tallinn, EST, 8. Juli 2024 - 11. Juli 2024)
In: Proceedings - Symposium on Logic in Computer Science 2024
DOI: 10.1145/3661814.3662099 - , :
A Unifying Categorical View of Nondeterministic Iteration and Tests
35th International Conference on Concurrency Theory, CONCUR 2024 (Calgary, AB, 9. September 2024 - 13. September 2024)
In: Rupak Majumdar, Alexandra Silva (Hrsg.): 35th International Conference on Concurrency Theory (CONCUR 2024) 2024
DOI: 10.4230/LIPIcs.CONCUR.2024.25 - , , , , :
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 (London, 15. Januar 2024 - 16. Januar 2024)
In: Rayna Dimitrova, Ori Lahav, Sebastian Wolff (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
DOI: 10.1007/978-3-031-50524-9_8 - , :
COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI
In: Logical Methods in Computer Science 20 (2024), Art.Nr.: 9
ISSN: 1860-5974
DOI: 10.46298/lmcs-20(3:9)2024 - , , , , :
Öffentliche Wahrnehmung von Palliativversorgung vor, während und nach der COVID-19-Pandemie – eine empirische Untersuchung von Online-Diskursen
In: Zeitschrift für Palliativmedizin 25 (2024), S. 203-212
ISSN: 1615-2921
DOI: 10.1055/a-2264-7997 - , :
Nominal Tree Automata with Name Allocation
35th International Conference on Concurrency Theory, CONCUR 2024 (Calgary, AB, 9. September 2024 - 13. September 2024)
In: Rupak Majumdar, Alexandra Silva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2024
DOI: 10.4230/LIPIcs.CONCUR.2024.35 - , :
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda
39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024 (Tallinn, EST, 8. Juli 2024 - 11. Juli 2024)
In: Proceedings - Symposium on Logic in Computer Science 2024
DOI: 10.1145/3661814.3662105
2023
- , , :
On Kripke, Vietoris and Hausdorff Polynomial Functors
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.21 - , , :
Nominal Topology for Data Languages
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 (Paderborn, 10. Juli 2023 - 14. Juli 2023)
In: Kousha Etessami, Uriel Feige, Gabriele Puppis (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.ICALP.2023.114 - , :
Weighted and Branching Bisimilarities from Generalized Open Maps
26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 (Paris, 22. April 2023 - 27. April 2023)
In: Orna Kupferman, Pawel Sobocinski (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-30829-1_15 - , , , , , :
Quantitative Hennessy-Milner Theorems via Notions of Density
31st EACSL Annual Conference on Computer Science Logic, CSL 2023 (Warsaw, 13. Februar 2023 - 16. Februar 2023)
In: Bartek Klin, Elaine Pimentel (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CSL.2023.22 - , , :
Positive Data Languages
In: LIPIcs : Leibniz International Proceedings in Informatics 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) (2023), S. 48:1-48:15
ISSN: 1868-8969
DOI: 10.4230/LIPIcs.MFCS.2023.48
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18582 - :
Representing Guardedness in Call-By-Value
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023 (Rome, 3. Juli 2023 - 6. Juli 2023)
In: Marco Gaboardi, Femke van Raamsdonk (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.FSCD.2023.34 - :
Shades of Iteration: From Elgot to Kleene
26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 (Aveiro, PRT, 28. Juni 2022 - 30. Juni 2022)
In: Alexandre Madeira, Manuel A. Martins (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-43345-0_5 - , , , , :
A point-free perspective on lax extensions and predicate liftings
In: Mathematical Structures in Computer Science (2023)
ISSN: 0960-1295
DOI: 10.1017/S096012952300035X - , , , , :
Kantorovich Functors and Characteristic Logics for Behavioural Distances
26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 (Paris, FRA, 22. April 2023 - 27. April 2023)
In: Orna Kupferman, Pawel Sobocinski (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-30829-1_3 - , , , , :
Higher-Order Mathematical Operational Semantics
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, USA, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.24 - , , , , :
Towards a Higher-Order Mathematical Operational Semantics
In: Proceedings of the ACM on Programming Languages 7 (2023), S. 632-658
ISSN: 2475-1421
DOI: 10.1145/3571215 - , :
A Formal Treatment of Expressiveness and Relevance of Digital Evidence
In: Digital Threats: Research and Practice (2023)
ISSN: 2576-5337
DOI: 10.1145/3608485 - , , , :
Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction
Digital Forensics Research Conference Europe (DFRWS EU 2023) (Bonn, 21. März 2023 - 24. März 2023)
In: Edita Bajramovic and Ricardo J. Rodríguez (Hrsg.): Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU) 2023
Open Access: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
URL: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf - , , , , , :
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29 (Rome, 1. Juli 2023 - 4. Juli 2023)
In: Brigitte Pientka, Cesare Tinelli (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-38499-8_14 - , :
Duality theory for enriched Priestley spaces
In: Journal of Pure and Applied Algebra 227 (2023), Art.Nr.: 107231
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2022.107231 - , :
Common Knowledge of Abstract Groups
Thirty-Seventh AAAI Conference on Artificial Intelligence Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence Thirteenth Symposium on Educational Advances in Artificial Intelligence (Washington DC, 7. Februar 2023 - 14. Februar 2023)
DOI: 10.1609/aaai.v37i5.25791 - , , , :
CRDTs, Coalgebraically
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, USA, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.22 - , , , :
As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency
Digital Forensics Research Conference USA (DFRWS USA) 2023 (Baltimore, MD, 9. Juli 2023 - 12. Juli 2023)
In: Proceedings of the Digital Forensics Research Conference USA (DFRWS USA) 2023 2023 - , :
Morphism Equality in Theory Graphs
Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023 (Cambridge, GBR, 5. September 2023 - 8. September 2023)
In: Catherine Dubois, Manfred Kerber (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-42753-4_12 - , , , :
KI-Technologieentwicklung und Bildung als miteinander in Beziehung stehende Aufgaben für die Lehrerbildung
In: M. Klein, D. Krupka, C. Winter & V. Wohlgemuth (Hrsg.): Informatik 23. Designing Futures: Zukünfte gestalten, Bonn: Gesellschaft für Informatik e.V., 2023, S. 447-452 (GI-Edition, Lecture Notes in Informatics)
DOI: 10.18420/inf2023_54 - , , , , :
Weak Similarity in Higher-Order Mathematical Operational Semantics
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023 (Boston, MA, USA, 26. Juni 2023 - 29. Juni 2023)
In: Proceedings - Symposium on Logic in Computer Science 2023
DOI: 10.1109/LICS56636.2023.10175706
2022
- , , :
Distributed Coalgebraic Partition Refinement
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) (Munich, GERMANY)
In: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, CHAM: 2022
DOI: 10.1007/978-3-030-99527-0_9 - , , :
Eilenberg's variety theorem without Boolean operations
In: Information and Computation (2022), Art.Nr.: 104916
ISSN: 0890-5401
DOI: 10.1016/j.ic.2022.104916 - , , , , :
Argumentation Schemes for Blockchain Deanonymization
Sixteenth International Workshop on Juris-informatics (JURISIN 2022) (Kyoto International Conference Center, Kyoto, Japan, 13. Juni 2022 - 14. Juni 2022) - , , , , :
Graded Monads and Behavioural Equivalence Games
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022 (Haifa, ISR, 2. August 2022 - 5. August 2022)
In: Proceedings - Symposium on Logic in Computer Science 2022
DOI: 10.1145/3531130.3533374 - , , , , :
Stateful Structural Operational Semantics
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 (Haifa, ISR, 2. August 2022 - 5. August 2022)
In: Amy P. Felty (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2022
DOI: 10.4230/LIPIcs.FSCD.2022.30 - , , :
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
In: ACM Transactions on Computational Logic 23 (2022)
ISSN: 1529-3785
DOI: 10.1145/3501300 - , :
CHARACTERISTIC LOGICS FOR BEHAVIOURAL HEMIMETRICS VIA FUZZY LAX EXTENSIONS
In: Logical Methods in Computer Science 18 (2022)
ISSN: 1860-5974
DOI: 10.46298/LMCS-18(2:19)2022 - , , :
QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE
In: Logical Methods in Computer Science 18 (2022), S. 6:1-6:48
ISSN: 1860-5974
DOI: 10.46298/LMCS-18(4:6)2022
2021
- , , , :
Reiterman's Theorem on Finite Algebras for a Monad
In: ACM Transactions on Computational Logic 22 (2021)
ISSN: 1529-3785
DOI: 10.1145/3464691 - , , :
On the behaviour of coalgebras with side effects and algebras with effectful iteration
In: Journal of Logic and Computation 31 (2021), S. 1429-1481
ISSN: 0955-792X
DOI: 10.1093/logcom/exab049 - , , :
Initial algebras without iteration
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 (Virtual, Salzburg, AUT, 31. August 2021 - 3. September 2021)
In: Fabio Gadducci, Alexandra Silva, Alexandra Silva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.CALCO.2021.5 - , , :
On Language Varieties Without Boolean Operations
15th International Conference on Language and Automata Theory and Applications, LATA 2021 (Milan, ITA, 1. März 2021 - 5. März 2021)
In: Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2021
DOI: 10.1007/978-3-030-68195-1_1 - , , :
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 (Virtual, 29. Juni 2021 - 2. Juli 2021)
In: Proceedings - Symposium on Logic in Computer Science 2021
DOI: 10.1109/LICS52264.2021.9470508 - , , :
Coalgebra encoding for efficient minimization
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021 (Virtual, 17. Juli 2021 - 24. Juli 2021)
In: Naoki Kobayashi (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.FSCD.2021.28 - , , , , :
Argument parsing via corpus queries
In: it - Information Technology 63 (2021), S. 31-44
ISSN: 1611-2776
DOI: 10.1515/itit-2020-0051 - , , , :
Finitary monads on the category of posets
In: Mathematical Structures in Computer Science (2021), S. 1--23
ISSN: 0960-1295
DOI: 10.1017/S0960129521000360
URL: https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/finitary-monads-on-the-category-of-posets/C4F502C0D4264D68484EE6CCB5E3590F - , , :
Behavioural Preorders via Graded Monads
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 (Rome, Italy (Online), 29. Juni 2021 - 2. Juli 2021)
In: Proceedings - Symposium on Logic in Computer Science, New York, NY, United States: 2021
DOI: 10.1109/LICS52264.2021.9470517 - , , :
Monads on categories of relational structures
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 (Virtual, Salzburg, AUT, 31. August 2021 - 3. September 2021)
In: Fabio Gadducci, Alexandra Silva, Alexandra Silva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.CALCO.2021.14 - :
Uniform elgot iteration in foundations
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 (Virtual, Glasgow, GBR, 12. Juli 2021 - 16. Juli 2021)
In: Nikhil Bansal, Emanuela Merelli, James Worrell (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.ICALP.2021.131 - , , :
A metalanguage for guarded iteration
In: Theoretical Computer Science (2021)
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2021.04.005 - , , :
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (University of Ljubljana, 25. Januar 2021 - 28. Januar 2021)
In: Christel Baier and Jean Goubault-Larrecq (Hrsg.): Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany: 2021
DOI: 10.4230/LIPIcs.CSL.2021.26 - , , :
A Linear-Time Nominal μ-Calculus with Name Allocation
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021 (Tallinn, 23. August 2021 - 27. August 2021)
In: Filippo Bonchi, Simon J. Puglisi (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.MFCS.2021.58 - , :
Quasipolynomial Computation of Nested Fixpoints
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 (Virtual, Online, 27. März 2021 - 1. April 2021)
In: Jan Friso Groote, Kim Guldstrand Larsen (Hrsg.): Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I, Cham: 2021
DOI: 10.1007/978-3-030-72016-2_3 - , , :
Nondeterministic syntactic complexity
24th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 (Online, 27. März 2021 - 1. April 2021)
In: Stefan Kiefer, Christine Tasson (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2021
DOI: 10.1007/978-3-030-71995-1_23 - , :
Syntactic Minimization of Nondeterministic Finite Automata
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021 (Tallinn, EST, 23. August 2021 - 27. August 2021)
In: Filippo Bonchi, Simon J. Puglisi (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.MFCS.2021.78 - , , , :
Nominal Büchi Automata with Name Allocation
32nd International Conference on Concurrency Theory, CONCUR 2021 (Virtual, Online, 24. August 2021 - 27. August 2021)
In: Serge Haddad, Daniele Varacca (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.CONCUR.2021.4 - , :
A Quantified Coalgebraic van Benthem Theorem
24th International Conference, FOSSACS 2021 (, 27. März 2021 - 1. April 2021)
In: Stefan Kiefer; Christine Tasson (Hrsg.): Foundations of Software Science and Computation Structures 2021
DOI: 10.1007/978-3-030-71995-1_28 - , , , :
From generic partition refinement to weighted tree automata minimization
In: Formal Aspects of Computing (2021)
ISSN: 0934-5043
DOI: 10.1007/s00165-020-00526-z - , , :
Explaining Behavioural Inequivalence Generically in Quasilinear Time
32nd International Conference on Concurrency Theory, CONCUR 2021 (Virtual, Online, 24. August 2021 - 27. August 2021)
In: Serge Haddad, Daniele Varacca (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2021
DOI: 10.4230/LIPIcs.CONCUR.2021.32
2020
- , , :
On Well-Founded and Recursive Coalgebras
23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 (Dublin, 25. April 2020 - 30. April 2020)
In: Jean Goubault-Larrecq, Barbara König (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020
DOI: 10.1007/978-3-030-45231-5_2 - , :
Towards constructive hybrid semantics
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020 (Virtual, Online, FRA, 29. Juni 2020 - 6. Juli 2020)
In: Zena M. Ariola (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2020
DOI: 10.4230/LIPIcs.FSCD.2020.24 - , , , , :
Reconstructing Arguments from Noisy Text
In: Datenbank-Spektrum 20 (2020), S. 123-129
ISSN: 1618-2162
DOI: 10.1007/s13222-020-00342-y
URL: https://link.springer.com/article/10.1007/s13222-020-00342-y - , :
Non-iterative Modal Logics are Coalgebraic
13th Conference on Advances in Modal Logic, AiML 2020 (Virtual, Helsinki, 24. August 2020 - 28. August 2020)
URL: http://www.aiml.net/volumes/volume13/Forster-Schroeder.pdf - , , :
Toward a Uniform Theory of Effectful State Machines
In: ACM Transactions on Computational Logic 21 (2020), Art.Nr.: 23
ISSN: 1529-3785
DOI: 10.1145/3372880 - , , :
Implementing Hybrid Semantics: From Functional to Imperative
17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020 (Macau, 30. November 2020 - 4. Dezember 2020)
In: Violet Ka Pun, Volker Stolz, Adenilso Simao (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020
DOI: 10.1007/978-3-030-64276-1_14 - , , , :
Cheap CTL Compassion in NuSMV
21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020 (New Orleans, LA, 16. Januar 2020 - 21. Januar 2020)
In: Dirk Beyer, Damien Zufferey (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020
DOI: 10.1007/978-3-030-39322-9_12 - , :
NP Reasoning in the Monotone mu-Calculus
International Joint Conference on Automated Reasoning, IJCAR 2020
In: Viorica Sofronie-Stokkermans and Nicolas Pelletier (Hrsg.): Proc. International Joint Conference on Automated Reasoning, IJCAR 2020 2020
DOI: 10.1007/978-3-030-51074-9_28 - , , :
Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas
15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 (Dublin, 25. April 2020 - 26. April 2020)
In: Daniela Petrisan, Jurriaan Rot (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020
DOI: 10.1007/978-3-030-57201-3_8 - , :
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store
23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 (Dublin, 25. April 2020 - 30. April 2020)
In: Jean Goubault-Larrecq, Barbara König (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020
DOI: 10.1007/978-3-030-45231-5_28 - , , , :
Unifying Metadata-Based Storage Reconstruction and Carving with LAYR
DFRWS 2020 USA (Virtual, 20. Juli 2020 - 24. Juli 2020)
In: Elsevier (Hrsg.): Forensic Science International: Digital Investigation 2020
DOI: 10.1016/j.fsidi.2020.301006
URL: https://www.sciencedirect.com/science/article/pii/S2666281720302559 - , :
Automata Learning: An Algebraic Approach
35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (Saarbrücken, 8. Juli 2020 - 11. Juli 2020)
In: ACM International Conference Proceeding Series, New York, NY: 2020
DOI: 10.1145/3373718.3394775
URL: https://arxiv.org/abs/1911.00874 - , :
Characteristic logics for behavioural metrics via fuzzy lax extensions
31st International Conference on Concurrency Theory, CONCUR 2020 (, 1. September 2020 - 4. September 2020)
In: Igor Konnov, Laura Kovacs (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2020
DOI: 10.4230/LIPIcs.CONCUR.2020.27 - , , , :
Efficient and Modular Coalgebraic Partition Refinement
In: Logical Methods in Computer Science 16 (2020), S. 1–63
ISSN: 1860-5974
Open Access: https://lmcs.episciences.org/6064
2019
- , :
On functors preserving coproducts and algebras with iterativity
In: Theoretical Computer Science 763 (2019), S. 66-87
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2019.01.018 - , , , :
Generalized Eilenberg Theorem: Varieties of Languages in a Category
In: ACM Transactions on Computational Logic 20 (2019), S. 3:1--3:47
ISSN: 1529-3785
DOI: 10.1145/3276771 - , , , :
Finitely presentable algebras for finitary monads
In: Theory and Applications of Categories 34 (2019), S. 1179-1195
ISSN: 1201-561X - , , , :
On Finitary Functors
In: Theory and Applications of Categories 34 (2019), S. 1134--1164
ISSN: 1201-561X
Open Access: http://www.tac.mta.ca/tac/volumes/34/35/34-35abs.html
URL: http://www.tac.mta.ca/tac/volumes/34/35/34-35abs.html - , , , :
Generic Partition Refinement and Weighted Tree Automata
In: Beek MH, McIver A, Oliveira JN (Hrsg.): Formal Methods -- The Next 30 Years, Cham: 2019
DOI: 10.1007/978-3-030-30942-8_18 - , , :
Graded monads and graded logics for the linear time – Branching time spectrum
30th International Conference on Concurrency Theory, CONCUR 2019 (Amsterdam, 27. August 2019 - 30. August 2019)
In: Wan Fokkink, Rob van Glabbeek (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.CONCUR.2019.36 - , , :
Completeness for mu-calculi: A coalgebraic approach
In: Annals of Pure and Applied Logic 170 (2019), S. 578-641
ISSN: 0168-0072
DOI: 10.1016/j.apal.2018.12.004 - , , , , , , :
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures
In: Journal of Logic, Language and Information (2019), S. 309-330
ISSN: 0925-8531
DOI: 10.1007/s10849-019-09283-6 - , :
An Adequate While-Language for Hybrid Computation
21st International Symposium on Principles and Practice of Declarative Programming (PPDP) (Porto, 7. Oktober 2019 - 9. Oktober 2019)
In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), NEW YORK: 2019
DOI: 10.1145/3354166.3354176 - , , , :
Guarded and Unguarded Iteration for Generalized Processes
In: Logical Methods in Computer Science 15 (2019)
ISSN: 1860-5974
DOI: 10.23638/LMCS-15(3:1)2019 - , :
Game-based local model checking for the coalgebraic µ-calculus
30th International Conference on Concurrency Theory, CONCUR 2019 (Amsterdam, 27. August 2019 - 30. August 2019)
In: Wan Fokkink, Rob van Glabbeek (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.CONCUR.2019.35 - , :
Optimal Satisfiability Checking for Arithmetic µ-Calculi
22nd International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2019
DOI: 10.1007/978-3-030-17127-8_16 - , :
Complete Additivity and Modal Incompleteness
In: Review of Symbolic Logic 12 (2019), S. 487-535
ISSN: 1755-0203
DOI: 10.1017/S1755020317000259 - , :
Coinductive resumption monads: Guarded iterative and guarded Elgot
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (London, 3. Juni 2019 - 6. Juni 2019)
In: Markus Roggenbach, Ana Sokolova (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.CALCO.2019.13 - :
From equational specifications of algebras with structure to varieties of data languages
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (London, 3. Juni 2019 - 6. Juni 2019)
In: Markus Roggenbach, Ana Sokolova (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.CALCO.2019.2 - , :
Equational Axiomatization of Algebras with Structure
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)
DOI: 10.1007/978-3-030-17127-8_23 - , , , :
The high-level benefits of low-level sandboxing
In: Proceedings of the ACM on Programming Languages (2019), Art.Nr.: 32
ISSN: 2475-1421
DOI: 10.1145/3371100 - , :
Varieties of data languages
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 (Patras, 9. Juli 2019 - 12. Juli 2019)
In: Ioannis Chatzigiannakis, Christel Baier, Stefano Leonardi, Paola Flocchini (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2019
DOI: 10.4230/LIPIcs.ICALP.2019.130 - , , , :
A modal characterization theorem for a probabilistic fuzzy description logic
28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao, 10. August 2019 - 16. August 2019)
In: Sarit Kraus (Hrsg.): IJCAI International Joint Conference on Artificial Intelligence 2019 - , , , :
Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching
22nd International Conference, FOSSACS 2019
DOI: 10.1007/978-3-030-17127-8_30 - , , , :
A coalgebraic view on reachability
In: Commentationes Mathematicae Universitatis Carolinae 60 (2019), S. 605-638
ISSN: 0010-2628
DOI: 10.14712/1213-7243.2019.026 - , , :
A new foundation for finitary corecursion and iterative algebras
In: Information and Computation (2019), Art.Nr.: 104456
ISSN: 0890-5401
DOI: 10.1016/j.ic.2019.104456
2018
- , , :
Fixed Points of Functors
In: Journal of Logical and Algebraic Methods in Programming 95 (2018), S. 41--81
ISSN: 2352-2208 - , , :
A Categorical Approach to Syntactic Monoids
In: Logical Methods in Computer Science 14 (2018), S. 34 pp.
ISSN: 1860-5974
DOI: 10.23638/LMCS-14(2:9)2018
URL: https://arxiv.org/pdf/1804.03011v2.pdf - , , , :
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (Thessaloniki)
In: Corina Cîrstea (Hrsg.): Proc.~Coalgebraic Methods in Computer Science (CMCS'18) 2018
DOI: 10.1007/978-3-030-00389-0_5 - , :
A Semantics for Hybrid Iteration
29th International Conference on Concurrency Theory, CONCUR 2018 (Beijing, China)
DOI: 10.4230/LIPIcs.CONCUR.2018.22 - , , :
A Metalanguage for Guarded Iteration
15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018 (Stellenbosch, South Africa)
In: Bernd Fischer Tarmo Uustalu (Hrsg.): Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187) 2018
DOI: 10.1007/978-3-030-02508-3 - , :
Guarded Traced Categories
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
DOI: 10.1007/978-3-319-89366-2_17 - , , , :
Unguarded Recursion on Coinductive Resumptions
In: Logical Methods in Computer Science 14 (2018), Art.Nr.: 10
ISSN: 1860-5974
DOI: 10.23638/LMCS-14(3:10)2018 - , , , , :
A coalgebraic treatment of conditional transition systems with upgrades
In: Logical Methods in Computer Science Volume 14, Issue 1 (2018)
ISSN: 1860-5974
DOI: 10.23638/LMCS-14(1:19)2018
URL: https://lmcs.episciences.org/4330/pdf - , , :
Permutation games for the weakly aconjunctive μ -calculus
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 2018
DOI: 10.1007/978-3-319-89963-3_21 - , :
One Modal Logic to Rule Them All?
Advances in Modal Logic 2018 (Bern, 27. August 2018 - 31. August 2018)
In: Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer (Hrsg.): Advances in Modal Logic 2018, London, UK: 2018 - , , , , , :
A detailed analysis of the Arden Syntax expression grammar
In: Journal of Biomedical Informatics 83 (2018), S. 196-203
ISSN: 1532-0464
DOI: 10.1016/j.jbi.2018.05.008 - :
Infinite Populations, Choice and Determinacy
In: Studia Logica 106 (2018), S. 969-999
ISSN: 0039-3215
DOI: 10.1007/s11225-017-9730-3 - , , , :
Model Theory and Proof Theory of Coalgebraic Predicate Logic
In: Logical Methods in Computer Science 14 (2018)
ISSN: 1860-5974
DOI: 10.23638/LMCS-14(1:22)2018 - , :
Lewis meets Brouwer: Constructive strict implication
In: Indagationes Mathematicae 29 (2018), S. 36-90
ISSN: 0019-3577
DOI: 10.1016/j.indag.2017.10.003 - :
Proper Functors and Fixed Points for Finite Behaviour
In: Logical Methods in Computer Science 14 (2018), S. 32 pp.
ISSN: 1860-5974
Open Access: https://lmcs.episciences.org/4847/ - , , :
On Algebras with Effectful Iteration
14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (Thessaloniki)
In: Corina Cîrstea (Hrsg.): Proc.~Coalgebraic Methods in Computer Science (CMCS'18), Heidelberg: 2018 - , :
Completeness of Flat Coalgebraic Fixpoint Logics
In: ACM Transactions on Computational Logic 19 (2018)
ISSN: 1529-3785
DOI: 10.1145/3157055 - , , , :
A van Benthem theorem for fuzzy modal logic
33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 2018
DOI: 10.1145/3209108.3209180
2017
- , :
On Corecursive Algebras for Functors Preserving Coproducts
In: Bonchi F, König B (Hrsg.): Proc.~7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17) 2017 - , , :
A Presentation of Bases for Parametrized Iterativity
In: Theory and Applications of Categories 32 (2017), S. 682--718
ISSN: 1201-561X - , , , , , :
Automatic verification of application-tailored OSEK kernels
In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017
DOI: 10.23919/FMCAD.2017.8102260 - , , , :
Efficient Coalgebraic Partition Refinement
In: Meyer R, Nestmann U (Hrsg.): Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) 2017 - , , , , , :
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures
Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) (Stockholm, 16. August 2017 - 19. August 2017)
In: Loukanova R, Liefke K (Hrsg.): Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm: 2017
URL: http://su.diva-portal.org/smash/get/diva2:1140018/FULLTEXT03.pdf - , , , :
Unifying Guarded and Unguarded Iteration
20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Uppsala, 22. April 2017 - 29. April 2017)
In: Esparza Javier , Murawski Andrzej (Hrsg.): Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Berlin: 2017 - , , , , , :
Ontological Modelling of a Psychiatric Clinical Practice Guideline
In: KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings 2017
DOI: 10.1007/978-3-319-67190-1_24 - , , , :
Probabilistic Description Logics for Subjective Uncertainty
In: Journal of Artificial Intelligence Research 58 (2017), S. 1--66
ISSN: 1076-9757
DOI: 10.1613/jair.5222 - , , , , , , :
Knowledge-Based Interoperability for Mathematical Software Systems
In: Johannes Blömer and Temur Kutsia and Dimitris Simos (Hrsg.): MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences 2017 - , , :
Negative Translations and Normal Modality
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, 4. September 2017 - 7. September 2018)
DOI: 10.4230/LIPIcs.FSCD.2017.27
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7741/ - :
Proper Functors and their Rational Fixed Point
In: Bonchi F, König B (Hrsg.): Proc.~7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17) 2017 - , :
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
In: Fundamenta Informaticae (2017), S. 407-449
ISSN: 0169-2968
DOI: 10.3233/FI-2017-1475
URL: http://arxiv.org/abs/1603.05214 - , , :
Generic Hoare Logic for Order-Enriched Effects with Exceptions
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016
In: James P, Roggenbach M (Hrsg.): Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers 2017
DOI: 10.1007/978-3-319-72044-9_14 - , , , :
Nominal Automata with Name binding
20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Uppsala, 22. April 2017 - 29. April 2017)
In: Esparza Javier, Murawski Andrzej (Hrsg.): Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) 2017 - , , :
Uniform Interpolation in Coalgebraic Modal Logic
In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia 2017
DOI: 10.4230/LIPIcs.CALCO.2017.21 - :
Finite behaviours and finitary corecursion
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017
DOI: 10.4230/LIPIcs.CALCO.2017.24 - , , , :
Eilenberg Theorems for Free
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017
In: G.~Larsen K, L.~Bodlaender H, Raskin J (Hrsg.): Proc.~42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) 2017
DOI: 10.4230/LIPIcs.MFCS.2017.43 - , , , :
Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases
7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017
In: Johannes Blömer and Temur Kutsia and Dimitris Simos (Hrsg.): MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences 2017
DOI: 10.1007/978-3-319-72453-9_17 - , :
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 2017
DOI: 10.24963/ijcai.2017/181
2016
- , , , , :
Profinite Monads, Profinite Equations and Reitermann's Theorem
19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Eindhoven (The Netherlands))
In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Heidelberg: 2016
DOI: 10.1007/978-3-662-49630-5_31 - , :
Schützenberger products in a category
20th International Conference on Developments in Language Theory, DLT 2016
DOI: 10.1007/978-3-662-53132-7_8 - , , , , :
Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems
6th International Workshop on Model-driven Approaches for Simulation Engineering (Pasadena, CA, USA, 3. April 2016 - 6. April 2016)
In: Society for Computer Simulation International (Hrsg.): Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative (DEVS '16), San Diego, CA, USA: 2016
URL: http://dl.acm.org/citation.cfm?id=2975389.2975405 - :
An implementation of global caching for the alternation-free coalgebraic μ-calculus (Masterarbeit, 2016)
URL: https://static.siccegge.de/pdfs/master-thesis.pdf - , , :
Complete Elgot Monads and Coalgebraic Resumptions
In: Electronic Notes in Theoretical Computer Science 325 (2016), S. 147-168
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2016.09.036 - , , :
Complete Elgot Monads and Coalgebraic Resumptions
MFPS XXXII (Carnegie Mellon University, Pittsburgh, 23. Mai 2016 - 26. Mai 2016)
DOI: 10.1016/j.entcs.2016.09.036 - , , :
Global Caching for the Alternation-free Coalgebraic mu-calculus
27th International Conference on Concurrency Theory (Québec City, Canada)
In: Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016, Dagstuhl: 2016
DOI: 10.4230/LIPIcs.CONCUR.2016.34
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6172/ - , , :
Global Caching for the Alternation-free mu-Calculus
27th International Conference on Concurrency Theory, CONCUR 2016 (Québec City, 23. August 2016 - 26. August 2016)
In: Josée Desharnais, Radha Jagadeesan (Hrsg.): 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, Dagstuhl: 2016
DOI: 10.4230/LIPIcs.CONCUR.2016.34
URL: http://www.dagstuhl.de/dagpub/978-3-95977-017-0 - , , , , :
Hardware-Software Co-Simulation of Self-Organizing Smart Home Networks: Who am I and where are the others? - , , , , :
Adaptive Synchronization Interface for Hardware-Software Co-Simulation based on SystemC and QEMU
Simutools: 9th EAI International Conference on Simulation Tools and Techniques - , , :
Relational Lattices: From Databases to Universal Algebra
In: Journal of Logical and Algebraic Methods in Programming 85 (2016), S. 540-573
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.11.008 - , , :
A New Foundation for Finitary Corecursion
19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Eindhoven, The Netherlands)
In: Foundations of Software Science and Computation Structures 2016
DOI: 10.1007/978-3-662-49630-5
URL: http://link.springer.com/book/10.1007/978-3-662-49630-5 - , , :
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets
In: Applied Categorical Structures 24 (2016), S. 663--701
ISSN: 0927-2852
DOI: 10.1007/s10485-016-9457-8 - , :
Program Equivalence is Coinductive
31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 (New York, 5. Juli 2016 - 8. Juli 2016)
In: Martin Grohe, Eric Koskinen, Natarajan Shankar (Hrsg.): Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016, New York: 2016
DOI: 10.1145/2933575
URL: http://doi.acm.org/10.1145/2933575 - , , :
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms
12th International Conference on Information Systems Security, ICISS 2016 (Jaipur (India), 16. Dezember 2016 - 20. Dezember 2016)
In: Proceedings of the 12th International Conference on Information Systems Security, ICISS 2016, Heidelberg: 2016
DOI: 10.1007/978-3-319-49806-5_1
2015
- , , , , :
On Final Coalgebras of Power-Set Functors and Saturated Trees
In: Applied Categorical Structures 23 (2015), S. 609-641
ISSN: 0927-2852
DOI: 10.1007/s10485-014-9372-9
URL: http://www.stefan-milius.eu - , , , , :
On Finitary Functors and Their Presentation
In: Journal of Computer and System Sciences 81 (2015), S. 813-833
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2014.12.002 - , , , , :
Varieties of Languages in a Category
Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (Kyoto, Japan, 6. Juli 2015 - 10. Juli 2015)
In: 30th Annual Symposium on Logic in Computer Science (LICS'15) 2015
DOI: 10.1109/LICS.2015.46
URL: http://www.computer.org/csdl/proceedings/lics/2015/8875/00/8875a414-abs.html - , , , :
Syntactic Monoids in a Category
6th Conference on Algebra and Coalgebra in Computer Science (Nijmegen, 24. Juni 2015 - 26. Juni 2015)
In: Coalgebraic and Algebraic Methods in Computer Science (CALCO'15), Schloss Dagstuhl: 2015
DOI: 10.4230/LIPIcs.CALCO.2015.1
URL: http://www.dagstuhl.de/dagpub/978-3-939897-84-2 - , , , :
Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure
In: Theoretical Computer Science 604 (2015), S. 102-126
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.03.024 - , , :
Unguarded Recursion on Coinductive Resumptions
Mathematical Foundations of Programming Semantics XXXI (Art Cinema Lux, Nijmegen, 22. Juni 2015 - 25. Juni 2015)
In: Mathematical Foundations of Programming Semantics XXXI, MFPS 2015 2015
Open Access: http://events.cs.bham.ac.uk/mfps31/mfpsproc.pdf - , :
Global Caching for the Flat Coalgebraic mu-Calculus
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015
In: Proc. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 2015
DOI: 10.1109/TIME.2015.15 - , :
Global Caching for the Flat Coalgebraic μ-Calculus
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 (Kassel, 23. September 2015 - 25. September 2015)
In: Grandi F, Lange M, Lomuscio A (Hrsg.): Proceedings, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Berlin: 2015
DOI: 10.1109/TIME.2015.15 - , (Hrsg.):
Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013
2015
(Log.~Methods Comput.~Sci.) - , , :
Reasoning with Global Assumptions in Arithmetic Modal Logics
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015 (Gdansk, 17. August 2015 - 19. August 2015)
In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Proceedings, Berlin: 2015
DOI: 10.1007/978-3-319-22177-9_28 - , , , :
Simplified Coalgebraic Trace Equivalence
In: Software, Services, and Systems, Berlin: Springer, 2015, S. 75-90 (Lecture Notes in Computer Science, Bd.8950)
DOI: 10.1007/978-3-319-15545-6_8
URL: https://www8.cs.fau.de/publications - , , :
Generic Trace Semantics and Graded Monads
6th Conference on Algebra and Coalgebra in Computer Science (Nijmegen, 24. Juni 2015 - 26. Juni 2015)
In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Dagstuhl: 2015
DOI: 10.4230/LIPIcs.CALCO.2015.253 - , :
Finitary Corecursion for the Infinitary Lambda Calculus
CALCO 2015 (Nijmegen (NL), 24. Juni 2015 - 26. Juni 2015)
In: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 2015
DOI: 10.4230/LIPIcs.CALCO.2015.336
URL: https://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf - , , , , :
Coalgebraic Constructions of Canonical Nondeterministic Automata
In: Theoretical Computer Science 604 (2015), S. 81-101
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.03.035 - , :
From the Editors
In: Journal of Computer and System Sciences 81 (2015), S. 797--798
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2015.02.004 - , , :
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic
In: Journal of Logic and Computation (2015), S. -
ISSN: 0955-792X
DOI: 10.1093/logcom/exv043
URL: http://www8.cs.fau.de/_media/research:papers:cpl-benthem-rosen.pdf - , :
On Inconsistency and Unsatisfiability
In: International Journal of Software and Informatics 9 (2015), S. 141--152
ISSN: 1673-7288
URL: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i212 - , :
Sound and Complete Equational Reasoning over Comodels
Mathematical Foundations of Programming Semantics XXXI (Nijmegen)
In: Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015 2015
DOI: 10.1016/j.entcs.2015.12.019
URL: http://www8.cs.fau.de/_media/research:papers:comodels-compl.pdf - , , :
First Results of a Formal Analysis of the Network Time Security Specification
In: Chen L, Matsuo S (Hrsg.): Proc.~Security Standardization Research 2015 - , :
A fibrational approach to automata theory
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015
DOI: 10.4230/LIPIcs.CALCO.2015.50 - , , , , :
Visual comparison of speaker groups
16th Annual Conference of the International Speech Communication Association, INTERSPEECH 2015
URL: http://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84959117949&origin=inward
2014
- , , , , :
Generalized Eilenberg Theorem I: Local Varieties of Languages
FoSSaCS'14 (Grenoble, France, 5. April 2014 - 13. April 2014)
In: Foundations of Software Science and Computation Structures, Berlin/Heidelberg: 2014
DOI: 10.1007/978-3-642-54830-7_24
URL: http://www.stefan-milius.eu - , , , , :
On Continuous Nondeterminism and State Minimality
In: Electronic Notes in Theoretical Computer Science 308 (2014), S. 3-23
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2014.10.002
URL: http://www8.cs.fau.de/publications - , , :
Base modules for parametrized iterativity
In: Theoretical Computer Science 523 (2014), S. 56-85
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.12.019
URL: http://www.sciencedirect.com/science/article/pii/S0304397513009316 - , , , :
An Open Alternative for SMT-based Verification of SCADE Models
FMICS'14 (Florenz)
In: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), Heidelberg: 2014
URL: http://www8.cs.fau.de/publications - , , , :
How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure
The 12th International Workshop on Coalgebraic Methods in Computer Science (Grenoble, France, 5. April 2014 - 6. April 2014)
In: Proc. Coalgebraic Methods in Computer Science (CMCS'14), Berlin/Heidelberg: 2014
DOI: 10.1007/978-3-662-44124-4_4
URL: http://www8.cs.fau.de/publications - , , , , , :
Towards Ontological Support for Principle Solutions in Mechanical Engineering
8th International Conference on Formal Ontology in Information Systems (Rio de Janeiro)
In: 8th International Conference on Formal Ontology in Information Systems 2014
DOI: 10.3233/978-1-61499-438-1-427 - , , , , , :
Semantic Support for Engineering Design Processes
13th International Design Conference, DESIGN 2014 (Dubrovnik)
In: In Proc. 13th International Design Conference, DESIGN 2014 2014
URL: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84924387161&origin=inward - , , :
Towards a Coalgebraic Chomsky Hierarchy
TCS 2014 (Rom)
In: Proc. 8th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science, Heidelberg: 2014
DOI: 10.1007/978-3-662-44602-7_21
URL: http://www8.cs.fau.de/publications - , :
Coalgebraic Weak Bisimulation from Recursive Equations over Monads
ICALP 2014 (Kopenhagen, 8. Juli 2014 - 11. Juli 2014)
In: Proc. 41st International Colloquium on Automata, Languages, and Programming, Berlin/Heidelberg: 2014
DOI: 10.1007/978-3-662-43951-7_17
URL: http://www8.cs.fau.de/publications - , , , , :
COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)
7th International Joint Conference on Automated Reasoning (IJCAR) (Wien, 19. Juli 2014 - 22. Juli 2014)
In: Automated Reasoning, Berlin: 2014
DOI: 10.1007/978-3-319-08587-6_31
URL: http://www8.cs.fau.de/_media/research:papers:cool.pdf - , :
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
Advances in Modal Logic (Groningen, 5. August 2014 - 8. August 2014)
In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," 2014
Open Access: http://www.aiml.net/volumes/volume10/Gorin-Schroeder.pdf
URL: http://www8.cs.fau.de/publications - , :
Observations on formal safety analysis in practice
In: Science of Computer Programming 80A (2014), S. 150--168
ISSN: 0167-6423 - , , , :
Monodic Fragments of Probabilistic First-order Logic
ICALP 2014 (Kopenhagen, 8. Juli 2014 - 11. Juli 2014)
In: Proc. 41st International Colloquium on Automata, Languages, and Programming, Berlin/Heidelberg: 2014
DOI: 10.1007/978-3-662-43951-7_22
URL: http://www.informatik.uni-bremen.de/tdki/research/papers/2014/JLGS-ICALP14.pdf - :
Constructive modalities with provability smack
In: Guram Bezhanishvili (Hrsg.): Leo Esakia on duality in modal and intuitionistic logics, Berlin/Heidelberg: Springer, 2014, S. 179-208 (Outstanding Contributions to Logic, Bd.4)
ISBN: 978-94-017-8859-5
DOI: 10.1007/978-94-017-8860-1_8
URL: https://link.springer.com/chapter/10.1007/978-94-017-8860-1_8 - , , :
Relational Lattices
RAMiCS 2014 (Marienstatt, 28. April 2014 - 1. Mai 2018)
In: 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014; Marienstatt; Germany; 28 April 2014 through 1 May 2014 2014
DOI: 10.1007/978-3-319-06251-8_20 - , , :
Corecursive Algebras, Corecursive Monads and Bloom Monads
In: Logical Methods in Computer Science 10 (2014), S. 51
ISSN: 1860-5974
URL: http://www8.cs.fau.de/publications - , , , , :
Canonical Nondeterministic Automata
12th International Workshop on Coalgebraic Methods in Computer Science (Grenoble, France, 5. April 2014 - 6. April 2014)
In: Coalgebraic Methods in Computer Science, Heidelberg: 2014
DOI: 10.1007/978-3-662-44124-4
URL: http://www8.cs.fau.de/publications
2013
- , , , :
Well-pointed Coalgebras
In: Logical Methods in Computer Science 9 (2013), S. 51
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:2)2013
URL: http://www.lmcs-online.org/ojs/viewarticle.php?id=1220&layout=abstract - , , :
How Iterative Reflections of Monads are Constructed
In: Information and Computation 225 (2013), S. 83--118
ISSN: 0890-5401 - , , :
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
In: ACM Transactions on Computational Logic 14 (2013), S. 1-52
ISSN: 1529-3785
DOI: 10.1145/2422085.2422092 - , , , :
Exploring the Boundaries of Monad Tensorability on Set
In: Logical Methods in Computer Science 9 (2013), S. 1-18
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:22)2013 - :
Trace Semantics via Generic Observations
5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Warsaw, 3. September 2013 - 6. September 2013)
In: Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-40206-7_13 - , :
A coinductive calculus for asynchronous side-effecting processes
In: Information and Computation 231 (2013), S. 204-232
ISSN: 0890-5401
DOI: 10.1016/j.ic.2013.08.012 - , :
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013 (New Orleans, LA, 25. Juni 2013 - 28. Juni 2013)
In: Proc. 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, Los Alamitos: 2013
DOI: 10.1109/LICS.2013.33 - , :
Simulations and Bisimulations For Coalgebraic Modal Logics
5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Warsaw, 3. September 2013 - 6. September 2013)
In: 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Berlin: 2013
DOI: 10.1007/978-3-642-40206-7_19
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-40206-7_19 - , , :
Coalgebraic Announcement Logics
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 (Riga, 8. Juli 2013 - 12. Juli 2013)
In: Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II, Berlin: 2013
DOI: 10.1007/978-3-642-39212-2_12 - , , :
Reasoning with Bounded Self-reference Using Logical Interpreters
26th International Workshop on Description Logics, DL 2013 (Ulm, 23. Juli 2013 - 26. Juli 2013)
In: Proc. 26th International Workshop on Description Logics, DL 2013, Aachen: 2013
Open Access: http://ceur-ws.org/Vol-1014/paper_75.pdf - , (Hrsg.):
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings)
2013
(Lecture Notes Comput.~Sci., Bd. 8089) - , :
Preface to Proceedings of CALCO 2013
5th International Conference, CALCO 2013 (Warschau)
In: Algebra and Coalgebra in Computer Science,, Berlin/Heidelberg: 2013
URL: https://www8.cs.fau.de/~milius/publications/papers.html - , , , :
Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds
In: Information Fusion 14 (2013), S. 57-77
ISSN: 1566-2535
DOI: 10.1016/j.inffus.2011.08.003 - , , :
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing, 3. August 2013 - 9. August 2013)
In: Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Palo Alto: 2013
Open Access: http://ijcai.org/Proceedings/13/Papers/147.pdf - , , :
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011 (Kutaisi, 26. September 2011 - 30. September 2011)
In: Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-36976-6_16 - , , , :
Rational Operational Models
In: Proc. of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX, Berlin München: 2013
DOI: 10.1016/j.entcs.2013.09.017
URL: https://www8.cs.fau.de/~milius/publications/papers.html - , :
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
In: Proc. Fixed Points in Computer Science, Cornell: 2013
DOI: 10.4204/EPTCS.126.6
URL: https://www8.cs.fau.de/~milius/publications/files/ml_fics13.pdf - , , :
Abstract GSOS rules and a Modular Treatment of Recursive Definitions
In: Logical Methods in Computer Science 9 (2013), S. 1-52
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:28)2013
URL: https://www8.cs.fau.de/~milius/publications/papers.html - , , :
Preface
In: Electronic Communications of the EASST 62 (2013)
ISSN: 1863-2122
Open Access: http://journal.ub.tu-berlin.de/eceasst/article/view/874/860
URL: http://journal.ub.tu-berlin.de/eceasst/article/view/874/860 - , :
A characterisation of NL/poly via nondeterministic finite automata
15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 (London, ON)
DOI: 10.1007/978-3-642-39310-5_19 - :
Preface to CALCO-Tools
5th International Conference, CALCO 2013 (Warschau)
In: Algebra and Coalgebra in Computer Science, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-40206-7
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-40206-7_23
2012
- , , , , , :
A Coalgebraic Perspective on Minimization and Determinization
15th International Conference, FOSSACS 2012 (Tallin, Estonia, 24. März 2012 - 1. April 2012)
In: Foundations of Software Science and Computational Structures, Berlin Heidelberg: 2012
DOI: 10.1007/978-3-642-28729-9_4
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-28729-9_4 - , , , :
Coproducts of Monads on Set
LICS 2012 (Dubrovnik, 25. Juni 2012 - 28. Juni 2012)
In: Proc. 27th Annual Symposium on Logic in Computer Science (LICS12), Dubrovnik: 2012
DOI: 10.1109/LICS.2012.16 - , , :
On Finitary Functors and Their Presentations
CMCS 2012 (Tallin, Estonia, 31. März 2012 - 1. April 2012)
In: Coalgebraic Methods in Computer Science, Berlin Heidelberg: 2012
DOI: 10.1007/978-3-642-32784-1_4
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-32784-1_4 - , , , :
Wellpointed coalgebras
FoSSaCS 2012 (Tallin, Estonia)
In: Proc. Foundations of Software Science and Computation Structures (FoSSaCS), Berlin Heidelberg: 2012 - , , , :
Well-Pointed Coalgebras (Extended Abstract)
15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 (Tallinn, Estonia, 24. März 2012 - 1. April 2012)
In: Foundations of Software Science and Computational Structures, Berlin/Heidelberg: 2012
DOI: 10.1007/978-3-642-28729-9_6 - , , :
On the specification of operations on the rational behaviour of systems
EXPRESS/SOS 2012 (Newcastle upon Tyne)
In: Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS12) 2012
DOI: 10.4204/EPTCS.89.2 - , , , , :
A proof theoretic interpretation of model theoretic hiding
20th International Workshop on Algebraic Development Techniques, WADT 2010 (Etelsen)
DOI: 10.1007/978-3-642-28412-0_9 - , , , , , :
Towards logical frameworks in the heterogeneous tool set hets
20th International Workshop on Algebraic Development Techniques, WADT 2010 (Etelsen)
DOI: 10.1007/978-3-642-28412-0_10 - , :
Extending ALCQ With Bounded Self-Reference
Advances in Modal Logic 2012 (Kopenhagen)
In: Advances in Modal Logic, London: 2012
Open Access: http://www.aiml.net/volumes/volume9/Gorin-Schroeder.pdf - , :
Narcissists Are Easy, Stepmothers Are Hard
15th International Conference on Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures, FOSSACS 2012 (Tallinn, 24. März 2012 - 1. April 2012)
In: Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures, Berlin: 2012
DOI: 10.1007/978-3-642-28729-9_16 - , , , , , , , :
A framework for formal verification of systems of synchronous components
MBEES 2012 (Dagstuhl, 6. Februar 2012 - 8. Februar 2012)
In: Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES12), München: 2012 - , , :
On the Formal Verification of Systems of Synchronous Software Components
31st International Conference, SAFECOMP 2012 (Magdeburg, 25. September 2012 - 28. September 2012)
In: Computer Safety, Reliability, and Security, Berlin Heidelberg: 2012
DOI: 10.1007/978-3-642-33678-2_25
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-33678-2_25 - , , , :
Coalgebraic Predicate Logic
39th International Colloquium on Automata, Languages, and Programming , ICALP 2012 (University of Warwick, 9. Juli 2012 - 13. Juli 2012)
In: Automata, Languages, and Programming, Berlin: 2012
DOI: 10.1007/978-3-642-31585-5_29
URL: http://link.springer.com/chapter/10.1007/978-3-642-31585-5_29 - , (Hrsg.):
Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012)
Berlin: 2012
(Lecture Notes in Computer Science, Bd. 7399)
ISBN: 9783642327834
DOI: 10.1007/978-3-642-32784-1
URL: http://link.springer.com/book/10.1007%2F978-3-642-32784-1
2011
- , , , , :
Project abstract: Logic atlas and integrator (LATIN)
18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011 (Bertinoro)
DOI: 10.1007/978-3-642-22673-1_24
2009
- Kohlhase M., Lemburg J., Schröder L., Schulz E.:
Formal management of CAD/CAM processes
2nd World Congress on Formal Methods, FM 2009 (Eindhoven)
DOI: 10.1007/978-3-642-05089-3_15
Warning: this comment is included in the final HTML code and is only hidden via the CSS block below. Documentation on the above cris-parameters: https://www.wp.rrze.fau.de/plugins/portale/fau-cris/ The old way of including the chair publications was by writing: SQUAREBRACKET xyz-ips snippet="Bibtexbrowser" SQUAREBRACKET