Laurent Van Begin

Available identifiers

zbMath Open van-begin.laurentMaRDI QIDQ553289

List of research outcomes

Publication	Date of Publication	Type
Games for counting abstractions	2013-09-26	Paper
About \textsc{Fast} and \textsc{TReX} accelerations	2013-09-26	Paper
On the \(\omega\)-language expressive power of extended Petri nets	2013-09-25	Paper
Petri nets with non-blocking arcs are difficult to analyze	2013-09-09	Paper
Monotonic extensions of Petri nets: forward and backward search revisited	2013-08-16	Paper
A classification of the expressive power of well-structured transition systems	2011-07-27	Paper
On the verification of membrane systems with dynamic structure	2010-11-30	Paper
On the efficient computation of the minimal coverability set of Petri nets	2010-04-22	Paper
On the complexity of partial order trace model checking	2010-04-19	Paper
Boundedness undecidability for synchronized nets	2010-01-29	Paper
On the Qualitative Analysis of Conformon P Systems	2009-07-28	Paper
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations	2009-04-02	Paper
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets	2009-03-11	Paper
Testing Distributed Systems Through Symbolic Model Checking	2009-03-10	Paper
Comparing the Expressive Power of Well-Structured Transition Systems	2009-03-05	Paper
From many places to few: automatic abstraction refinement for Petri nets	2009-02-12	Paper
A Biologically Inspired Model with Fusion and Clonation of Membranes	2008-12-02	Paper
On the Efficient Computation of the Minimal Coverability Set for Petri Nets	2008-07-03	Paper
On the Dynamics of PB Systems with Volatile Membranes	2008-03-28	Paper
Well-structured languages	2007-08-17	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Computer Aided Verification	2006-01-10	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472236	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4551160	2002-09-04	Paper

Research outcomes over time

This page was built for person: Laurent Van Begin