Rémi Bonnet

Available identifiers

zbMath Open bonnet.remiMaRDI QIDQ1951596

List of research outcomes

Publication	Date of Publication	Type
Extending the Rackoff technique to Affine nets	2017-01-26	Paper
Analysis of Probabilistic Basic Parallel Processes	2014-04-16	Paper
Reachability under Contextual Locking	2013-09-26	Paper
Ordinal theory for expressiveness of well-structured transition systems	2013-06-06	Paper
Bounded Context-Switching and Reentrant Locking	2013-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q2908849	2012-08-29	Paper
Model Checking Vector Addition Systems with one zero-test	2012-07-03	Paper
Decidability of LTL for Vector Addition Systems with One Zero-Test	2011-10-07	Paper
The Reachability Problem for Vector Addition System with One Zero-Test	2011-08-17	Paper
Ordinal Theory for Expressiveness of Well Structured Transition Systems	2011-05-19	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: Rémi Bonnet