default search action

combined dblp search
author search
venue search
publication search

ask others

Loïg Jezequel

> Home > Persons

Person information

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?

2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatainCDJR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatainCDJR22
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux:
Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput. 283: 104674 (2022)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KordonHHJP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KordonHHJP21
Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet:
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. 23(6): 931-952 (2021)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JezequelLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JezequelLS21
Loïg Jezequel, Didier Lime, Bastien Sérée:
A Lazy Query Scheme for Reachability Analysis in Petri Nets. Petri Nets 2021: 360-378
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/SereeJL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/SereeJL21
Bastien Sérée, Loïg Jezequel, Didier Lime:
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. LATA 2021: 279-290
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/JezequelMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/JezequelMS20
Loïg Jezequel, Agnes Madalinski, Stefan Schwoon:
Distributed computation of vector clocks in Petri net unfoldings for test selection. Discret. Event Dyn. Syst. 30(3): 441-464 (2020)

2010 – 2019

see FAQ

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

2019
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AmparoreBCDGHHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/ChatainCDJR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/ChatainCDJR18
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux:
Pomsets and Unfolding of Reset Petri Nets. LATA 2018: 258-270
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/JezequelL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/JezequelL17
Loïg Jezequel, Didier Lime:
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. FORMATS 2017: 247-263
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJRH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJRH16
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard:
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11: 262-273 (2016)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/JezequelL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JezequelL16
Loïg Jezequel, Didier Lime:
Lazy Reachability Analysis in Distributed Systems. CONCUR 2016: 17:1-17:14
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrihayeDJMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrihayeDJMS16
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/JezequelF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JezequelF15
Loïg Jezequel, Eric Fabre:
Factored Cost-Optimal Planning Using Message Passing Algorithms. Fundam. Informaticae 139(4): 369-401 (2015)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/JezequelFK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/JezequelFK15
Loïg Jezequel, Eric Fabre, Victor Khomenko:
Factored Planning: From Automata to Petri Nets. ACM Trans. Embed. Comput. Syst. 14(2): 26:1-26:25 (2015)
2014
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ChatainHJPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ChatainHJPS14
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon:
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB 2014: 129-142
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JezequelE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JezequelE14
Loïg Jezequel, Javier Esparza:
Message-Passing Algorithms for the Verification of Distributed Protocols. VMCAI 2014: 222-241
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/JezequelFK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/JezequelFK13
Loïg Jezequel, Eric Fabre, Victor Khomenko:
Factored Planning: From Automata to Petri Nets. ACSD 2013: 130-139
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/EsparzaJS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/EsparzaJS13
Javier Esparza, Loïg Jezequel, Stefan Schwoon:
Computation of Summaries Using Net Unfoldings. FSTTCS 2013: 225-236
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EsparzaJS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaJS13
Javier Esparza, Loïg Jezequel, Stefan Schwoon:
Computation of Summaries Using Net Unfoldings. CoRR abs/1310.2143 (2013)
2012
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Jezequel12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Jezequel12
Loïg Jezequel:
Distributed cost-optimal planning. (Planification optimale distribuée). École normale supérieure de Cachan, France, 2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/JezequelF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/JezequelF12
Loïg Jezequel, Eric Fabre:
A#: A distributed version of A* for factored planning. CDC 2012: 7377-7382
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/JezequelF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/JezequelF12
Loïg Jezequel, Eric Fabre:
Turbo planning. WODES 2012: 301-306
2010
[c3]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/FabreJHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/FabreJHT10
Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux:
Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS 2010: 65-72
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/FabreJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/FabreJ10
Eric Fabre, Loïg Jezequel:
On the construction of probabilistic diagnosers. WODES 2010: 229-234

2000 – 2009

see FAQ

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

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FabreJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FabreJ09
Eric Fabre, Loïg Jezequel:
Distributed optimal planning: an approach by weighted automata calculus. CDC 2009: 211-216

Coauthor Index

see FAQ

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.