Ferruccio Damiani

发表

Paola Giannini, Ferruccio Damiani, P. Giannini, 1994, TACS.
Mirko Viroli, Ferruccio Damiani, Giorgio Audrito, 2018, Sci. Comput. Program..
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2012, Theor. Comput. Sci..
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2010, MeCBIC.
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2019, J. Log. Algebraic Methods Program..
Mirko Viroli, J. Beal, F. Damiani, 2019 .
Jacob Beal, Mirko Viroli, Danilo Pianini, 2018, COORDINATION.
Sophia Drossopoulou, Paola Giannini, Elena Giachino, 2008, Acta Informatica.
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2011 .
Ina Schaefer, Ferruccio Damiani, Ferruccio Damiani, 2010, FOSD '10.
I. Schaefer, Lorenzo Bettini, V. Bono, 2010 .
Reiner Hähnle, Einar Broch Johnsen, Marco Bernardo, 2014, Lecture Notes in Computer Science.
Sandro Schulze, Ina Schaefer, Lorenzo Bettini, 2014, PPPJ.
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2011, AOSD '11.
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2011 .
Viviana Bono, Ina Schaefer, Lorenzo Bettini, 2010, SPLC.
Mirko Viroli, F. Damiani, Giorgio Audrito, 2022, 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech).
Johan Dovland, Einar Broch Johnsen, Ina Schaefer, 2014, Formal Aspects of Computing.
Mirko Viroli, Ferruccio Damiani, Giorgio Audrito, 2020, ArXiv.
Ferruccio Damiani, Ferruccio Damiani, 2003, PPDP '03.
Ferruccio Damiani, Ferruccio Damiani, 2003, Mathematical Structures in Computer Science.
Paola Giannini, Ferruccio Damiani, Mario Coppo, 2002, Theor. Comput. Sci..
F. Damiani, V. Rodrigues, Simone Donetti, 2019, Software & Systems Modeling.
Ferruccio Damiani, Angelo Troina, Elena Grassi, 2009, COMPMOD.
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2011, Trans. Comp. Sys. Biology.
Jacob Beal, Mirko Viroli, Danilo Pianini, 2022 .
Luca Padovani, Christoph Seidl, Ina Schaefer, 2017, Acta Informatica.
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2021, Comput. Electr. Eng..
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2021, Eng. Appl. Artif. Intell..
Lorenzo Bettini, Ferruccio Damiani, Lorenzo Bettini, 2017, J. Syst. Softw..
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2013, Sci. Comput. Program..
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2016, ACM Trans. Comput. Log..
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2021, Sci. Comput. Program..
Giorgio Audrito, G. Torta, Lorenzo Testa, 2022, Pervasive Mob. Comput..
Lorenzo Bettini, Ferruccio Damiani, Lorenzo Bettini, 2014, PPPJ.
Lorenzo Bettini, Ferruccio Damiani, Lorenzo Bettini, 2013, PPPJ.
F. Mazzanti, Michael Lienhardt, Luca Paolini, 2019, SPLC.
Alessandro Ricci, Mirko Viroli, Paola Giannini, 2012, Sci. Ann. Comput. Sci..
Reiner Hähnle, Luca Paolini, Michael Lienhardt, 2022, J. Syst. Softw..
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2021, SPLC.
Michael Lienhardt, Luca Paolini, Ferruccio Damiani, 2019, Sci. Comput. Program..
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, 2019, Sci. Comput. Program..
Michael Lienhardt, Luca Paolini, Ferruccio Damiani, 2018, VaMoS.
Shmuel S. Tyszberowicz, Ferruccio Damiani, David Faitelson, 2017, Software & Systems Modeling.
Michael Lienhardt, Luca Paolini, Ferruccio Damiani, 2017, FSEN.
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2017, FASE.
Cristina Chesta, Michael Nieke, Ferruccio Damiani, 2016, ISoLA.
Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, 2016, ISoLA.
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, 2015, SEFM.
Ina Schaefer, Ferruccio Damiani, Tim Winkelmann, 2014, ISoLA.
Ina Schaefer, Ferruccio Damiani, Ferruccio Damiani, 2012, ISoLA.
Ina Schaefer, Ferruccio Damiani, Ferruccio Damiani, 2011, SPLC '11.
Michael Lienhardt, Ferruccio Damiani, Luca Paolini, 2020, ISoLA.
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2018, Principled Software Development.
Christoph Seidl, Ina Schaefer, Ferruccio Damiani, 2016, Software Engineering.
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2015, Sci. Comput. Program..
Luca Paolini, Michael Lienhardt, Ferruccio Damiani, 2022 .
Paola Giannini, Ferruccio Damiani, P. Giannini, 2000, Journal of Functional Programming.
Paola Giannini, Ferruccio Damiani, A Carmen, 2003 .
Paola Giannini, Ferruccio Damiani, Mario Coppo, 1998 .
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani, 2010, PPPJ.
I. Schaefer, Lorenzo Bettini, F. Damiani, 2015 .
Mirko Viroli, F. Damiani, Giorgio Audrito, 2022, Swarm Intelligence.
Jacob Beal, Mirko Viroli, Danilo Pianini, 2017, ACM Trans. Model. Comput. Simul..
Mirko Viroli, Danilo Pianini, Ferruccio Damiani, 2017, ACM Trans. Auton. Adapt. Syst..
Jacob Beal, Mirko Viroli, Danilo Pianini, 2016, 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Jacob Beal, Mirko Viroli, Danilo Pianini, 2015, 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems.
Mirko Viroli, Ferruccio Damiani, Mirko Viroli, 2015, Log. Methods Comput. Sci..
Mirko Viroli, Ferruccio Damiani, Mirko Viroli, 2014, COORDINATION.
Mirko Viroli, Volker Stolz, Ferruccio Damiani, 2021, J. Syst. Softw..
Maurice H. ter Beek, Franco Mazzanti, Michael Lienhardt, 2021, Empirical Software Engineering.
Sara Capecchi, Lorenzo Bettini, Ferruccio Damiani, 2013, Sci. Comput. Program..
Sara Capecchi, Lorenzo Bettini, Ferruccio Damiani, 2009, FTfJP@ECOOP.
Davide Ancona, Elena Zucca, Sophia Drossopoulou, 2007, TOPL.
Davide Ancona, Elena Zucca, Sophia Drossopoulou, 2005, POPL '05.
Davide Ancona, Elena Zucca, Sophia Drossopoulou, 2005 .
Massimo Torquati, Marco Aldinucci, Maurizio Drocco, 2014, BioMed research international.