Co-Author Index

118 publications / 38 co-authors / Enrico Denti

Michele Cabano
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006)
(1 publication) [top] [bottom]
Giacomo Cabri
Tuple-based Technologies for Coordination (2001) Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(2 publications) [top] [bottom]
Roberta Calegari
tuProlog: Making Prolog Ubiquitous (2013) Extending a Smart Home Multi-Agent System with Role-Based Access Control (2014) Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (2015) The Butlers Framework for Socio-Technical Smart Spaces (2016) Labelled Variables in Logic Programming: Foundations (2016) Building Smart Spaces on the Home Manager platform (2016) Towards Logic Programming as a Service: Experiments in tuProlog (2016) Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) Context Reasoning and Prediction in Smart Environments: the Home Manager case (2017) From the Blockchain to Logic Programming and Back: Research Perspectives (2018) Extending Logic Programming with Labelled Variables: Model and Semantics (2018) Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) Logic Programming as a Service (2018) LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019) Preface (2020) 2P-Kt: logic programming with objects & functions in Kotlin (2020) Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) Preface (2021)
(22 publications) [top] [bottom]
Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (2016)
(1 publication) [top] [bottom]
Claudia Cevenini
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (2016)
(1 publication) [top] [bottom]
Giovanni Ciatto
From the Blockchain to Logic Programming and Back: Research Perspectives (2018) Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) Preface (2020) 2P-Kt: logic programming with objects & functions in Kotlin (2020) Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) Preface (2021)
(9 publications) [top] [bottom]
Massimo Cossentino
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(1 publication) [top] [bottom]
Agostino Dovier
Labelled Variables in Logic Programming: Foundations (2016) Extending Logic Programming with Labelled Variables: Model and Semantics (2018)
(2 publications) [top] [bottom]
Paolo Giorgini
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(1 publication) [top] [bottom]
Evelina Lamma
Implementing Contexts in Logic Programming (1992) Techniques for Implementing Contexts in Logic Programming (1993)
(2 publications) [top] [bottom]
Roberto Laschi
An experimental environment for teaching Java Security (2008)
(1 publication) [top] [bottom]
Eugenio Magnanini
Interacting with Virtual Plants: a Client-Server Approach (2010) Simulate plants: a client-server graphic approach (2010) VPN - Client-server object-oriented virtual plant modeling tool (2012)
(3 publications) [top] [bottom]
Stefano Mariani
Towards Logic Programming as a Service: Experiments in tuProlog (2016) Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) From the Blockchain to Logic Programming and Back: Research Perspectives (2018) Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) Logic Programming as a Service (2018) LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019)
(8 publications) [top] [bottom]
Paola Mello
Implementing Contexts in Logic Programming (1992) Techniques for Implementing Contexts in Logic Programming (1993)
(2 publications) [top] [bottom]
Nico Mennucci
VPN - Client-server object-oriented virtual plant modeling tool (2012)
(1 publication) [top] [bottom]
Niko Mennucci
Interacting with Virtual Plants: a Client-Server Approach (2010)
(1 publication) [top] [bottom]
Ambra Molesini
Zooming Multi-Agent Systems (2005) SODA: A Roadmap to Artefacts (2005) MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (2005) OWL-S for Describing Artifacts (2006) Zooming Multi-Agent Systems (2006) Metodologie per l'ingegneria del software: approccio ad agenti (2006) SODA: A Roadmap to Artefacts (2006) From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (2007) RBAC-MAS & SODA: Experimenting RBAC in AOSE (2008) From AO Methodologies to MAS Infrastructures: The SODA Case Study (2008) Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (2008) SPEM on Test: the SODA Case Study (2008) Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (2009) An Agent-based Application for Home Intelligence (2009) RBAC-MAS & SODA: Experimenting RBAC in AOSE (2009) HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) Agent-based Conference Management: A Case Study in SODA (2010) BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016) MDE & MDA in a Multi-Paradigm Modeling Perspective (2021)
(21 publications) [top] [bottom]
Monica Mordonini
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(1 publication) [top] [bottom]
Elena Nardini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (2008) SPEM on Test: the SODA Case Study (2008) Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (2009) Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010)
(4 publications) [top] [bottom]
Antonio Natali
CSM User's Guide (1992) Implementing Contexts in Logic Programming (1992) Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (1992) From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) Techniques for Implementing Contexts in Logic Programming (1993) Moving Prolog Toward Objects (1994) A Structured Logic Programming Approach to Robot Programming (1994) Robot Control Systems as Contextual Logic Programs (1995) Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (1995) Agent Coordination and Control through Logic Theories (1995) An Extensible Framework for the Development of Coordinated Applications (1996) Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) Expressive Power of the ACLT Reaction Specification Language (1997) Programmable Coordination Media (1997) Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) On the Expressive Power of a Language for Programming Coordination Media (1998)
(17 publications) [top] [bottom]
Andrea Omicini
CSM User's Guide (1992) Implementing Contexts in Logic Programming (1992) Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (1992) From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) Techniques for Implementing Contexts in Logic Programming (1993) Moving Prolog Toward Objects (1994) A Structured Logic Programming Approach to Robot Programming (1994) Open Logic Theory Composition in a Software Engineering Perspective (1994) Robot Control Systems as Contextual Logic Programs (1995) Agent Coordination and Control through Logic Theories (1995) An Extensible Framework for the Development of Coordinated Applications (1996) Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) Expressive Power of the ACLT Reaction Specification Language (1997) Programmable Coordination Media (1997) Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) Designing Multi-Agent Systems around a Programmable Communication Abstraction (1997) On the Expressive Power of a Language for Programming Coordination Media (1998) Engineering Multi-Agent Systems in LuCe (1999) Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) An Architecture for Tuple-based Coordination of Multi-Agent Systems (1999) Designing Multi-Agent Systems around an Extensible Communication Abstraction (1999) Formal ReSpecT (2000) The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) A Coordination Infrastructure for Agent-based Internet Applications (2000) The TuCSoN Coordination Infrastructure for Virtual Enterprises (2001) Enlightened Agents in TuCSoN (2001) From Tuple Spaces to Tuple Centres (2001) Enlightened Agents in TuCSoN (2001) Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (2001) LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (2001) tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (2001) Formal ReSpecT (2001) Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) Coordination Tools for MAS Development and Deployment (2002) Engineering Agent Societies: A Case Study in Smart Environments (2002) Coordination Tools for the Development of Agent-based Systems (2002) Virtual Enterprises and Workflow Management as Agent Coordination Issues (2002) Task-Oriented Engineering of Coordinated Software Systems (2003) Activity Theory as a Framework for MAS Coordination (2003) Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2005) Zooming Multi-Agent Systems (2005) SODA: A Roadmap to Artefacts (2005) Multi-paradigm Java-Prolog Integration in tuProlog (2005) MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (2005) Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2006) Zooming Multi-Agent Systems (2006) Metodologie per l'ingegneria del software: approccio ad agenti (2006) SODA: A Roadmap to Artefacts (2006) From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (2007) Towards a Logic Language and Framework for Web Programming (2008) RBAC-MAS & SODA: Experimenting RBAC in AOSE (2008) From AO Methodologies to MAS Infrastructures: The SODA Case Study (2008) Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (2008) SPEM on Test: the SODA Case Study (2008) Towards a Logic Language and Framework for Web Programming (2009) Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (2009) An Agent-based Application for Home Intelligence (2009) RBAC-MAS & SODA: Experimenting RBAC in AOSE (2009) HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) Agent-based Conference Management: A Case Study in SODA (2010) Towards a logic framework for Web programming (2011) BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) tuProlog: Making Prolog Ubiquitous (2013) Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) Labelled Variables in Logic Programming: Foundations (2016) Towards Logic Programming as a Service: Experiments in tuProlog (2016) Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (2016) Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) From the Blockchain to Logic Programming and Back: Research Perspectives (2018) Extending Logic Programming with Labelled Variables: Model and Semantics (2018) Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) Logic Programming as a Service (2018) LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019) Preface (2020) 2P-Kt: logic programming with objects & functions in Kotlin (2020) Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) Preface (2021) MDE & MDA in a Multi-Paradigm Modeling Perspective (2021)
(82 publications) [top] [bottom]
Giulio Piancastelli
Towards a Logic Language and Framework for Web Programming (2008) Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) Towards a Logic Language and Framework for Web Programming (2009) Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) Towards a logic framework for Web programming (2011)
(5 publications) [top] [bottom]
Michele Piunti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (2010)
(1 publication) [top] [bottom]
Marco Prandini
Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) Extending a Smart Home Multi-Agent System with Role-Based Access Control (2014)
(2 publications) [top] [bottom]
Nando Prati
An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) Relevance of Winning Coalitions in Indirect Control of Corporations (2004)
(2 publications) [top] [bottom]
Alessandro Ricci
The TuCSoN Coordination Infrastructure for Virtual Enterprises (2001) Enlightened Agents in TuCSoN (2001) Enlightened Agents in TuCSoN (2001) Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (2001) tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (2001) Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) Coordination Tools for MAS Development and Deployment (2002) Engineering Agent Societies: A Case Study in Smart Environments (2002) Coordination Tools for the Development of Agent-based Systems (2002) Virtual Enterprises and Workflow Management as Agent Coordination Issues (2002) Task-Oriented Engineering of Coordinated Software Systems (2003) Activity Theory as a Framework for MAS Coordination (2003) Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (2004) Zooming Multi-Agent Systems (2005) SODA: A Roadmap to Artefacts (2005) Multi-paradigm Java-Prolog Integration in tuProlog (2005) Zooming Multi-Agent Systems (2006) Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) SODA: A Roadmap to Artefacts (2006) Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (2007) A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (2010)
(22 publications) [top] [bottom]
Anna Riccioni
vLab: an Eclipse-based Virtual Laboratory (2007) An experimental environment for teaching Java Security (2008)
(2 publications) [top] [bottom]
Davide Rossi
Tuple-based Technologies for Coordination (2001)
(1 publication) [top] [bottom]
Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (2004) Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2005) OWL-S for Describing Artifacts (2006) Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2006)
(4 publications) [top] [bottom]
Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(1 publication) [top] [bottom]
Giovanni Sartor
Preface (2020) Preface (2021)
(2 publications) [top] [bottom]
Enrico Siboni
2P-Kt: logic programming with objects & functions in Kotlin (2020)
(1 publication) [top] [bottom]
Michele Tomaiuolo
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016)
(1 publication) [top] [bottom]
Vladimiro Toschi
Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) The LuCe Coordination Technology for MAS Design and Development on the Internet (2000)
(2 publications) [top] [bottom]
Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (1996) Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996)
(2 publications) [top] [bottom]
Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) Engineering a BPEL Orchestration Engine as a Multi-agent System (2007)
(2 publications) [top] [bottom]
Giuliano Vitali
Interacting with Virtual Plants: a Client-Server Approach (2010) Simulate plants: a client-server graphic approach (2010) VPN - Client-server object-oriented virtual plant modeling tool (2012)
(3 publications) [top] [bottom]
Francesco Zanichelli
A Structured Logic Programming Approach to Robot Programming (1994) Robot Control Systems as Contextual Logic Programs (1995)
(2 publications) [top] [bottom]

Tags:

Co-Author Index

Enrico Denti

Publications / Denti