Amrita Suresh

Orcid: 0000-0001-6819-9093

Affiliations:

University of Oxford, UK
ENS Paris-Saclay, Paris, France (former)

According to our database¹, Amrita Suresh authored at least 5 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Unreliability in Practical Subclasses of Communicating Systems.

[BibT_eX]

[DOI]

Amrita Suresh

Nobuko Yoshida

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2022

Formal Verification of Communicating Automata. (Vérification formelle des automates communicants).

[BibT_eX]

[DOI]

Amrita Suresh

PhD thesis, 2022

Branch-Well-Structured Transition Systems and Extensions.

[BibT_eX]

[DOI]

Benedikt Bollig

Alain Finkel

Amrita Suresh

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

A Unifying Framework for Deciding Synchronizability.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Bounded Reachability Problems Are Decidable in FIFO Machines.

[BibT_eX]

[DOI]

Benedikt Bollig

Alain Finkel

Amrita Suresh

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Amrita Suresh

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...