Skip to content
cs-conference-ranking.org

Axel Poign

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

7

Active years

1981–2009

Best venue rank

B

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2009GITowards a Reference Model for the LifeWatch ICT Infrastructure.Vera Hernndez Ernst, Axel Poign, Jonathan Giddy, Alex R. Hardisty, Angi Voss, Hans Voss
1999CoordinationCoordination of Synchronous Programs.Reinhard Budde, G. Michele Pinna, Axel Poign
1993MFPSOn the Specification of Elementary Reactive Behaviour.G. Michele Pinna, Axel Poign
1992COMPASSIdentity and Existence, and Types in Algebra - A Survey of Sorts.Axel Poign
1992MFCSA Functorial Semantics for Observed Concurrency.David Murphy, Axel Poign
1992MFCSOn the Nature of Events.G. Michele Pinna, Axel Poign
1991MFCSOnce More on Order-Sorted Algebras.Axel Poign
1990MFCSTyped Horn Logic.Axel Poign
1984MFCSAnother Look at Parameterization Using Algebras with Subsorts.Axel Poign
1984STACSHigher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.Axel Poign
1981FCTContext-Free Languages of Infinite Words As Least Fixpoints.Axel Poign
1981GIAn Order Semantics for Non-Deterministic Recursive Program Schemes.Axel Poign