Axel Poigné
发表
Axel Poigné,
1989,
Bull. EATCS.
Axel Poigné,
1985,
CTCS.
Leszek Holenderski,
Reinhard Budde,
Axel Poigné,
1998,
Formal Methods Syst. Des..
Angi Voß,
Jonathan Giddy,
Hans Voß,
2009,
GI Jahrestagung.
Axel Poigné,
A. Poigné,
1993,
LICS 1993.
Leszek Holenderski,
Axel Poigné,
1995
.
Josef Voss,
Axel Poigné,
1987,
J. Comput. Syst. Sci..
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2002
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2002
.
Axel Poigné,
1981,
GI Jahrestagung.
G. Michele Pinna,
Reinhard Budde,
Axel Poigné,
1999,
COORDINATION.
Alex Hardisty,
Axel Poigné,
Wouter Los,
2009
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2002
.
Leszek Holenderski,
Axel Poigné,
1998,
Tool Support for System Specification, Development and Verification.
Axel Poigné,
1988,
ADT.
Axel Poigné,
1985,
CTCS.
Stefan Wrobel,
Tamás Horváth,
Mario Boley,
2010,
LWA.
Welf-Guntram Drossel,
Holger Hanselka,
Dieter Sporn,
2006,
SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring.
Axel Poigné,
A. Poigné,
1985,
CTCS.
David Murphy,
Axel Poigné,
A. Poigné,
1992,
MFCS.
Reinhard Budde,
Axel Poigné,
2001
.
Axel Poigné,
1983,
Theoretical Computer Science.
Albert Benveniste,
Axel Poigné,
2001,
Formal Methods Syst. Des..
Leszek Holenderski,
Axel Poigné,
A. Poigné,
1997,
COMPOS.
Axel Poigné,
A. Poigné,
2009
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2003
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2006,
SLAP@ETAPS.
Axel Poigné,
A. Poigné,
1990,
J. Comput. Syst. Sci..
Josef Voss,
Axel Poigné,
1985,
TAPSOFT, Vol.1.
Stefan Wrobel,
Tamás Horváth,
Mario Boley,
2007,
MLG.
Leszek Holenderski,
Axel Poigné,
1997,
FBT.
Samson Abramsky,
David E. Rydeheard,
Axel Poigné,
1985
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2002
.
Axel Poigné,
1986,
ADT.
Axel Poigné,
1991,
MFCS.
Andrew M. Pitts,
Peter Dybjer,
David E. Rydeheard,
1987,
Lecture Notes in Computer Science.
Axel Poigné,
Olivier Maffeis,
A. Poigné,
1996
.
Samson Abramsky,
David E. Rydeheard,
Axel Poigné,
1986,
CTCS.
Axel Poigné,
Emi Mathews,
2009,
EURASIP J. Embed. Syst..
Axel Poigné,
1983,
ADT.
Axel Poigné,
1982,
Symposium on Programming.
G. Michele Pinna,
Axel Poigné,
1995,
Theor. Comput. Sci..
Axel Poigné,
1981,
ICFPC.
Reinhard Budde,
Axel Poigné,
2000,
LCTES.
Axel Poigné,
A. Poigné,
1984,
STACS.
Samson Abramsky,
Andrew M. Pitts,
David E. Rydeheard,
1991
.
Manolis Tzagarakis,
Spyros Christodoulou,
Nikos Karacapilidis,
2011
.
G. Michele Pinna,
Axel Poigné,
1993,
MFPS.
G. Michele Pinna,
Axel Poigné,
1992,
MFCS.
Axel Poigné,
1984,
MFCS.
Axel Poigné,
Emi Mathews,
A. Poigné,
2008,
2008 International Workshop on Intelligent Solutions in Embedded Systems.
Axel Poigné,
Hagen Huwig,
A. Poigné,
1990,
Theor. Comput. Sci..
Axel Poigné,
1990,
MFCS.
Axel Poigné,
1985,
CTCS.
Axel Poigné,
Hagen Huwig,
1980,
CLAAP.
Axel Poigné,
A. Poigné,
1986,
Inf. Control..
Walter G. Berendsohn,
Alex Hardisty,
Axel Poigné,
2010
.
Reinhard Budde,
Karl-Heinz Sylla,
Axel Poigné,
2002
.
G. Michele Pinna,
Axel Poigné,
1995,
KORSO Book.
Axel Poigné,
1987,
Bull. EATCS.
Axel Poigné,
1985,
CTCS.
Axel Poigné,
1987,
ADT.
Axel Poigné,
A. Poigné,
1988,
Categorial Methods in Computer Science.
Axel Poigné,
1992,
COMPASS/ADT.
Axel Poigné,
1981,
FCT.
Stefan Rüping,
Natalja Friesen,
Axel Poigné,
2014
.
Axel Poigné,
1984,
ADT.
Axel Poigné,
1983
.
Graziano Pesole,
Renzo Kottmann,
Pelin Yilmaz,
2016
.
Leszek Holenderski,
Axel Poigné,
1998
.