Harsh Beohar

From MaRDI portal
Person:2104471

Available identifiers

zbMath Open beohar.harshMaRDI QIDQ2104471

List of research outcomes





PublicationDate of PublicationType
Graded semantics and graded logics for Eilenberg-Moore coalgebras2025-01-20Paper
Proving behavioural apartness2025-01-20Paper
Graded monads and behavioural equivalence games2024-12-06Paper
Forward and backward steps in a fibration2024-11-26Paper
Hennessy-Milner theorems via Galois connections2024-09-25Paper
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic2022-12-07Paper
Bisimulation maps in presheaf categories2022-04-29Paper
https://portal.mardi4nfdi.de/entity/Q49639002021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49639172021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q46211442019-02-08Paper
https://portal.mardi4nfdi.de/entity/Q45802012018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q46376882018-04-25Paper
Open maps in concrete categories and branching bisimulation for prefix orders2016-12-16Paper
Input-output conformance testing for software product lines2016-11-07Paper

Research outcomes over time

This page was built for person: Harsh Beohar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104471&oldid=6758862"
Powered by MediaWiki