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