Harsh Beohar

zbMath Openbeohar.harshMaRDI QIDQ2104471

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
On Kleisli liftings and decorated trace semantics	2026-04-02	Paper
Graded semantics and graded logics for Eilenberg-Moore coalgebras	2025-01-20	Paper
Proving behavioural apartness	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	2022-12-07	Paper
Bisimulation maps in presheaf categories	2022-04-29	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?)	2021-02-24	Paper
A theory of desynchronisable closed loop system	2021-02-24	Paper
Desynchronizability of (partial) synchronous closed loop systems	2019-02-08	Paper
On path-based coalgebras and weak notions of bisimulation	2018-08-13	Paper
scientific article; zbMATH DE number 6864542 (Why is no real title available?)	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