Grégoire Sutre

From MaRDI portal
Person:1401923

Available identifiers

zbMath Open sutre.gregoireMaRDI QIDQ1401923

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50909702022-07-21Paper
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems2022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50893042022-07-18Paper
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One2020-05-27Paper
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States2020-01-24Paper
https://portal.mardi4nfdi.de/entity/Q52070522020-01-03Paper
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states2019-12-18Paper
Occam's razor applied to the Petri net coverability problem2018-11-23Paper
Hyper-Ackermannian bounds for pushdown vector addition systems2018-04-23Paper
Occam's razor applied to the Petri net coverability problem2018-03-26Paper
On boundedness problems for pushdown vector addition systems2017-10-27Paper
On the Context-Freeness Problem for Vector Addition Systems2017-07-03Paper
Safety Verification of Communicating One-Counter Machines2017-01-26Paper
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems2015-12-17Paper
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension2015-11-04Paper
Lazy abstraction2015-03-17Paper
Decidable Topologies for Communicating Automata with FIFO and Bag Channels2014-09-15Paper
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness2013-08-12Paper
Reachability of Communicating Timed Processes2013-03-18Paper
Reachability Analysis of Communicating Pushdown Systems2012-10-22Paper
Reachability Analysis of Communicating Pushdown Systems2010-04-27Paper
https://portal.mardi4nfdi.de/entity/Q34081502010-02-24Paper
Polynomial Precise Interval Analysis Revisited2009-11-12Paper
Accelerated Data-Flow Analysis2009-03-03Paper
Acceleration in Convex Data-Flow Analysis2008-04-24Paper
Unfolding Concurrent Well-Structured Transition Systems2007-09-03Paper
Automated Technology for Verification and Analysis2006-10-10Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q30443422004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44263872003-09-16Paper
Well-abstracted transition systems: Application to FIFO automata.2003-08-19Paper
https://portal.mardi4nfdi.de/entity/Q48049232003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q45366292002-12-02Paper
https://portal.mardi4nfdi.de/entity/Q45363712002-10-07Paper
https://portal.mardi4nfdi.de/entity/Q45015462001-01-29Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Grégoire Sutre