Lázaro Alberto Larrauri

According to our database, Lázaro Alberto Larrauri authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

Limiting probabilities of first order properties of random sparse graphs and hypergraphs.

Lázaro Alberto Larrauri, Tobias Müller, Marc Noy

Random Struct. Algorithms, 2022

2021

Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas.

Lázaro Alberto Larrauri

J. Log. Comput., 2021

Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines.

Lázaro Alberto Larrauri, Roderick Bloem

CoRR, 2021