Browse by Journal or other publication

2024

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2024) Sum and tensor of quantitative effects. Logical Methods in Computer Science, 20 (4). 9:1-9:62. 9. ISSN 1860-5974

2023

De Visme, Marc and Winskel, Glynn (2023) Causal unfoldings and disjunctive causes. Logical Methods in Computer Science, 19 (2). 4:1-4:30. ISSN 1860-5974

2022

Acclavio, Matteo and Horne, Ross and Straßburger, Lutz (2022) An analytic propositional proof system on graphs. Logical Methods in Computer Science, 18 (4). 1:1-1:80. ISSN 1860-5974

2021

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen (2021) A characterisation of open bisimilarity using an intuitionistic modal logic. Logical Methods in Computer Science, 17 (3). 2:1-2:40. ISSN 1860-5974

Kupke, Clemens and Rot, Jurriaan (2021) Expressive logics for coinductive predicates. Logical Methods in Computer Science. ISSN 1860-5974 (In Press)

Horne, Ross and Mauw, Sjouke (2021) Discovering ePassport vulnerabilities using bisimilarity. Logical Methods in Computer Science, 17 (2). 24. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu and Tang, Qiyi and van Breugel, Franck (2021) Computing probabilistic bisimilarity distances for probabilistic automata. Logical Methods in Computer Science, 17 (1). 9:1-9:36. 9. ISSN 1860-5974

2020

Furber, Robert and Mardare, Radu and Mio, Matteo (2020) Probabilistic logics based on Riesz spaces. Logical Methods in Computer Science, 16 (1). ISSN 1860-5974

2018

Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard (2018) Reasoning about bounds in weighted transition systems. Logical Methods in Computer Science, 14 (4). 19. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) A complete quantitative deduction system for the bisimilarity distance on Markov chains. Logical Methods in Computer Science, 14 (4). 15. ISSN 1860-5974

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2018) Free complete Wasserstein algebras. Logical Methods in Computer Science, 14 (3). 19. ISSN 1860-5974

2017

Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn (2017) Games and strategies as event structures. Logical Methods in Computer Science, 13 (3). 35. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2017) On-the-fly computation of bisimilarity distances. Logical Methods in Computer Science, 13 (2). pp. 1-25. 13. ISSN 1860-5974

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan (2017) Stream differential equations : specification formats and solution methods. Logical Methods in Computer Science, 13 (1). pp. 1-52. ISSN 1860-5974

2015

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). 6. ISSN 1860-5974

2012

Kupke, Clemens and Kurz, Alexander and Venema, Yde (2012) Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8 (3). 2. ISSN 1860-5974

Ghani, Neil and Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). 12. ISSN 1860-5974

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). 9. ISSN 1860-5974

2011

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). 3. ISSN 1860-5974

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2). 17.

2009

Hancock, Peter and Pattinson, Dirk and Ghani, Neil (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3). pp. 1-17. 9.

Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric (2009) Neighbourhood structures : bisimilarity and basic model theory. Logical Methods in Computer Science, 5 (2). 2. ISSN 1860-5974

2008

Kupke, Clemens and Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). 10. ISSN 1860-5974