Pierre Wolper

Available identifiers

zbMath Open wolper.pierreWikidataQ3387366 ScholiaQ3387366MaRDI QIDQ930284

List of research outcomes

Publication	Date of Publication	Type
An algorithmic approach for checking closure properties of Ω-regular languages	2023-06-28	Paper
Relative liveness and behavior abstraction (extended abstract)	2017-09-29	Paper
An effective decision procedure for linear arithmetic over the integers and reals	2017-07-12	Paper
On (Omega-)regular model checking	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2851067	2013-10-02	Paper
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems	2013-08-05	Paper
Computer Aided Verification	2010-04-20	Paper
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION	2009-08-21	Paper
Computing Convex Hulls by Automata Iteration	2009-02-12	Paper
An efficient automata approach to some problems on context-free grammars.	2008-06-27	Paper
An automata-theoretic approach to branching-time model checking	2008-05-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4809151	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4431336	2003-10-21	Paper
Module checking	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4547769	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508946	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4539644	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4518891	2001-02-05	Paper
Constraint-generating dependencies	1999-11-23	Paper
An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages	1999-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4219027	1999-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4223067	1999-01-03	Paper
Reasoning about infinite computations	1995-12-13	Paper
Handling infinite temporal data	1995-10-25	Paper
A partial approach to model checking	1994-06-19	Paper
Using partial orders for the efficient verification of deadlock freedom and safety properties	1993-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4037099	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037388	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4023541	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3211248	1991-01-01	Paper
Automata-theoretic techniques for modal logics of programs	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710510	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3341881	1984-01-01	Paper
Synthesis of Communicating Processes from Temporal Logic Specifications	1984-01-01	Paper
Temporal logic can be more expressive	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3948585	1982-01-01	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: Pierre Wolper