• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 29 matches

• 2011
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
  A classification of the expressive power of well-structured transition systems. Inf. Comput. 209(3): 248-279 (2011)
• 2010
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  On the Efficient Computation of the Minimal Coverability Set of Petri Nets. Int. J. Found. Comput. Sci. 21(2): 135-165 (2010)
• 
  Giorgio Delzanno, Laurent Van Begin:
  On the verification of membrane systems with dynamic structure. Nat. Comput. 9(4): 795-818 (2010)
• 2009
• 
  Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Tech. Sci. Informatiques 28(9): 1107-1142 (2009)
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
  A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA 2009: 71-82
• 2008
• 
  Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Fundam. Informaticae 88(3): 275-305 (2008)
• 
  Thierry Massart, Cédric Meuter, Laurent Van Begin:
  On the complexity of partial order trace model checking. Inf. Process. Lett. 106(3): 120-126 (2008)
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
  On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94
• 
  Giorgio Delzanno, Laurent Van Begin:
  A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82
• 2007
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Well-structured languages. Acta Informatica 44(3-4): 249-288 (2007)
• 
  Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. ICATPN 2007: 124-143
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  On the Efficient Computation of the Minimal Coverability Set for Petri Nets. ATVA 2007: 98-113
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
  Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114
• 
  Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin:
  Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279
• 
  Giorgio Delzanno, Laurent Van Begin:
  On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256
• 2006
• 
  Raymond R. Devillers, Laurent Van Begin:
  Boundedness undecidability for synchronized nets. Inf. Process. Lett. 99(5): 208-214 (2006)
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. J. Comput. Syst. Sci. 72(1): 180-203 (2006)
• 
  Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  On the omega-language expressive power of extended Petri nets. Theor. Comput. Sci. 356(3): 374-386 (2006)
• 
  Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
  A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. VMCAI 2006: 49-64
• 2005
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Expand, Enlarge and Check... Made Efficient. CAV 2005: 394-407
• 2004
• 
  Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
  Covering sharing trees: a compact data structure for parameterized verification. Int. J. Softw. Tools Technol. Transf. 5(2-3): 268-297 (2004)
• 
  Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. FSTTCS 2004: 287-298
• 
  Christophe Darlot, Alain Finkel, Laurent Van Begin:
  About Fast and TReX Accelerations. AVoCS 2004: 87-103
• 
  Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  On the omega-language Expressive Power of Extended Petri Nets. EXPRESS 2004: 87-101
• 
  Jean-François Raskin, Mathias Samuelides, Laurent Van Begin:
  Games for Counting Abstractions. AVoCS 2004: 69-85
• 2003
• 
  Jean-François Raskin, Laurent Van Begin:
  Petri Nets with Non-blocking Arcs are Difficult to Analyze. INFINITY 2003: 35-55
• 2002
• 
  Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
  Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
• 
  Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin:
  Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. INFINITY 2002: 85-106
• 2001
• 
  Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
  Attacking Symbolic State Explosion. CAV 2001: 298-310