Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Arnab Sur
Observed name:
Sur, Arnab
Institution:
Chennai Mathematical Institute
Observed institution:
Chennai Mathematical Institute
ORCID:
0009-0007-5811-2864
Observed ORCID:
0009-0007-5811-2864
OpenAlex ID:
A5117716737
FAAST: Fair Asynchronous Automata Synthesis Tool
2026
·
Monmege, Benjamin
, Bérard, Béatrice
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
·
1
A Zielonka-type Construction for Connectedly Communicating Processes
2026
·
Bérard, Béatrice
, Monmege, Benjamin
, et al.
·
arXiv (Cornell University)
PDF
Synthesising Asynchronous Automata from Fair Specifications
2026
·
Béatrice Bérard
, Benjamin Monmege
, et al.
·
Lecture notes in computer science
Recognizing Numbers
2025
·
Pranshu Gaba
, Arnab Sur
·
Lecture notes in computer science
PDF
Show more works
View as search
Works count:
6
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
