Design of asynchronous supervisors - Harsh Beohar; Pieter J. L. Cuijpers; Jos C. M. Baeten (CoRR, 2009)

The Hierarchical Compositional Interchange Format. - Damian Nadales Agut; Bert van Beek; Harsh Beohar; Pieter J. L. Cuijpers; Jasper Fonteijn (FMCO, 2010)

Hierarchical states in the Compositional Interchange Format - Harsh Beohar; D. E. Nadales Agut; Dirk A. van Beek; Pieter J. L. Cuijpers (SOS, 2010)

A theory of desynchronisable closed loop system - Harsh Beohar; Pieter J. L. Cuijpers (ICE, 2010)

Desynchronizability of (Partial) Synchronous Closed Loop Systems. - Harsh Beohar; Pieter J. L. Cuijpers (Sci. Ann. Comput. Sci., 2011)

Avoiding Diamonds in Desynchronization. - Harsh Beohar; Pieter J. L. Cuijpers (FACS, 2012)

Input-output conformance testing based on featured transition systems. - Harsh Beohar; Mohammad Reza Mousavi 001 (SAC, 2014)

Spinal Test Suites for Software Product Lines. - Harsh Beohar; Mohammad Reza Mousavi 001 (MBT, 2014)

Avoiding diamonds in desynchronisation. - Harsh Beohar; Pieter J. L. Cuijpers (Sci. Comput. Program., 2014)

A Pre-congruence Format for XY-simulation. - Harsh Beohar; Mohammad Reza Mousavi 001 (FSEN, 2015)

Delta-Oriented FSM-Based Testing. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (ICFEM, 2015)

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. - Harsh Beohar; Pieter J. L. Cuijpers (MFPS, 2015)

A coalgebraic treatment of conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001 (CoRR, 2016)

Input-output conformance testing for software product lines. - Harsh Beohar; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2016)

Basic behavioral models for software product lines: Expressiveness and testing pre-orders. - Harsh Beohar; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2016)

On Path-Based Coalgebras and Weak Notions of Bisimulation. - Harsh Beohar; Sebastian Küpper (CALCO, 2017)

A coalgebraic treatment of conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001; Thorsten Wißmann (Log. Methods Comput. Sci., 2018)

Basic behavioral models for software product lines: Revisited. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2018)

Bisimulation Maps in Presheaf Categories. - Harsh Beohar; Sebastian Küpper (MFPS, 2019)

Conditional transition systems with upgrades. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Alexandra Silva 001 (Sci. Comput. Program., 2020)

Coalgebraic modal logic and games for coalgebras with side effects. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CoRR, 2021)

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CMCS, 2022)

Graded Monads and Behavioural Equivalence Games. - Chase Ford; Stefan Milius; Lutz Schröder; Harsh Beohar; Barbara König 001 (LICS, 2022)

Forward and Backward Steps in a Fibration. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CALCO, 2023)

Hennessy-Milner Theorems via Galois Connections. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CoRR, 2023)

Relating Apartness and Branching Bisimulation Games. - Jurriaan Rot; Sebastian Junges; Harsh Beohar (Logics and Type Systems in Theory and Practice, 2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing (CMCS, 2024)

Proving Behavioural Apartness. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CMCS, 2024)

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing; Jonas Forster; Lutz Schröder; Paul Wild (STACS, 2024)

On Kleisli liftings and decorated trace semantics. - Daniel Luckhardt; Harsh Beohar; Sebastian Küpper (CoRR, 2024)

Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. - Daniel Luckhardt; Harsh Beohar; Clemens Kupke (CALCO, 2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances. - Ruben Turkenburg; Harsh Beohar; Franck van Breugel; Clemens Kupke; Jurriaan Rot (CoRR, 2025)