Albin Salazar

According to our database, Albin Salazar authored at least 2 papers in 2023.

Collaborative distances:

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

2023

Faithful model reduction of discrete biological systems. (Réduction fidèle des modèles de systèmes biologiques discrets).

Albin Salazar

PhD thesis, 2023

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation.

Jérôme Feret, Albin Salazar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023