689
publications
without
Scopus ID
/
2005–2023
- Efficient compliance checking of RDF data (article in journal) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- Burden of Persuasion: A Meta-argumentation Approach (article in journal) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- (Re)Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dàvila, Alessia Fidelangeli, Giuseppe Pisano
- A General-Purpose Protocol for Multi-Agent based Explanations (paper in proceedings) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
- Delay Indices for Train Punctuality (article in journal) — Enrico Denti, Luca Burroni
- Special Issue “Advances in Multi-Agent Systems” (special issue) — Andrea Omicini, Stefano Mariani
- Neural-logic multi-agent system for flood event detection (article in journal) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
- Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (paper in proceedings) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
- Preface (editorial/introduction/preface) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (paper in proceedings) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
- ChatGPT is not all you need. A State of the Art Review of large Generative AI models (other publication sort) — Roberto Gozalo-Brizuela, Eduardo C. Garrido-Merchan
- Explainable Clustering with CREAM (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (article in journal) — Luciano Floridi
- Knowledge injection of Datalog rules via Neural Network Structuring with KINS (article in journal) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Explainable and Transparent AI and Multi-Agent Systems (edited volume) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
- The PSyKE Technology for Trustworthy Artificial Intelligence (paper in proceedings) — Roberta Calegari, Federico Sabbatini
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation (article in journal) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
- Assessing and Enforcing Fairness in the AI Lifecycle (paper in proceedings) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
- Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (article in journal) — 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
19 publications in 2023 without Scopus ID •
top •
index •
bottom
- On Correctness and Completeness of an n Queens Program (article in journal) — Włodzimierz Drabent
- CILC 2022 – Italian Conference on Computational Logic (edited volume) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Towards Human-centric AutoML via Logic and Argumentation (paper in proceedings) — Joseph Giovanelli, Giuseppe Pisano
- Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (book) — Adrian A. Hopgood
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (edited volume) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Fifty Years of Prolog and Beyond (article in journal) — 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
- Taking stock of available technologies for compliance checking on first-order knowledge (paper in proceedings) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (special issue) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Coordination of Autonomous Vehicles: Taxonomy and Survey (article in journal) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Clustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Logic Programming library for Machine Learning: API design and prototype (paper in proceedings) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
17 publications in 2022 without Scopus ID •
top •
index •
bottom
- WOA 2021 – 22nd Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Explainability through argumentation in logic programming (paper in proceedings) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Towards Explainable Visionary Agents: License to Dare and Imagine (paper in proceedings) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (article in journal) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
- DETONAR: Detection of Routing Attacks in RPL-based IoT (article in journal) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
- Partitioned integration and coordination via the self-organising coordination regions pattern (article in journal) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
- Argumentation and Defeasible Reasoning in the Law (article in journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- MDE & MDA in a Multi-Paradigm Modeling Perspective (book chapter) — Ambra Molesini, Enrico Denti, Andrea Omicini
- The Burden of Persuasion in Structured Argumentation (paper in proceedings) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Counterfactual Explanations for Machine Learning: Challenges Revisited (other publication sort) — Sahil Verma, John P. Dickerson, Keegan Hines
- Breaking down monoliths with Microservices and DevOps: an industrial experience report (paper in proceedings) — Danilo Pianini, Alessandro Neri
13 publications in 2021 without Scopus ID •
top •
index •
bottom
- A Model for the Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Time-Fluid Field-Based Coordination (paper in proceedings) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
- WOA 2020 – 21st Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (article in journal) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (article in journal) — Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu
- Language Models are Few-Shot Learners (paper in proceedings) — Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, Dario Amodei
- Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Counterfactual Explanations for Machine Learning: A Review (other publication sort) — Sahil Verma, John P. Dickerson, Keegan Hines
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (special issue) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Multi-Agent Systems 2019 (edited volume) — Andrea Omicini, Stefano Mariani
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (article in journal) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (article in journal) — Sara Montagna, Michele Braccini, Andrea Roli
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (paper in proceedings) — Stefano Mariani, Franco Zambonelli
- Arg-tuProlog: a modular logic argumentation tool for PIL (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Special Issue “Multi-Agent Systems” 2019 (special issue) — Andrea Omicini, Stefano Mariani
16 publications in 2020 without Scopus ID •
top •
index •
bottom
- Coordination in Socio-technical Systems: Where are we now? Where do we go next? (article in journal) — Stefano Mariani
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (paper in proceedings) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (book chapter) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
- Aggregate Processes in Field Calculus (paper in proceedings) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
- The Future of Digital Democracy. An Interdisciplinary Approach (edited volume) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
- AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (edited volume) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
- The share Operator for Field-Based Coordination (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
- On a Higher-Order Calculus of Computational Fields (paper in proceedings) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Multi-Agent Systems (edited volume) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
- Language Models are Unsupervised Multitask Learners (other publication sort) — Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever
- Explanation in artificial intelligence: Insights from the social sciences (article in journal) — Tim Miller
- Deliver intelligence to integrate care: the Connecare way (article in journal) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (paper in proceedings) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
- Evaluating Origin–Destination Matrices Obtained from CDR Data (article in journal) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (paper in proceedings) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (paper in proceedings) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
- Client-side Computational Optimization (article in journal) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
- A Higher-Order Calculus of Computational Fields (article in journal) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- On Context-Orientation in Aggregate Programming (paper in proceedings) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (paper in proceedings) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
- Engineering Resilient Collaborative Edge-Enabled IoT (paper in proceedings) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution (paper in proceedings) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
- Special Issue “Multi-Agent Systems” (special issue) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
- From distributed coordination to field calculus and aggregate computing (article in journal) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- A development approach for collective opportunistic Edge-of-Things services (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (paper in proceedings) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- Self-organising Coordination Regions: a Pattern for Edge Computing (paper in proceedings) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
- Case studies for a new IoT programming paradigm: Fluidware (paper in proceedings) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
- Security in Collective Adaptive Systems: A Roadmap (paper in proceedings) — Danilo Pianini, Roberto Casadei, Mirko Viroli
31 publications in 2019 without Scopus ID •
top •
index •
bottom
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (article in journal) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (article in journal) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
- Optimal single-path information propagation in gradient-based algorithms (article in journal) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- From Field-Based Coordination to Aggregate Computing (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- Space-Time Universality of Field Calculus (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
- A Survey of Methods for Explaining Black Box Models (article in journal) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
- The mythos of model interpretability (article in journal) — Zachary C. Lipton
- Towards attack-resistant Aggregate Computing using trust mechanisms (article in journal) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Distributed Speaking Objects: a Case for Massive Multiagent Systems (paper in proceedings) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (article in journal) — 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
- Programming Actor-Based Collective Adaptive Systems (book chapter) — Roberto Casadei, Mirko Viroli
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities (paper in proceedings) — Stefano Mariani
15 publications in 2018 without Scopus ID •
top •
index •
bottom
- State-of-the-Art and Trends in Nature-inspired Coordination Models (article in journal) — Stefano Mariani, Andrea Omicini
- Aggregate plans for multiagent systems (article in journal) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Practical Aggregate Programming with Protelis (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (paper in proceedings) — Danilo Pianini, Simon Dobson, Mirko Viroli
- Attention Is All You Need (paper in proceedings) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
- Transformer: A Novel Neural Network Architecture for Language Understanding (other publication sort) — Jakob Uszkoreit
- Modeling Opportunistic IoT Services in Open IoT Ecosystems (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- Coordinating Distributed Speaking Objects (paper in proceedings) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- The impact of self-loops in random boolean network dynamics (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea Roli
- Augmented societies with mirror worlds (article in journal) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
- An Argumentation-based Perspective over the Social IoT (article in journal) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (paper in proceedings) — Roberta Calegari, Enrico Denti
- Agents and Multi-Agent Systems for Health Care (edited volume) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher
- Towards a Foundational API for Resilient Distributed Systems Design (paper in proceedings) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
- Spiking Neural Networks as Timed Automata (paper in proceedings) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
- Self-Adaptation to Device Distribution in the Internet of Things (article in journal) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment (paper in proceedings) — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
- Compositional Blocks for Optimal Self-Healing Gradients (paper in proceedings) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
20 publications in 2017 without Scopus ID •
top •
index •
bottom
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (book) — Darius Plikynas
- Self-adaptation to Device Distribution Changes in Situated Computing Systems (paper in proceedings) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Cross-organism learning method to discover new gene functionalities (article in journal) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings) — Roberta Calegari, Enrico Denti
- Programming with event loops and control loops – From actors to agents (article in journal) — Alessandro Ricci
- On Execution Platforms for Large-scale Aggregate Computing (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Resiliency with Aggregate Computing: State of the Art and Roadmap (paper in proceedings) — Mirko Viroli, Jacob Beal
- Mastering the game of Go with deep neural networks and tree search (article in journal) — 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
- Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
- Towards Aggregate Programming in Scala (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli
- A type-sound calculus of computational fields (article in journal) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
- Special Section on Coordination in Large-Scale Socio-Technical Systems (special issue) — Franco Zambonelli, Andrea Omicini, Paul Scerri
- Building Smart Spaces on the Home Manager platform (article in journal) — Roberta Calegari, Enrico Denti
- Foreward by Prof. Andrea Omicini (editorial/introduction/preface) — Andrea Omicini
- Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (book) — Stefano Mariani
20 publications in 2016 without Scopus ID •
top •
index •
bottom
- Neural Machine Translation by Jointly Learning to Align and Translate (paper in proceedings) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
- Deep learning (article in journal) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
- Programming Multi-agent Systems (article in journal) — Mehdi Dastani
- Towards agent aggregates: perspectives and challenges (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (paper in proceedings) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Effective Approaches to Attention-based Neural Machine Translation (paper in proceedings) — Thang Luong, Hieu Pham, Christopher D. Manning
- GOTA: GO term annotation of biomedical literature (article in journal) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
- Aggregate Programming for the Internet of Things (article in journal) — Jacob Beal, Danilo Pianini, Mirko Viroli
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (paper in proceedings) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
- Protelis: Practical Aggregate Programming (paper in proceedings) — Danilo Pianini, Mirko Viroli, Jacob Beal
- Type-based Self-stabilisation for Computational Fields (article in journal) — Ferruccio Damiani, Mirko Viroli
- Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (article in journal) — Sara Montagna, Mirko Viroli, Andrea Roli
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Formal Foundations of Sensor Network Applications (article in journal) — Jacob Beal, Mirko Viroli
18 publications in 2015 without Scopus ID •
top •
index •
bottom
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (edited volume) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
- Building Blocks for Aggregate Programming of Self-Organising Applications (paper in proceedings) — Jacob Beal, Mirko Viroli
- Engineering General Intelligence, Part 2 (book) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
- Extending a Smart Home Multi-Agent System with Role-Based Access Control (paper in proceedings) — Enrico Denti, Roberta Calegari, Marco Prandini
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (article in journal) — Stefano Mariani, Andrea Omicini
- The IEEE-FIPA Standard on the Design Process Documentation Template (book chapter) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- Negotiation and Argumentation in Multi-Agent Systems (edited volume) — Fernando Lopes, Helder Coelho
- Introduction (book chapter) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
- A Calculus of Self-stabilising Computational Fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (article in journal) — Enrico Denti
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (book chapter) — 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 (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale (paper in proceedings) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
- Argumentation and Artifacts for Negotiation Support (book chapter) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (book) — Bernd Rosslenbroich
- Handbook on Agent-Oriented Design Processes (edited volume) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Distributed statistical analysis of complex systems modeled through a chemical metaphor (paper in proceedings) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
- Best ACM SAC Articles on Coordination and Self-Adaptation (editorial/introduction/preface) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
- The Autonomy of Automated Systems (paper in proceedings) — Giovanni Sartor, Andrea Omicini
- Towards a Unified Model of Spatial Computing (paper in proceedings) — Mirko Viroli
- Bridging the Symbolic/Subsymbolic Gap (book chapter) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
23 publications in 2014 without Scopus ID •
top •
index •
bottom
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (paper in proceedings) — Stefano Mariani, Andrea Omicini
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter) — Alessandro Ricci, Andrea Santi
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (article in journal) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (paper in proceedings) — Mirko Viroli
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (article in journal) — Andrea Omicini, Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Domain Independent Text Categorization (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (article in journal) — Houguang Yue
- Special Issue on Software Agents (special issue) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
- Coupling software architecture and human architecture for collaboration-aware system adaptation (paper in proceedings) — Christoph Dorn, Richard N Taylor
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
- A calculus of computation fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- On competitive self-composition in pervasive services (article in journal) — Mirko Viroli
- tuProlog: Making Prolog Ubiquitous (article in journal) — Enrico Denti, Andrea Omicini, Roberta Calegari
- Nature-inspired Coordination Models: Current Status, Future Trends (article in journal) — Andrea Omicini
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (edited volume) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (article in journal) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
- Operational Semantics of Proto (article in journal) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
- Multi-agent Oriented Programming with JaCaMo (article in journal) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
- Description and composition of bio-inspired design patterns: a complete overview (article in journal) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
- 6th International Spatial Computing Workshop (SCW 2013) (edited volume) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
- Software Agents: Twenty Years and Counting (editorial/introduction/preface) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
- Predicting Social Density in Mass Events to Prevent Crowd Disasters. (paper in proceedings) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (paper in proceedings) — Sara Montagna, Mirko Viroli
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (article in journal) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (edited volume) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos
35 publications in 2013 without Scopus ID •
top •
index •
bottom
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings) — Marco Alberti, Andrea Omicini
- Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
- Self-organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (edited volume) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (article in journal) — Schahram Dustdar, Hong-Linh Truong
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Programming Directives for Elastic Computing (article in journal) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
- On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (article in journal) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
- Distributed Systems. Concepts and Design (book) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
- Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
- Programming Distributed Multi-Agent Systems in simpAL (paper in proceedings) — Andrea Santi, Alessandro Ricci
- A Programming Paradigm based on Agent-Oriented Abstractions (article in journal) — Alessandro Ricci, Andrea Santi
- Interdependent Artificial Institutions in Agent Environments (article in journal) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
- Perspectives on Spin Glasses (book) — Pierluigi Contucci, Cristian Giardinà
- Agents Writing on Walls: Cognitive Stigmergy and Beyond (book chapter) — Andrea Omicini
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (edited volume) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- Proceedings of the AI*IA 2012 Doctoral Consortium (edited volume) — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Self-Organising News Management: The Molecules of Knowledge Approach (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Typing Multi-Agent Programs in simpAL (paper in proceedings) — Alessandro Ricci, Andrea Santi
- On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (paper in proceedings) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL (paper in proceedings) — Andrea Santi, Alessandro Ricci
- Implicit: A Multi-agent Recommendation System for Web Search (article in journal) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
- Situation Identification Techniques in Pervasive Computing: A Review (article in journal) — Juan Ye, Simon Dobson, Susan McKeever
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor
- Self-adaptive software needs quantitative verification at runtime (article in journal) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
- Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (paper in proceedings) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
40 publications in 2012 without Scopus ID •
top •
index •
bottom
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (edited volume) — Alois Ferscha
- Coordinating Spatially-Situated Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (book) — Daniele Archibugi, Andrea Filippetti
- Model-driven communications and collaborative software development (paper in proceedings) — Antonio Natali
- Deep diving into BitTorrent locality (paper in proceedings) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
- Living in a Digital World (article in journal) — Samuel Greengard
- An introduction to Bisimulation and Coinduction (book) — Davide Sangiorgi
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Seeing is not enough (article in journal) — Tom Geller
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (article in journal) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (article in journal) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- JaCa-Android: an agent-based platform for building smart mobile applications (paper in proceedings) — Andrea Santi, Alessandro Ricci
- Special Issue “Infrastructures and Tools for Multiagent Systems” (special issue) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Software Engineering for Self-Organizing Systems (paper in proceedings) — H. Van Dyke Parunak, Sven A. Brueckner
- A Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Mirko Viroli, Sara Montagna
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (paper in proceedings) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (paper in proceedings) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
- A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Dennis Ritchie, 1941-2011 (article in journal) — Paul Hyman
- Sustainable biomass power plant location in the Italian Emilia-Romagna region (article in journal) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
- Facing Openness with Socio Cognitive Trust and Categories (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Distributed Computing. Principles, Algorithms, and Systems (book) — Ajay D. Kshemkalyani, Mukesh Singhal
- Abstraction in hardware system design (article in journal) — Rishiyur S. Nikhil
- Towards a logic framework for Web programming (article in journal) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Java Security Architecture Revisited (article in journal) — Li Gong
- Improving brain-computer interfaces (article in journal) — Kirk L. Kroeker
- A Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (technical report) — Andrea Argentini, Enrico Blanzieri
- Towards Social-ICT Organisms (book chapter) — Franco Zambonelli
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
- The legacy of Steve Jobs (article in journal) — Michael A. Cusumano
- Verifying the Evolution of Probability Distributions Governed by a DTMC (article in journal) — YoungMin Kwon, Gul Agha
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- The most ancient marketing (article in journal) — Jaron Lanier
- The software industry is the problem (article in journal) — Poul-Henning Kamp
- Adaptive organizational changes in agent-oriented methodologies (article in journal) — Luca Cernuzzi, Franco Zambonelli
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- From Space to Stage: How Interactive Screens Will Change Urban Life (article in journal) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Self-organising Knowledge-intensive Workspaces (book chapter) — Andrea Omicini
- Enhancing Privacy in Multi-Agent Systems (phd thesis) — Jose Miguel Such Aparicio
- The Social Compute Unit (article in journal) — Schahram Dustdar, Kamal Bhattacharya
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal Fisher
- Multi-level models and infrastructures for simulating biological system development (phd thesis) — Sara Montagna
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- The Rise of Molecular Machines (article in journal) — Kirk L. Kroeker
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others (article in journal) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
- BDI Agents with Objectives and Preferences (paper in proceedings) — Aniruddha Dasgupta, Aditya K. Ghose
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (paper in proceedings) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
- Principles of Elastic Processes (article in journal) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (paper in proceedings) — Stefan J. Witwicki, Edmund H. Durfee
- Core Operational Semantics of Proto (paper in proceedings) — Mirko Viroli, Jacob Beal, Matteo Casadei
- An interaction-oriented agent framework for open environments (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (article in journal) — Peter McBurney, Simon Parsons, Mirko Viroli
- Anonymity is not privacy: technical perspective (article in journal) — Vitaly Shmatikov
- Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
- A Tour of Reaction Systems (article in journal) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective (article in journal) — Marco Raberto, Andrea Teglio, Silvano Cincotti
- Exploiting the JaCaMo framework for realising an adaptive room governance application (paper in proceedings) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
- Global Democracy: Normative and Empirical Perspectives (book) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
- Computational journalism (article in journal) — Sarah Cohen, James T. Hamilton, Fred Turner
- Will software engineering ever be engineering? (article in journal) — Michael Davis
70 publications in 2011 without Scopus ID •
top •
index •
bottom
- Programming Open Systems with Agents, Environments and Organizations (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (article in journal) — Clemens Holzmann, Alois Ferscha
- Simulate plants: a client-server graphic approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
- Towards Model-driven Communications (article in journal) — Antonio Natali, Ambra Molesini
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (phd thesis) — Sameh Abdel-Naby
- The Description Logic Handbook: Theory, Implementation, and Applications (book) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
- Exploring the Boundaries: When Method Fragmentation is not Convenient (paper in proceedings) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
- Exploiting Agent-Oriented Programming for Developing Android Applications (paper in proceedings) — Andrea Santi, Marco Guidi, Alessandro Ricci
- Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (paper in proceedings) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
- A Biochemical Approach to Adaptive Service Ecosystems (article in journal) — Mirko Viroli, Franco Zambonelli
- Engineering Self-Coordinating Software Intensive Systems (paper in proceedings) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (article in journal) — Sagar Indurkhya, Jacob Beal
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (paper in proceedings) — Andrea Santi, Guidi Marco, Alessandro Ricci
- Logic-based decision support for strategic environmental assessment (article in journal) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (paper in proceedings) — Sergio Esparcia, Estefania Argente, Vicent Botti
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (article in journal) — Silvano Cincotti, Marco Raberto, Andrea Teglio
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (paper in proceedings) — Andrea Santi
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (edited volume) — Andrea Omicini, Mirko Viroli
- A Basis Set of Operators for Space-Time Computations (paper in proceedings) — Jacob Beal
- Tutorial on Agent-based Modelling and Simulation (article in journal) — Charles M. Macal, Michael J. North
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (article in journal) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
- Interacting with Virtual Plants: a Client-Server Approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (paper in proceedings) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
- Developing Web Client Applications with JaCa-Web (paper in proceedings) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (paper in proceedings) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (paper in proceedings) — Alessandro Ricci, Andrea Santi, Michele Piunti
- Using Domain Specific Languages for platform-based software development: The case of Android (paper in proceedings) — Antonio Natali, Ambra Molesini
- Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele Loreti
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Applying Process Document Standarization to INGENIAS (paper in proceedings) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Transitivity in Trust. A Discussed Property (paper in proceedings) — Rino Falcone, Cristiano Castelfranchi
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (article in journal) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (phd thesis) — Michele Piunti
- Artificial Life XII (edited volume) — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
- Formal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael Fisher
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (paper in proceedings) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (article in journal) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (paper in proceedings) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- The O-MaSE Process: a Standard View (paper in proceedings) — Juan C. Garcia-Ojeda, Scott DeLoach
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (article in journal) — Alessandro Ricci, Enrico Denti, Michele Piunti
- Implementing reactive BDI agents with user-given constraints and objectives (article in journal) — Aniruddha Dasgupta, Aditya K. Ghose
- Chemical-Inspired Self-Composition of Competing Services (paper in proceedings) — Mirko Viroli, Matteo Casadei
49 publications in 2010 without Scopus ID •
top •
index •
bottom
- Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
- Embodying Organisations in Multi-Agent Work Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- A Formal Definition of Colture (technical report) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- Information, Physics, and Computation (book) — Marc Mézard, Andrea Montanari
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Self-Organising Coordination Systems (phd thesis) — Matteo Casadei
- Manipulation implicite d'une organisation multiagent via l'environnement (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Mathematics for Economics: A Statistical Mechanics Perspective (article in journal) — Pierluigi Contucci, Francesca Romiti
- Gaia4E: A Tool Supporting the Design of MAS using Gaia (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- A SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. Ong
- Special Issue “Engineering Environments in Multi-Agent Systems” (special issue) — Danny Weyns, Andrea Omicini
- The Craft of Prolog (book) — Richard O'Keefe
- Modelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
- Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
- Declarative Specification and Verification of Service Choreographies (article in journal) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
- Agent-based Modelling of Stem Cells (book chapter) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
- A Goal-Oriented Approach for Modelling Self-organising MAS (paper in proceedings) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Andrea Santi
- Interactive Graphical Maps for Infocenter via Model to Model Transformation (paper in proceedings) — Enrico Oliva
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (paper in proceedings) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
- Software Engineering: An Idea Whose Time Has Come and Gone? (article in journal) — Tom De Marco
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
- A Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
- Making Sense of Revision-control Systems (article in journal) — Bryan O'Sullivan
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (paper in proceedings) — Michele Piunti, Andrea Santi, Alessandro Ricci
- Knowledge-based coordination with a reliable semantic subscription mechanism (paper in proceedings) — Martin Murth, Eva Kuhn
- Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (paper in proceedings) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys (paper in proceedings) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
- Embodied Organisations in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- A MAS Metamodel-Driven Approach to Process Fragments Selection (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
- Empirical comparison of methods for information systems development according to SOA (paper in proceedings) — Philipp Offermann, Udo Bub
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal) — Marco Mamei, Franco Zambonelli
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications (phd thesis) — Aliaksandr Birukou
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (paper in proceedings) — Alessandro Ricci, Michele Piunti
- Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (paper in proceedings) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
- On the Collective Sort Problem for Distributed Tuple Spaces (article in journal) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli
- An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge
- Testing Techniques for Software Agents (phd thesis) — Cu Duy Nguyen
- Costruire sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
- Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei
49 publications in 2009 without Scopus ID •
top •
index •
bottom
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
- Towards a Logic Language and Framework for Web Programming (book chapter) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Simulation Methods in Systems Biology (paper in proceedings) — Daniel T. Gillespie
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Mirko Viroli
- Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory (article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (paper in proceedings) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (article in journal) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- On the reification of Java wildcards (article in journal) — Maurizio Cimadamore, Mirko Viroli
- Il Milione. Viaggio nella logica computazionale in Italia (edited volume) — Matteo Baldoni, Cristina Baroglio
- Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
- Tool-Supported Development with Tropos: The Conference Management System Case Study (paper in proceedings) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro Ricci
- An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (paper in proceedings) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario Bravetti
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- Agent-oriented AmI Engineering (paper in proceedings) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
- Automating Workflow using Dialectical Argumentation (article in journal) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (article in journal) — Pierluigi Contucci, Cristian Giardina
- A Multi-Theory Logic Programming Language for the World Wide Web (technical report) — Giulio Piancastelli, Andrea Omicini
- Econophysics and the Current Economic Turmoil (article in journal) — H. Eugene Stanley
- The BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- Introducing Join-Computing (paper in proceedings) — Giacomo Cabri
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd thesis) — Ambra Molesini
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (paper in proceedings) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (paper in proceedings) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology (article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Model-driven Generation of Graphical Maps for e-Contents (paper in proceedings) — Antonio Natali, Enrico Oliva, Cristina Bonanni
- Special Issue “Agents, Institutions and Legal Theory” (special issue) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor
- Smart Environments as Agent Workspaces (article in journal) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Towards a Tuplespace-based Middleware for the Semantic Web (article in journal) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (special issue) — Andrea Omicini, Peter McBurney
- Toward a Framework for Collaborative Learning based on Agent-based Technologies (paper in proceedings) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- La costruzione dei sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (paper in proceedings) — Daniel Yamins, Radhika Nagpal
- A Process Algebraic View of Shared Dataspace Coordination (article in journal) — Nadia Busi, Gianluigi Zavattaro
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci
- PASSIM: a simulation-based process for the development of multi-agent systems (article in journal) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring (paper in proceedings) — Florian Fuchs, Michael Berger
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Argumentation and Artifacts for Intelligent Multi-agent Systems (phd thesis) — Enrico Oliva
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (paper in proceedings) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- Methodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Fast self-healing gradients. (paper in proceedings) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
- An Agent Framework for Ubiquitous Services (phd thesis) — Conor Muldoon
- Agent Roles: from Methodologies to Infrastructures (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (paper in proceedings) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Agent Oriented Software Engineering VIII (edited volume) — Michael Luck, Lin Padgham
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- An Adaptation Logic Framework for Java-based Component Systems (article in journal) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- ReSpecT Guide (manual) — Matteo Casadei, Andrea Omicini
- Writing a thesis with LaTeX (article in journal) — Lapo Mori
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere (book) — Lucio Russo
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro Ricci
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (technical report) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
- Introduction to AOSE Tools for the Conference Management System (paper in proceedings) — Lin Padgham, Michael Luck
- Engineering Self-organising Systems with the Multiagent Paradigm (phd thesis) — Luca Gardelli
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (paper in proceedings) — Sara Montagna, Andrea Omicini, Marco Alberti
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli
- The Prometheus Design Tool – A Conference Management System Case Study (paper in proceedings) — Lin Padgham, John Thangarajah, Michael Winikoff
- Hierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
75 publications in 2008 without Scopus ID •
top •
index •
bottom
- A Survey of Service Oriented Development Methodologies (paper in proceedings) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
- Developing Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
- Evaluating Procedural Alternatives. A Case Study in E-Voting (paper in proceedings) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
- Invited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca Cardelli
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- What is “paradigm”? (technical report) — Erek Göktürk
- Situated Cellular Agents Approach to Crowd Modeling and Simulation (article in journal) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
- An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (article in journal) — Tim O'Reilly
- Integrating Software Models and Platform Models for Performance Analysis (article in journal) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
- Using Eclipse in Building Model-driven e-Learning Supports (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (paper in proceedings) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
- Decentralized Regulation of Distributed Systems: Beyond Access Control (technical report) — Naftaly H. Minsky
- Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (article in journal) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
- How to infer gene networks from expression profiles (article in journal) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
- Context-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (paper in proceedings) — George Jiri Mejtsky
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (article in journal) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Executable cell biology (article in journal) — Jasmin Fisher, Thomas A. Henzinger
- vLab: an Eclipse-based Virtual Laboratory (paper in proceedings) — Anna Riccioni, Enrico Denti
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (paper in proceedings) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
- RESTful Web Services (book) — Leonard Richardson, Sam Ruby
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
- Towards Integrating Agents with Objects Tracing Systems in AmI (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
- Infrastructures for the Environment of Multiagent Systems (article in journal) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- A Survey on Context-Aware Systems (article in journal) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications (article in journal) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
- Extrospection: Agents Reasoning About the Environment (paper in proceedings) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
- Distributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Marteen van Steen
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (paper in proceedings) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (edited volume) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (technical report) — Nicola Segata, Enrico Blanzieri, Corrado Priami
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (paper in proceedings) — Olaf Zimmermann, Jana Koehler, Leymann Frank
- Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Intentional Systems Theory (book chapter) — Daniel Dennett
- Preface (editorial/introduction/preface) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach (paper in proceedings) — Volha Bryl, Paolo Giorgini, John Mylopoulos
- Design Patterns for Self-Organizing Multiagent Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Practical Extensions in Agent Programming Languages (paper in proceedings) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
- tuProlog 2.0: One Step Beyond (article in journal) — Giulio Piancastelli, Andrea Omicini
- Pervasive pheromone-based interaction with RFID tags (article in journal) — Mamei Marco, Franco Zambonelli
- Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
- Programming Multi-Agent Systems in AgentSpeak using Jason (book) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (article in journal) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
- Large Language Models in Machine Translation (paper in proceedings) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Service-Oriented Agent Methodologies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Sistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van Steen
- Exploiting the Environment for Coordinating Agent Intentions (paper in proceedings) — Tom Holvoet, Paul Valckenaers
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- Discrete Event Modeling and Simulation in Systems Biology (article in journal) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
- Method fragments for agent design methodologies: from standardisation to research (article in journal) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
- Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal) — Tristan M. Behrens, Jurgen Dix
- A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
- Governing Environments for Agent-Based Traffic Simulations (paper in proceedings) — Michael Schumacher, Laurent Grangier, Radu Jurca
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Agent-based modeling of multicell morphogenic processes during development (article in journal) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (article in journal) — Pierluigi Contucci, Stefano Ghirlanda
- Special Issue on the AgentLink III Technical Forums (special issue) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Pellet: A practical OWL-DL reasoner (article in journal) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
74 publications in 2007 without Scopus ID •
top •
index •
bottom
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
- Metodologie per l'ingegneria del software: approccio ad agenti (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Socio-technical systems (encyclopedia entry) — Brian Whitworth
- Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
- Verifying Multi-agent Programs by Model Checking (article in journal) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Web Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
- Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
- Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Tools for kinetic modeling of biochemical networks (article in journal) — Rui Alves, Fernando Antunes, Armindo Salvador
- SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- WOA 2006 – Dagli Oggetti agli Agenti (edited volume) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
- StoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
- The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
- Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
- A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
- Special Issue “Hot Topics in European Agent Research II” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North
- Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
- A Survey of Environments and Mechanisms for Human-Human Stigmergy (paper in proceedings) — H. Van Dyke Parunak
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Generic Large Scale Simulator for Ubiquitous Computing (article in journal) — M. Martin, P. Nurmi
- Logics for Artificial Intelligence (article in journal) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
- Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
- The World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten Sierhuis
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
- A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis
- Multiagent Systems (article in journal) — Andrea Omicini, Agostino Poggi
- Standardizing Agent Communication (book chapter) — Yannis Labrou
- An agent oriented tool for method engineering (paper in proceedings) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
- Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
- The Fading Concept in Tuple-Space Systems (paper in proceedings) — Ronaldo Menezes, Alan Wood
- Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
- The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart
59 publications in 2006 without Scopus ID •
top •
index •
bottom
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (special issue) — Marco Cadoli, Michela Milano, Andrea Omicini
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Developing MAS Solutions with Gaia and AUML (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- Drago: Distributed reasoning architecture for the semantic web (paper in proceedings) — Luciano Serafini, Andrei Tamilin
- The Second AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
- Composition of a New Process to Meet Agile Needs Using Method Engineering (paper in proceedings) — Massimo Cossentino, Valeria Seidita
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (article in journal) — Alessandro Ricci, Mirko Viroli
- Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Effective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (paper in proceedings) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
- Distributed Instance Retrieval in Heterogeneous Ontologies (paper in proceedings) — Luciano Serafini, Andrei Tamilin
- Programming Stigmergic Coordination with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
- Message from the Program Chairs (editorial/introduction/preface) — Andrea Omicini, Roger L. Wainwright
- Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda
- Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- Engineering MAS Environment with Artifacts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Special Issue “Process Algebras and Multi-Agent Systems” (special issue) — Mirko Viroli, Andrea Omicini
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (edited volume) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (paper in proceedings) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- SODA: A Roadmap to Artefacts (paper in proceedings) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
- More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon
- On Access Restriction with Java Wildcards (article in journal) — Mirko Viroli, Giovanni Rimassa
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (article in journal) — Eugene Eberbach
- Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (editorial/introduction/preface) — Marco Cadoli, Michela Milano, Andrea Omicini
- Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Process Models for Agent-based Development (article in journal) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
- Special Issue “Hot Topics in European Agent Research I” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (paper in proceedings) — Brian Henderson-Sellers
- Self-Organization in Multi-Agent Systems (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
- Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
- Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (special issue) — Andrea Omicini, Peter McBurney
- Coordination and Composition in Multi-agent Systems (paper in proceedings) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (paper in proceedings) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
46 publications in 2005 without Scopus ID •
top •
index •
bottom