Sara Capecchi

CoRR, 2023

Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org.

[BibT_eX]

[DOI]

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Mental State Attribution to Educational Robots: An Experience with Children in Primary School 235-242.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the IUI 2023 Workshops: HAI-GEN, 2023

Castle and Stairs to Learn Iteration: Co-designing a UMC Learning Module with Teachers.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Fostering Awareness and Personalization of Learning Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Italia Intelligenza Artificiale, 2023

Process Mining on Students' Web Learning Traces: A Case Study with an Ethnographic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Responsive and Sustainable Educational Futures, 2023

2022

Integrating value modeling and legal risk management: an IT case study.

[BibT_eX]

[DOI]

Robert Muthuri

Emilio Sulis

Ilaria Angela Amantea

Guido Boella

Inf. Syst. E Bus. Manag., 2022

Visual and unplugged coding lessons with smart toys.

[BibT_eX]

[DOI]

Ilaria Lombardi

CoRR, 2022

Behavioral Web Tracking in e-Learning: An Educational Process Mining Application.

[BibT_eX]

[DOI]

Andrea Rocco Racca

Emilio Sulis

Proceedings of the 26th International Conference Information Visualisation, 2022

Visual and unplugged coding with smart toys.

[BibT_eX]

[DOI]

Ilaria Lombardi

Proceedings of the AVI 2022: International Conference on Advanced Visual Interfaces, Frascati, Rome, Italy, June 6, 2022

2021

Empowering AI competences in children: A training program based on simple playful activities.

[BibT_eX]

[DOI]

Proceedings of the Third Symposium on Psychology-Based Technologies, 2021

Holistic Summarization of Recommender Systems Results.

[BibT_eX]

[DOI]

Proceedings of the 11th Italian Information Retrieval Workshop 2021, 2021

2019

A Social Network Simulation Game to Raise Awareness of Privacy Among School Children.

[BibT_eX]

[DOI]

IEEE Trans. Learn. Technol., 2019

2017

Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations.

[BibT_eX]

[DOI]

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

2016

Global escape in multiparty sessions.

[BibT_eX]

[DOI]

Nobuko Yoshida

Math. Struct. Comput. Sci., 2016

Information flow safety in multiparty sessions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

VDML4RS: a tool for reputation systems modeling and design.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Social Software Engineering, 2016

2015

Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

2014

Typing access control and secure information flow in sessions.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling.

[BibT_eX]

[DOI]

Paola Pisano

Proceedings of the 11th IEEE International Conference on e-Business Engineering, 2014

2013

On flexible dynamic trait replacement for Java-like languages.

[BibT_eX]

[DOI]

Ferruccio Damiani

Sci. Comput. Program., 2013

Deriving session and union types for objects.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

2011

A Reputation System for Multirole Sessions.

[BibT_eX]

[DOI]

Viviana Bono

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

2010

Types for BioAmbients

[BibT_eX]

[DOI]

Angelo Troina

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Session Types for Access and Information Flow Control.

[BibT_eX]

[DOI]

Tamara Rezk

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Amalgamating sessions and methods in object-oriented languages with generics.

[BibT_eX]

[DOI]

Mario Coppo

Sophia Drossopoulou

Theor. Comput. Sci., 2009

Featherweight Java with dynamic and static overloading.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Dynamic overloading with copy semantics in object-oriented languages: a formal account.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2009

A Safe Implementation of Dynamic Overloading in Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

Typing Asymmetric Client-Server Interaction.

[BibT_eX]

[DOI]

Franco Barbanera

Ugo de'Liguoro

Proceedings of the Fundamentals of Software Engineering, 2009

A mechanism for flexible dynamic trait replacement.

[BibT_eX]

[DOI]

Ferruccio Damiani

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

Featherweight Wrap Java: wrapping objects and methods.

[BibT_eX]

[DOI]

J. Object Technol., 2008

Session and Union Types for Object Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Featherweight wrap Java.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Featherweight Java with multi-methods.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006

Double dispatch in C++.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

2004

Translating Double Dispatch into Single Dispatch.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

2003

Extending Java to dynamic object behaviors.

[BibT_eX]

[DOI]