Harsh Beohar

Available identifiers

zbMath Open beohar.harshMaRDI QIDQ2104471

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4963900	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4963917	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4621144	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4580201	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4637688	2018-04-25	Paper
Open maps in concrete categories and branching bisimulation for prefix orders	2016-12-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harsh Beohar