1018
publications
without
IEEE No
/
1990–2013
- Probabilistic Modular Embedding for Stochastic Coordinated Systems (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Coordination for Situated MAS: Towards an Event-driven Architecture (paper in proceedings) — Andrea Omicini, Stefano Mariani
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter) — Alessandro Ricci, Andrea Santi
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (article in journal) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (paper in proceedings) — Mirko Viroli
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (article in journal) — Andrea Omicini, Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Domain Independent Text Categorization (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (paper in proceedings) — Stefano Mariani
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (article in journal) — Houguang Yue
- Special Issue on Software Agents (special issue) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
- Coupling software architecture and human architecture for collaboration-aware system adaptation (paper in proceedings) — Christoph Dorn, Richard N Taylor
- Nature-inspired Coordination for Complex Distributed Systems (paper in proceedings) — Andrea Omicini
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
- A calculus of computation fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Collaborative Learning and ICT: A Prototypal Learning Environment (book chapter) — Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- On competitive self-composition in pervasive services (article in journal) — Mirko Viroli
- tuProlog: Making Prolog Ubiquitous (article in journal) — Enrico Denti, Andrea Omicini, Roberta Calegari
- Nature-inspired Coordination Models: Current Status, Future Trends (article in journal) — Andrea Omicini
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (edited volume) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Space-aware Coordination in ReSpecT (paper in proceedings) — Stefano Mariani, Andrea Omicini
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (article in journal) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Operational Semantics of Proto (article in journal) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
- Multi-agent Oriented Programming with JaCaMo (article in journal) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Description and composition of bio-inspired design patterns: a complete overview (article in journal) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
- Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (paper in proceedings) — Andrea Omicini, Pierluigi Contucci
- 6th International Spatial Computing Workshop (SCW 2013) (edited volume) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
- Software Agents: Twenty Years and Counting (editorial/introduction/preface) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
- Predicting Social Density in Mass Events to Prevent Crowd Disasters. (paper in proceedings) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (paper in proceedings) — Sara Montagna, Mirko Viroli
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (article in journal) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (article in journal) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea Omicini
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (edited volume) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (paper in proceedings) — Stefano Mariani, Andrea Omicini
52 publications in 2013 without IEEE No •
top •
index •
bottom
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings) — Marco Alberti, Andrea Omicini
- Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
- Self-organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (edited volume) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
- VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings) — Marco Alberti, Andrea Omicini
- Molecules of Knowledge: A Novel Perspective over Knowledge Management (paper in proceedings) — Stefano Mariani, Andrea Omicini
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (article in journal) — Schahram Dustdar, Hong-Linh Truong
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (paper in proceedings) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (article in journal) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
- Distributed Systems. Concepts and Design (book) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
- Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
- Programming Distributed Multi-Agent Systems in simpAL (paper in proceedings) — Andrea Santi, Alessandro Ricci
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- A Programming Paradigm based on Agent-Oriented Abstractions (article in journal) — Alessandro Ricci, Andrea Santi
- Interdependent Artificial Institutions in Agent Environments (article in journal) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
- Perspectives on Spin Glasses (book) — Pierluigi Contucci, Cristian Giardinà
- Agents Writing on Walls: Cognitive Stigmergy and Beyond (book chapter) — Andrea Omicini
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (edited volume) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- Proceedings of the AI*IA 2012 Doctoral Consortium (edited volume) — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Self-Organising News Management: The Molecules of Knowledge Approach (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Typing Multi-Agent Programs in simpAL (paper in proceedings) — Alessandro Ricci, Andrea Santi
- On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (paper in proceedings) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL (paper in proceedings) — Andrea Santi, Alessandro Ricci
- Implicit: A Multi-agent Recommendation System for Web Search (article in journal) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
- Situation Identification Techniques in Pervasive Computing: A Review (article in journal) — Juan Ye, Simon Dobson, Susan McKeever
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor
- Self-adaptive software needs quantitative verification at runtime (article in journal) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
- Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (paper in proceedings) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Self-Organising News Management: The Molecules of Knowledge Approach (paper in proceedings) — Stefano Mariani, Andrea Omicini
45 publications in 2012 without IEEE No •
top •
index •
bottom
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (edited volume) — Alois Ferscha
- Coordinating Spatially-Situated Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (book) — Daniele Archibugi, Andrea Filippetti
- Model-driven communications and collaborative software development (paper in proceedings) — Antonio Natali
- Declarative Agent Languages and Technologies VIII (edited volume) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
- Deep diving into BitTorrent locality (paper in proceedings) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
- Living in a Digital World (article in journal) — Samuel Greengard
- An introduction to Bisimulation and Coinduction (book) — Davide Sangiorgi
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Seeing is not enough (article in journal) — Tom Geller
- Preface (editorial/introduction/preface) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (article in journal) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (article in journal) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- BaSi: Multi-Agent Based Simulation for Medieval Battles (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- JaCa-Android: an agent-based platform for building smart mobile applications (paper in proceedings) — Andrea Santi, Alessandro Ricci
- Special Issue “Infrastructures and Tools for Multiagent Systems” (special issue) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Software Engineering for Self-Organizing Systems (paper in proceedings) — H. Van Dyke Parunak, Sven A. Brueckner
- A Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Mirko Viroli, Sara Montagna
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (paper in proceedings) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (paper in proceedings) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
- A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Dennis Ritchie, 1941-2011 (article in journal) — Paul Hyman
- Sustainable biomass power plant location in the Italian Emilia-Romagna region (article in journal) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
- Facing Openness with Socio Cognitive Trust and Categories (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Distributed Computing. Principles, Algorithms, and Systems (book) — Ajay D. Kshemkalyani, Mukesh Singhal
- Abstraction in hardware system design (article in journal) — Rishiyur S. Nikhil
- Towards a logic framework for Web programming (article in journal) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Java Security Architecture Revisited (article in journal) — Li Gong
- Improving brain-computer interfaces (article in journal) — Kirk L. Kroeker
- A Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (technical report) — Andrea Argentini, Enrico Blanzieri
- Towards Social-ICT Organisms (book chapter) — Franco Zambonelli
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
- The legacy of Steve Jobs (article in journal) — Michael A. Cusumano
- Verifying the Evolution of Probability Distributions Governed by a DTMC (article in journal) — YoungMin Kwon, Gul Agha
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- The most ancient marketing (article in journal) — Jaron Lanier
- Self-aware Pervasive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
- The software industry is the problem (article in journal) — Poul-Henning Kamp
- Adaptive organizational changes in agent-oriented methodologies (article in journal) — Luca Cernuzzi, Franco Zambonelli
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- From Space to Stage: How Interactive Screens Will Change Urban Life (article in journal) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Self-organising Knowledge-intensive Workspaces (book chapter) — Andrea Omicini
- Enhancing Privacy in Multi-Agent Systems (phd thesis) — Jose Miguel Such Aparicio
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal Fisher
- Multi-level models and infrastructures for simulating biological system development (phd thesis) — Sara Montagna
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (article in journal) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- The Rise of Molecular Machines (article in journal) — Kirk L. Kroeker
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others (article in journal) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
- BDI Agents with Objectives and Preferences (paper in proceedings) — Aniruddha Dasgupta, Aditya K. Ghose
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (paper in proceedings) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
- Principles of Elastic Processes (article in journal) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
- Processes Engineering and AOSE (paper in proceedings) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (paper in proceedings) — Stefan J. Witwicki, Edmund H. Durfee
- Core Operational Semantics of Proto (paper in proceedings) — Mirko Viroli, Jacob Beal, Matteo Casadei
- An interaction-oriented agent framework for open environments (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (article in journal) — Peter McBurney, Simon Parsons, Mirko Viroli
- Anonymity is not privacy: technical perspective (article in journal) — Vitaly Shmatikov
- Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
- A Tour of Reaction Systems (article in journal) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective (article in journal) — Marco Raberto, Andrea Teglio, Silvano Cincotti
- Exploiting the JaCaMo framework for realising an adaptive room governance application (paper in proceedings) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
- Global Democracy: Normative and Empirical Perspectives (book) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
- Computational journalism (article in journal) — Sarah Cohen, James T. Hamilton, Fred Turner
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal) — Andrea Omicini, Mirko Viroli
- Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (editorial/introduction/preface) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Description Spaces with Fuzziness (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Will software engineering ever be engineering? (article in journal) — Michael Davis
78 publications in 2011 without IEEE No •
top •
index •
bottom
- Agent-based Conference Management: A Case Study in SODA (article in journal) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
- Documenting SODA: An Evaluation of the Process Documentation Template (paper in proceedings) — Ambra Molesini, Andrea Omicini
- Programming Open Systems with Agents, Environments and Organizations (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (article in journal) — Clemens Holzmann, Alois Ferscha
- Simulate plants: a client-server graphic approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
- Towards Model-driven Communications (article in journal) — Antonio Natali, Ambra Molesini
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (phd thesis) — Sameh Abdel-Naby
- The Description Logic Handbook: Theory, Implementation, and Applications (book) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
- Exploring the Boundaries: When Method Fragmentation is not Convenient (paper in proceedings) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
- Exploiting Agent-Oriented Programming for Developing Android Applications (paper in proceedings) — Andrea Santi, Marco Guidi, Alessandro Ricci
- Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (paper in proceedings) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
- A Biochemical Approach to Adaptive Service Ecosystems (article in journal) — Mirko Viroli, Franco Zambonelli
- Engineering Self-Coordinating Software Intensive Systems (paper in proceedings) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
- Argumentation and Artifacts for Negotiation Support (article in journal) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (article in journal) — Sagar Indurkhya, Jacob Beal
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (paper in proceedings) — Andrea Santi, Guidi Marco, Alessandro Ricci
- Logic-based decision support for strategic environmental assessment (article in journal) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (paper in proceedings) — Sergio Esparcia, Estefania Argente, Vicent Botti
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- Process Documentation Standardization: An Initial Evaluation (paper in proceedings) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (paper in proceedings) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (article in journal) — Silvano Cincotti, Marco Raberto, Andrea Teglio
- Building an Agent Methodology from Fragments: the MEnSA experience (paper in proceedings) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (paper in proceedings) — Andrea Santi
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (edited volume) — Andrea Omicini, Mirko Viroli
- A Basis Set of Operators for Space-Time Computations (paper in proceedings) — Jacob Beal
- Tutorial on Agent-based Modelling and Simulation (article in journal) — Charles M. Macal, Michael J. North
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (article in journal) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
- Interacting with Virtual Plants: a Client-Server Approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (paper in proceedings) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
- Developing Web Client Applications with JaCa-Web (paper in proceedings) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (paper in proceedings) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (paper in proceedings) — Alessandro Ricci, Andrea Santi, Michele Piunti
- Using Domain Specific Languages for platform-based software development: The case of Android (paper in proceedings) — Antonio Natali, Ambra Molesini
- Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele Loreti
- Risk Analysis and Deployment Security Issues in a Multi-Agent System (paper in proceedings) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Applying Process Document Standarization to INGENIAS (paper in proceedings) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Transitivity in Trust. A Discussed Property (paper in proceedings) — Rino Falcone, Cristiano Castelfranchi
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (article in journal) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (paper in proceedings) — Sara Montagna, Nicola Donati, Andrea Omicini
- A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (phd thesis) — Michele Piunti
- Artificial Life XII (edited volume) — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (article in journal) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
- Formal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael Fisher
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (paper in proceedings) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems (paper in proceedings) — Sara Montagna, Andrea Omicini, Alessandro Ricci
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (article in journal) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (paper in proceedings) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- The O-MaSE Process: a Standard View (paper in proceedings) — Juan C. Garcia-Ojeda, Scott DeLoach
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (article in journal) — Alessandro Ricci, Enrico Denti, Michele Piunti
- Implementing reactive BDI agents with user-given constraints and objectives (article in journal) — Aniruddha Dasgupta, Aditya K. Ghose
- Chemical-Inspired Self-Composition of Competing Services (paper in proceedings) — Mirko Viroli, Matteo Casadei
62 publications in 2010 without IEEE No •
top •
index •
bottom
- Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
- Engineering Societies in the Agents World IX (edited volume) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
- A Semantic eScience Portal for International Scientific and Academic Cooperation (paper in proceedings) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Embodying Organisations in Multi-Agent Work Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti
- A Formal Definition of Colture (technical report) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- Information, Physics, and Computation (book) — Marc Mézard, Andrea Montanari
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Self-Organising Coordination Systems (phd thesis) — Matteo Casadei
- Manipulation implicite d'une organisation multiagent via l'environnement (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Mathematics for Economics: A Statistical Mechanics Perspective (article in journal) — Pierluigi Contucci, Francesca Romiti
- Gaia4E: A Tool Supporting the Design of MAS using Gaia (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- A SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. Ong
- Special Issue “Engineering Environments in Multi-Agent Systems” (special issue) — Danny Weyns, Andrea Omicini
- The Craft of Prolog (book) — Richard O'Keefe
- Modelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
- Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
- Declarative Specification and Verification of Service Choreographies (article in journal) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
- An Agent-based Application for Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Agent-based Modelling of Stem Cells (book chapter) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
- A Goal-Oriented Approach for Modelling Self-organising MAS (paper in proceedings) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Andrea Santi
- Interactive Graphical Maps for Infocenter via Model to Model Transformation (paper in proceedings) — Enrico Oliva
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (paper in proceedings) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
- Software Engineering: An Idea Whose Time Has Come and Gone? (article in journal) — Tom De Marco
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
- A Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
- Making Sense of Revision-control Systems (article in journal) — Bryan O'Sullivan
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (paper in proceedings) — Michele Piunti, Andrea Santi, Alessandro Ricci
- Knowledge-based coordination with a reliable semantic subscription mechanism (paper in proceedings) — Martin Murth, Eva Kuhn
- Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Situated Tuple Centres in ReSpecT (paper in proceedings) — Matteo Casadei, Andrea Omicini
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (paper in proceedings) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys (paper in proceedings) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
- Engineering Societies in the Agents World X (edited volume) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (paper in proceedings) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- Embodied Organisations in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Towards a Logic Language and Framework for Web Programming (paper in proceedings) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- A MAS Metamodel-Driven Approach to Process Fragments Selection (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
- Empirical comparison of methods for information systems development according to SOA (paper in proceedings) — Philipp Offermann, Udo Bub
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (paper in proceedings) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
- Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal) — Marco Mamei, Franco Zambonelli
- Special Track on: Agent-Oriented Software Engineering Methodologies and Systems (editorial/introduction/preface) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications (phd thesis) — Aliaksandr Birukou
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (paper in proceedings) — Alessandro Ricci, Michele Piunti
- Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (paper in proceedings) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
- On the Collective Sort Problem for Distributed Tuple Spaces (article in journal) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Environment in Agent-Oriented Software Engineering Methodologies (article in journal) — Ambra Molesini, Andrea Omicini, Mirko Viroli
- A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli
- An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge
- Testing Techniques for Software Agents (phd thesis) — Cu Duy Nguyen
- Costruire sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
- Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei
66 publications in 2009 without IEEE No •
top •
index •
bottom
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
- Towards a Logic Language and Framework for Web Programming (book chapter) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Simulation Methods in Systems Biology (paper in proceedings) — Daniel T. Gillespie
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Mirko Viroli
- A&A for Modelling and Engineering Simulations in Systems Biology (article in journal) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (paper in proceedings) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory (article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (paper in proceedings) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (article in journal) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- On the reification of Java wildcards (article in journal) — Maurizio Cimadamore, Mirko Viroli
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Il Milione. Viaggio nella logica computazionale in Italia (edited volume) — Matteo Baldoni, Cristina Baroglio
- Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
- Tool-Supported Development with Tropos: The Conference Management System Case Study (paper in proceedings) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro Ricci
- SPEM on Test: the SODA Case Study (paper in proceedings) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
- An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (paper in proceedings) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario Bravetti
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- Engineering Societies in the Agents’ World VIII (edited volume) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
- Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- A Logic Programming Model for Web Resources (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
- Agent-oriented AmI Engineering (paper in proceedings) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
- Automating Workflow using Dialectical Argumentation (article in journal) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (article in journal) — Pierluigi Contucci, Cristian Giardina
- A Multi-Theory Logic Programming Language for the World Wide Web (technical report) — Giulio Piancastelli, Andrea Omicini
- Econophysics and the Current Economic Turmoil (article in journal) — H. Eugene Stanley
- The BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- Introducing Join-Computing (paper in proceedings) — Giacomo Cabri
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd thesis) — Ambra Molesini
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (editorial/introduction/preface) — Peter McBurney, Andrea Omicini
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (paper in proceedings) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (paper in proceedings) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology (article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Model-driven Generation of Graphical Maps for e-Contents (paper in proceedings) — Antonio Natali, Enrico Oliva, Cristina Bonanni
- Special Issue “Agents, Institutions and Legal Theory” (special issue) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor
- Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Smart Environments as Agent Workspaces (article in journal) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Towards a Tuplespace-based Middleware for the Semantic Web (article in journal) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- Agent-Based Collaboration Systems: A Case Study (paper in proceedings) — Elena Nardini, Andrea Omicini
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (special issue) — Andrea Omicini, Peter McBurney
- Toward a Framework for Collaborative Learning based on Agent-based Technologies (paper in proceedings) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- La costruzione dei sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
- Arguments and Artifacts for Dispute Resolution (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (paper in proceedings) — Daniel Yamins, Radhika Nagpal
- A Process Algebraic View of Shared Dataspace Coordination (article in journal) — Nadia Busi, Gianluigi Zavattaro
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci
- PASSIM: a simulation-based process for the development of multi-agent systems (article in journal) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring (paper in proceedings) — Florian Fuchs, Michael Berger
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Argumentation and Artifacts for Intelligent Multi-agent Systems (phd thesis) — Enrico Oliva
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (paper in proceedings) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- A Multi-Theory Logic Language for the World Wide Web (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Fast self-healing gradients. (paper in proceedings) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
- Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (edited volume) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri
- An Agent Framework for Ubiquitous Services (phd thesis) — Conor Muldoon
- Agent Roles: from Methodologies to Infrastructures (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (paper in proceedings) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Agent Oriented Software Engineering VIII (edited volume) — Michael Luck, Lin Padgham
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- An Adaptation Logic Framework for Java-based Component Systems (article in journal) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- ReSpecT Guide (manual) — Matteo Casadei, Andrea Omicini
- Writing a thesis with LaTeX (article in journal) — Lapo Mori
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere (book) — Lucio Russo
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro Ricci
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (technical report) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
- Introduction to AOSE Tools for the Conference Management System (paper in proceedings) — Lin Padgham, Michael Luck
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (paper in proceedings) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
- Engineering Self-organising Systems with the Multiagent Paradigm (phd thesis) — Luca Gardelli
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (paper in proceedings) — Sara Montagna, Andrea Omicini, Marco Alberti
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
- From AO Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- The Prometheus Design Tool – A Conference Management System Case Study (paper in proceedings) — Lin Padgham, John Thangarajah, Michael Winikoff
- Hierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
91 publications in 2008 without IEEE No •
top •
index •
bottom
- A Survey of Service Oriented Development Methodologies (paper in proceedings) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
- Developing Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
- Evaluating Procedural Alternatives. A Case Study in E-Voting (paper in proceedings) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
- Invited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca Cardelli
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- What is “paradigm”? (technical report) — Erek Göktürk
- Situated Cellular Agents Approach to Crowd Modeling and Simulation (article in journal) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
- An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (article in journal) — Tim O'Reilly
- Integrating Software Models and Platform Models for Performance Analysis (article in journal) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
- Using Eclipse in Building Model-driven e-Learning Supports (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (paper in proceedings) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
- Decentralized Regulation of Distributed Systems: Beyond Access Control (technical report) — Naftaly H. Minsky
- Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
- Timed Environment for Web Agents (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (article in journal) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
- How to infer gene networks from expression profiles (article in journal) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
- Context-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (paper in proceedings) — George Jiri Mejtsky
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (article in journal) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
- Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
- Executable cell biology (article in journal) — Jasmin Fisher, Thomas A. Henzinger
- vLab: an Eclipse-based Virtual Laboratory (paper in proceedings) — Anna Riccioni, Enrico Denti
- Experiences in Automated Workflows using Dialectical Argumentation (paper in proceedings) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (paper in proceedings) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
- RESTful Web Services (book) — Leonard Richardson, Sam Ruby
- Environments for Multi-Agent Systems III (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
- Engineering Societies in the Agents World VII (edited volume) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
- Towards Integrating Agents with Objects Tracing Systems in AmI (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
- Infrastructures for the Environment of Multiagent Systems (article in journal) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- A Survey on Context-Aware Systems (article in journal) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications (article in journal) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
- Extrospection: Agents Reasoning About the Environment (paper in proceedings) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
- Distributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Marteen van Steen
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (paper in proceedings) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (edited volume) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (technical report) — Nicola Segata, Enrico Blanzieri, Corrado Priami
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (paper in proceedings) — Olaf Zimmermann, Jana Koehler, Leymann Frank
- Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Intentional Systems Theory (book chapter) — Daniel Dennett
- Preface (editorial/introduction/preface) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach (paper in proceedings) — Volha Bryl, Paolo Giorgini, John Mylopoulos
- Design Patterns for Self-Organizing Multiagent Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Practical Extensions in Agent Programming Languages (paper in proceedings) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
- tuProlog 2.0: One Step Beyond (article in journal) — Giulio Piancastelli, Andrea Omicini
- Pervasive pheromone-based interaction with RFID tags (article in journal) — Mamei Marco, Franco Zambonelli
- Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
- Programming Multi-Agent Systems in AgentSpeak using Jason (book) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (article in journal) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
- Large Language Models in Machine Translation (paper in proceedings) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Service-Oriented Agent Methodologies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (paper in proceedings) — Alessandro Ricci, Enrico Denti
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Sistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van Steen
- Exploiting the Environment for Coordinating Agent Intentions (paper in proceedings) — Tom Holvoet, Paul Valckenaers
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- Environment as a First Class Abstraction in Multi-Agent Systems (article in journal) — Danny Weyns, Andrea Omicini, James J. Odell
- On the Interplay of Crosscutting and MAS-Specific Styles (paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- Discrete Event Modeling and Simulation in Systems Biology (article in journal) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
- Introduction to the Special Issue: The AgentLink III Technical Forums (editorial/introduction/preface) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Method fragments for agent design methodologies: from standardisation to research (article in journal) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
- Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal) — Tristan M. Behrens, Jurgen Dix
- A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
- Governing Environments for Agent-Based Traffic Simulations (paper in proceedings) — Michael Schumacher, Laurent Grangier, Radu Jurca
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Agent-based modeling of multicell morphogenic processes during development (article in journal) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (article in journal) — Pierluigi Contucci, Stefano Ghirlanda
- Special Issue on the AgentLink III Technical Forums (special issue) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Pellet: A practical OWL-DL reasoner (article in journal) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
92 publications in 2007 without IEEE No •
top •
index •
bottom
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (paper in proceedings) — Rossella Rubino, Andrea Omicini, Enrico Denti
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- Coordination as a Service (article in journal) — Mirko Viroli, Andrea Omicini
- On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
- Metodologie per l'ingegneria del software: approccio ad agenti (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Socio-technical systems (encyclopedia entry) — Brian Whitworth
- Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (paper in proceedings) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Verifying Multi-agent Programs by Model Checking (article in journal) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Web Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
- Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Tools for kinetic modeling of biochemical networks (article in journal) — Rui Alves, Fernando Antunes, Armindo Salvador
- SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Operating Instructions for Intelligent Agent Coordination (article in journal) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- WOA 2006 – Dagli Oggetti agli Agenti (edited volume) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Simulation of Minority Game in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
- StoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
- The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
- Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- SODA: A Roadmap to Artefacts (paper in proceedings) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
- A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (book chapter) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Declarative Agent Languages and Technologies III (edited volume) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
- Special Issue “Hot Topics in European Agent Research II” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
- Simulating Minority Game with TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North
- Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (editorial/introduction/preface) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
- Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Survey of Environments and Mechanisms for Human-Human Stigmergy (paper in proceedings) — H. Van Dyke Parunak
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Generic Large Scale Simulator for Ubiquitous Computing (article in journal) — M. Martin, P. Nurmi
- Logics for Artificial Intelligence (article in journal) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
- Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
- The World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten Sierhuis
- Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
- OWL-S for Describing Artifacts (paper in proceedings) — Rossella Rubino, Ambra Molesini, Enrico Denti
- A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis
- Multiagent Systems (article in journal) — Andrea Omicini, Agostino Poggi
- Standardizing Agent Communication (book chapter) — Yannis Labrou
- An agent oriented tool for method engineering (paper in proceedings) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
- Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
- Engineering Societies in the Agents World VI (edited volume) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
- The Fading Concept in Tuple-Space Systems (paper in proceedings) — Ronaldo Menezes, Alan Wood
- Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
- 4th European Workshop on Multi-Agent Systems (EUMAS 2006) (edited volume) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
- The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart
83 publications in 2006 without IEEE No •
top •
index •
bottom
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (special issue) — Marco Cadoli, Michela Milano, Andrea Omicini
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Developing MAS Solutions with Gaia and AUML (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- SODA: A Roadmap to Artefacts (paper in proceedings) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- Drago: Distributed reasoning architecture for the semantic web (paper in proceedings) — Luciano Serafini, Andrei Tamilin
- The Second AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
- Multi-paradigm Java-Prolog Integration in tuProlog (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Composition of a New Process to Meet Agile Needs Using Method Engineering (paper in proceedings) — Massimo Cossentino, Valeria Seidita
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (article in journal) — Alessandro Ricci, Mirko Viroli
- Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (paper in proceedings) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
- Distributed Instance Retrieval in Heterogeneous Ontologies (paper in proceedings) — Luciano Serafini, Andrei Tamilin
- Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Programming Stigmergic Coordination with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
- Message from the Program Chairs (editorial/introduction/preface) — Andrea Omicini, Roger L. Wainwright
- Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda
- An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Engineering MAS Environment with Artifacts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Special Issue “Process Algebras and Multi-Agent Systems” (special issue) — Mirko Viroli, Andrea Omicini
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (editorial/introduction/preface) — Andrea Omicini, Paolo Petta, Matjaz Gams
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (edited volume) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
- Declarative Agent Languages and Technologies II (edited volume) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (paper in proceedings) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
- More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon
- On Access Restriction with Java Wildcards (article in journal) — Mirko Viroli, Giovanni Rimassa
- Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (article in journal) — Eugene Eberbach
- Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (editorial/introduction/preface) — Marco Cadoli, Michela Milano, Andrea Omicini
- Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Process Models for Agent-based Development (article in journal) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
- Special Issue “Hot Topics in European Agent Research I” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Engineering Societies in the Agents World V (edited volume) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
- Preface (editorial/introduction/preface) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (paper in proceedings) — Brian Henderson-Sellers
- Self-Organization in Multi-Agent Systems (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
- Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
- The AgentLink III Technical Forums: Introduction to the Special Issue (editorial/introduction/preface) — Andrea Omicini, Peter McBurney
- Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (special issue) — Andrea Omicini, Peter McBurney
- Preface (editorial/introduction/preface) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
- Environments for Multi-Agent Systems (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- Coordination and Composition in Multi-agent Systems (paper in proceedings) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
- Preface (editorial/introduction/preface) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (paper in proceedings) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
65 publications in 2005 without IEEE No •
top •
index •
bottom
- Adaptive Agents and Multiagent Systems (article in journal) — Zahia Guessoum
- The Gaia Methodology (book chapter) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- Preface (editorial/introduction/preface) — Andrea Omicini, Paolo Petta, Jeremy Pitt
- Coordination Infrastructures in the Engineering of Multiagent Systems (book chapter) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci
- Challenges and Research Directions in Agent-Oriented Software Engineering (article in journal) — Franco Zambonelli, Andrea Omicini
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (paper in proceedings) — Dieter Fensel
- Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (paper in proceedings) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
- Relevance of Winning Coalitions in Indirect Control of Corporations (article in journal) — Enrico Denti, Nando Prati
- sTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Tim Finin
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- From the Editor in Chief: Nature-Inspired Computing (article in journal) — Nigel Shadbolt
- Composing Adaptive Software (article in journal) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
- Coordination and Collaboration Activities in Cooperative Information Systems (article in journal) — Andrea Omicini, Sascha Ossowski
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
- Engineering Trust in Complex System through Mediating Infrastructures (paper in proceedings) — Alessandro Ricci, Andrea Omicini
- Models and Metaphors from Biology to Bioinformatics Tools (edited volume) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
- A Programming Language for Cognitive Agents: Goal Directed 3APL (paper in proceedings) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
- Message from the Program Chairs (editorial/introduction/preface) — Andrea Omicini, Roger L. Wainwright
- Declarative Agent Languages and Technologies (edited volume) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
- A Conceptual Framework for Self-Organising MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- An Agent-oriented Conceptual Framework for Biological Systems Simulation (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Preface (editorial/introduction/preface) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
- Online Engineering and Open Computational Systems (book chapter) — Martin Fredriksson, Rune Gustavsson
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools (paper in proceedings) — Andrei Borshchev, Alexei Filippov
- Agent Coordination Context: From Theory to Practice (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Verifiable Multi-agent Programs (paper in proceedings) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Probabilistic KLAIM (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Reo: A Channel-based Coordination Model for Component Composition (article in journal) — Farhad Arbab
- Experiencing AUML in the GAIA Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Engineering Societies in the Agents World IV (edited volume) — Andrea Omicini, Paolo Petta, Jeremy Pitt
- Special Issue “Coordination and Collaboration Technologies” (special issue) — Andrea Omicini, Sascha Ossowski
- C@sa: Intelligent Home Control and Simulation (paper in proceedings) — Berardina De Carolis, Giovanni Cozzolongo
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic (paper in proceedings) — Laura Giordano, Alberto Martelli, Camilla Schwind
- MAS as Complex Systems: A View on the Role of Declarative Approaches (paper in proceedings) — Andrea Omicini, Franco Zambonelli
- Using Swarm Intelligence in Linda Systems (paper in proceedings) — Robert Tolksdorf, Ronaldo Menezes
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (paper in proceedings) — Ivana Gungui, Viviana Mascardi
- A Semantics for the Interaction of Agents with Coordination Artifacts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (edited volume) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini
- Ant Colony Optimization (book) — Marco Dorigo, Thomas Stützle
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (paper in proceedings) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
- Decision Support Systems and Intelligent Systems (book) — Efraim Turban, Jay E. Aronson, Ting-Peng Liang
- Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
- Open Directions in Agent-Oriented Software Engineering (article in journal) — Franco Zambonelli, Andrea Omicini
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (paper in proceedings) — Andrea Omicini, Alessandro Ricci
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
- System Support for Pervasive Applications (article in journal) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
- Paradigm and Software Engineering (paper in proceedings) — Erek Göktürk, M. Naci Akkøk
- sTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Timothy W. Finin
- Model Checking for ACL Compliance Verification (book chapter) — Marc-Philippe Huget, Michael J. Wooldridge
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (paper in proceedings) — Enrico Denti, Alessandro Ricci, Rossella Rubino
58 publications in 2004 without IEEE No •
top •
index •
bottom
- The Vision of Autonomic Computing (article in journal) — Jeffrey O. Kephart, David M. Chess
- Lean Software Development: An Agile Toolkit (book) — Mary Poppendieck, Tom Poppendieck
- A software framework for matchmaking based on semantic web technology (paper in proceedings) — Lei Li, Ian Horrocks
- Investigations (book) — Stuart A. Kauffman
- Architecture as a Coordination Tool in Multi-site Software Development (article in journal) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
- Modeling Agents and their Environment (paper in proceedings) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
- Computation Beyond Turing Machines (article in journal) — Peter Wegner, Dina Goldin
- Learning the Sequential Coordinated Behavior of Teams from Observations (paper in proceedings) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
- Rethinking MAS Infrastructure based on Activity Theory (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
- Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (edited volume) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
- Method engineering for OO systems development (article in journal) — Brian Henderson-Sellers
- MavHome: An Agent-based Smart Home (paper in proceedings) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
- Engineering Societies in the Agents World III (edited volume) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
- WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (edited volume) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu
- Stochastic models for DNA replication (book chapter) — Richard Cowan
- Adaptiveness in Linda-Based Coordination Models (paper in proceedings) — Ronaldo Menezes, Robert Tolksdorf
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (article in journal) — Mirko Viroli
- Towards a Methodology for Coordination Mechanism Selection in Open Systems (paper in proceedings) — Simon Miles, Mike Joy, Michael Luck
- Reasoning about Organisation: Shaping the Infrastructure (article in journal) — Andrea Omicini, Alessandro Ricci
- Task-Oriented Engineering of Coordinated Software Systems (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Editorial Message: Special Track on Coordination models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, Sascha Ossowski
- Quantitative Relations and Approximate Process Equivalences (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Preface (editorial/introduction/preface) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
- Activity Theory as a Framework for MAS Coordination (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (book) — Jean-Philippe Bouchaud, Marc Potters
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (article in journal) — Franco Zambonelli, H. Van Dyke Parunak
- Cooperative Information Agents VII (edited volume) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
- Coordination as a Service: Ontological and Formal Foundation (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Model Checking AgentSpeak (paper in proceedings) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
- Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
- How has the 9/11 terrorist attack influenced decision making? (article in journal) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language (article in journal) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
- Developing multiagent systems: The Gaia methodology (article in journal) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings) — Andrea Omicini, Sascha Ossowski
- Preface (editorial/introduction/preface) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (paper in proceedings) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (phd thesis) — Alessandro Ricci
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
- Signs of a Revolution in Computer Science and Software Engineering (paper in proceedings) — Franco Zambonelli, H. Van Dyke Parunak
40 publications in 2003 without IEEE No •
top •
index •
bottom
- Agent-based approach for software development process simulation (paper in proceedings) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
- Towards a Notion of Agent Coordination Context (book chapter) — Andrea Omicini
- The Logic of Scientific Discovery (book) — Karl Raimund Popper
- Coordination Knowledge Engineering (article in journal) — Sascha Ossowski, Andrea Omicini
- Specifying Agent Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Tuple-based Models in the Observation Framework (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Coordination Tools for the Development of Agent-based Systems (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Have ReSpecT for LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Co-operating Sequential Processes (book chapter) — Edsger Wybe Dijkstra
- Towards an Alternative Semantics for FIPA ACL (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Principled Design of the Modern Web Architecture (article in journal) — Roy Thomas Fielding, Richard N. Taylor
- Design Principles of a Reactive Behavioral System for the Intelligent Room (article in journal) — Ajay Kulkarni
- The TROPOS Analysis Process as Graph Transformation System (paper in proceedings) — Paolo Bresciani, Paolo Giorgini
- Linear Embedding for a Quantitative Comparison of Language Expressiveness (paper in proceedings) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (paper in proceedings) — Anna Perini, Angelo Susi, Fausto Giunchiglia
- Extending ReSpecT for Multiple Coordination Flows (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (article in journal) — Brian Henderson-Sellers
- Extreme Programming of Multi-Agent Systems (paper in proceedings) — Holger Knublauch
- Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Engineering Agent Societies: A Case Study in Smart Environments (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Editorial Message: Special Track on Coordination Models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, Sascha Ossowski
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems (paper in proceedings) — Eric Bonabeau
- A Specification Language for Agents Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
- A Framework for Systemic Coordination in Open Computational Systems (paper in proceedings) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
- Virtual Enterprises and Workflow Management as Agent Coordination Issues (article in journal) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (paper in proceedings) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources (paper in proceedings) — Alex Borgida, Luciano Serafini
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency (article in journal) — J.A. Scott Kelso
- Objects and Agents Compared (article in journal) — James J. Odell
- Modelling Agents as Observable Sources (article in journal) — Mirko Viroli, Andrea Omicini
- Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002 (paper in proceedings) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
- Computational challenges in cell simulation: a software engineering approach (article in journal) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
- On the Expressiveness of Event-Based Coordination Media (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge
- Special Issue “Coordination and Knowledge Engineering” (special issue) — Andrea Omicini, Sascha Ossowski
- Coordination Tools for MAS Development and Deployment (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- An Observation Approach to Semantics of Agents Communication Languages (article in journal) — Mirko Viroli, Andrea Omicini
- Model Checking Multi-Agent Systems with MABLE (paper in proceedings) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
- Agent Coordination Contexts: Experiments in TuCSoN (paper in proceedings) — Alessandro Ricci, Andrea Omicini
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (paper in proceedings) — H. van Dyke Parunak, Sven Brueckner, John Sauter
- Bisimulation for Labelled Markov Processes (article in journal) — José Desharnais, Abbas Edalat, Prakash Panangaden
- A Survey of Coordination Middleware for XML-centric Applications (article in journal) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
- Agile development of a clinical multi-agent system: An Extreme Programming case study (paper in proceedings) — Holger Knublauch, Holger Koeth, Thomas Rose
- On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (article in journal) — Hidde De Jong
46 publications in 2002 without IEEE No •
top •
index •
bottom
- Probabilistic Extensions of Process Algebras (book chapter) — Jonsson Bengt, Kim G. Larsen, Wang Yi
- Formal ReSpecT (paper in proceedings) — Andrea Omicini, Enrico Denti
- Enlightened Agents in TuCSoN (article in journal) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations (book chapter) — Ian Foster
- Preface (editorial/introduction/preface) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
- A Coordination Language for Collective Agent-based Systems: GroupLog (article in journal) — Fernanda Barbosa, José C. Cunha
- Coordination as a Paradigm for Systems Integration (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
- Questions and Answers: Reasoning and Querying in Description Logic (phd thesis) — Sergio Tessaris
- LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (article in journal) — Enrico Denti, Andrea Omicini
- Introduction to This Special Issue on Context-Aware Computing (article in journal) — Thomas Moran, Paul Dourish
- Special Issue “Coordination Models and Languages in AI” (special issue) — Andrea Omicini, George A. Papadopoulos
- Multi-Agent Systems and Applications (edited volume) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
- Tuple-based Technologies for Coordination (book chapter) — Davide Rossi, Giacomo Cabri, Enrico Denti
- Multi-Agent Systems as Composition of Observable Systems (paper in proceedings) — Mirko Viroli, Andrea Omicini
- Editorial: Why Coordination Models and Languages in AI? (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
- Simulation-verification: biting at the state explosion problem (article in journal) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
- From Tuple Spaces to Tuple Centres (article in journal) — Andrea Omicini, Enrico Denti
- Coordination of Internet Agents. Models, Technologies, and Applications (edited volume) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (edited volume) — Andrea Omicini, Mirko Viroli
- Safe Tuplespace-based Coordination in Multiagent Systems (article in journal) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
- Coordination Models, Languages and Applications. Track Chair Messages (editorial/introduction/preface) — Andrea Omicini
- The OPEN Process Framework: An Introduction (book) — Donald Firesmith, Brian Henderson-Sellers
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations (article in journal) — Ian Foster, Carl Kesselman, Steven Tuecke
- Gamma and the Chemical Reaction Model: Fifteen Years After (book chapter) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
- On the Notion of Agent Coordination Context: Preliminary Notes (article in journal) — Andrea Omicini
- Designing Agent-Oriented Systems by Analysing Agent Interactions (paper in proceedings) — Simon Miles, Mike Joy, Michael Luck
- Enlightened Agents in TuCSoN (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- An Approach for Method Reengineering (paper in proceedings) — Jolita Ralyté, Colette Rolland
- Engineering Societies in the Agents World II (edited volume) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
- Control-driven Constraint Propagation (article in journal) — Eric Monfroy
- Special Issue “Coordination as a Paradigm for Systems Integration” (special issue) — Andrea Omicini, George A. Papadopoulos
- Self Organization and Coordination (article in journal) — Scott E. Page
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (article in journal) — Ganesh D. Bhatt
- Statistical Physics of Spin Glasses and Information Processing: An Introduction (book) — Hidetoshi Nishimori
- Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (paper in proceedings) — Alessandro Ricci, Enrico Denti, Andrea Omicini
- An Agent-based Approach for Building Complex Software Systems (article in journal) — Nicholas R. Jennings
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Multi-Agent Systems as Composition of Observable Systems (article in journal) — Mirko Viroli, Andrea Omicini
- On the Unusual Effectiveness of Logic in Computer Science (article in journal) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
- An Assembly Process Model for Method Engineering (paper in proceedings) — Jolita Ralyté, Colette Rolland
- Objective Coordination in Multi-Agent System Engineering. Design and Implementation (book) — Michael Schumacher
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (article in journal) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (paper in proceedings) — Mirko Viroli, Gianluca Moro, Andrea Omicini
- Agent-Oriented Software Engineering for Internet Applications (paper in proceedings) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
- XML Dataspaces for the Coordination of Internet Agents (article in journal) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- An Algorithm for Winning Coalitions in Indirect Control of Corporations (article in journal) — Nando Prati, Enrico Denti
- Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
- Preface: Volume 48 (editorial/introduction/preface) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
- Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (edited volume) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (paper in proceedings) — Andrea Omicini
50 publications in 2001 without IEEE No •
top •
index •
bottom
- The Gaia Methodology for Agent-Oriented Analysis and Design (article in journal) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Formal ReSpecT (paper in proceedings) — Andrea Omicini, Enrico Denti
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- On the Expressiveness of Linda Coordination Primitives (article in journal) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- The LuCe Coordination Technology for MAS Design and Development on the Internet (paper in proceedings) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Mind the Gap! Towards a unified view of CSCW (paper in proceedings) — Kjeld Schmidt, Carla Simone
- Selecting a Project's Methodology (article in journal) — Alistair Cockburn
- Multiagent System Engineering: The Coordination Viewpoint (paper in proceedings) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (edited volume) — Antonio Corradi, Andrea Omicini, Agostino Poggi
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (paper in proceedings) — Andrea Omicini
- On Agent-Based Software Engineering (article in journal) — Nicholas R. Jennings
- EasyLiving: Technologies for Intelligent Environments (paper in proceedings) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
- Ruling Agent Motion in Structured Environments (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Amorphous Computing (article in journal) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents (paper in proceedings) — Andrea Omicini
- Amorphous Computing (article in journal) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- Engineering Societies in the Agents World (edited volume) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
- Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
- Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (book) — Daniel J. Povinelli
- Architectural Styles and the Design of Network-based Software Architectures (phd thesis) — Roy Thomas Fielding
- Special Track on Coordination Models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
- Process Migration (article in journal) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (article in journal) — Michael A. Gibson, Jehoushua Bruck
- Fondamenti di Informatica A (Parte II) (book) — Enrico Denti
- Context-Dependency in Internet-Agent Coordination (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- The Gaia Methodology for Agent-Oriented Analysis and Design (article in journal) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Preface (editorial/introduction/preface) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (paper in proceedings) — Andrea Omicini
- MARS: A Programmable Coordination Architecture for Mobile Agents (article in journal) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- Persistent Turing Machines as a Model of Interactive Computation (paper in proceedings) — Dina Q. Goldin
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (article in journal) — Mirko Viroli, Antonio Natali
31 publications in 2000 without IEEE No •
top •
index •
bottom
- Mathematical Models of Interactive Computing (technical report) — Peter Wegner, Dina Goldin
- Implementing the ACLT Coordination Model (technical report) — Enrico Denti
- On the Semantics of Tuple-based Coordination Models (paper in proceedings) — Andrea Omicini
- Tuple Centres for the Coordination of Internet Agents (paper in proceedings) — Andrea Omicini, Franco Zambonelli
- On the Expressiveness of Coordination Models (paper in proceedings) — Antonio Brogi, Jean-Marie Jacquet
- Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Extreme Programming Explained: Embrace Change (book) — Kent Beck
- Coinductive Models of Finite Computing Agents (paper in proceedings) — Peter Wegner, Dina Goldin
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering (article in journal) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
- Introduction to Econophysics: Correlations and Complexity in Finance (book) — Rosario N. Mantegna, H. Eugene Stanley
- Coordination Technology for the Development of Multi-Agent Systems on the Web (paper in proceedings) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Engineering Multi-Agent Systems in LuCe (paper in proceedings) — Enrico Denti, Andrea Omicini
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (book) — Eric Freeman, Susanne Hupfer, Ken Arnold
- The Explorable Topology: Supporting Agent Autonomy on the Internet (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Comparing Coordination Models based on Shared Distributed Replicated Data (paper in proceedings) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
- Coordination Models for Multi-Agent Systems (article in journal) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (article in journal) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
- A Methodology for Agent-Oriented Analysis and Design (paper in proceedings) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Coordination for Internet Application Development (article in journal) — Andrea Omicini, Franco Zambonelli
- Swarm Intelligence: From Natural to Artificial Systems (book) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz
- A Brief History of Stigmergy (article in journal) — Guy Theraulaz, Eric Bonabeau
- Coordination Technologies for Internet Agents (article in journal) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- The HiMAT Model for Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Adopting an Object-Oriented Data Model in Inductive Logic Programming (paper in proceedings) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (book) — Enrico Denti
- Distributed Cognition, Coordination and Environment Design (paper in proceedings) — David Kirsh
- The UMASS Intelligent Home Project (paper in proceedings) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
- Fondamenti di Informatica A (Parte I) (book) — Enrico Denti
- Designing Multi-Agent Systems around an Extensible Communication Abstraction (paper in proceedings) — Enrico Denti, Andrea Omicini
- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- An Architecture for Tuple-based Coordination of Multi-Agent Systems (article in journal) — Enrico Denti, Andrea Omicini
- Agents with Power (article in journal) — Rune Gustavsson
- Editor's Introduction: Stigmergy (article in journal) — Eric Bonabeau
34 publications in 1999 without IEEE No •
top •
index •
bottom
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (article in journal) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
- T Spaces (article in journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
- A process algebraic view of Linda coordination primitives (article in journal) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- KLAIM: A Kernel Language for Agent Interaction and Mobility (article in journal) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
- Collective dynamics of ‘small-world’ networks (article in journal) — Duncan J. Watts, Steven H. Strogatz
- On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Understanding Code Mobility (article in journal) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
- Coordination Models and Languages (book chapter) — George A. Papadopoulos, Farhad Arbab
- Towards a Hierarchy of Negative Test Operators for Generative Communication (paper in proceedings) — Gianluigi Zavattaro
- Co-ordination of Mobile Information Agents in TuCSoN (article in journal) — Andrea Omicini, Franco Zambonelli
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (phd thesis) — Enrico Denti
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (article in journal) — Enrico Denti
- On the Incomparability of Gamma and Linda (technical report) — Gianluigi Zavattaro
- Agent Communication Languages: Rethinking the Principles (article in journal) — Munindar P. Singh
- Designing for the Dynamics of Cooperative Work Activities (paper in proceedings) — Jakob Bardram
- Decision procedures for BDI logics (article in journal) — Anand S. Rao, Michael P. Georgeff
- On the Expressive Power of a Language for Programming Coordination Media (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (book) — Gustave Martelet
- Distributed Agents Supporting Event-Driven Design Processes (book chapter) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model (paper in proceedings) — Andrea Omicini, Franco Zambonelli
- Modelling Social Action for AI Agents (article in journal) — Cristiano Castelfranchi
- Towards Empirical Computer Science (article in journal) — Peter Wegner
- A Comprehensive View of Process Engineering (paper in proceedings) — Colette Rolland
- TuCSoN: a Coordination model for Mobile Information Agents (paper in proceedings) — Andrea Omicini, Franco Zambonelli
- A Fuzzy Description Logic (paper in proceedings) — Umberto Straccia
- Planning and acting in partially observable stochastic domains (article in journal) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
- A Formal Specification of dMARS (paper in proceedings) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
27 publications in 1998 without IEEE No •
top •
index •
bottom
- Intelligent Decision Support Methods: The Science of Knowledge Work (book) — Vasant Dhar, Roger M. Stein
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (book chapter) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
- Designing Multi-Agent Systems around a Programmable Communication Abstraction (paper in proceedings) — Enrico Denti, Andrea Omicini
- Issues in Agent-Based Software Engineering (paper in proceedings) — Michael J. Wooldridge
- Situational Method Engineering (book) — A.F. Harmsen
- Programmable Coordination Media (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
- A Tutorial on (Co)Algebras and (Co)Induction (article in journal) — Bart Jacobs, Jan Rutten
- Semantics and Conversations for an Agent Communication Language (book chapter) — Yannis Labrou, Tim Finin
- “Go to the Ant”: Engineering Principles from Natural Agent Systems (article in journal) — H. Van Dyke Parunak
- Learning with an Object-Oriented Data Model (paper in proceedings) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (paper in proceedings) — Leon J. Osterweil
- Expressive Power of the ACLT Reaction Specification Language (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
- Why Interaction Is More Powerful Than Algorithms (article in journal) — Peter Wegner
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
14 publications in 1997 without IEEE No •
top •
index •
bottom
- Foundations of Distributed Artificial Intelligence (edited volume) — Gregory M.P. O'Hare, Nicholas R. Jennings
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- An Extensible Framework for the Development of Coordinated Applications (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- Coordination Models and Languages as Software Integrators (article in journal) — Paolo Ciancarini
- An Object-Oriented Approach to Planning (paper in proceedings) — Umberto Fonda, Antonio Natali, Andrea Omicini
- A General Framework for Multi-Theory Logic Languages (technical report) — Andrea Omicini
- The Structure of Scientific Revolutions (book) — Thomas S. Kuhn
- A Software Environment for Concurrent Coordinated Programming (paper in proceedings) — Anne-Alexandra Holzbacher
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (paper in proceedings) — Stan Franklin, Art Graesser
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (paper in proceedings) — Anand S. Rao
- Method engineering: engineering of information systems development methods and tools (article in journal) — Sjaak Brinkkemper
- Bulk Primitives in Linda Run-Time Systems (phd thesis) — Antony Ian Taylor Rowstron
- Integrating Knowledge Acquisition in Plan Selection (paper in proceedings) — Antonio Natali, Andrea Omicini
13 publications in 1996 without IEEE No •
top •
index •
bottom
- BDI Agents: From Theory to Practice (paper in proceedings) — Anand S. Rao, Michael P. Georgeff
- Intelligent Agents: Theory and Practice (article in journal) — Michael J. Wooldridge, Nicholas R. Jennings
- A distributed semantics for EMPA based on stochastic contextual nets (article in journal) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
- Context and Consciousness: Activity Theory and Human-Computer Interaction (edited volume) — Bonnie A. Nardi
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems (paper in proceedings) — Richard Goldgar, Ramon D. Acosta
- Law-Governed Linda as a Coordination Model (paper in proceedings) — Naftaly H. Minsky, Jerrold Leichter
- Computational Research on Interaction and Agency (article in journal) — Philip E. Agre
- Guarantees for Autonomy in Cognitive Agent Architecture (paper in proceedings) — Cristiano Castelfranchi
- La programmazione logica nello sviluppo del software: dai modelli agli strumenti (book chapter) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (book) — Enrico Denti, Antonio Natali
- Robot Control Systems as Contextual Logic Programs (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
- 1st International Conference on Multiagent Systems (edited volume) — Victor R. Lesser, Les Gasser
- Specification and Analysis of System Architecture Using Rapide (article in journal) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
- Reactive, Generative, and Stratified Models of Probabilistic Processes (article in journal) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
- Programmazione Logica Orientata agli Oggetti (phd thesis) — Andrea Omicini
- Agent Coordination and Control through Logic Theories (paper in proceedings) — Andrea Omicini, Enrico Denti, Antonio Natali
- Cognitive and Social Action (edited volume) — Rosaria Conte, Cristiano Castelfranchi
- A Petri Net Semantics for pi-Calculus (paper in proceedings) — Nadia Busi, Roberto Gorrieri
18 publications in 1995 without IEEE No •
top •
index •
bottom
- A Structured Logic Programming Approach to Robot Programming (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
- The Interdisciplinary Study of Coordination (article in journal) — Thomas W. Malone, Kevin Crowston
- Moving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini
- Scale in Distributed Systems (book chapter) — B. Clifford Neuman
- Open Logic Theory Composition in a Software Engineering Perspective (paper in proceedings) — Enrico Denti, Andrea Omicini
- Object-Oriented Computations in Logic Programming (paper in proceedings) — Andrea Omicini, Antonio Natali
- Distributed Programming with Logic Tuple Spaces (article in journal) — Paolo Ciancarini
- Modularity in Logic Programming (article in journal) — Michele Bugliesi, Evelina Lamma, Paola Mello
- Embedding as a Tool for Language Comparison (article in journal) — Frank S. de Boer, Catiuscia Palamidessi
9 publications in 1994 without IEEE No •
top •
index •
bottom
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
- Foundations for Interaction: The Dependence Theory (paper in proceedings) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
- Agent-Oriented Programming (article in journal) — Yoav Shoham
- Objects with State in CSM (paper in proceedings) — Antonio Natali, Andrea Omicini
- Elements of Interaction: Turing Award Lecture (article in journal) — Robin Milner
- Techniques for Implementing Contexts in Logic Programming (paper in proceedings) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Tools, Language and Cognition in Human Evolution (edited volume) — Kathleen R. Gibson, Tim Ingold
- Objects with State in Contextual Logic Programming (paper in proceedings) — Antonio Natali, Andrea Omicini
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
- Science for the post-normal age (article in journal) — Silvio O. Funtowicz, Jerome R. Ravetz
- An Overview of Manifold and its Implementation (article in journal) — Farhad Arbab, Ivan Herman, Per Spilling
- Exploiting Logic Programming in Robot Applications (paper in proceedings) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
- The Origins of Order: Self-organization and Selection in Evolution (book) — Stuart A. Kauffman
- A History of Speculation on the Relation between Tools and Languages (book chapter) — Gordon W. Hewes
14 publications in 1993 without IEEE No •
top •
index •
bottom
- A calculus of mobile processes, I (article in journal) — Robin Milner, Joachim Parrow, David Walker
- Barbed Bisimulation (paper in proceedings) — Robin Milner, Davide Sangiorgi
- Implementing Contexts in Logic Programming (paper in proceedings) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- The Semantics of a Parallel Language based on a Shared Data Space (technical report) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
- An Abstract Architecture for Rational Agents (paper in proceedings) — Anand S. Rao, Michael P. Georgeff
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
- Supporto alla Comunicazione Remota in MME 3 (technical report) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
- A calculus of mobile processes, II (article in journal) — Robin Milner, Joachim Parrow, David Walker
- Coordination Languages and Their Significance (article in journal) — David Gelernter, Nicholas Carriero
- Objects as Evolving Contexts (paper in proceedings) — Antonio Natali, Andrea Omicini
- Design principles for cognitive artifacts (article in journal) — Donald A. Norman
- Parallel Logic Programming using the Linda Model of Computation (paper in proceedings) — Paolo Ciancarini
- CSM User's Guide (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
- The Chemical Abstract Machine (article in journal) — Gérard Berry
- Methodology EngineeringR: a proposal for situation-specific methodology construction (book chapter) — Kuldeep Kumar, Richard J. Welke
15 publications in 1992 without IEEE No •
top •
index •
bottom
9 publications in 1991 without IEEE No •
top •
index •
bottom
6 publications in 1990 without IEEE No •
top •
index •
bottom