Aurore Alcolei

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The exponential logic of sequentialization.
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).
PhD thesis, 2019

Resource-Tracking Concurrent Games.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
The True Concurrency of Herbrand's Theorem.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks.
Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015


  Loading...