Harsh Beohar

Identifiers

• name variant Harsh Beohar 0.60 · backfill

Papers (4)

1. Tree Automata Acceptance up to Measurable Defect cs.LO · 2026 · author #2
2. Conditional Transition Systems with Upgrades cs.SE · 2017 · author #1
3. On path-based coalgebras and weak notions of bisimulation cs.LO · 2017 · author #1
4. Design of asynchronous supervisors cs.LO · 2009 · author #1

Mentions

• 2605.27192 #2 · arxiv_oai · confidence 0.70 Harsh Beohar
• 0910.0868 #1 · backfill · confidence 0.70 Harsh Beohar

Frequent Coauthors

• Sebastian K\"upper 2 shared papers
• Alexandra Silva 1 shared papers
• Anita Moyasari 1 shared papers
• Barbara K\"onig 1 shared papers
• Charles Grellois 1 shared papers
• Clemens Kupke 1 shared papers
• Jos Baeten 1 shared papers
• Pieter Cuijpers 1 shared papers