Egidio Astesiano
发表
Egidio Astesiano,
Gerardo Costa,
1983,
J. Comput. Syst. Sci..
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1987
.
Gianna Reggio,
Egidio Astesiano,
Franco Morando,
1995,
TAPSOFT.
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2000
.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1986,
Mathematical Models for the Semantics of Parallelism.
Elena Zucca,
Gianna Reggio,
Egidio Astesiano,
1993,
MFCS.
Egidio Astesiano,
Gianna Reggio,
G. Reggio,
2020,
2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2016,
Monterey Workshop.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1986,
System Development and Ada.
Elena Zucca,
Gianna Reggio,
Egidio Astesiano,
1999,
Sci. Comput. Program..
Nicolas Guelfi,
Gianna Reggio,
Egidio Astesiano,
2002
.
Christine Choppy,
Gianna Reggio,
Egidio Astesiano,
2015,
Software, Services, and Systems.
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2000,
AMAST.
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2002,
RISSEF.
Martin Wirsing,
Egidio Astesiano,
E. Astesiano,
1989
.
Nicolas Guelfi,
Gianna Reggio,
Egidio Astesiano,
2004
.
Gianna Reggio,
Egidio Astesiano,
2002,
SEKE '02.
Viviana Mascardi,
Gianna Reggio,
Maurizio Martelli,
2003,
SEKE.
Elena Zucca,
Egidio Astesiano,
E. Zucca,
1984,
Theor. Comput. Sci..
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2001,
Ershov Memorial Conference.
Egidio Astesiano,
Gerardo Costa,
1979,
ICALP.
Egidio Astesiano,
Gerardo Costa,
1980,
RAIRO Theor. Informatics Appl..
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1987,
STACS.
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2012,
EESSMod '12.
Egidio Astesiano,
Bernd Krieg-Brueckner,
Hans-Joerg Kreowski,
1999,
IFIP State-of-the-Art Reports.
Egidio Astesiano,
Gerardo Costa,
1980,
CLAAP.
Egidio Astesiano,
Maura Cerioli,
1996,
Math. Struct. Comput. Sci..
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2008,
Concurrency, Graphs and Models.
Gianna Reggio,
Egidio Astesiano,
Alessandro Giovini,
1990,
Semantics of Systems of Concurrent Processes.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1991,
COMPASS/ADT.
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2011,
EESSMod.
Egidio Astesiano,
2006,
MoDELS'06.
Gianna Reggio,
Egidio Astesiano,
Alessandro Giovini,
1988,
ADT.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
2008,
Monterey Workshop.
Gianna Reggio,
Martin Wirsing,
Egidio Astesiano,
1986,
MFCS.
Egidio Astesiano,
Gerardo Costa,
1973,
Optimization Techniques.
Egidio Astesiano,
E. Astesiano,
1989,
Formal Description of Programming Concepts.
Roel Wieringa,
Heinrich Hußmann,
Gianna Reggio,
1999,
ECOOP Workshops.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
2005,
Formal Methods in Software and Systems Modeling.
Gianna Reggio,
Egidio Astesiano,
2002,
RISSEF.
Egidio Astesiano,
E. Astesiano,
1986
.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1987
.
Egidio Astesiano,
Maura Cerioli,
1988,
ADT.
Elena Zucca,
Gianna Reggio,
Egidio Astesiano,
1989,
Algebraic Methods.
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1991,
Mathematical Structures in Computer Science.
Gianna Reggio,
Egidio Astesiano,
Franco Morando,
1991,
AMAST.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1997,
Theor. Comput. Sci..
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
2001,
Acta Informatica.
Carlo Ghezzi,
Egidio Astesiano,
2001,
Sci. Comput. Program..
Gianna Reggio,
Egidio Astesiano,
1997,
Requirements Targeting Software and Systems Engineering.
Nicolas Guelfi,
Gianna Reggio,
Egidio Astesiano,
2004
.
Gianna Reggio,
Egidio Astesiano,
2002,
WADT.
Gianna Reggio,
Andrzej Tarlecki,
Egidio Astesiano,
1994
.
Martin Wirsing,
Egidio Astesiano,
E. Astesiano,
1987
.
Egidio Astesiano,
Gerardo Costa,
1984,
Theor. Comput. Sci..
Nicolas Guelfi,
Gianna Reggio,
Egidio Astesiano,
2004
.
Marco Torchiano,
Giuseppe Scanniello,
Filippo Ricca,
2010,
ESEM '10.
Tullio Vernazza,
Filippo Ricca,
Gianna Reggio,
2012,
2012 14th IEEE International Symposium on Web Systems Evolution (WSE).
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1993,
FME.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1993,
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2001,
FASE.
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2012,
2012 14th IEEE International Symposium on Web Systems Evolution (WSE).
Gianna Reggio,
Egidio Astesiano,
Alessandro Giovini,
1988,
STACS.
Peter D. Mosses,
Michel Bidoit,
Bernd Krieg-Brückner,
2002,
Theor. Comput. Sci..
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2010,
Monterey Workshop.
Marco Torchiano,
Giuseppe Scanniello,
Filippo Ricca,
2010,
ESEM '10.
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1995,
Theor. Comput. Sci..
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1989,
TAPSOFT, Vol.1.
Egidio Astesiano,
Gerardo Costa,
1980,
ICALP.
Marco Torchiano,
Giuseppe Scanniello,
Filippo Ricca,
2014,
TSEM.
Gianna Reggio,
Egidio Astesiano,
Christine Choppy,
1999
.
Egidio Astesiano,
Gerardo Costa,
1981,
ICFPC.
Gianna Reggio,
Egidio Astesiano,
1998
.
Tullio Vernazza,
Filippo Ricca,
Gianna Reggio,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Gianna Reggio,
Egidio Astesiano,
Alessandro Giovini,
1992,
Theor. Comput. Sci..
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1993,
Semantics of Specification Languages.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Gianna Reggio,
Martin Wirsing,
Egidio Astesiano,
1985,
TAPSOFT, Vol.1.
Filippo Ricca,
Gianna Reggio,
Egidio Astesiano,
2011,
2011 15th European Conference on Software Maintenance and Reengineering.
Gianna Reggio,
Egidio Astesiano,
2001,
Proceedings 5th International Symposium on Autonomous Decentralized Systems.
Gianna Reggio,
Egidio Astesiano,
2000,
Theor. Comput. Sci..
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1987,
TAPSOFT, Vol.1.
Nicolas Guelfi,
Gianna Reggio,
Egidio Astesiano,
2003
.
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1991,
COMPASS/ADT.
Elena Zucca,
Egidio Astesiano,
E. Zucca,
1981,
MFCS.
Gianna Reggio,
Egidio Astesiano,
G. Reggio,
1986,
IFIP Congress.
Elena Zucca,
Egidio Astesiano,
E. Zucca,
1981,
GI Jahrestagung.
Manfred Broy,
Gianna Reggio,
Egidio Astesiano,
1999,
Algebraic Foundations of Systems Specification.
Elena Zucca,
Egidio Astesiano,
E. Zucca,
2009
.
Egidio Astesiano,
Maura Cerioli,
M. Cerioli,
1992,
Fundam. Informaticae.
Gianna Reggio,
Andrzej Tarlecki,
Egidio Astesiano,
1995
.
Gianna Reggio,
Egidio Astesiano,
1994,
Formal Systems Specification.
Heinrich Hußmann,
Christine Choppy,
Gianna Reggio,
2000,
FASE.
Gianna Reggio,
Egidio Astesiano,
1983,
The Analysis of Concurrent Systems.
Elena Zucca,
Egidio Astesiano,
E. Zucca,
1996,
J. Comput. Syst. Sci..
Elena Zucca,
Egidio Astesiano,
E. Zucca,
1992,
FMLDO.
Gianna Reggio,
Egidio Astesiano,
Maura Cerioli,
2002,
10th Anniversary Colloquium of UNU/IIST.