Items where authors include "Beohar, H."

Article

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2020) Conditional transition systems with upgrades. Science of Computer Programming, 186. 102320. ISSN 0167-6423

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (2 more authors) (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14 (1). ISSN 1860-5974

Beohar, H. orcid.org/0000-0001-5256-1334 and Cuijpers, P.J.L. (2014) Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A. pp. 45-69. ISSN 0167-6423

Proceedings Paper

Turkenburg, R. orcid.org/0000-0001-7336-9405, Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. orcid.org/0000-0002-0502-391X et al. (1 more author) (2024) Proving behavioural apartness. In: König, B. and Urbat, H., (eds.) Coalgebraic Methods in Computer Science. 17th IFIP WG 1.3 International Workshop, CMCS 2024, 06-07 Apr 2024, Luxembourg City, Luxembourg. Lecture Notes in Computer Science, 14617 . Springer Nature Switzerland , pp. 156-173. ISBN 9783031664373

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (4 more authors) (2024) Expressive quantale-valued logics for coalgebras: an adjunction-based approach. In: Beyersdorff, O., Kanté, M.M., Kupferman, O. and Lokshtanov, D., (eds.) 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12-14 Mar 2024, Clermont-Ferrand, France. Leibniz International Proceedings in Informatics (LIPIcs), 289 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 10:1-10:19.

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2023) Forward and backward steps in a fibration. In: Baldan, P. and de Paiva, V., (eds.) 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 19-21 Jun 2023, Padova, Italy. Leibniz International Proceedings in Informatics (LIPIcs), 270 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 6:1-6:18.

Beohar, H. orcid.org/0000-0001-5256-1334, Gurke, S., König, B. et al. (1 more author) (2023) Hennessy-Milner theorems via Galois connections. In: Leibniz International Proceedings in Informatics, LIPIcs. 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 13-16 Feb 2023, Warsaw, Poland. Leibniz International Proceedings in Informatics, 252 . Schloss Dagstuhl -- Leibniz-Zentrum , 12:1-12:18. ISBN 978-3-95977-264-8

Ford, C., Milius, S., Schröder, L. et al. (2 more authors) (2022) Graded monads and behavioural equivalence games. In: Baier, C., (ed.) LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa, Israel. Association for Computing Machinery (ACM) . ISBN 9781450393515

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2022) Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic. In: Hansen, H.H. and Zanasi, F., (eds.) Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), 02-03 Apr 2022, Munich, Germany. Lecture Notes in Computer Science (13225). Springer Nature , pp. 1-22. ISBN 9783031107351

Beohar, H. orcid.org/0000-0001-5256-1334 and Küpper, S. (2019) Bisimulation maps in presheaf categories. In: König, B., (ed.) Electronic Notes in Theoretical Computer Science. 35th Conference on the Mathematical Foundations of Programming Semantics, 04-07 Jun 2019, London, UK. Elsevier , pp. 5-24.

Beohar, H. orcid.org/0000-0001-5256-1334 and Küpper, S. (2017) On path-based coalgebras and weak notions of bisimulation. In: Bonchi, F. and König, B., (eds.) 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 14-16 Jun 2017, Ljubljana, Slovenia. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik , 6:1-6:17. ISBN 9783959770330

Preprint

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2024) Proving behavioural apartness. [Preprint] (Submitted)