Aurore Alcolei

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Boolean Functions

Boolean Networks

Logic Programming

Top Venues

Electron. Notes Theor. Comput. Sci.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Aurore Alcolei, Luc Pellissier, Alexis Saurin
The exponential logic of sequentialization. CoRR (2023)
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
Resource-Tracking Concurrent Games. FoSSaCS (2019)
Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
The True Concurrency of Herbrand's Theorem. CSL (2018)
Aurore Alcolei, Kévin Perrot, Sylvain Sené
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks. Electron. Notes Theor. Comput. Sci. 326 (2016)
Aurore Alcolei, Kévin Perrot, Sylvain Sené
On the flora of asynchronous locally non-monotonic Boolean automata networks. CoRR (2015)