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.

Christine Choppy, Gianna Reggio, Egidio Astesiano, 2015, Software, Services, and Systems.

Gianna Reggio, Egidio Astesiano, Maura Cerioli, 2002, RISSEF.

Martin Wirsing, Egidio Astesiano, E. Astesiano, 1989 .

Gianna Reggio, Egidio Astesiano, 2002, SEKE '02.

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..

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 .

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.

Martin Wirsing, Egidio Astesiano, E. Astesiano, 1987 .

Egidio Astesiano, Gerardo Costa, 1984, Theor. Comput. Sci..

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.

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.

Egidio Astesiano, Maura Cerioli, M. Cerioli, 1992, Fundam. Informaticae.

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.