Per anno

906 pubblicazioni senza IRIS ID / 1927–2014

2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991 • 1990 • 1989 • 1988 • 1987 • 1986 • 1985 • 1984 • 1983 • 1982 • 1980 • 1979 • 1978 • 1977 • 1974 • 1973 • 1972 • 1971 • 1965 • 1964 • 1962 • 1959 • 1952 • 1950 • 1947 • 1939 • 1937 • 1927

2014

Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (articolo in atti) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Building Blocks for Aggregate Programming of Self-Organising Applications (articolo in atti) — Jacob Beal, Mirko Viroli
Engineering General Intelligence, Part 2 (libro) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
Negotiation and Argumentation in Multi-Agent Systems (curatela) — Fernando Lopes, Helder Coelho
A Calculus of Self-stabilising Computational Fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani
Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (capitolo di libro) — Artur Arsénio, Hugo Serra, Rui Francisco, Fernando Nabais, João Andrade, Eduardo Serrano
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
HPC from a self-organisation perspective: The case of crowd steering at the urban scale (articolo in atti) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (libro) — Bernd Rosslenbroich
Handbook on Agent-Oriented Design Processes (curatela) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Distributed statistical analysis of complex systems modeled through a chemical metaphor (articolo in atti) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
Best ACM SAC Articles on Coordination and Self-Adaptation (editoriale/introduzione/prefazione) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
The Autonomy of Automated Systems (articolo in atti) — Giovanni Sartor, Andrea Omicini
Towards a Unified Model of Spatial Computing (articolo in atti) — Mirko Viroli
Bridging the Symbolic/Subsymbolic Gap (capitolo di libro) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller

16 pubblicazioni nel 2014 senza IRIS ID • in cima • indice • in fondo

2013

From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (capitolo di libro) — Alessandro Ricci, Andrea Santi
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (articolo in atti) — Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (articolo in atti) — Alessandro Ricci, Andrea Santi
Domain Independent Text Categorization (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (articolo in atti) — Stefano Mariani
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (articolo in rivista) — Houguang Yue
Special Issue on Software Agents (numero speciale) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Coupling software architecture and human architecture for collaboration-aware system adaptation (articolo in atti) — Christoph Dorn, Richard N Taylor
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (rapporto tecnico) — Stefano Mariani
A calculus of computation fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Injecting Self-organisation into Pervasive Service Ecosystems (articolo in rivista) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (articolo in rivista) — Mirko Viroli
1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (curatela) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (articolo in rivista) — Danilo Pianini, Sara Montagna, Mirko Viroli
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (articolo in rivista) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Operational Semantics of Proto (articolo in rivista) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing (capitolo di libro) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Multi-agent Oriented Programming with JaCaMo (articolo in rivista) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Description and composition of bio-inspired design patterns: a complete overview (articolo in rivista) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
6th International Spatial Computing Workshop (SCW 2013) (curatela) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
Software Agents: Twenty Years and Counting (editoriale/introduzione/prefazione) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (rapporto tecnico) — Stefano Mariani
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — 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. (articolo in atti) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (articolo in atti) — Sara Montagna, Mirko Viroli
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (articolo in rivista) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (curatela) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos

30 pubblicazioni nel 2013 senza IRIS ID • in cima • indice • in fondo

2012

A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (articolo in atti) — Marco Alberti, Andrea Omicini
Is It a “Good” Encoding of Mixed Choice? (articolo in atti) — Kirstin Peters, Uwe Nestmann
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (articolo in atti) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (articolo in atti) — Mirko Viroli, Danilo Pianini, Jacob Beal
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Bottom-Up Argumentation (articolo in atti) — Francesca Toni, Paolo Torroni
Self-organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (curatela) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (capitolo di libro) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (articolo in rivista) — Schahram Dustdar, Hong-Linh Truong
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (articolo in atti) — Alessandro Ricci, Andrea Santi
Programming Directives for Elastic Computing (articolo in rivista) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (articolo in rivista) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Distributed Systems. Concepts and Design (libro) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
Standard Type Soundness for Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (capitolo di libro) — Sara Montagna, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (articolo in atti) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
Programming Distributed Multi-Agent Systems in simpAL (articolo in atti) — Andrea Santi, Alessandro Ricci
A Programming Paradigm based on Agent-Oriented Abstractions (articolo in rivista) — Alessandro Ricci, Andrea Santi
Interdependent Artificial Institutions in Agent Environments (articolo in rivista) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Perspectives on Spin Glasses (libro) — Pierluigi Contucci, Cristian Giardinà
Proceedings of the AI*IA 2012 Doctoral Consortium (curatela) — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
Gradient-based Self-organisation Patterns of Anticipative Adaptation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
Self-Organising News Management: The Molecules of Knowledge Approach (articolo in atti) — Stefano Mariani, Andrea Omicini
Typing Multi-Agent Programs in simpAL (articolo in atti) — Alessandro Ricci, Andrea Santi
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (articolo in atti) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
An Eclipse-based IDE for Agent-Oriented Programming in simpAL (articolo in atti) — Andrea Santi, Alessandro Ricci
Implicit: A Multi-agent Recommendation System for Web Search (articolo in rivista) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Situation Identification Techniques in Pervasive Computing: A Review (articolo in rivista) — Juan Ye, Simon Dobson, Susan McKeever
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (articolo in atti) — Christoph Dorn, Richard N Taylor
Self-adaptive software needs quantitative verification at runtime (articolo in rivista) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Toward Sociotechnical Urban Superorganisms (articolo in rivista) — Franco Zambonelli
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (articolo in rivista) — 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 (articolo in atti) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli

37 pubblicazioni nel 2012 senza IRIS ID • in cima • indice • in fondo

2011

Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (curatela) — Alois Ferscha
Coordinating Spatially-Situated Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (libro) — Daniele Archibugi, Andrea Filippetti
Model-driven communications and collaborative software development (articolo in atti) — Antonio Natali
Deep diving into BitTorrent locality (articolo in atti) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Living in a Digital World (articolo in rivista) — Samuel Greengard
An introduction to Bisimulation and Coinduction (libro) — Davide Sangiorgi
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Reasoning with Categories for Trusting Strangers: a Cognitive Architecture (articolo in atti) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Seeing is not enough (articolo in rivista) — Tom Geller
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (articolo in rivista) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (articolo in rivista) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (articolo in rivista) — Alessandro Ricci, Michele Piunti, Mirko Viroli
JaCa-Android: an agent-based platform for building smart mobile applications (articolo in atti) — Andrea Santi, Alessandro Ricci
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (articolo in atti) — Alessandro Ricci, Andrea Santi
Software Engineering for Self-Organizing Systems (articolo in atti) — H. Van Dyke Parunak, Sven A. Brueckner
A Simulation Framework for Pervasive Services Ecosystems (articolo in atti) — Danilo Pianini, Mirko Viroli, Sara Montagna
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (articolo in atti) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (articolo in atti) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
A Calculus of Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Middleware Infrastructures for Self-organising Pervasive Computing Systems (capitolo di libro) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Dennis Ritchie, 1941-2011 (articolo in rivista) — Paul Hyman
Sustainable biomass power plant location in the Italian Emilia-Romagna region (articolo in rivista) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Facing Openness with Socio Cognitive Trust and Categories (articolo in atti) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Distributed Computing. Principles, Algorithms, and Systems (libro) — Ajay D. Kshemkalyani, Mukesh Singhal
Abstraction in hardware system design (articolo in rivista) — Rishiyur S. Nikhil
Java Security Architecture Revisited (articolo in rivista) — Li Gong
Improving brain-computer interfaces (articolo in rivista) — Kirk L. Kroeker
A Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (rapporto tecnico) — Andrea Argentini, Enrico Blanzieri
Towards Social-ICT Organisms (capitolo di libro) — Franco Zambonelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (articolo in rivista) — Franco Zambonelli, Mirko Viroli
The legacy of Steve Jobs (articolo in rivista) — Michael A. Cusumano
Verifying the Evolution of Probability Distributions Governed by a DTMC (articolo in rivista) — YoungMin Kwon, Gul Agha
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
The most ancient marketing (articolo in rivista) — Jaron Lanier
The software industry is the problem (articolo in rivista) — Poul-Henning Kamp
Adaptive organizational changes in agent-oriented methodologies (articolo in rivista) — Luca Cernuzzi, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (articolo in rivista) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
From Space to Stage: How Interactive Screens Will Change Urban Life (articolo in rivista) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Enhancing Privacy in Multi-Agent Systems (tesi di dottorato) — Jose Miguel Such Aparicio
The Social Compute Unit (articolo in rivista) — Schahram Dustdar, Kamal Bhattacharya
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (articolo in atti) — Clare Dixon, Alan Winfield, Micheal Fisher
Multi-level models and infrastructures for simulating biological system development (tesi di dottorato) — Sara Montagna
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
The Rise of Molecular Machines (articolo in rivista) — Kirk L. Kroeker
From Manifesta to Krypta: The Relevance of Categories for Trusting Others (articolo in rivista) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
BDI Agents with Objectives and Preferences (articolo in atti) — Aniruddha Dasgupta, Aditya K. Ghose
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (articolo in atti) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Principles of Elastic Processes (articolo in rivista) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (articolo in atti) — Stefan J. Witwicki, Edmund H. Durfee
Core Operational Semantics of Proto (articolo in atti) — Mirko Viroli, Jacob Beal, Matteo Casadei
An interaction-oriented agent framework for open environments (articolo in atti) — 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 (articolo in atti) — Danilo Pianini, Sara Montagna, Mirko Viroli
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (articolo in atti) — 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 (articolo in rivista) — Peter McBurney, Simon Parsons, Mirko Viroli
Anonymity is not privacy: technical perspective (articolo in rivista) — Vitaly Shmatikov
Programming Coordination Laws of Artifacts in CArtAgO (articolo in atti) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
A Tour of Reaction Systems (articolo in rivista) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Debt Deleveraging and Business Cycles. An Agent-Based Perspective (articolo in rivista) — Marco Raberto, Andrea Teglio, Silvano Cincotti
Exploiting the JaCaMo framework for realising an adaptive room governance application (articolo in atti) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Global Democracy: Normative and Empirical Perspectives (libro) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
Computational journalism (articolo in rivista) — Sarah Cohen, James T. Hamilton, Fred Turner
Will software engineering ever be engineering? (articolo in rivista) — Michael Davis

66 pubblicazioni nel 2011 senza IRIS ID • in cima • indice • in fondo

2010

Programming Open Systems with Agents, Environments and Organizations (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (articolo in rivista) — Clemens Holzmann, Alois Ferscha
Simulate plants: a client-server graphic approach (articolo in atti) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Towards Model-driven Communications (articolo in rivista) — Antonio Natali, Ambra Molesini
A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (tesi di dottorato) — Sameh Abdel-Naby
The Description Logic Handbook: Theory, Implementation, and Applications (libro) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
Exploring the Boundaries: When Method Fragmentation is not Convenient (articolo in atti) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Exploiting Agent-Oriented Programming for Developing Android Applications (articolo in atti) — Andrea Santi, Marco Guidi, Alessandro Ricci
Artificial Intelligence: A Modern Approach (libro) — Stuart J. Russell, Peter Norvig
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (articolo in atti) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
A Biochemical Approach to Adaptive Service Ecosystems (articolo in rivista) — Mirko Viroli, Franco Zambonelli
Engineering Self-Coordinating Software Intensive Systems (articolo in atti) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (articolo in rivista) — Sagar Indurkhya, Jacob Beal
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (articolo in atti) — Andrea Santi, Guidi Marco, Alessandro Ricci
Logic-based decision support for strategic environmental assessment (articolo in rivista) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (articolo in atti) — Sergio Esparcia, Estefania Argente, Vicent Botti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (articolo in rivista) — Silvano Cincotti, Marco Raberto, Andrea Teglio
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (articolo in atti) — Andrea Santi
A Basis Set of Operators for Space-Time Computations (articolo in atti) — Jacob Beal
Tutorial on Agent-based Modelling and Simulation (articolo in rivista) — Charles M. Macal, Michael J. North
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (articolo in rivista) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Interacting with Virtual Plants: a Client-Server Approach (articolo in atti) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (articolo in atti) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
Developing Web Client Applications with JaCa-Web (articolo in atti) — Mattia Minotti, Andrea Santi, Alessandro Ricci
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (articolo in atti) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (articolo in atti) — Alessandro Ricci, Andrea Santi, Michele Piunti
Using Domain Specific Languages for platform-based software development: The case of Android (articolo in atti) — Antonio Natali, Ambra Molesini
Simulation and Analysis of Distributed Systems in Klaim (articolo in atti) — Francesco Calzolai, Michele Loreti
Risk Analysis and Deployment Security Issues in a Multi-Agent System (articolo in atti) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (articolo in atti) — 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 (articolo in atti) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (articolo in atti) — Bo Sun Conghua Zhou, Liu Zhifeng
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (articolo in atti) — 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 (articolo in atti) — Rino Falcone, Cristiano Castelfranchi
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (articolo in atti) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (articolo in rivista) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Framework for Modelling and Simulating Networks of Cells (articolo in atti) — Sara Montagna, Mirko Viroli
Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (tesi di dottorato) — Michele Piunti
Artificial Life XII (curatela) — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
Formal Verification of Probabilistic Swarm Behaviours (articolo in atti) — Savas Konur, Clare Dixon, Michael Fisher
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (articolo in atti) — 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 (capitolo di libro) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
Trust Theory: A Socio-Cognitive and Computational Model (libro) — Christiano Castelfranchi, Rino Falcone
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (articolo in rivista) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (articolo in atti) — Mattia Minotti, Andrea Santi, Alessandro Ricci
The O-MaSE Process: a Standard View (articolo in atti) — Juan C. Garcia-Ojeda, Scott DeLoach
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (articolo in rivista) — Alessandro Ricci, Enrico Denti, Michele Piunti
Implementing reactive BDI agents with user-given constraints and objectives (articolo in rivista) — Aniruddha Dasgupta, Aditya K. Ghose
Chemical-Inspired Self-Composition of Competing Services (articolo in atti) — Mirko Viroli, Matteo Casadei

50 pubblicazioni nel 2010 senza IRIS ID • in cima • indice • in fondo

2009

Introducing Relevance Awareness in BDI Agents (articolo in atti) — Emiliano Lorini, Michele Piunti
Engineering Societies in the Agents World IX (curatela) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
Embodying Organisations in Multi-Agent Work Environments (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Formalising the Environment in MAS Programming: a Formal Model (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Designing a Development Environment for Logic and Multi-Paradigm Programming (articolo in atti) — Giulio Piancastelli, Enrico Denti
A Formal Definition of Colture (rapporto tecnico) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (articolo in atti) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Information, Physics, and Computation (libro) — Marc Mézard, Andrea Montanari
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Self-Organising Coordination Systems (tesi di dottorato) — Matteo Casadei
Manipulation implicite d'une organisation multiagent via l'environnement (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Mathematics for Economics: A Statistical Mechanics Perspective (articolo in rivista) — Pierluigi Contucci, Francesca Romiti
Gaia4E: A Tool Supporting the Design of MAS using Gaia (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
A SOA Based Software Engineering Design Approach in Service Engineering (articolo in atti) — Weider D. Yu, Chia H. Ong
Special Issue “Engineering Environments in Multi-Agent Systems” (numero speciale) — Danny Weyns, Andrea Omicini
The Craft of Prolog (libro) — Richard O'Keefe
Modelling Periodic Data Dissemination in Wireless Sensor Networks (articolo in atti) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Introducing Relevance Awareness in BDI Agents (articolo in atti) — Emiliano Lorini, Michele Piunti
Declarative Specification and Verification of Service Choreographies (articolo in rivista) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Agent-based Modelling of Stem Cells (capitolo di libro) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
A Goal-Oriented Approach for Modelling Self-organising MAS (articolo in atti) — 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 (articolo in atti) — Michele Piunti, Alessandro Ricci, Andrea Santi
Interactive Graphical Maps for Infocenter via Model to Model Transformation (articolo in atti) — Enrico Oliva
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (articolo in atti) — Michele Piunti, Alessandro Ricci
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (articolo in atti) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
Software Engineering: An Idea Whose Time Has Come and Gone? (articolo in rivista) — Tom De Marco
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (articolo in atti) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
A Process Model of Actin Polymerisation (articolo in atti) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Making Sense of Revision-control Systems (articolo in rivista) — Bryan O'Sullivan
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (articolo in atti) — Michele Piunti, Andrea Santi, Alessandro Ricci
Knowledge-based coordination with a reliable semantic subscription mechanism (articolo in atti) — Martin Murth, Eva Kuhn
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (articolo in atti) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using Jason, MOISE, and CArtAgO to develop a team of cowboys (articolo in atti) — 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 (curatela) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (articolo in atti) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Embodied Organisations in MAS Environments (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
A MAS Metamodel-Driven Approach to Process Fragments Selection (articolo in atti) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (articolo in atti) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Empirical comparison of methods for information systems development according to SOA (articolo in atti) — Philipp Offermann, Udo Bub
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (articolo in rivista) — Marco Mamei, Franco Zambonelli
Implicit Culture Framework for behavior transfer. Definition, implementation and applications (tesi di dottorato) — Aliaksandr Birukou
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (articolo in atti) — Alessandro Ricci, Michele Piunti
Parameter tuning of a stochastic biological simulator by metaheuristics (articolo in atti) — Sara Montagna, Andrea Roli
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (articolo in atti) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
On the Collective Sort Problem for Distributed Tuple Spaces (articolo in rivista) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (articolo in atti) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A computational framework for modelling multicellular biochemistry (articolo in atti) — Sara Montagna, Mirko Viroli
An Introduction to MultiAgent Systems (libro) — Michael J. Wooldridge
Testing Techniques for Software Agents (tesi di dottorato) — Cu Duy Nguyen
Costruire sistemi software: dai modelli al codice (libro) — Antonio Natali, Ambra Molesini
Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei

52 pubblicazioni nel 2009 senza IRIS ID • in cima • indice • in fondo

2008

Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (articolo in atti) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Simulation Methods in Systems Biology (articolo in atti) — Daniel T. Gillespie
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (articolo in atti) — Franco Zambonelli, Mirko Viroli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Pascal Poizat, Mirko Viroli
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (articolo in rivista) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (articolo in atti) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (articolo in rivista) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (articolo in atti) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (articolo in rivista) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
On the reification of Java wildcards (articolo in rivista) — Maurizio Cimadamore, Mirko Viroli
Il Milione. Viaggio nella logica computazionale in Italia (curatela) — Matteo Baldoni, Cristina Baroglio
Description Logics (capitolo di libro) — Franz Baader, Ian Horrocks, Ulrike Sattler
Tool-Supported Development with Tropos: The Conference Management System Case Study (articolo in atti) — 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 (articolo in atti) — Michele Piunti, Alessandro Ricci
An experimental environment for teaching Java Security (articolo in atti) — Anna Riccioni, Enrico Denti, Roberto Laschi
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (articolo in atti) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (articolo in atti) — Mario Bravetti
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (articolo in atti) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Engineering Societies in the Agents’ World VIII (curatela) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
Integrating Java and Prolog through Generic Methods and Type Inference (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
Agent-oriented AmI Engineering (articolo in atti) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (articolo in rivista) — Pierluigi Contucci, Cristian Giardina
Econophysics and the Current Economic Turmoil (articolo in rivista) — H. Eugene Stanley
The BlenXLanguage: A Tutorial (articolo in atti) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Introducing Join-Computing (articolo in atti) — Giacomo Cabri
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Designing a Development Environment for Logic and Multi-Paradigm Programming (articolo in atti) — Giulio Piancastelli, Enrico Denti
Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (tesi di dottorato) — Ambra Molesini
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (articolo in atti) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (articolo in atti) — 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 (articolo in rivista) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Model-driven Generation of Graphical Maps for e-Contents (articolo in atti) — Antonio Natali, Enrico Oliva, Cristina Bonanni
Towards a Tuplespace-based Middleware for the Semantic Web (articolo in rivista) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
RBAC-MAS & SODA: Experimenting RBAC in AOSE (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (articolo in atti) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
Lightweight Family Polymorphism (articolo in rivista) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
La costruzione dei sistemi software: dai modelli al codice (libro) — Antonio Natali, Ambra Molesini
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (articolo in atti) — Daniel Yamins, Radhika Nagpal
A Process Algebraic View of Shared Dataspace Coordination (articolo in rivista) — Nadia Busi, Gianluigi Zavattaro
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (articolo in atti) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (articolo in atti) — Michele Piunti, Alessandro Ricci
PASSIM: a simulation-based process for the development of multi-agent systems (articolo in rivista) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring (articolo in atti) — Florian Fuchs, Michael Berger
Argumentation and Artifacts for Intelligent Multi-agent Systems (tesi di dottorato) — Enrico Oliva
Methodologies for Designing Agent Societies (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Fast self-healing gradients. (articolo in atti) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
An Agent Framework for Ubiquitous Services (tesi di dottorato) — Conor Muldoon
Agent Roles: from Methodologies to Infrastructures (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (articolo in atti) — Matteo Casadei, Mirko Viroli, Marco Santarelli
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (articolo in atti) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Agent Oriented Software Engineering VIII (curatela) — Michael Luck, Lin Padgham
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (articolo in atti) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
An Adaptation Logic Framework for Java-based Component Systems (articolo in rivista) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
ReSpecT Guide (manuale) — Matteo Casadei, Andrea Omicini
Writing a thesis with LaTeX (articolo in rivista) — Lapo Mori
La cultura componibile. Dalla frammentazione alla disgregazione del sapere (libro) — Lucio Russo
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (articolo in atti) — Michele Piunti, Alessandro Ricci
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (rapporto tecnico) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
Introduction to AOSE Tools for the Conference Management System (articolo in atti) — Lin Padgham, Michael Luck
Engineering Self-organising Systems with the Multiagent Paradigm (tesi di dottorato) — Luca Gardelli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (articolo in atti) — Matteo Casadei, Mirko Viroli
The Prometheus Design Tool – A Conference Management System Case Study (articolo in atti) — Lin Padgham, John Thangarajah, Michael Winikoff
Hierarchical Modeling for Computational Biology (articolo in atti) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher

65 pubblicazioni nel 2008 senza IRIS ID • in cima • indice • in fondo

2007

A Survey of Service Oriented Development Methodologies (articolo in atti) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
Developing Multi-Agent Systems with JADE (libro) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
Evaluating Procedural Alternatives. A Case Study in E-Voting (articolo in atti) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Invited Talk: A Process Algebra Master Equation (articolo in atti) — Luca Cardelli
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
What is “paradigm”? (rapporto tecnico) — Erek Göktürk
Situated Cellular Agents Approach to Crowd Modeling and Simulation (articolo in rivista) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
An Agent-Oriented Programming Model for SOA & Web Services (articolo in atti) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (articolo in rivista) — Tim O'Reilly
Integrating Software Models and Platform Models for Performance Analysis (articolo in rivista) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Using Eclipse in Building Model-driven e-Learning Supports (articolo in atti) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (articolo in atti) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Decentralized Regulation of Distributed Systems: Beyond Access Control (rapporto tecnico) — Naftaly H. Minsky
Auction Negotiation for Mobile Rideshare Service (articolo in atti) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (articolo in rivista) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
How to infer gene networks from expression proﬁles (articolo in rivista) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Context-Dependent Evaluation Methodology for Open Source Software (articolo in atti) — 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 (articolo in atti) — George Jiri Mejtsky
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (articolo in rivista) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Measurement and Control of Self-organised Behaviour in Robot Swarms (articolo in atti) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Formal ReSpecT in the A&A Perspective (articolo in atti) — Andrea Omicini
Executable cell biology (articolo in rivista) — Jasmin Fisher, Thomas A. Henzinger
vLab: an Eclipse-based Virtual Laboratory (articolo in atti) — Anna Riccioni, Enrico Denti
Experiences in Automated Workflows using Dialectical Argumentation (articolo in atti) — 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 (articolo in atti) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
RESTful Web Services (libro) — Leonard Richardson, Sam Ruby
Environments for Multi-Agent Systems III (curatela) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (articolo in atti) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organising Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (articolo in atti) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
Engineering Societies in the Agents World VII (curatela) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
Towards Integrating Agents with Objects Tracing Systems in AmI (articolo in atti) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Infrastructures for the Environment of Multiagent Systems (articolo in rivista) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
A Survey on Context-Aware Systems (articolo in rivista) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
The LighTS Tuple Space Framework and its Customization for Context-aware Applications (articolo in rivista) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Extrospection: Agents Reasoning About the Environment (articolo in atti) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Distributed Systems. Principles and Paradigms (libro) — Andrew S. Tanenbaum, Marteen van Steen
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (articolo in atti) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
Engineering a BPEL Orchestration Engine as a Multi-agent System (articolo in rivista) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (articolo in rivista) — 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 (rapporto tecnico) — Nicola Segata, Enrico Blanzieri, Corrado Priami
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (articolo in atti) — Olaf Zimmermann, Jana Koehler, Leymann Frank
Designing Self-organising MAS Environments: The Collective Sort Case (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (articolo in atti) — Enrico Oliva, Peter McBurney, Andrea Omicini
Intentional Systems Theory (capitolo di libro) — Daniel Dennett
Supporting Requirements Analysis in Tropos: a Planning-Based Approach (articolo in atti) — Volha Bryl, Paolo Giorgini, John Mylopoulos
Design Patterns for Self-Organizing Multiagent Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Practical Extensions in Agent Programming Languages (articolo in atti) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
tuProlog 2.0: One Step Beyond (articolo in rivista) — Giulio Piancastelli, Andrea Omicini
Pervasive pheromone-based interaction with RFID tags (articolo in rivista) — Mamei Marco, Franco Zambonelli
Geo-Linda: a Geometry Aware Distributed Tuple Space (articolo in atti) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Programming Multi-Agent Systems in AgentSpeak using Jason (libro) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (articolo in atti) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (articolo in atti) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (articolo in rivista) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Large Language Models in Machine Translation (articolo in atti) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Service-Oriented Agent Methodologies (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (articolo in atti) — Alessandro Ricci, Enrico Denti
On the Problem of Over-clustering in Tuple-based Coordination Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Sistemi Distribuiti (libro) — Andrew S. Tanenbaum, Marteen van Steen
Exploiting the Environment for Coordinating Agent Intentions (articolo in atti) — Tom Holvoet, Paul Valckenaers
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (articolo in rivista) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Discrete Event Modeling and Simulation in Systems Biology (articolo in rivista) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Method fragments for agent design methodologies: from standardisation to research (articolo in rivista) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Model Checking Multi-agent systems with Logic Based Petri Nets (articolo in rivista) — Tristan M. Behrens, Jurgen Dix
A Prolog-oriented extension of Java programming based on generics and annotations (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (articolo in atti) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Variant path types for scalable extensibility (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (articolo in atti) — Michael Schumacher, Laurent Grangier, Radu Jurca
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent-based modeling of multicell morphogenic processes during development (articolo in rivista) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (articolo in rivista) — Pierluigi Contucci, Stefano Ghirlanda
Special Issue on the AgentLink III Technical Forums (numero speciale) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Pellet: A practical OWL-DL reasoner (articolo in rivista) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini

84 pubblicazioni nel 2007 senza IRIS ID • in cima • indice • in fondo

2006

3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (curatela) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (articolo in atti) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
On the Expressive Power of KLAIM-based Calculi (articolo in rivista) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
On Coordination and its Significance to Distributed and Multi-Agent Systems (articolo in rivista) — Sascha Ossowski, Ronaldo Menezes
Metodologie per l'ingegneria del software: approccio ad agenti (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
Socio-technical systems (voce di enciclopedia) — Brian Whitworth
Service-Oriented Design and Development Methodology (articolo in rivista) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (articolo in atti) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Verifying Multi-agent Programs by Model Checking (articolo in rivista) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (curatela) — Ron Sun
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Web Services Implementation Methodology for SOA Application (articolo in atti) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (articolo in atti) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm (curatela) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Linkable Coordination Artifacts for Inter-Organisational Workflow (articolo in atti) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Tools for kinetic modeling of biochemical networks (articolo in rivista) — Rui Alves, Fernando Antunes, Armindo Salvador
SPI - A Role for Method Engineering (articolo in atti) — Brian Henderson-Sellers
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (capitolo di libro) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
WOA 2006 – Dagli Oggetti agli Agenti (curatela) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (articolo in rivista) — Christine Julien, Gruia-Catalin Roman
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Fundamentals of natural computing: basic concepts, algorithms, and applications (libro) — Leandro Nunes De Castro
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (articolo in atti) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (articolo in atti) — Michele Cabano, Cesare Monti, Giulio Piancastelli
Verification of Multi-agent Systems Via Bounded Model Checking (articolo in atti) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
StoKlaim: A Stochastic Extension of Klaim (rapporto tecnico) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
The MHS Methodology: Analysis and Design for Context-Aware Systems (articolo in atti) — Evi Syukur, Seng Wai Loke
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (articolo in atti) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Collective Sorting Tuple Spaces (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (articolo in atti) — Rafael H. Bordini, Jomi F. Hübner
A Framework for Engineering Interactions in Java-based Component Systems (articolo in atti) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (articolo in rivista) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (libro) — Marco Mamei, Franco Zambonelli
Special Issue “Hot Topics in European Agent Research II” (numero speciale) — Andrea Omicini, Paolo Petta, Matjaz Gams
Formal ReSpecT in the A&A Perspective (articolo in atti) — Andrea Omicini
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (articolo in atti) — Charles M. Macal, Michael J. North
Toward Nature-Inspired Computing (articolo in rivista) — Jiming Liu, Kwok Ching Tsui
Agens Faber: Toward a Theory of Artefacts for MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (articolo in atti) — H. Van Dyke Parunak
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Generic Large Scale Simulator for Ubiquitous Computing (articolo in rivista) — M. Martin, P. Nurmi
Logics for Artificial Intelligence (articolo in rivista) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Cognitive Modeling of Social Behaviours (capitolo di libro) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
The World According To Brahms: Modeling and Simulating Work Practice (capitolo di libro) — Maarten Sierhuis
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
OWL-S for Describing Artifacts (articolo in atti) — Rossella Rubino, Ambra Molesini, Enrico Denti
A Design Theory for Pervasive Information Systems (articolo in atti) — Panos E. Kourouthanassis, George M. Giaglis
Standardizing Agent Communication (capitolo di libro) — Yannis Labrou
An agent oriented tool for method engineering (articolo in atti) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
Lime: A coordination model and middleware supporting mobility of hosts and agents (articolo in rivista) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (curatela) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (articolo in atti) — Ronaldo Menezes, Alan Wood
Process Calculi Abstractions for Biology (rapporto tecnico) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
The Plausibility of Life: Resolving Darwin's Dilemma (libro) — Marc W. Kirschner, John C. Gerhart

62 pubblicazioni nel 2006 senza IRIS ID • in cima • indice • in fondo

2005

Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (numero speciale) — Marco Cadoli, Michela Milano, Andrea Omicini
Developing MAS Solutions with Gaia and AUML (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
Drago: Distributed reasoning architecture for the semantic web (articolo in atti) — Luciano Serafini, Andrei Tamilin
Verifying Multi-agent Systems via Unbounded Model Checking (articolo in atti) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Composition of a New Process to Meet Agile Needs Using Method Engineering (articolo in atti) — Massimo Cossentino, Valeria Seidita
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (articolo in rivista) — Alessandro Ricci, Mirko Viroli
Agent Interaction Semantics by Timed Operating Instructions (articolo in atti) — Mirko Viroli, Alessandro Ricci
Effective Tool Use in a Habile Agent (articolo in atti) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (articolo in atti) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Distributed Instance Retrieval in Heterogeneous Ontologies (articolo in atti) — Luciano Serafini, Andrei Tamilin
Environment-Based Coordination Through Coordination Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming Stigmergic Coordination with the TOTA Middleware (articolo in atti) — Marco Mamei, Franco Zambonelli
Message from the Program Chairs (editoriale/introduzione/prefazione) — Andrea Omicini, Roger L. Wainwright
Quantitative Information in the Tuple Space Coordination Model (articolo in rivista) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Towards CSpaces: A New Perspective for the Semantic Web (articolo in atti) — Francisco Martín-Recuerda
An Agent-Oriented Conceptual Framework for Systems Biology (articolo in atti) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environments in Multiagent Systems (articolo in rivista) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
RBAC for Organisation and Security in an Agent Coordination Infrastructure (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Engineering MAS Environment with Artifacts (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Programming Multi-Agent Systems in 3APL (capitolo di libro) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (articolo in atti) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Special Issue “Process Algebras and Multi-Agent Systems” (numero speciale) — Mirko Viroli, Andrea Omicini
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (articolo in atti) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (curatela) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (curatela) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (articolo in atti) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
A Trust Analysis Methodology for Pervasive Computing Systems (articolo in atti) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
More Principled Design of Pervasive Computing Systems (articolo in atti) — Simon Dobson, Paddy Nixon
On Access Restriction with Java Wildcards (articolo in rivista) — Mirko Viroli, Giovanni Rimassa
Time-Aware Coordination in ReSpecT (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (articolo in rivista) — Eugene Eberbach
Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (editoriale/introduzione/prefazione) — Marco Cadoli, Michela Milano, Andrea Omicini
Probabilistic Linda-based Coordination Languages (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
Process Models for Agent-based Development (articolo in rivista) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (curatela) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
Special Issue “Hot Topics in European Agent Research I” (numero speciale) — Andrea Omicini, Paolo Petta, Matjaz Gams
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (articolo in atti) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (articolo in atti) — Brian Henderson-Sellers
Self-Organization in Multi-Agent Systems (articolo in rivista) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reliable Distributed Systems. Technologies, Web Services, and Applications (libro) — Kenneth P. Birman
Crowd Modeling and Simulation: Towards 3D Visualization (capitolo di libro) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (numero speciale) — Andrea Omicini, Peter McBurney
Environments for Multi-Agent Systems (curatela) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Coordination and Composition in Multi-agent Systems (articolo in atti) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (articolo in atti) — Rossella Rubino, Andrea Omicini, Enrico Denti
Transactions on Computational Systems Biology III (curatela) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini

48 pubblicazioni nel 2005 senza IRIS ID • in cima • indice • in fondo

2004

Adaptive Agents and Multiagent Systems (articolo in rivista) — Zahia Guessoum
The Gaia Methodology (capitolo di libro) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
Preface (editoriale/introduzione/prefazione) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (articolo in atti) — Dieter Fensel
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (articolo in atti) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Relevance of Winning Coalitions in Indirect Control of Corporations (articolo in rivista) — Enrico Denti, Nando Prati
sTuples: Semantic Tuple Spaces (articolo in atti) — Deepali Khushraj, Ora Lassila, Tim Finin
From the Editor in Chief: Nature-Inspired Computing (articolo in rivista) — Nigel Shadbolt
Composing Adaptive Software (articolo in rivista) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (articolo in atti) — Marco Mamei, Franco Zambonelli
Engineering Trust in Complex System through Mediating Infrastructures (articolo in atti) — Alessandro Ricci, Andrea Omicini
Models and Metaphors from Biology to Bioinformatics Tools (curatela) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
A Programming Language for Cognitive Agents: Goal Directed 3APL (articolo in atti) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
A Conceptual Framework for Self-Organising MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
An Agent-oriented Conceptual Framework for Biological Systems Simulation (articolo in atti) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Online Engineering and Open Computational Systems (capitolo di libro) — Martin Fredriksson, Rune Gustavsson
From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools (articolo in atti) — Andrei Borshchev, Alexei Filippov
Agent Coordination Context: From Theory to Practice (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Verifiable Multi-agent Programs (articolo in atti) — 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 (articolo in atti) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Probabilistic KLAIM (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reo: A Channel-based Coordination Model for Component Composition (articolo in rivista) — Farhad Arbab
Experiencing AUML in the GAIA Methodology (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
Engineering Societies in the Agents World IV (curatela) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Special Issue “Coordination and Collaboration Technologies” (numero speciale) — Andrea Omicini, Sascha Ossowski
C@sa: Intelligent Home Control and Simulation (articolo in atti) — Berardina De Carolis, Giovanni Cozzolongo
Verifying Communicating Agents by Model Checking in a Temporal Action Logic (articolo in atti) — Laura Giordano, Alberto Martelli, Camilla Schwind
MAS as Complex Systems: A View on the Role of Declarative Approaches (articolo in atti) — Andrea Omicini, Franco Zambonelli
Using Swarm Intelligence in Linda Systems (articolo in atti) — Robert Tolksdorf, Ronaldo Menezes
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (articolo in atti) — Ivana Gungui, Viviana Mascardi
A Semantics for the Interaction of Agents with Coordination Artifacts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (curatela) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini
Ant Colony Optimization (libro) — Marco Dorigo, Thomas Stützle
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (articolo in atti) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
Decision Support Systems and Intelligent Systems (libro) — Efraim Turban, Jay E. Aronson, Ting-Peng Liang
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini
Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
System Support for Pervasive Applications (articolo in rivista) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
Paradigm and Software Engineering (articolo in atti) — Erek Göktürk, M. Naci Akkøk
sTuples: Semantic Tuple Spaces (articolo in atti) — Deepali Khushraj, Ora Lassila, Timothy W. Finin
Model Checking for ACL Compliance Verification (capitolo di libro) — Marc-Philippe Huget, Michael J. Wooldridge
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (articolo in atti) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (articolo in atti) — Enrico Denti, Alessandro Ricci, Rossella Rubino

44 pubblicazioni nel 2004 senza IRIS ID • in cima • indice • in fondo

2003

The Vision of Autonomic Computing (articolo in rivista) — Jeffrey O. Kephart, David M. Chess
Lean Software Development: An Agile Toolkit (libro) — Mary Poppendieck, Tom Poppendieck
A software framework for matchmaking based on semantic web technology (articolo in atti) — Lei Li, Ian Horrocks
First International Workshop on Theory and Practice of Open Computational Systems (editoriale/introduzione/prefazione) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
Investigations (libro) — Stuart A. Kauffman
Architecture as a Coordination Tool in Multi-site Software Development (articolo in rivista) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Modeling Agents and their Environment (articolo in atti) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Computation Beyond Turing Machines (articolo in rivista) — Peter Wegner, Dina Goldin
Learning the Sequential Coordinated Behavior of Teams from Observations (articolo in atti) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Rethinking MAS Infrastructure based on Activity Theory (articolo in atti) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (curatela) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Method engineering for OO systems development (articolo in rivista) — Brian Henderson-Sellers
MavHome: An Agent-based Smart Home (articolo in atti) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
Engineering Societies in the Agents World III (curatela) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (curatela) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu
Stochastic models for DNA replication (capitolo di libro) — Richard Cowan
Adaptiveness in Linda-Based Coordination Models (articolo in atti) — Ronaldo Menezes, Robert Tolksdorf
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (articolo in rivista) — Mirko Viroli
Towards a Methodology for Coordination Mechanism Selection in Open Systems (articolo in atti) — Simon Miles, Mike Joy, Michael Luck
Reasoning about Organisation: Shaping the Infrastructure (articolo in rivista) — Andrea Omicini, Alessandro Ricci
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Editorial Message: Special Track on Coordination models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, Sascha Ossowski
Quantitative Relations and Approximate Process Equivalences (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Preface (editoriale/introduzione/prefazione) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Activity Theory as a Framework for MAS Coordination (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (libro) — Jean-Philippe Bouchaud, Marc Potters
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (articolo in rivista) — Franco Zambonelli, H. Van Dyke Parunak
Cooperative Information Agents VII (curatela) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Coordination as a Service: Ontological and Formal Foundation (articolo in atti) — Mirko Viroli, Andrea Omicini
Model Checking AgentSpeak (articolo in atti) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
Introduzione alla Programmazione a oggetti in Java (libro) — Enrico Denti
How has the 9/11 terrorist attack influenced decision making? (articolo in rivista) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (articolo in rivista) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Developing multiagent systems: The Gaia methodology (articolo in rivista) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Preface (editoriale/introduzione/prefazione) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (articolo in atti) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (tesi di dottorato) — Alessandro Ricci
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (articolo in atti) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Signs of a Revolution in Computer Science and Software Engineering (articolo in atti) — Franco Zambonelli, H. Van Dyke Parunak

39 pubblicazioni nel 2003 senza IRIS ID • in cima • indice • in fondo

2002

Agent-based approach for software development process simulation (articolo in atti) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
The Logic of Scientific Discovery (libro) — Karl Raimund Popper
Specifying Agent Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
Coordination Tools for the Development of Agent-based Systems (articolo in atti) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Have ReSpecT for LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Co-operating Sequential Processes (capitolo di libro) — Edsger Wybe Dijkstra
Towards an Alternative Semantics for FIPA ACL (articolo in atti) — Mirko Viroli, Andrea Omicini
Principled Design of the Modern Web Architecture (articolo in rivista) — Roy Thomas Fielding, Richard N. Taylor
Design Principles of a Reactive Behavioral System for the Intelligent Room (articolo in rivista) — Ajay Kulkarni
The TROPOS Analysis Process as Graph Transformation System (articolo in atti) — Paolo Bresciani, Paolo Giorgini
Linear Embedding for a Quantitative Comparison of Language Expressiveness (articolo in atti) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (articolo in atti) — Anna Perini, Angelo Susi, Fausto Giunchiglia
Extending ReSpecT for Multiple Coordination Flows (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (articolo in rivista) — Brian Henderson-Sellers
Extreme Programming of Multi-Agent Systems (articolo in atti) — Holger Knublauch
Engineering Agent Societies: A Case Study in Smart Environments (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Editorial Message: Special Track on Coordination Models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, Sascha Ossowski
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems (articolo in atti) — Eric Bonabeau
A Specification Language for Agents Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
A Framework for Systemic Coordination in Open Computational Systems (articolo in atti) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (articolo in atti) — 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 (articolo in atti) — Alex Borgida, Luciano Serafini
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (articolo in rivista) — J.A. Scott Kelso
Objects and Agents Compared (articolo in rivista) — James J. Odell
Tuple-based Coordination Models in Event-based Scenarios (articolo in atti) — Mirko Viroli, Alessandro Ricci
Computational challenges in cell simulation: a software engineering approach (articolo in rivista) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
On the Expressiveness of Event-Based Coordination Media (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Introduction to MultiAgent Systems (libro) — Michael J. Wooldridge
Special Issue “Coordination and Knowledge Engineering” (numero speciale) — Andrea Omicini, Sascha Ossowski
An Observation Approach to Semantics of Agents Communication Languages (articolo in rivista) — Mirko Viroli, Andrea Omicini
Model Checking Multi-Agent Systems with MABLE (articolo in atti) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Agent Coordination Contexts: Experiments in TuCSoN (articolo in atti) — Alessandro Ricci, Andrea Omicini
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (articolo in atti) — H. van Dyke Parunak, Sven Brueckner, John Sauter
Bisimulation for Labelled Markov Processes (articolo in rivista) — José Desharnais, Abbas Edalat, Prakash Panangaden
A Survey of Coordination Middleware for XML-centric Applications (articolo in rivista) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Agile development of a clinical multi-agent system: An Extreme Programming case study (articolo in atti) — Holger Knublauch, Holger Koeth, Thomas Rose
On the Grey-Box Modelling Approach for Autonomous Agents (articolo in atti) — Mirko Viroli, Andrea Omicini
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (articolo in rivista) — Hidde De Jong

38 pubblicazioni nel 2002 senza IRIS ID • in cima • indice • in fondo

2001

Probabilistic Extensions of Process Algebras (capitolo di libro) — Jonsson Bengt, Kim G. Larsen, Wang Yi
Enlightened Agents in TuCSoN (articolo in rivista) — Alessandro Ricci, Andrea Omicini, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (capitolo di libro) — Ian Foster
Preface (editoriale/introduzione/prefazione) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
A Coordination Language for Collective Agent-based Systems: GroupLog (articolo in rivista) — Fernanda Barbosa, José C. Cunha
Coordination as a Paradigm for Systems Integration (editoriale/introduzione/prefazione) — Andrea Omicini, George A. Papadopoulos
Questions and Answers: Reasoning and Querying in Description Logic (tesi di dottorato) — Sergio Tessaris
Introduction to This Special Issue on Context-Aware Computing (articolo in rivista) — Thomas Moran, Paul Dourish
Special Issue “Coordination Models and Languages in AI” (numero speciale) — Andrea Omicini, George A. Papadopoulos
Multi-Agent Systems and Applications (curatela) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Tuple-based Technologies for Coordination (capitolo di libro) — Davide Rossi, Giacomo Cabri, Enrico Denti
Multi-Agent Systems as Composition of Observable Systems (articolo in atti) — Mirko Viroli, Andrea Omicini
Simulation-verification: biting at the state explosion problem (articolo in rivista) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Coordination of Internet Agents (curatela) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (curatela) — Andrea Omicini, Mirko Viroli
Safe Tuplespace-based Coordination in Multiagent Systems (articolo in rivista) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Coordination Models, Languages and Applications. Track Chair Messages (editoriale/introduzione/prefazione) — Andrea Omicini
The OPEN Process Framework: An Introduction (libro) — Donald Firesmith, Brian Henderson-Sellers
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (articolo in rivista) — Ian Foster, Carl Kesselman, Steven Tuecke
Gamma and the Chemical Reaction Model: Fifteen Years After (capitolo di libro) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
On the Notion of Agent Coordination Context: Preliminary Notes (articolo in rivista) — Andrea Omicini
Designing Agent-Oriented Systems by Analysing Agent Interactions (articolo in atti) — Simon Miles, Mike Joy, Michael Luck
Enlightened Agents in TuCSoN (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Approach for Method Reengineering (articolo in atti) — Jolita Ralyté, Colette Rolland
Engineering Societies in the Agents World II (curatela) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Control-driven Constraint Propagation (articolo in rivista) — Eric Monfroy
Special Issue “Coordination as a Paradigm for Systems Integration” (numero speciale) — Andrea Omicini, George A. Papadopoulos
Self Organization and Coordination (articolo in rivista) — Scott E. Page
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (articolo in rivista) — Ganesh D. Bhatt
Statistical Physics of Spin Glasses and Information Processing: An Introduction (libro) — Hidetoshi Nishimori
An Agent-based Approach for Building Complex Software Systems (articolo in rivista) — Nicholas R. Jennings
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (articolo in atti) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-Agent Systems as Composition of Observable Systems (articolo in rivista) — Mirko Viroli, Andrea Omicini
On the Unusual Effectiveness of Logic in Computer Science (articolo in rivista) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
An Assembly Process Model for Method Engineering (articolo in atti) — Jolita Ralyté, Colette Rolland
Objective Coordination in Multi-Agent System Engineering (libro) — Michael Schumacher
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (articolo in rivista) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (articolo in atti) — Mirko Viroli, Gianluca Moro, Andrea Omicini
XML Dataspaces for the Coordination of Internet Agents (articolo in rivista) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
An Algorithm for Winning Coalitions in Indirect Control of Corporations (articolo in rivista) — Nando Prati, Enrico Denti
Introduzione alla Programmazione a oggetti in Java (libro) — Enrico Denti
Preface: Volume 48 (editoriale/introduzione/prefazione) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (curatela) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (articolo in atti) — Andrea Omicini

45 pubblicazioni nel 2001 senza IRIS ID • in cima • indice • in fondo

2000

Formal ReSpecT (articolo in atti) — Andrea Omicini, Enrico Denti
On the Expressiveness of Linda Coordination Primitives (articolo in rivista) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Mind the Gap! Towards a unified view of CSCW (articolo in atti) — Kjeld Schmidt, Carla Simone
Selecting a Project's Methodology (articolo in rivista) — Alistair Cockburn
Multiagent System Engineering: The Coordination Viewpoint (articolo in atti) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (curatela) — Antonio Corradi, Andrea Omicini, Agostino Poggi
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (articolo in atti) — Andrea Omicini
On Agent-Based Software Engineering (articolo in rivista) — Nicholas R. Jennings
EasyLiving: Technologies for Intelligent Environments (articolo in atti) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
Amorphous Computing (articolo in rivista) — 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 (articolo in atti) — Andrea Omicini
Amorphous Computing (articolo in rivista) — 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 (curatela) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Introduzione alla Programmazione a oggetti in Java (libro) — Enrico Denti
Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (libro) — Daniel J. Povinelli
Architectural Styles and the Design of Network-based Software Architectures (tesi di dottorato) — Roy Thomas Fielding
Special Track on Coordination Models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, George A. Papadopoulos
A Coordination Infrastructure for Agent-based Internet Applications (articolo in atti) — Enrico Denti, Andrea Omicini
Process Migration (articolo in rivista) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (articolo in rivista) — Michael A. Gibson, Jehoushua Bruck
Fondamenti di Informatica A (Parte II) (libro) — Enrico Denti
Context-Dependency in Internet-Agent Coordination (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (articolo in rivista) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Preface (editoriale/introduzione/prefazione) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (articolo in atti) — Andrea Omicini
MARS: A Programmable Coordination Architecture for Mobile Agents (articolo in rivista) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Persistent Turing Machines as a Model of Interactive Computation (articolo in atti) — Dina Q. Goldin
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (articolo in rivista) — Mirko Viroli, Antonio Natali

28 pubblicazioni nel 2000 senza IRIS ID • in cima • indice • in fondo

1999

Mathematical Models of Interactive Computing (rapporto tecnico) — Peter Wegner, Dina Goldin
Implementing the ACLT Coordination Model (rapporto tecnico) — Enrico Denti
On the Semantics of Tuple-based Coordination Models (articolo in atti) — Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (articolo in atti) — Andrea Omicini, Franco Zambonelli
On the Expressiveness of Coordination Models (articolo in atti) — Antonio Brogi, Jean-Marie Jacquet
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Extreme Programming Explained: Embrace Change (libro) — Kent Beck
Coinductive Models of Finite Computing Agents (articolo in atti) — Peter Wegner, Dina Goldin
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (articolo in rivista) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Introduction to Econophysics: Correlations and Complexity in Finance (libro) — Rosario N. Mantegna, H. Eugene Stanley
Coordination Technology for the Development of Multi-Agent Systems on the Web (articolo in atti) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Engineering Multi-Agent Systems in LuCe (articolo in atti) — Enrico Denti, Andrea Omicini
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (libro) — Eric Freeman, Susanne Hupfer, Ken Arnold
The Explorable Topology: Supporting Agent Autonomy on the Internet (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Comparing Coordination Models based on Shared Distributed Replicated Data (articolo in atti) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Coordination Models for Multi-Agent Systems (articolo in rivista) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (articolo in rivista) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
A Methodology for Agent-Oriented Analysis and Design (articolo in atti) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Coordination for Internet Application Development (articolo in rivista) — Andrea Omicini, Franco Zambonelli
Swarm Intelligence: From Natural to Artificial Systems (libro) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz
A Brief History of Stigmergy (articolo in rivista) — Guy Theraulaz, Eric Bonabeau
Coordination Technologies for Internet Agents (articolo in rivista) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Adopting an Object-Oriented Data Model in Inductive Logic Programming (articolo in atti) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (libro) — Enrico Denti
Distributed Cognition, Coordination and Environment Design (articolo in atti) — David Kirsh
The UMASS Intelligent Home Project (articolo in atti) — 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) (libro) — Enrico Denti
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Co-ordination in Artificial Agent Societies (libro) — Sascha Ossowski
Agents with Power (articolo in rivista) — Rune Gustavsson
Editor's Introduction: Stigmergy (articolo in rivista) — Eric Bonabeau

33 pubblicazioni nel 1999 senza IRIS ID • in cima • indice • in fondo

1998

Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (articolo in rivista) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
T Spaces (articolo in rivista) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
A process algebraic view of Linda coordination primitives (articolo in rivista) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
KLAIM: A Kernel Language for Agent Interaction and Mobility (articolo in rivista) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Collective dynamics of ‘small-world’ networks (articolo in rivista) — Duncan J. Watts, Steven H. Strogatz
On the Expressive Power of KLAIM-based Calculi (articolo in rivista) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Understanding Code Mobility (articolo in rivista) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Coordination Models and Languages (capitolo di libro) — George A. Papadopoulos, Farhad Arbab
Towards a Hierarchy of Negative Test Operators for Generative Communication (articolo in atti) — Gianluigi Zavattaro
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (articolo in atti) — Cristiano Castelfranchi, Rino Falcone
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (tesi di dottorato) — Enrico Denti
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (articolo in rivista) — Enrico Denti
On the Incomparability of Gamma and Linda (rapporto tecnico) — Gianluigi Zavattaro
Agent Communication Languages: Rethinking the Principles (articolo in rivista) — Munindar P. Singh
Designing for the Dynamics of Cooperative Work Activities (articolo in atti) — Jakob Bardram
Decision procedures for BDI logics (articolo in rivista) — Anand S. Rao, Michael P. Georgeff
On the Expressive Power of a Language for Programming Coordination Media (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (libro) — Gustave Martelet
Distributed Agents Supporting Event-Driven Design Processes (capitolo di libro) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (articolo in atti) — Andrea Omicini, Franco Zambonelli
Modelling Social Action for AI Agents (articolo in rivista) — Cristiano Castelfranchi
Towards Empirical Computer Science (articolo in rivista) — Peter Wegner
A Comprehensive View of Process Engineering (articolo in atti) — Colette Rolland
TuCSoN: a Coordination model for Mobile Information Agents (articolo in atti) — Andrea Omicini, Franco Zambonelli
A Fuzzy Description Logic (articolo in atti) — Umberto Straccia
Planning and acting in partially observable stochastic domains (articolo in rivista) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
A Formal Specification of dMARS (articolo in atti) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge

27 pubblicazioni nel 1998 senza IRIS ID • in cima • indice • in fondo

1997

Intelligent Decision Support Methods: The Science of Knowledge Work (libro) — Vasant Dhar, Roger M. Stein
Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (capitolo di libro) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
Designing Multi-Agent Systems around a Programmable Communication Abstraction (articolo in atti) — Enrico Denti, Andrea Omicini
Issues in Agent-Based Software Engineering (articolo in atti) — Michael J. Wooldridge
Situational Method Engineering (libro) — A.F. Harmsen
Programmable Coordination Media (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
A Tutorial on (Co)Algebras and (Co)Induction (articolo in rivista) — Bart Jacobs, Jan Rutten
Semantics and Conversations for an Agent Communication Language (capitolo di libro) — Yannis Labrou, Tim Finin
“Go to the Ant”: Engineering Principles from Natural Agent Systems (articolo in rivista) — H. Van Dyke Parunak
Learning with an Object-Oriented Data Model (articolo in atti) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (articolo in atti) — Leon J. Osterweil
Expressive Power of the ACLT Reaction Specification Language (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
Why Interaction Is More Powerful Than Algorithms (articolo in rivista) — Peter Wegner
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini

14 pubblicazioni nel 1997 senza IRIS ID • in cima • indice • in fondo

1996

Foundations of Distributed Artificial Intelligence (curatela) — Gregory M.P. O'Hare, Nicholas R. Jennings
An Extensible Framework for the Development of Coordinated Applications (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Coordination Models and Languages as Software Integrators (articolo in rivista) — Paolo Ciancarini
An Object-Oriented Approach to Planning (articolo in atti) — Umberto Fonda, Antonio Natali, Andrea Omicini
A General Framework for Multi-Theory Logic Languages (rapporto tecnico) — Andrea Omicini
The Structure of Scientific Revolutions (libro) — Thomas S. Kuhn
A Software Environment for Concurrent Coordinated Programming (articolo in atti) — Anne-Alexandra Holzbacher
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (articolo in atti) — Stan Franklin, Art Graesser
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (articolo in atti) — Anand S. Rao
Trading Consistency for Availability in Distributed Systems (rapporto tecnico) — Roy Friedman, Ken Birman
Method engineering: engineering of information systems development methods and tools (articolo in rivista) — Sjaak Brinkkemper
Bulk Primitives in Linda Run-Time Systems (tesi di dottorato) — Antony Ian Taylor Rowstron
Integrating Knowledge Acquisition in Plan Selection (articolo in atti) — Antonio Natali, Andrea Omicini

13 pubblicazioni nel 1996 senza IRIS ID • in cima • indice • in fondo

1995

BDI Agents: From Theory to Practice (articolo in atti) — Anand S. Rao, Michael P. Georgeff
Intelligent Agents: Theory and Practice (articolo in rivista) — Michael J. Wooldridge, Nicholas R. Jennings
A distributed semantics for EMPA based on stochastic contextual nets (articolo in rivista) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Context and Consciousness: Activity Theory and Human-Computer Interaction (curatela) — Bonnie A. Nardi
Integration of object-oriented analysis and performance simulation for engineering computer-based systems (articolo in atti) — Richard Goldgar, Ramon D. Acosta
Law-Governed Linda as a Coordination Model (articolo in atti) — Naftaly H. Minsky, Jerrold Leichter
Computational Research on Interaction and Agency (articolo in rivista) — Philip E. Agre
Guarantees for Autonomy in Cognitive Agent Architecture (articolo in atti) — Cristiano Castelfranchi
La programmazione logica nello sviluppo del software: dai modelli agli strumenti (capitolo di libro) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (libro) — Enrico Denti, Antonio Natali
Robot Control Systems as Contextual Logic Programs (capitolo di libro) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
1st International Conference on Multiagent Systems (curatela) — Victor R. Lesser, Les Gasser
Specification and Analysis of System Architecture Using Rapide (articolo in rivista) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (articolo in rivista) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Programmazione Logica Orientata agli Oggetti (tesi di dottorato) — Andrea Omicini
Cognitive and Social Action (curatela) — Rosaria Conte, Cristiano Castelfranchi
A Petri Net Semantics for pi-Calculus (articolo in atti) — Nadia Busi, Roberto Gorrieri

17 pubblicazioni nel 1995 senza IRIS ID • in cima • indice • in fondo

1994

A Structured Logic Programming Approach to Robot Programming (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
The Interdisciplinary Study of Coordination (articolo in rivista) — Thomas W. Malone, Kevin Crowston
Scale in Distributed Systems (capitolo di libro) — B. Clifford Neuman
Open Logic Theory Composition in a Software Engineering Perspective (articolo in atti) — Enrico Denti, Andrea Omicini
Object-Oriented Computations in Logic Programming (articolo in atti) — Andrea Omicini, Antonio Natali
Distributed Programming with Logic Tuple Spaces (articolo in rivista) — Paolo Ciancarini
Modularity in Logic Programming (articolo in rivista) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (articolo in rivista) — Frank S. de Boer, Catiuscia Palamidessi

8 pubblicazioni nel 1994 senza IRIS ID • in cima • indice • in fondo

1993

From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
Foundations for Interaction: The Dependence Theory (articolo in atti) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Agent-Oriented Programming (articolo in rivista) — Yoav Shoham
Objects with State in CSM (articolo in atti) — Antonio Natali, Andrea Omicini
Elements of Interaction: Turing Award Lecture (articolo in rivista) — Robin Milner
Techniques for Implementing Contexts in Logic Programming (articolo in atti) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Tools, Language and Cognition in Human Evolution (curatela) — Kathleen R. Gibson, Tim Ingold
Objects with State in Contextual Logic Programming (articolo in atti) — Antonio Natali, Andrea Omicini
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
Science for the post-normal age (articolo in rivista) — Silvio O. Funtowicz, Jerome R. Ravetz
An Overview of Manifold and its Implementation (articolo in rivista) — Farhad Arbab, Ivan Herman, Per Spilling
Exploiting Logic Programming in Robot Applications (articolo in atti) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
The Origins of Order: Self-organization and Selection in Evolution (libro) — Stuart A. Kauffman
A History of Speculation on the Relation between Tools and Languages (capitolo di libro) — Gordon W. Hewes

14 pubblicazioni nel 1993 senza IRIS ID • in cima • indice • in fondo

1992

A calculus of mobile processes, I (articolo in rivista) — Robin Milner, Joachim Parrow, David Walker
Barbed Bisimulation (articolo in atti) — Robin Milner, Davide Sangiorgi
Implementing Contexts in Logic Programming (articolo in atti) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
The Semantics of a Parallel Language based on a Shared Data Space (rapporto tecnico) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
An Abstract Architecture for Rational Agents (articolo in atti) — Anand S. Rao, Michael P. Georgeff
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
Supporto alla Comunicazione Remota in MME 3 (rapporto tecnico) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
A calculus of mobile processes, II (articolo in rivista) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (articolo in rivista) — David Gelernter, Nicholas Carriero
Objects as Evolving Contexts (articolo in atti) — Antonio Natali, Andrea Omicini
Design principles for cognitive artifacts (articolo in rivista) — Donald A. Norman
Parallel Logic Programming using the Linda Model of Computation (articolo in atti) — Paolo Ciancarini
CSM User's Guide (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
The Chemical Abstract Machine (articolo in rivista) — Gérard Berry
Methodology EngineeringR: a proposal for situation-specific methodology construction (capitolo di libro) — Kuldeep Kumar, Richard J. Welke
Co-ordinating Plans of Autonomous Agents (libro) — Frank von Martial

16 pubblicazioni nel 1992 senza IRIS ID • in cima • indice • in fondo

1991

The Concept of Activity as a Basic Unit of Analysis for CSCW Research (articolo in atti) — Kari Kuutti
Separating Concurrent Languages with Categories of Language Embeddings (articolo in atti) — Ehud Shapiro
Generalizing Term Subsumption Languages to Fuzzy Logic (articolo in atti) — John Yen
Quintus Prolog 3.0 (articolo in rivista) — Ken Johnson
Modeling Rational Agents within a BDI Architecture (articolo in atti) — Anand S. Rao, Michael P. Georgeff
Intelligence Without Reason (articolo in atti) — Rodney A. Brooks
Intelligence without Representation (articolo in rivista) — Rodney A. Brooks
The Concurrent Language, Shared Prolog (articolo in rivista) — Antonio Brogi, Paolo Ciancarini
Cognitive Artifacts (capitolo di libro) — Donald A. Norman

9 pubblicazioni nel 1991 senza IRIS ID • in cima • indice • in fondo

1990

Equivalences, congruences, and complete axiomatizations for probabilistic processes (articolo in atti) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (articolo in rivista) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (rapporto tecnico) — IEEE Standard Board
What is Intention? (capitolo di libro) — Michael E. Bratman, Andrea Roli
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (articolo in atti) — Ivan Christoff
Concepts and Paradigms of Object-oriented Programming (articolo in rivista) — Peter Wegner

6 pubblicazioni nel 1990 senza IRIS ID • in cima • indice • in fondo

1989

How to Write Parallel Programs: A Guide to the Perplexed (articolo in rivista) — Nicholas Carriero, David Gelernter
Linda in Context (articolo in rivista) — Nicholas Carriero, David Gelernter

2 pubblicazioni nel 1989 senza IRIS ID • in cima • indice • in fondo

1988

BibTeXing (manuale) — Oren Patashnik
Designing BibTeX Styles (manuale) — Oren Patashnik
Grafica in Turbo Pascal (articolo in rivista) — Enrico Denti

3 pubblicazioni nel 1988 senza IRIS ID • in cima • indice • in fondo

1987

Intention, Plans, and Practical Reason (libro) — Michael E. Bratman
Software Processes are Software too (articolo in atti) — Leon J. Osterweil
Situated Actions (capitolo di libro) — Lucy A. Suchman
Linear logic (articolo in rivista) — Jean-Yves Girard
Reactive Reasoning and Planning (articolo in atti) — Michael P. Georgeff, Amy L. Lansky

5 pubblicazioni nel 1987 senza IRIS ID • in cima • indice • in fondo

1986

Linda and Friends (articolo in rivista) — Sudhir Ahuja, Nicholas Carriero, David Gelernter
Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications (capitolo di libro) — Marc Mézard, Giorgio Parisi, Miguel Angel Virasoro

2 pubblicazioni nel 1986 senza IRIS ID • in cima • indice • in fondo

1985

Plans and Situated Actions: The Problem of Human-Machine Communication (tesi di dottorato) — Lucy A. Suchman
Foundations of Knowledge for Distributed Systems (rapporto tecnico) — Michael J. Fisher, Neil Immerman
Generative Communication in Linda (articolo in rivista) — David Gelernter
Algebra of communicating processes with abstraction (articolo in rivista) — Jan A. Bergstra, Jan Willem Klop
Meta-level Programming and Knowledge Representation (articolo in rivista) — Kenneth A. Bowen

5 pubblicazioni nel 1985 senza IRIS ID • in cima • indice • in fondo

1984

Basic Modal Logic (capitolo di libro) — Robert Bull, Krister Segerberg
Foundations of Logic Programming (libro) — John W. Lloyd

2 pubblicazioni nel 1984 senza IRIS ID • in cima • indice • in fondo

1983

The consensus problem in unreliable distributed systems (a brief survey) (articolo in atti) — Michael J Fischer

1 pubblicazione nel 1983 senza IRIS ID • in cima • indice • in fondo

1982

Distributed Commit With Bounded Waiting (articolo in atti) — Danny Dolev, H. Raymond Strong

1 pubblicazione nel 1982 senza IRIS ID • in cima • indice • in fondo

1980

Autopoiesis and Cognition: The Realization of the Living (libro) — Humberto R. Maturana, Francisco G. Varela
Minds, Brains, and Programs (articolo in rivista) — John R. Searle

2 pubblicazioni nel 1980 senza IRIS ID • in cima • indice • in fondo

1979

Ascribing Mental Qualities to Machines (capitolo di libro) — John McCarthy
The Paradigms of Programming (articolo in rivista) — Robert W. Floyd

2 pubblicazioni nel 1979 senza IRIS ID • in cima • indice • in fondo

1978

Mind in Society (libro) — Lev Semyonovich Vygotsky
Time, Clocks, and the Ordering of Events in a Distributed System (articolo in rivista) — Leslie Lamport
Mind in Society: Development of Higher Psychological Processes (libro) — Lev Semenovich Vygotskiĭ

3 pubblicazioni nel 1978 senza IRIS ID • in cima • indice • in fondo

1977

Exact Stochastic Simulation of Coupled Chemical Reactions (articolo in rivista) — Daniel T. Gillespie
A Structure for Plans and Behavior (libro) — Earl D. Sacerdoti
Petri Nets (articolo in rivista) — James L. Peterson

3 pubblicazioni nel 1977 senza IRIS ID • in cima • indice • in fondo

1974

Autopoiesis: The Organization of Living Systems, its Characterization and a Model (articolo in rivista) — Francisco G. Varela, Humberto R. Maturana, R. Uribe

1 pubblicazione nel 1974 senza IRIS ID • in cima • indice • in fondo

1973

The Strength of Weak Ties (articolo in rivista) — Mark S. Granovetter

1 pubblicazione nel 1973 senza IRIS ID • in cima • indice • in fondo

1972

On the Criteria to Be Used in Decomposing Systems into Modules (articolo in rivista) — David Lorge Parnas

1 pubblicazione nel 1972 senza IRIS ID • in cima • indice • in fondo

1971

Intentional Systems (articolo in rivista) — Daniel Dennett

1 pubblicazione nel 1971 senza IRIS ID • in cima • indice • in fondo

1965

What is a Speech Act? (capitolo di libro) — John Searle

1 pubblicazione nel 1965 senza IRIS ID • in cima • indice • in fondo

1964

Lectures on Gas Theory (libro) — Ludwig Boltzmann

1 pubblicazione nel 1964 senza IRIS ID • in cima • indice • in fondo

1962

The Architecture of Complexity (articolo in rivista) — Herbert A. Simon

1 pubblicazione nel 1962 senza IRIS ID • in cima • indice • in fondo

1959

La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs (articolo in rivista) — Pierre-Paul Grassé

1 pubblicazione nel 1959 senza IRIS ID • in cima • indice • in fondo

1952

The Chemical Basis of Morphogenesis (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1952 senza IRIS ID • in cima • indice • in fondo

1950

I.—Computing Machinery and Intelligence (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1950 senza IRIS ID • in cima • indice • in fondo

1947

Principles of Self-Organizing Dynamic Systems (articolo in rivista) — W. Ross Ashby

1 pubblicazione nel 1947 senza IRIS ID • in cima • indice • in fondo

1939

Systems of Logic Based on Ordinals (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1939 senza IRIS ID • in cima • indice • in fondo

1937

On Computable Numbers, with an Application to the Entscheidungsproblem (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1937 senza IRIS ID • in cima • indice • in fondo

1927

Principia Mathematica (libro) — Alfred North Whitehead, Bertrand Russell

1 pubblicazione nel 1927 senza IRIS ID • in cima • indice • in fondo

pubblicazioni senza IRIS ID / 1927–2014 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini