51²è¹Ý¶ù

Journal articles

• Beohar H, König B, Küpper S & Silva A (2020) . Science of Computer Programming, 186.
• Varshosaz M, Beohar H & Mousavi MR (2018) . Science of Computer Programming, 168, 171-185.
• Beohar H, König B, Küpper S, Silva A & Wißmann T (2018) . Logical Methods in Computer Science, 14(1).
• Beohar H & Mousavi MR (2016) . Journal of Logical and Algebraic Methods in Programming, 85(6), 1131-1153.
• Beohar H, Varshosaz M & Mousavi MR (2016) . Science of Computer Programming, 123, 42-60.
• Beohar H & Cuijpers PJL (2014) . Science of Computer Programming, 91, Part A, 45-69.
• Beohar H & Cuijpers P (2011) Desynchronizability of (Partial) synchronous closed loop systems. Scientific Annals of Computer Science, 21, 5-38.
• Luckhardt D, Beohar H & Küpper S () . Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of....

Book chapters

• Rot J, Junges S & Beohar H (2024) , Lecture Notes in Computer Science (pp. 203-213). Springer Nature Switzerland

Conference proceedings

• Luckhardt D, Beohar H & Kupke C (2025) . Leibniz International Proceedings in Informatics Lipics, Vol. 342
• Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B & Messing K (2025) . Leibniz International Proceedings in Informatics Lipics, Vol. 326
• Forster J, Schröder L, Wild P, Beohar H, Gurke S & Messing K (2024) (pp 114-134)
• Turkenburg R, Beohar H, Kupke C & Rot J (2024) . Coalgebraic Methods in Computer Science, Vol. 14617 (pp 156-173). Luxembourg City, Luxembourg, 6 April 2024 - 6 April 2024.
• Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L & Wild P (2024) . 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Vol. 289 (pp 10:1-10:19). Clermont-Ferrand, France, 12 March 2024 - 12 March 2024.
• Turkenburg R, Beohar H, Kupke C & Rot J (2023) . 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), Vol. 270 (pp 6:1-6:18). Padova, Italy, 19 June 2023 - 19 June 2023.
• Beohar H, Gurke S, König B & Messing K (2023) . Leibniz International Proceedings in Informatics, LIPIcs, Vol. 252 (pp 12:1-12:18). Warsaw, Poland, 13 February 2023 - 13 February 2023.
• Ford C, Milius S, Schröder L, Beohar H & König B (2022) . LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Haifa, Israel, 2 August 2022 - 2 August 2022.
• Beohar H, König B, Küpper S & Mika-Michalski C (2022) . 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(13225) (pp 1-22). Munich, Germany, 2 April 2022 - 2 April 2022.
• Beohar H & Küpper S (2019) . Electronic Notes in Theoretical Computer Science, Vol. 347 (pp 5-24). London, UK, 4 June 2019 - 4 June 2019.
• Beohar H, Konig B, Kupper S & Silva A (2017) . 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) (pp 1-8), 13 September 2017 - 15 September 2017.
• Beohar H & Küpper S (2017) . 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Vol. 72 (pp 6:1-6:17). Ljubljana, Slovenia, 14 June 2017 - 14 June 2017.
• Beohar H & Cuijpers PJL (2015) . Electronic Notes in Theoretical Computer Science, Vol. 319 (pp 51-66)
• Varshosaz M, Beohar H & Mousavi MR (2015) (pp 366-381)
• Beohar H & Mousavi MR (2015) (pp 215-229)
• Beohar H & Mousavi MR (2014) . Proceedings of the 29th Annual ACM Symposium on Applied Computing (pp 1272-1278)
• Beohar H & Cuijpers PJL (2013) (pp 36-54)
• Agut DN, van Beek B, Beohar H, Cuijpers P & Fonteijn J (2011) (pp 316-335)
• Turkenburg R, Beohar H, van Breugel F, Kupke C & Rot J () Constructing witnesses for lower bounds on behavioural distances. Leibniz International Proceedings in Informatics. Paris, France, 24 March 2026 - 24 March 2026.
• Beohar H & Mousavi MR () . Electronic Proceedings in Theoretical Computer Science, Vol. 141 (pp 44-55)
• Beohar H & Cuijpers P () . Electronic Proceedings in Theoretical Computer Science, Vol. 38 (pp 99-114)
• Beohar H, Nadales Agut DE, van Beek DA & Cuijpers PJL () . Electronic Proceedings in Theoretical Computer Science, Vol. 32 (pp 42-56)

Theses

• Beohar H (2013) Refinement of communication and states in models of embedded systems.

Other

• Beohar H, König B, Küpper S & Mika-Michalski C (2019) Coalgebraic Games in Kleisli Categories.
• Beohar H & Mousavi MR () . Electronic Proceedings in Theoretical Computer Science, 160, 47-47.

Preprints

• Tay R, Beohar H & Grellois C (2026) , arXiv.
• Moyasari A, Beohar H, Grellois C & Kupke C (2026) , arXiv.
• Turkenburg R, Beohar H, van Breugel F, Kupke C & Rot J (2025) , arXiv.
• Luckhardt D, Beohar H & Kupke C (2025) , arXiv.
• Luckhardt D, Beohar H & Küpper S (2024) , arXiv.
• Rot J, Junges S & Beohar H (2024) , arXiv.
• Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L & Wild P (2023) , arXiv.
• Forster J, Schröder L, Wild P, Beohar H, Gurke S & Messing K (2023) , arXiv.
• Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B & Messing K (2023) , arXiv.
• Beohar H, Gurke S, König B & Messing K (2022) , arXiv.
• Ford C, Beohar H, König B, Milius S & Schröder L (2022) , arXiv.
• Beohar H, König B, Küpper S & Mika-Michalski C (2021) , arXiv.
• Beohar H & Küpper S (2019) , arXiv.
• Beohar H, König B, Küpper S & Silva A (2017) , arXiv.
• Beohar H & Küpper S (2017) , arXiv.
• Beohar H, König B, Küpper S, Silva A & Wißmann T (2016) , arXiv.
• Beohar H & Mousavi MR (2014) , arXiv.
• Beohar H & Cuijpers P (2010) , arXiv.
• Beohar H, Agut DEN, van Beek DA & Cuijpers PJL (2010) , arXiv.
• Beohar H, Cuijpers P & Baeten J (2009) , arXiv.