Harsh Beohar

45 papers A* 1A 1B 9C 1Misc 2Journal 21Unranked 10
YearRankTypeTitle / Venue / Authors
2026 B conf
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CSL
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 J jnl
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CoRR
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 B conf
Expressivity of Bisimulation Pseudometrics over Analytic State Spaces.
CALCO
Daniel Luckhardt, Harsh Beohar, Clemens Kupke
2025 J jnl
Expressivity of bisimulation pseudometrics over analytic state spaces.
CoRR
Daniel Luckhardt, Harsh Beohar, Clemens Kupke
2025 B conf
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
CSL
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2024 A conf
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
STACS
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024 — conf
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CMCS
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
2024 B conf
On Kleisli liftings and decorated trace semantics.
MFPS
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
2024 — conf
Proving Behavioural Apartness.
CMCS
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 J jnl
Proving Behavioural Apartness.
CoRR
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 — conf
Relating Apartness and Branching Bisimulation Games.
Logics and Type Systems in Theory and Practice
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2024 J jnl
Relating Apartness and Branching Bisimulation Games.
CoRR
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2023 J jnl
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2023 B conf
Forward and Backward Steps in a Fibration.
CALCO
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 J jnl
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023 B conf
Hennessy-Milner Theorems via Galois Connections.
CSL
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2022 A* conf
Graded Monads and Behavioural Equivalence Games.
LICS
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
2022 J jnl
Graded Monads and Behavioural Equivalence Games.
CoRR
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
2022 J jnl
Hennessy-Milner Theorems via Galois Connections.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2022 — conf
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
CMCS
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2021 J jnl
Coalgebraic modal logic and games for coalgebras with side effects.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
2020 J jnl
Conditional transition systems with upgrades.
Sci. Comput. Program.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2019 B conf
Bisimulation Maps in Presheaf Categories.
MFPS
Harsh Beohar, Sebastian Küpper
2019 J jnl
Bisimulation maps in presheaf categories.
CoRR
Harsh Beohar, Sebastian Küpper
2018 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
Log. Methods Comput. Sci.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
2018 J jnl
Basic behavioral models for software product lines: Revisited.
Sci. Comput. Program.
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2017 J jnl
Conditional Transition Systems with Upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 Misc conf
Conditional transition systems with upgrades.
TASE
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 B conf
On Path-Based Coalgebras and Weak Notions of Bisimulation.
CALCO
Harsh Beohar, Sebastian Küpper
2017 J jnl
On path-based coalgebras and weak notions of bisimulation.
CoRR
Harsh Beohar, Sebastian Küpper
2016 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2016 J jnl
Basic behavioral models for software product lines: Expressiveness and testing pre-orders.
Sci. Comput. Program.
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 J jnl
Input-output conformance testing for software product lines.
J. Log. Algebraic Methods Program.
Harsh Beohar, Mohammad Reza Mousavi
2015 — conf
A Pre-congruence Format for XY-simulation.
FSEN
Harsh Beohar, Mohammad Reza Mousavi
2015 C conf
Delta-Oriented FSM-Based Testing.
ICFEM
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2015 B conf
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders.
MFPS
Harsh Beohar, Pieter J. L. Cuijpers
2014 J jnl
Avoiding diamonds in desynchronisation.
Sci. Comput. Program.
Harsh Beohar, Pieter J. L. Cuijpers
2014 Misc conf
Input-output conformance testing based on featured transition systems.
SAC
Harsh Beohar, Mohammad Reza Mousavi
2014 — conf
Spinal Test Suites for Software Product Lines.
MBT
Harsh Beohar, Mohammad Reza Mousavi
2012 — conf
Avoiding Diamonds in Desynchronization.
FACS
Harsh Beohar, Pieter J. L. Cuijpers
2011 J jnl
Desynchronizability of (Partial) Synchronous Closed Loop Systems.
Sci. Ann. Comput. Sci.
Harsh Beohar, Pieter J. L. Cuijpers
2010 — conf
A theory of desynchronisable closed loop system
ICE
Harsh Beohar, Pieter J. L. Cuijpers
2010 — conf
Hierarchical states in the Compositional Interchange Format
SOS
Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers
2010 — conf
The Hierarchical Compositional Interchange Format.
FMCO
Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn
2009 J jnl
Design of asynchronous supervisors
CoRR
Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten