Aurore Alcolei

According to our database, Aurore Alcolei authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The exponential logic of sequentialization.

Aurore Alcolei, Luc Pellissier, Alexis Saurin

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2019

Enriched concurrent games : witnesses for proofs and resource analysis. (Jeux concurrents enrichis : témoins pour les preuves et les ressources).

Aurore Alcolei

PhD thesis, 2019

Resource-Tracking Concurrent Games.

Aurore Alcolei, Pierre Clairambault, Olivier Laurent

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

The True Concurrency of Herbrand's Theorem.

Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015

On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks.

Aurore Alcolei, Kévin Perrot, Sylvain Sené

Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015