bibliographer - Rémi Bonnet

bibliographer a curated TCS bibliography

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

Analysis of Probabilistic Basic Parallel Processes Rémi Bonnet Stefan Kiefer Anthony Widjaja Lin [github]

Reachability under Contextual Locking Remi Bonnet Rohit Chadha Mahesh Viswanathan P. Madhusudan [github]

Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems Rémi Bonnet [github]

Bounded context-switching and reentrant locking Rémi Bonnet Rohit Chadha [github]

Extending the Rackoff technique to Affine nets Rémi Bonnet Alain Finkel M. Praveen [github]

Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun [github]

The reachability problem for vector addition system with one zero-test Rémi Bonnet [github]

Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]