We stand with Ukraine  

Laetitia Laversa

Orcid: 0000-0003-3775-6496

According to our database1, Laetitia Laversa authored at least 8 papers between 2019 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Guessing the Buffer Bound for k-Synchronizability.
[BibTeX]
[DOI]
Cinzia Di Giusto
,
Laetitia Laversa
,
Étienne Lozes
Int. J. Found. Comput. Sci., December, 2023

A Partial Order View of Message-Passing Communication Models.
[BibTeX]
[DOI]
Cinzia Di Giusto
,
Davide Ferré
,
Laetitia Laversa
,
Étienne Lozes
Proc. ACM Program. Lang., January, 2023

2022
A non-sequential hierarchy of message-passing models.
[BibTeX]
[DOI]
Cinzia Di Giusto
,
Davide Ferré
,
Laetitia Laversa
,
Étienne Lozes
CoRR, 2022

2021
La synchronisabilité pour les systèmes distribués. (Synchronizability for distributed systems).
[BibTeX]
[DOI]
Laetitia Laversa
PhD thesis, 2021

A Unifying Framework for Deciding Synchronizability.
[BibTeX]
[DOI]
Benedikt Bollig
,
Cinzia Di Giusto
,
Alain Finkel
,
Laetitia Laversa
,
Étienne Lozes
,
Amrita Suresh
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020
Spiking neural networks modelled as timed automata: with parameter learning.
[BibTeX]
[DOI]
Elisabetta De Maria
,
Cinzia Di Giusto
,
Laetitia Laversa
Nat. Comput., 2020

On the k-synchronizability of Systems.
[BibTeX]
[DOI]
Cinzia Di Giusto
,
Laetitia Laversa
,
Étienne Lozes
Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019
On the k-synchronizability for mailbox systems.
[BibTeX]
[DOI]
Cinzia Di Giusto
,
Laetitia Laversa
,
Étienne Lozes
CoRR, 2019


  Loading...