Harsh Beohar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantitative graded semantics and spectra of behavioural metrics	2026-06-09	Paper
On Kleisli liftings and decorated trace semantics	2026-04-02	Paper
Expressive quantale-valued logics for coalgebras: an adjunction-based approach	2025-11-10	Paper
Relating apartness and branching bisimulation games	2025-02-07	Paper
Proving behavioural apartness	2025-01-20	Paper
Graded semantics and graded logics for Eilenberg-Moore coalgebras	2025-01-20	Paper
Graded monads and behavioural equivalence games	2024-12-06	Paper
Forward and backward steps in a fibration	2024-11-26	Paper
Hennessy-Milner theorems via Galois connections	2024-09-25	Paper
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (available as arXiv preprint)	2022-12-07	Paper
Bisimulation maps in presheaf categories (available as arXiv preprint)	2022-04-29	Paper
A theory of desynchronisable closed loop system (available as arXiv preprint)	2021-02-24	Paper
A theory of desynchronisable closed loop system	2021-02-24	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?) (available as arXiv preprint)	2021-02-24	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?)	2021-02-24	Paper
Desynchronizability of (partial) synchronous closed loop systems	2019-02-08	Paper
On path-based coalgebras and weak notions of bisimulation (available as arXiv preprint)	2018-08-13	Paper
scientific article; zbMATH DE number 6864542 (Why is no real title available?) (available as arXiv preprint)	2018-04-25	Paper
Open maps in concrete categories and branching bisimulation for prefix orders	2016-12-16	Paper
Input-output conformance testing for software product lines Journal of Logical and Algebraic Methods in Programming	2016-11-07	Paper

Research outcomes over time

This page was built for person: Harsh Beohar