Laurent Van Begin

Available identifiers

zbMath Open van-begin.laurentMaRDI QIDQ553289

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2848416	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2847413	2013-09-09	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
https://portal.mardi4nfdi.de/entity/Q3601862	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laurent Van Begin