We stand with Ukraine  

Pierre Bouvier

Orcid: 0000-0001-6829-5886

Affiliations:
  • Univ. Grenoble Alpes, CNRS, Grenoble INP, INRIA, LIG, Grenoble, France


According to our database1, Pierre Bouvier authored at least 7 papers between 2020 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Systèmes concurrents hiérarchiques : équivalence, analyse et structuration. (Hierarchical concurrent systems : equivalence, analysis and structuring).
[BibTeX]
[DOI]
Pierre Bouvier
PhD thesis, 2023

A Toolchain to Compute Concurrent Places of Petri Nets.
[BibTeX]
[DOI]
Nicolas Amat
,
Pierre Bouvier
,
Hubert Garavel
Trans. Petri Nets Other Model. Concurr., 2023

2021
The VLSAT-3 Benchmark Suite.
[BibTeX]
[DOI]
Pierre Bouvier
CoRR, 2021

The VLSAT-2 Benchmark Suite.
[BibTeX]
[DOI]
Pierre Bouvier
,
Hubert Garavel
CoRR, 2021

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.
[BibTeX]
[DOI]
Pierre Bouvier
,
Hubert Garavel
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020
The VLSAT-1 Benchmark Suite.
[BibTeX]
[DOI]
Pierre Bouvier
,
Hubert Garavel
CoRR, 2020

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.
[BibTeX]
[DOI]
Pierre Bouvier
,
Hubert Garavel
,
Hernán Ponce de León
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020


  Loading...