default search action

combined dblp search
author search
venue search
publication search

ask others

Pierre Bouvier

> Home > Persons

Person information

affiliation: Univ. Grenoble Alpes, CNRS, Grenoble INP, INRIA, LIG, Grenoble, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouvierG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouvierG24
Pierre Bouvier, Hubert Garavel:
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets 2024: 379-401
2023
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - phd/hal/Bouvier23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Bouvier23a
Pierre Bouvier:
Systèmes concurrents hiérarchiques : équivalence, analyse et structuration. (Hierarchical concurrent systems : equivalence, analysis and structuring). Grenoble Alpes University, France, 2023
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AmatBG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AmatBG23
Nicolas Amat, Pierre Bouvier, Hubert Garavel:
A Toolchain to Compute Concurrent Places of Petri Nets. Trans. Petri Nets Other Model. Concurr. 17: 1-26 (2023)
2021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouvierG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouvierG21
Pierre Bouvier, Hubert Garavel:
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Petri Nets 2021: 339-359
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-06336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-06336
Pierre Bouvier, Hubert Garavel:
The VLSAT-2 Benchmark Suite. CoRR abs/2110.06336 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-03675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-03675
Pierre Bouvier:
The VLSAT-3 Benchmark Suite. CoRR abs/2112.03675 (2021)
2020
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouvierGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouvierGL20
Pierre Bouvier, Hubert Garavel, Hernán Ponce de León:
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets 2020: 3-23
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-11049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-11049
Pierre Bouvier, Hubert Garavel:
The VLSAT-1 Benchmark Suite. CoRR abs/2011.11049 (2020)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.