Grégoire Sutre

Available identifiers

zbMath Open sutre.gregoireMaRDI QIDQ1401923

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5090970	2022-07-21	Paper
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089304	2022-07-18	Paper
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One	2020-05-27	Paper
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States	2020-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5207052	2020-01-03	Paper
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states	2019-12-18	Paper
Occam's razor applied to the Petri net coverability problem	2018-11-23	Paper
Hyper-Ackermannian bounds for pushdown vector addition systems	2018-04-23	Paper
Occam's razor applied to the Petri net coverability problem	2018-03-26	Paper
On boundedness problems for pushdown vector addition systems	2017-10-27	Paper
On the Context-Freeness Problem for Vector Addition Systems	2017-07-03	Paper
Safety Verification of Communicating One-Counter Machines	2017-01-26	Paper
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems	2015-12-17	Paper
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension	2015-11-04	Paper
Lazy abstraction	2015-03-17	Paper
Decidable Topologies for Communicating Automata with FIFO and Bag Channels	2014-09-15	Paper
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness	2013-08-12	Paper
Reachability of Communicating Timed Processes	2013-03-18	Paper
Reachability Analysis of Communicating Pushdown Systems	2012-10-22	Paper
Reachability Analysis of Communicating Pushdown Systems	2010-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q3408150	2010-02-24	Paper
Polynomial Precise Interval Analysis Revisited	2009-11-12	Paper
Accelerated Data-Flow Analysis	2009-03-03	Paper
Acceleration in Convex Data-Flow Analysis	2008-04-24	Paper
Unfolding Concurrent Well-Structured Transition Systems	2007-09-03	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3044342	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426387	2003-09-16	Paper
Well-abstracted transition systems: Application to FIFO automata.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4804923	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536629	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4536371	2002-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501546	2001-01-29	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: Grégoire Sutre