Amrita Suresh

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Practical Reasoning

Solving Problems

Top Venues

Log. Methods Comput. Sci.

Publications

Benedikt Bollig, Alain Finkel, Amrita Suresh
Branch-Well-Structured Transition Systems and Extensions. FORTE (2022)
Benedikt Bollig, Alain Finkel, Amrita Suresh
Branch-Well-Structured Transition Systems and Extensions. CoRR (2022)
Benedikt Bollig, Alain Finkel, Amrita Suresh
Bounded Reachability Problems are Decidable in FIFO Machines. Log. Methods Comput. Sci. 18 (1) (2022)
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
A Unifying Framework for Deciding Synchronizability. CONCUR (2021)
Benedikt Bollig, Alain Finkel, Amrita Suresh
Bounded Reachability Problems are Decidable in FIFO Machines. CoRR (2021)
Benedikt Bollig, Alain Finkel, Amrita Suresh
Bounded Reachability Problems Are Decidable in FIFO Machines. CONCUR (2020)