Axel Poigné

Available identifiers

zbMath Open poigne.axelWikidataQ102237950 ScholiaQ102237950MaRDI QIDQ674196

List of research outcomes

Publication	Date of Publication	Type
On the specification of elementary reactive behaviour	2023-04-28	Paper
On the nature of events	2022-08-18	Paper
A functorial semantics for observed concurrency	2022-08-18	Paper
Listing closed sets of strongly accessible set systems with applications to data mining	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4430320	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4934534	2000-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4942092	2000-03-30	Paper
On the nature of events: another perspective in concurrency	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4035262	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3976045	1992-06-26	Paper
A note on inconsistencies caused by fixpoints in a cartesian closed category	1990-01-01	Paper
Parametrization for order-sorted algebraic specification	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493241	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809237	1988-01-01	Paper
On the implementation of abstract data types by programming language constructs	1987-01-01	Paper
On specifications, theories, and models with higher types	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723264	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3759011	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772390	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768900	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3754791	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677152	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707379	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707388	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3694667	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959403	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3964030	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3925881	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3940865	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959402	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907113	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3889245	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3928266	1978-01-01	Paper

Research outcomes over time

This page was built for person: Axel Poigné