Harsh Beohar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2025 | CALCO | Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. | Daniel Luckhardt, Harsh Beohar, Clemens Kupke |
| 2025 | CSL | Quantitative Graded Semantics and Spectra of Behavioural Metrics. | Jonas Forster, Lutz Schrder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |
| 2024 | STACS | Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. | Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing, Jonas Forster, Lutz Schrder, Paul Wild |
| 2023 | CALCO | Forward and Backward Steps in a Fibration. | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
| 2023 | CSL | Hennessy-Milner Theorems via Galois Connections. | Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |
| 2022 | LICS | Graded Monads and Behavioural Equivalence Games. | Chase Ford, Stefan Milius, Lutz Schrder, Harsh Beohar, Barbara Knig |
| 2017 | CALCO | On Path-Based Coalgebras and Weak Notions of Bisimulation. | Harsh Beohar, Sebastian Kpper |
| 2017 | TASE | Conditional transition systems with upgrades. | Harsh Beohar, Barbara Knig, Sebastian Kpper, Alexandra Silva |
| 2015 | ICFEM | Delta-Oriented FSM-Based Testing. | Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi |
| 2014 | SAC | Input-output conformance testing based on featured transition systems. | Harsh Beohar, Mohammad Reza Mousavi |