Per Sort
- Delay Indices for Train Punctuality (2023) — Enrico Denti, Luca Burroni
- Knowledge injection of Datalog rules via Neural Network Structuring with KINS (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Neural-logic multi-agent system for flood event detection (2023) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
- Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (2023) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (2023) — Luciano Floridi
- Efficient compliance checking of RDF data (2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation (2023) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
- Burden of Persuasion: A Meta-argumentation Approach (2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- On Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Pervasive and Connected Digital Twins - A Vision for Digital Health (2022) — Alessandro Ricci, Angelo Croatti, Sara Montagna
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Fifty Years of Prolog and Beyond (2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
- Coordination of Autonomous Vehicles: Taxonomy and Survey (2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- Web of Digital Twins (2022) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- How to model contrary-to-duty with GCP-nets (2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Arg2P: An argumentation framework for explainable intelligent systems (2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (2021) — Angelo Croatti, Marco Longoni, Sara Montagna
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (2021) — Andrea Agiollo, Andrea Omicini
- Argumentation and Defeasible Reasoning in the Law (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (2021) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
- Partitioned integration and coordination via the self-organising coordination regions pattern (2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
- An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (2021) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
- DETONAR: Detection of Routing Attacks in RPL-based IoT (2021) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (2020) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Complementing Agents with Cognitive Services: A Case Study in Healthcare (2020) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (2020) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Twenty years of coordination technologies: COORDINATION contribution to the state of art (2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (2020) — Sara Montagna, Michele Braccini, Andrea Roli
- On the Integration of Agents and Digital Twins in Healthcare (2020) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
- From Agents to Blockchain: Stairway to Integration (2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (2020) — Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu
- Real-time tracking and documentation in trauma management (2020) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
- Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (2020) — Angelo Croatti, Alessandro Ricci
- Deliver intelligence to integrate care: the Connecare way (2019) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
- Evaluating Origin–Destination Matrices Obtained from CDR Data (2019) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
- From distributed coordination to field calculus and aggregate computing (2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) — Stefano Mariani
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (2019) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
- Client-side Computational Optimization (2019) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
- A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- Explanation in artificial intelligence: Insights from the social sciences (2019) — Tim Miller
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- ReSpecTX: Programming Interaction Made Easy (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- The mythos of model interpretability (2018) — Zachary C. Lipton
- Towards attack-resistant Aggregate Computing using trust mechanisms (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- A Survey of Methods for Explaining Black Box Models (2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
- Optimal single-path information propagation in gradient-based algorithms (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Spatial Tuples: Augmenting Reality with Tuples (2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (2018) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
- Extending Logic Programming with Labelled Variables: Model and Semantics (2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (2018) — M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Logic Programming as a Service (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (2017) — Sara Montagna, Andrea Omicini
- Augmented societies with mirror worlds (2017) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
- State-of-the-Art and Trends in Nature-inspired Coordination Models (2017) — Stefano Mariani, Andrea Omicini
- An Argumentation-based Perspective over the Social IoT (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Aggregate plans for multiagent systems (2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Self-Adaptation to Device Distribution in the Internet of Things (2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Cross-organism learning method to discover new gene functionalities (2016) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Spatial awareness in pervasive ecosystems (2016) — Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
- A type-sound calculus of computational fields (2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
- Building Smart Spaces on the Home Manager platform (2016) — Roberta Calegari, Enrico Denti
- Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (2016) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
- Mastering the game of Go with deep neural networks and tree search (2016) — David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis
- Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
- Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (2015) — Sara Montagna, Mirko Viroli, Andrea Roli
- GOTA: GO term annotation of biomedical literature (2015) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
- Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
- A coordination model of pervasive service ecosystems (2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
- Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
- Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
- Deep learning (2015) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
- Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (2015) — Stefano Mariani, Andrea Omicini
- GOTA: GO term annotation of biomedical literature (2015) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
- Programming Multi-agent Systems (2015) — Mehdi Dastani
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (2014) — Stefano Mariani, Andrea Omicini
- Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
- Semantic Tuple Centres (2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (2013) — Houguang Yue
- Operational Semantics of Proto (2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (2013) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
- tuProlog: Making Prolog Ubiquitous (2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (2013) — Andrea Omicini, Stefano Mariani
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (2013) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
- On competitive self-composition in pervasive services (2013) — Mirko Viroli
- Multi-agent Oriented Programming with JaCaMo (2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
- Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (2013) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
- Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- Nature-inspired Coordination Models: Current Status, Future Trends (2013) — Andrea Omicini
- A Programming Paradigm based on Agent-Oriented Abstractions (2012) — Alessandro Ricci, Andrea Santi
- Situation Identification Techniques in Pervasive Computing: A Review (2012) — Juan Ye, Simon Dobson, Susan McKeever
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (2012) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (2012) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
- Self-adaptive software needs quantitative verification at runtime (2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
- Interdependent Artificial Institutions in Agent Environments (2012) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
- Programming Directives for Elastic Computing (2012) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (2012) — Schahram Dustdar, Hong-Linh Truong
- Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Toward Sociotechnical Urban Superorganisms (2012) — Franco Zambonelli
- Implicit: A Multi-agent Recommendation System for Web Search (2012) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
- The Social Compute Unit (2011) — Schahram Dustdar, Kamal Bhattacharya
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
- The most ancient marketing (2011) — Jaron Lanier
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (2011) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- Seeing is not enough (2011) — Tom Geller
- A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Will software engineering ever be engineering? (2011) — Michael Davis
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (2011) — Peter McBurney, Simon Parsons, Mirko Viroli
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Preface (2011) — Carlos Canal, Mirko Viroli
- Living in a Digital World (2011) — Samuel Greengard
- The legacy of Steve Jobs (2011) — Michael A. Cusumano
- A Tour of Reaction Systems (2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
- Principles of Elastic Processes (2011) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
- Improving brain-computer interfaces (2011) — Kirk L. Kroeker
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
- Anonymity is not privacy: technical perspective (2011) — Vitaly Shmatikov
- The Rise of Molecular Machines (2011) — Kirk L. Kroeker
- Dennis Ritchie, 1941-2011 (2011) — Paul Hyman
- Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha
- Abstraction in hardware system design (2011) — Rishiyur S. Nikhil
- Computational journalism (2011) — Sarah Cohen, James T. Hamilton, Fred Turner
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others (2011) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
- From Space to Stage: How Interactive Screens Will Change Urban Life (2011) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
- Sustainable biomass power plant location in the Italian Emilia-Romagna region (2011) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
- The software industry is the problem (2011) — Poul-Henning Kamp
- Towards a logic framework for Web programming (2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective (2011) — Marco Raberto, Andrea Teglio, Silvano Cincotti
- Java Security Architecture Revisited (2011) — Li Gong
- Adaptive organizational changes in agent-oriented methodologies (2011) — Luca Cernuzzi, Franco Zambonelli
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (2011) — Andrea Omicini, Mirko Viroli
- Implementing reactive BDI agents with user-given constraints and objectives (2010) — Aniruddha Dasgupta, Aditya K. Ghose
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (2010) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
- Agent-based Conference Management: A Case Study in SODA (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
- Tutorial on Agent-based Modelling and Simulation (2010) — Charles M. Macal, Michael J. North
- Logic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
- Argumentation and Artifacts for Negotiation Support (2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (2010) — Sagar Indurkhya, Jacob Beal
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (2010) — Silvano Cincotti, Marco Raberto, Andrea Teglio
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (2010) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
- Towards Model-driven Communications (2010) — Antonio Natali, Ambra Molesini
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (2010) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (2010) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (2010) — Clemens Holzmann, Alois Ferscha
- A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
- Software Engineering: An Idea Whose Time Has Come and Gone? (2009) — Tom De Marco
- On the Collective Sort Problem for Distributed Tuple Spaces (2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- Mathematics for Economics: A Statistical Mechanics Perspective (2009) — Pierluigi Contucci, Francesca Romiti
- Environment in Agent-Oriented Software Engineering Methodologies (2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
- Making Sense of Revision-control Systems (2009) — Bryan O'Sullivan
- Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach (2009) — Marco Mamei, Franco Zambonelli
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology (2008) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory (2008) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- PASSIM: a simulation-based process for the development of multi-agent systems (2008) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- Econophysics and the Current Economic Turmoil (2008) — H. Eugene Stanley
- On the reification of Java wildcards (2008) — Maurizio Cimadamore, Mirko Viroli
- Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- A&A for Modelling and Engineering Simulations in Systems Biology (2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Process Algebraic View of Shared Dataspace Coordination (2008) — Nadia Busi, Gianluigi Zavattaro
- Automating Workflow using Dialectical Argumentation (2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- Writing a thesis with LaTeX (2008) — Lapo Mori
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (2008) — Pierluigi Contucci, Cristian Giardina
- An Adaptation Logic Framework for Java-based Component Systems (2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Smart Environments as Agent Workspaces (2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Towards a Tuplespace-based Middleware for the Semantic Web (2008) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (2008) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (2008) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- How to infer gene networks from expression profiles (2007) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
- Agent-based modeling of multicell morphogenic processes during development (2007) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
- Preface (2007) — Carlos Canal, Mirko Viroli
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
- Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
- Method fragments for agent design methodologies: from standardisation to research (2007) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
- Environment as a First Class Abstraction in Multi-Agent Systems (2007) — Danny Weyns, Andrea Omicini, James J. Odell
- tuProlog 2.0: One Step Beyond (2007) — Giulio Piancastelli, Andrea Omicini
- Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
- A Survey on Context-Aware Systems (2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
- Situated Cellular Agents Approach to Crowd Modeling and Simulation (2007) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
- Guest Editorial (2007) — Davide Ancona, Mirko Viroli
- Timed Environment for Web Agents (2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Discrete Event Modeling and Simulation in Systems Biology (2007) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (2007) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (2007) — Pierluigi Contucci, Stefano Ghirlanda
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (2007) — Tim O'Reilly
- Pervasive pheromone-based interaction with RFID tags (2007) — Mamei Marco, Franco Zambonelli
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (2007) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
- Executable cell biology (2007) — Jasmin Fisher, Thomas A. Henzinger
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications (2007) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
- Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
- Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (2007) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
- Infrastructures for the Environment of Multiagent Systems (2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- Case Studies for Self-organization in Computer Science (2006) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
- Verifying Multi-agent Programs by Model Checking (2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- Logics for Artificial Intelligence (2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (2006) — Atsushi Igarashi, Mirko Viroli
- Lime: A coordination model and middleware supporting mobility of hosts and agents (2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
- Operating Instructions for Intelligent Agent Coordination (2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman
- Coordination as a Service (2006) — Mirko Viroli, Andrea Omicini
- Tools for kinetic modeling of biochemical networks (2006) — Rui Alves, Fernando Antunes, Armindo Salvador
- Agent Coordination Contexts in a MAS Coordination Infrastructure (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Toward Nature-Inspired Computing (2006) — Jiming Liu, Kwok Ching Tsui
- On Coordination and its Significance to Distributed and Multi-Agent Systems (2006) — Sascha Ossowski, Ronaldo Menezes
- Multiagent Systems (2006) — Andrea Omicini, Agostino Poggi
- A Generic Large Scale Simulator for Ubiquitous Computing (2006) — M. Martin, P. Nurmi
- Service-Oriented Design and Development Methodology (2006) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
- Multi-paradigm Java-Prolog Integration in tuProlog (2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (2005) — Eugene Eberbach
- Environments in Multiagent Systems (2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (2005) — Alessandro Ricci, Mirko Viroli
- Process Models for Agent-based Development (2005) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
- Self-Organization in Multi-Agent Systems (2005) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- From the Editor in Chief: Nature-Inspired Computing (2004) — Nigel Shadbolt
- Challenges and Research Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
- Open Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
- Reo: A Channel-based Coordination Model for Component Composition (2004) — Farhad Arbab
- Coordination and Collaboration Activities in Cooperative Information Systems (2004) — Andrea Omicini, Sascha Ossowski
- System Support for Pervasive Applications (2004) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
- Adaptive Agents and Multiagent Systems (2004) — Zahia Guessoum
- Composing Adaptive Software (2004) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
- Guest Editorial (2004) — Davide Ancona, Mirko Viroli
- Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
- Multi-agent Infrastructures for Objective and Subjective Coordination (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
- Developing multiagent systems: The Gaia methodology (2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (2003) — Franco Zambonelli, H. Van Dyke Parunak
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
- How has the 9/11 terrorist attack influenced decision making? (2003) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
- Reasoning about Organisation: Shaping the Infrastructure (2003) — Andrea Omicini, Alessandro Ricci
- Architecture as a Coordination Tool in Multi-site Software Development (2003) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
- Computation Beyond Turing Machines (2003) — Peter Wegner, Dina Goldin
- The Vision of Autonomic Computing (2003) — Jeffrey O. Kephart, David M. Chess
- Method engineering for OO systems development (2003) — Brian Henderson-Sellers
- An Observation Approach to Semantics of Agents Communication Languages (2002) — Mirko Viroli, Andrea Omicini
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (2002) — Brian Henderson-Sellers
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency (2002) — J.A. Scott Kelso
- Principled Design of the Modern Web Architecture (2002) — Roy Thomas Fielding, Richard N. Taylor
- Virtual Enterprises and Workflow Management as Agent Coordination Issues (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Coordination Tools for MAS Development and Deployment (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Coordination Knowledge Engineering (2002) — Sascha Ossowski, Andrea Omicini
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (2002) — Hidde De Jong
- A Survey of Coordination Middleware for XML-centric Applications (2002) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
- Computational challenges in cell simulation: a software engineering approach (2002) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
- Bisimulation for Labelled Markov Processes (2002) — José Desharnais, Abbas Edalat, Prakash Panangaden
- Objects and Agents Compared (2002) — James J. Odell
- Design Principles of a Reactive Behavioral System for the Intelligent Room (2002) — Ajay Kulkarni
- Modelling Agents as Observable Sources (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Safe Tuplespace-based Coordination in Multiagent Systems (2001) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
- LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (2001) — Enrico Denti, Andrea Omicini
- XML Dataspaces for the Coordination of Internet Agents (2001) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- On the Unusual Effectiveness of Logic in Computer Science (2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
- Self Organization and Coordination (2001) — Scott E. Page
- Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
- Enlightened Agents in TuCSoN (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- An Agent-based Approach for Building Complex Software Systems (2001) — Nicholas R. Jennings
- Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster, Carl Kesselman, Steven Tuecke
- On the Notion of Agent Coordination Context: Preliminary Notes (2001) — Andrea Omicini
- An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (2001) — Ganesh D. Bhatt
- From Tuple Spaces to Tuple Centres (2001) — Andrea Omicini, Enrico Denti
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- A Coordination Language for Collective Agent-based Systems: GroupLog (2001) — Fernanda Barbosa, José C. Cunha
- Introduction to This Special Issue on Context-Aware Computing (2001) — Thomas Moran, Paul Dourish
- Control-driven Constraint Propagation (2001) — Eric Monfroy
- On the Expressiveness of Linda Coordination Primitives (2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Selecting a Project's Methodology (2000) — Alistair Cockburn
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali
- Amorphous Computing (2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- On Agent-Based Software Engineering (2000) — Nicholas R. Jennings
- Amorphous Computing (2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- Process Migration (2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (2000) — Michael A. Gibson, Jehoushua Bruck
- MARS: A Programmable Coordination Architecture for Mobile Agents (2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (1999) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
- An Architecture for Tuple-based Coordination of Multi-Agent Systems (1999) — Enrico Denti, Andrea Omicini
- Coordination Technologies for Internet Agents (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- Coordination Models for Multi-Agent Systems (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- Coordination for Internet Application Development (1999) — Andrea Omicini, Franco Zambonelli
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering (1999) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
- Agents with Power (1999) — Rune Gustavsson
- Editor's Introduction: Stigmergy (1999) — Eric Bonabeau
- A Brief History of Stigmergy (1999) — Guy Theraulaz, Eric Bonabeau
- Co-ordination of Mobile Information Agents in TuCSoN (1998) — Andrea Omicini, Franco Zambonelli
- A process algebraic view of Linda coordination primitives (1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
- Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
- Modelling Social Action for AI Agents (1998) — Cristiano Castelfranchi
- Decision procedures for BDI logics (1998) — Anand S. Rao, Michael P. Georgeff
- Collective dynamics of ‘small-world’ networks (1998) — Duncan J. Watts, Steven H. Strogatz
- T Spaces (1998) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
- Agent Communication Languages: Rethinking the Principles (1998) — Munindar P. Singh
- Planning and acting in partially observable stochastic domains (1998) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
- On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Towards Empirical Computer Science (1998) — Peter Wegner
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
- Why Interaction Is More Powerful Than Algorithms (1997) — Peter Wegner
- “Go to the Ant”: Engineering Principles from Natural Agent Systems (1997) — H. Van Dyke Parunak
- A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
- Method engineering: engineering of information systems development methods and tools (1996) — Sjaak Brinkkemper
- Coordination Models and Languages as Software Integrators (1996) — Paolo Ciancarini
- Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
- Reactive, Generative, and Stratified Models of Probabilistic Processes (1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
- A distributed semantics for EMPA based on stochastic contextual nets (1995) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
- Intelligent Agents: Theory and Practice (1995) — Michael J. Wooldridge, Nicholas R. Jennings
- Computational Research on Interaction and Agency (1995) — Philip E. Agre
- Distributed Programming with Logic Tuple Spaces (1994) — Paolo Ciancarini
- The Interdisciplinary Study of Coordination (1994) — Thomas W. Malone, Kevin Crowston
- Modularity in Logic Programming (1994) — Michele Bugliesi, Evelina Lamma, Paola Mello
- Embedding as a Tool for Language Comparison (1994) — Frank S. de Boer, Catiuscia Palamidessi
- Science for the post-normal age (1993) — Silvio O. Funtowicz, Jerome R. Ravetz
- Agent-Oriented Programming (1993) — Yoav Shoham
- Elements of Interaction: Turing Award Lecture (1993) — Robin Milner
- An Overview of Manifold and its Implementation (1993) — Farhad Arbab, Ivan Herman, Per Spilling
- Design principles for cognitive artifacts (1992) — Donald A. Norman
- A calculus of mobile processes, I (1992) — Robin Milner, Joachim Parrow, David Walker
- The Chemical Abstract Machine (1992) — Gérard Berry
- A calculus of mobile processes, II (1992) — Robin Milner, Joachim Parrow, David Walker
- Coordination Languages and Their Significance (1992) — David Gelernter, Nicholas Carriero
- Quintus Prolog 3.0 (1991) — Ken Johnson
- The Concurrent Language, Shared Prolog (1991) — Antonio Brogi, Paolo Ciancarini
- Intelligence without Representation (1991) — Rodney A. Brooks
- The GAMMA Model and its Discipline of Programming (1990) — Jean-Pierre Banâtre, Daniel Le Métayer
- Concepts and Paradigms of Object-oriented Programming (1990) — Peter Wegner
- Linda in Context (1989) — Nicholas Carriero, David Gelernter
- How to Write Parallel Programs: A Guide to the Perplexed (1989) — Nicholas Carriero, David Gelernter
- Grafica in Turbo Pascal (1988) — Enrico Denti
- Linear logic (1987) — Jean-Yves Girard
- Linda and Friends (1986) — Sudhir Ahuja, Nicholas Carriero, David Gelernter
- Algebra of communicating processes with abstraction (1985) — Jan A. Bergstra, Jan Willem Klop
- Meta-level Programming and Knowledge Representation (1985) — Kenneth A. Bowen
- Generative Communication in Linda (1985) — David Gelernter
- Minds, Brains, and Programs (1980) — John R. Searle
- The Paradigms of Programming (1979) — Robert W. Floyd
- Time, Clocks, and the Ordering of Events in a Distributed System (1978) — Leslie Lamport
- Exact Stochastic Simulation of Coupled Chemical Reactions (1977) — Daniel T. Gillespie
- Autopoiesis: The Organization of Living Systems, its Characterization and a Model (1974) — Francisco G. Varela, Humberto R. Maturana, R. Uribe
- The Strength of Weak Ties (1973) — Mark S. Granovetter
- On the Criteria to Be Used in Decomposing Systems into Modules (1972) — David Lorge Parnas
- Intentional Systems (1971) — Daniel Dennett
- The Architecture of Complexity (1962) — Herbert A. Simon
- 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 (1959) — Pierre-Paul Grassé
- The Chemical Basis of Morphogenesis (1952) — Alan Mathison Turing
- I.—Computing Machinery and Intelligence (1950) — Alan Mathison Turing
- Principles of Self-Organizing Dynamic Systems (1947) — W. Ross Ashby
- Systems of Logic Based on Ordinals (1939) — Alan Mathison Turing
- On Computable Numbers, with an Application to the Entscheidungsproblem (1937) — Alan Mathison Turing