bibliographer - Laurent Van Begin

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Petri Games are Monotonic but Difficult to Decide Jean-François Raskin Mathias Samuelides Laurent Van Begin [github]

Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS Gilles Geeraerts Jean-François Raskin Laurent Van Begin [github]

Expand, enlarge and check... made efficient Gilles Geeraerts Jean-François Raskin Laurent Van Begin [github]

On the Qualitative Analysis of Conformon P Systems Parosh Abdulla Giorgio Delzanno Laurent Van Begin [github]

Attacking Symbolic State Explosion Giorgio Delzanno Jean-François Raskin Laurent Van Begin [github]

A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations Parosh Abdulla Giorgio Delzanno Laurent Van Begin [github]

Comparing the Expressive Power of Well-Structured Transition Systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin [github]

A classification of the expressive power of well-structured transition systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin [github]

Library Size: 13G (8 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]