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 4 papers between 2021 and 2022.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

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

[BibT_eX]

[DOI]

Amrita Suresh

PhD thesis, 2022

Bounded Reachability Problems are Decidable in FIFO Machines.

[BibT_eX]

[DOI]

Benedikt Bollig

Alain Finkel

Amrita Suresh

Log. Methods Comput. Sci., 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

Amrita Suresh

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...