Didier Buchs

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Fabrice Kordon

> Home > Persons > Didier Buchs

Publications

2013
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KordonLBBFHHLLMPPRRTWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013)
2012
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonLBCELLPTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)
2010
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LinardPKBC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LinardPKBC10
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron:
polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD 2010: 124-133
[c34]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acsd/BuchsKSSST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BuchsKSSST10
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371
1998
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BuchsDK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BuchsDK98
Didier Buchs, Alioune Diagne, Fabrice Kordon:
Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12

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.