Articles in Journal  /  1939–2021

2021  |   2020  |   2019  |   2018  |   2017  |   2016  |   2015  |   2014  |   2013  |   2012  |   2011  |   2010  |   2009  |   2008  |   2007  |   2006  |   2005  |   2004  |   2003  |   2002  |   2001  |   2000  |   1999  |   1998  |   1997  |   1996  |   1995  |   1994  |   1993  |   1992  |   1991  |   1990  |   1989  |   1988  |   1987  |   1986  |   1985  |   1984  |   1983  |   1982  |   1981  |   1980  |   1979  |   1978  |   1977  |   1976  |   1975  |   1974  |   1973  |   1972  |   1971  |   1970  |   1969  |   1968  |   1967  |   1966  |   1965  |   1964  |   1963  |   1962  |   1961  |   1960  |   1959  |   1958  |   1957  |   1956  |   1955  |   1954  |   1953  |   1952  |   1951  |   1950  |   1949  |   1948  |   1947  |   1946  |   1945  |   1944  |   1943  |   1942  |   1941  |   1940  |   1939

2021
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI
SoftwareX 16, December 2021
Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing
SN Computer Science 2(117), 2021
Alessandro Ricci, Angelo Croatti, Sara Montagna
Pervasive and Connected Digital Twins - A Vision for Digital Health
IEEE Internet Computing, 2021
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
Autonomous Agents and Multi-Agent Systems 35(1), 2021
Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
DETONAR: Detection of Routing Attacks in RPL-based IoT
IEEE Transactions on Network and Service Management 18(2), 2021
(5 articles in journal in 2021)  [top]  [bottom]
2020
Roberta Calegari, Giovanni Ciatto, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey
Intelligenza Artificiale 14(1), September 2020
Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Information 11(3), March 2020
Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
Complexity, July 2020
Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Real-time tracking and documentation in trauma management
Health Informatics Journal 26(1), 2020
Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24
The Astrophysical Journal 904(1), November 2020
Angelo Croatti, Matteo Gabellini, Montagna Sara, Alessandro Ricci
On the Integration of Agents and Digital Twins in Healthcare
Journal of Medical Systems 44, August 2020
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information 11(1), January 2020
Angelo Croatti, Alessandro Ricci
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
Autonomous Agents and Multi-Agent Systems 34, July 2020
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From Agents to Blockchain: Stairway to Integration
Applied Sciences 10(21), October 2020
Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Journal of Logical and Algebraic Methods in Programming 113, June 2020
Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
Complexity, July 2020
Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
Complementing Agents with Cognitive Services: A Case Study in Healthcare
Journal of Medical Systems 44, September 2020
(13 articles in journal in 2020)  [top]  [bottom]
2019
Stefano Mariani
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
Science of Computer Programming 184, 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), January 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Future Generation Computer Systems 91, 2019
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service in Multi-Agent  Systems for the Internet of Things
International Journal of Grid and Utility Computing 10(4), 2019
Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Evaluating Origin–Destination Matrices Obtained from CDR Data
Sensors 19(20), October 2019
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
Information Sciences 498, 2019
Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Deliver intelligence to integrate care: the Connecare way
International Journal of Integrated Care 19(4), 2019
Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Client-side Computational Optimization
ACM Transactions on Mathematical Software 45(2), June 2019
Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
Artificial Intelligence in Medicine 96, May 2019
Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 9(5), March 2019
(11 articles in journal in 2019)  [top]  [bottom]
2018
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae 161(1-2), July 2018
M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder
The Astrophysical Journal 854(2), February 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 2018
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service
Theory and Practice of Logic Programming 18(5-6), September 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 2018
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018
Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
Internet Technology Letters, 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018
(10 articles in journal in 2018)  [top]  [bottom]
2017
Sara Montagna, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
Simulation: Transactions of the Society for Modeling and Simulation International 93(9), September 2017
Stefano Mariani, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models
The IEEE Intelligent Informatics Bulletin 18(2), December 2017
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 2017
Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Augmented societies with mirror worlds
AI & Society, December 2017
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transactions on Autonomous and Adaptive Systems 12(3), September 2017
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
An Argumentation-based Perspective over the Social IoT
Journal of Internet of Things, 2017
Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
Applicable Algebra in Engineering, Communication and Computing 8(1), 2017
(7 articles in journal in 2017)  [top]  [bottom]
2016
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016
Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
Bioinformatics and Biology Insights 10, March 2016
Franco Zambonelli, Andrea Omicini, Paul Scerri
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
IEEE Transactions on Emerging Topics in Computing 4(1), January-March 2016
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-organism learning method to discover new gene functionalities
Computer Methods and Programs in Biomedicine 126, April 2016
Roberta Calegari, Enrico Denti
Building Smart Spaces on the Home Manager platform
ALP Newsletter, December 2016
Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016
(6 articles in journal in 2016)  [top]  [bottom]
2015
Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16, october 2015
Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16: , 2015
Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015
Sara Montagna, Mirko Viroli, Andrea Roli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
Simulation: Transactions of the Society for Modeling and Simulation International 91(7), June 2015
Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
Engineering Applications of Artificial Intelligence 41, May 2015
Mehdi Dastani
Programming Multi-agent Systems
The Knowledge Engineering Review 30(Special Issue 04), September 2015
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015
Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015
Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), September 2015
Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015
Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015
(11 articles in journal in 2015)  [top]  [bottom]
2014
Enrico Denti
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
World Journal of Computer Application and Technology 2(1), January 2014
Stefano Mariani, Andrea Omicini
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives
SCS M&S Magazine IV(3), December 2014
Enrico Denti
Novel pervasive scenarios for home management: the Butlers architecture
SpringerPlus 3(52), January 2014
(3 articles in journal in 2014)  [top]  [bottom]
2013
Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013
Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013
Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
Complex Adaptive Systems Modeling 1(1), 2013
Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013
Pedro Pablo González-Pérez, Maura Cárdenas-García, Sara Montagna
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
Journal of Computations & Modelling 3(2), 2013
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013
Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Software Agents: Twenty Years and Counting
Computing Now 6(11), November 2013
Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013
Andrea Omicini, Stefano Mariani
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
Intelligenza Artificiale 7(2), November 2013
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013
Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013
Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
Computational and Mathematical Organization Theory, August 2013
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013
Enrico Denti, Andrea Omicini, Roberta Calegari
tuProlog: Making Prolog Ubiquitous
Association for Logic Programming Newsletter, October 2013
Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
Journal of Simulation 7(3), August 2013
Houguang Yue
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
International Journal of Foundations of Computer Science 24(03), 2013
Andrea Omicini
Nature-inspired Coordination Models: Current Status, Future Trends
ISRN Software Engineering, 2013
(17 articles in journal in 2013)  [top]  [bottom]
2012
Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Programming Directives for Elastic Computing
IEEE Internet Computing 16(6), 2012
Juan Ye, Simon Dobson, Susan McKeever
Situation Identification Techniques in Pervasive Computing: A Review
Pervasive and Mobile Computing 8(1), February 2012
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM 55(9), September 2012
Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
EMBnet.journal 18(B), 2012
Franco Zambonelli
Toward Sociotechnical Urban Superorganisms
Computer 45(8), 2012
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012
Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Interdependent Artificial Institutions in Agent Environments
Applied Artificial Intelligence 26(4), May 2012
Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Implicit: A Multi-agent Recommendation System for Web Search
Autonomous Agents and Multi-Agent Systems 24(1), 2012
Schahram Dustdar, Hong-Linh Truong
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
International Journal of Next-Generation Computing 3(2), 2012
Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
ACM Transactions on Autonomous and Adaptive Systems 7(12), September 2012
Alessandro Ricci, Andrea Santi
A Programming Paradigm based on Agent-Oriented Abstractions
International Journal on Advances in Software 5(1-2), 2012
(11 articles in journal in 2012)  [top]  [bottom]
2011
Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology 
International Journal of Software Engineering and Knowledge Engineering 21(4), June 2011
Giuseppe Cardone, Antonio Corradi, Luca Foschini
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
The Computer Journal, 2011
Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Manifesta to Krypta: The Relevance of Categories for Trusting Others
Transactions on Intelligent Systems and Technology , 2011
Alessandro Ricci, Michele Piunti, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Autonomous Agents and Multi-Agent Systems 23(2), September 2011
YoungMin Kwon, Gul Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC
IEEE Transactions on Software Engineering 37(1), January 2011
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
ACM SIGAPP Applied Computing Review 11(2), Spring 2011
Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
Engineering Applications of Artificial Intelligence 24(7), October 2011
Samuel Greengard
Living in a digital world
Communications of the ACM 54(10), 2011
Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
ACM Computing Surveys 43(2), January 2011
Schahram Dustdar, Kamal Bhattacharya
The Social Compute Unit
IEEE Internet Computing 15(3), 2011
Marco Raberto, Andrea Teglio, Silvano Cincotti
Debt Deleveraging and Business Cycles. An Agent-Based Perspective
Economics: The Open-Access, Open-Assessment E-Journal Economics Discussion Papers(2011-31), 2011
Vitaly Shmatikov
Anonymity is not privacy: technical perspective
Commun. ACM 54(12), 2011
Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
From Space to Stage: How Interactive Screens Will Change Urban Life
Computer 44(6), June 2011
Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Lecture Notes in Computer Science 6856, 2011
Rishiyur S. Nikhil
Abstraction in hardware system design
Commun. ACM 54(10), 2011
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011
Poul-Henning Kamp
The software industry is the problem
Commun. ACM 54(11), 2011
Kirk L. Kroeker
Improving brain-computer interfaces
Commun. ACM 54(10), 2011
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a logic framework for Web programming
Intelligenza Artificiale 5(1), 2011
Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Sustainable biomass power plant location in the Italian Emilia-Romagna region
ACM Transactions on Intelligent Systems and Technology 2(4), July 2011
Jaron Lanier
The most ancient marketing
Communications of the ACM 54(12), December 2011
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011
Franco Zambonelli, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
International Journal of Pervasive Computing and Communications 7(3), 2011
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Facing Openness with Socio Cognitive Trust and Categories
Twenty Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011
Andrea Omicini, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation
The Knowledge Engineering Review 26(1), March 2011
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011
Paul Hyman
Dennis Ritchie, 1941-2011
Commun. ACM 54(12), 2011
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
An interaction-oriented agent framework for open environments
AI* IA 2011: Artificial Intelligence Around Man and Beyond, 2011
Michael Davis
Will software engineering ever be engineering?
Communications of the ACM 54, November 2011
Michael A. Cusumano
The legacy of Steve Jobs
Commun. ACM 54(12), 2011
Luca Cernuzzi, Franco Zambonelli
Adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review 26(2), May 2011
Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Principles of Elastic Processes
IEEE Internet Computing 15(5), 2011
Kirk L. Kroeker
The Rise of Molecular Machines
Communications of the ACM 54(12), 2011
Tom Geller
Seeing is not enough
Commun. ACM 54(10), 2011
Peter McBurney, Simon Parsons, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
The Knowledge Engineering Review 26(1), March 2011
Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
A Tour of reaction Systems.
Int. J. Found. Comput. Sci. 22(7), 2011
Sarah Cohen, James T. Hamilton, Fred Turner
Computational journalism
Communications of the ACM 54(10), October 2011
Li Gong
Java Security Architecture Revisited
ACM Queue 9(9), 2011
(39 articles in journal in 2011)  [top]  [bottom]
2010
Alessandro Ricci, Enrico Denti, Michele Piunti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Multiagent and Grid Systems 6(2), June 2010
Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
Journal of Systems and Software 83(5), May 2010
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-based decision support for strategic environmental assessment
Theory and Practice of Logic Programming 10(4-6), July 2010
Charles M. Macal, Michael J. North
Tutorial on Agent-based Modelling and Simulation
Journal of Simulation 4(3), September 2010
Clemens Holzmann, Alois Ferscha
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
Pervasive and Mobile Computing 6(3), 2010
Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based Conference Management: A Case Study in SODA
International Journal of Agent-Oriented Software Engineering 4(1), 2010
Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
International Journal of Ambient Computing and Intelligence 2(1), January-March 2010
Antonio Natali, Ambra Molesini
Towards Model-driven Communications
World Academy of Science, Engineering and Technology 64, April 2010
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
International Journal of Artificial Intelligence 4(S10), Spring 2010
Sagar Indurkhya, Jacob Beal
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
PLoS ONE 5(1), 01 2010
Mirko Viroli, Franco Zambonelli
A Biochemical Approach to Adaptive Service Ecosystems
Information Sciences 180(10), 2010
Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
Journal of  Integrative Bioinformatics 7(1), 2010
Silvano Cincotti, Marco Raberto, Andrea Teglio
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
Economics: The Open-Access, Open-Assessment E-Journal 4(2010-26), 2010
Bo Sun Conghua Zhou, Liu Zhifeng
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
Lecture Notes in Computer Science 6319, 2010
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
International Journal of Agent-Oriented Software Engineering 4(2), 2010
(15 articles in journal in 2010)  [top]  [bottom]
2009
Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on  Software Engineering Methodologies 18(4), July 2009
Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009
Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009
Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
(7 articles in journal in 2009)  [top]  [bottom]
2008
Lapo Mori
Writing a thesis with LaTeX
The PracTeX Journal, 2008
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008
Sara Montagna, Alessandro Ricci, Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
The Knowledge Engineering Review 23(2), June 2008
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Automating Workflow using Dialectical Argumentation
International Journal on Computer Science and Information Systems 3(2), Autumn 2008
H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008
Peter McBurney, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008
Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008
Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Programming with models: modularity and abstraction provide powerful capabilities for systems biology
Journal of the Royal Society Interface, 2008
Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008
Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008
Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008
(19 articles in journal in 2008)  [top]  [bottom]
2007
Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
Association for Logic Programming Newsletter 20(1), February-March 2007
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Integrating Software Models and Platform Models for Performance Analysis
IEEE Transactions on Software Engineering 33(6), June 2007
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007
Jasmin Fisher, Thomas A. Henzinger
Executable cell biology
Nature Biotechnology 25, Nov. 2007
Tim O'Reilly
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications \& Strategies 65(1st Quarter), 31 March 2007
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), May 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles 
Molecular Systems Biology, February 2007
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007
Davide Balzarotti, Paolo Costa, Gian Pietro Picco
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007
Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007
Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence 21(4-5), April 2007
Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), May 2007
Mamei Marco, Franco Zambonelli
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007
Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), January 2007
Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
Tristan M. Behrens, Jurgen Dix
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007
Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007
Danny Weyns, Andrea Omicini, James J. Odell
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
(28 articles in journal in 2007)  [top]  [bottom]
2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006
Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006
Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence 20(2-4), February-April 2006
Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006
R Alves, F Antunes, A Salvador
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006
M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, July 2006
Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006
Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture: Embedded Software Design 52(8-9), August-September 2006
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006
Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006
(18 articles in journal in 2006)  [top]  [bottom]
2005
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
Informatica 29(4), November 2005
Andrea Omicini, Peter McBurney
The AgentLink III Technical Forums: Introduction to the Special Issue
The Knowledge Engineering Review 20(2), June 2005
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005
Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), march 2005
Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Self-Organization in Multi-Agent Systems
The Knowledge Engineering Review 20(2), June 2005
Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum
AgentLink Newsletter 17, April 2005
Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Alessandro Ricci, Mirko Viroli
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Informatica 29(4), November 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005
Eugene Eberbach
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Fundamamenta Informaticae 68(1--2), April 2005
Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
(13 articles in journal in 2005)  [top]  [bottom]
2004
Enrico Denti, Nando Prati
Relevance of Winning Coalitions in Indirect Control of Corporations
Theory and Decision 56(2), 2 2004
Franco Zambonelli, Andrea Omicini
Open Directions in Agent-Oriented Software Engineering
UPGRADE 04(IV), August 2004
Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
System Support for Pervasive Applications
ACM Transactions on Computer Systems 22(4), November 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Multi-agent Infrastructures for Objective and Subjective Coordination
Applied Artificial Intelligence 18(9-10), October-December 2004
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 3(11), 2004
Nigel Shadbolt
From the Editor in Chief: Nature-Inspired Computing
IEEE Intelligent Systems 19(1), January-February 2004
Franco Zambonelli, Andrea Omicini
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems 9(3), November 2004
Andrea Omicini, Sascha Ossowski
Coordination and Collaboration Activities in Cooperative Information Systems
International Journal of Cooperative Information Systems 13(1), March 2004
Farhad Arbab
Reo: A Channel-based Coordination Model for Component Composition
Mathematical Structures in Computer Science 14, 2004
Zahia Guessoum
Adaptive Agents and Multiagent Systems
IEEE Distributed Systems Online 5(7), July 2004
Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Composing Adaptive Software
IEEE Computer 37(7), 2004
(11 articles in journal in 2004)  [top]  [bottom]
2003
Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology 12(3), July 2003
Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
Web Semantics: Science, Services and Agents on the World Wide Web 1(1), December 2003
Brian Henderson-Sellers
Method engineering for OO systems development
Communications of the ACM 46(10), October 2003
Franco Zambonelli, H. Van Dyke Parunak
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
The Knowledge Engineering Review 18(4), December 2003
Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
How has the 9/11 terrorist attack influenced decision making?
Applied Cognitive Psychology 17(9), 2003
Mirko Viroli
A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
The Computer Journal 46(3), 2003
Andrea Omicini, Alessandro Ricci
Reasoning about Organisation: Shaping the Infrastructure
AI*IA Notizie XVI(2), June 2003
Jeffrey O. Kephart, David M. Chess
The Vision of Autonomic Computing
IEEE Computer 36(1), January 2003
Päivi Ovaska, Matti Rossi, Pentti Marttiin
Architecture as a Coordination Tool in Multi-site Software Development
Software Process: Improvement and Practice 8(4), October/December 2003
Peter Wegner, Dina Goldin
Computation Beyond Turing Machines
Communications of the ACM 46(4), April 2003
(10 articles in journal in 2003)  [top]  [bottom]
2002
Hidde De Jong
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
Journal of Computational Biology 9(1), 2002
Ajay Kulkarni
Design Principles of a Reactive Behavioral System for the Intelligent Room
Bitstream: The MIT Journal of EECS Student Research, April 2002
Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages
Applied Artificial Intelligence 16(9-10), October-December 2002
J.A. Scott Kelso
The Complementary Nature of Coordination Dynamics: Self-organization and Agency
Nonlinear Phenomena in Complex Systems 5(4), 2002
James J. Odell
Objects and Agents Compared
Journal of Object Technology 1(1), May-June 2002
Sascha Ossowski, Andrea Omicini
Coordination Knowledge Engineering
The Knowledge Engineering Review 17(4), December 2002
Roy Thomas Fielding, Richard N. Taylor
Principled Design of the Modern Web Architecture
ACM Transactions on Internet Technology 2(2), May-June 2002
Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
A Survey of Coordination Middleware for XML-centric Applications
The Knowledge Engineering Review 17(4), December 2002
Alessandro Ricci, Andrea Omicini, Enrico Denti
Virtual Enterprises and Workflow Management as Agent Coordination Issues
International Journal of Cooperative Information Systems 11(3/4), September-December 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources
Journal of Universal Computer Science 8(4), April 2002
Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for MAS Development and Deployment
Applied Artificial Intelligence 16(9-10), October-December 2002
José Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes
Information and Computation 179(2), 2002
Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Computational challenges in cell simulation: a software engineering approach
IEEE Intelligent Systems 17(5), 2002
Brian Henderson-Sellers
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
Annals of Software Engineering 14(1-4), 2002
(14 articles in journal in 2002)  [top]  [bottom]
2001
Eric Monfroy
Control-driven Constraint Propagation
Applied Artificial Intelligence 15(1), January 2001
Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA Notizie XIV(4), December 2001
Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Safe Tuplespace-based Coordination in Multiagent Systems
Applied Artificial Intelligence 15(1), January 2001
Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN
AI*IA Notizie XIV(4), December 2001
Nicholas R. Jennings
An Agent-based Approach for Building Complex Software Systems
Communications of the ACM 44(4), April 2001
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
XML Dataspaces for the Coordination of Internet Agents
Applied Artificial Intelligence 15(1), January 2001
Scott E. Page
Self Organization and Coordination
Computational Economics 18(1), August 2001
Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
International Journal of Software Engineering and Knowledge Engineering 11(3), 2001
Fernanda Barbosa, José C. Cunha
A Coordination Language for Collective Agent-based Systems: GroupLog
Applied Artificial Intelligence 15(1), January 2001
Andrea Omicini, George A. Papadopoulos
Coordination as a Paradigm for Systems Integration
Journal of Systems Integration 10(2), April 2001
Andrea Omicini
On the Notion of Agent Coordination Context: Preliminary Notes
AI*IA Notizie XIV(4), December 2001
Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Simulation-verification: biting at the state explosion problem
IEEE Transactions on Software Engineering 27(7), july 2001
Enrico Denti, Andrea Omicini
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
Autonomous Agents and Multi-Agent Systems 1-2(4), March-June 2001
Thomas Moran, Paul Dourish
Introduction to This Special Issue on Context-Aware Computing
Human-Computer Interaction 20(2-4), February 2001
Ganesh D. Bhatt
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People
Journal of Knowledge Management 5(1), 2001
Nando Prati, Enrico Denti
An Algorithm for Winning Coalitions in Indirect Control of Corporations
Decisions in Economis and Finance 24(2), March 2001
Andrea Omicini, George A. Papadopoulos
Editorial: Why Coordination Models and Languages in AI?
Applied Artificial Intelligence 15(1), January 2001
Ian Foster, Carl Kesselman, Steven Tuecke
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications 15(3), August 2001
Andrea Omicini, Enrico Denti
From Tuple Spaces to Tuple Centres
Science of Computer Programming 41(3), November 2001
(19 articles in journal in 2001)  [top]  [bottom]
2000
Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Process Migration
ACM Computing Surveys 32(3), September 2000
Michael A. Gibson, Jehoushua Bruck
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
The Journal of Physical Chemistry A 104(9), March 2000
Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), May 2000
Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), May 2000
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing 4(4), July/August 2000
Alistair Cockburn
Selecting a Project's Methodology
IEEE Software 17(4), 2000
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives
Information and Computation 156(1-2), January 2000
Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems 3(3), 2000
Mirko Viroli, Antonio Natali
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
ACM SIGPLAN Notices 35(10), 2000
Nicholas R. Jennings
On Agent-Based Software Engineering
Artificial Intelligence 117(2), March 2000
(10 articles in journal in 2000)  [top]  [bottom]
1999
Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems
AgentLink News, July 1999
Andrea Omicini, Franco Zambonelli
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems 2(3), September 1999
Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
IEEE Transactions on Software Engineering 25(5), sept/oct 1999
Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents
Nordic Journal of Computing 6, Fall 1999
Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Meta-Modelling Based Assembly Techniques for Situational  Method Engineering
Inf. Syst. 24(3), 1999
Guy Theraulaz, Eric Bonabeau
A Brief History of Stigmergy
Artificial Life 5(2), Spring 1999
Eric Bonabeau
Editor's Introduction: Stigmergy
Artificial Life 5(2), Spring 1999
Enrico Denti, Andrea Omicini
An Architecture for Tuple-based Coordination of Multi-Agent Systems
Software - Practice and Experience 29(12), October 1999
Rune Gustavsson
Agents with Power
Communications of the ACM 42(3), March 1999
(9 articles in journal in 1999)  [top]  [bottom]
1998
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 24(5), May 1998
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
A process algebraic view of Linda coordination primitives
Theoretical Computer Science 192(2), 1998
Enrico Denti
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
AI*IA Notizie 11(4), December 1998
Duncan J. Watts, Steven H. Strogatz
Collective Dynamics of `Small-World' Networks
Nature 393(6684), 4 June 1998
Cristiano Castelfranchi
Modelling Social Action for AI Agents
Artificial Intelligence 103(1-2), August 1998
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
KLAIM: A Kernel Language for Agent Interaction and Mobility
IEEE Transaction on Software Engineering 24(5), May 1998
Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Understanding Code Mobility
IEEE Transactions on Software Engineering 24(5), May 1998
Anand S. Rao, Michael P. Georgeff
Decision procedures for BDI logics
Journal of Logic and Computation 8(3), June 1998
Peter Wegner
Towards Empirical Computer Science
The Monist 82(1), 1998
Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
T Spaces
IBM Systems Journal 37(3), 1998
Andrea Omicini, Franco Zambonelli
Co-ordination of Mobile Information Agents in TuCSoN
Internet Research 8(5), December 1998
Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
Planning and acting in partially observable stochastic domains
Artificial Intelligence 101(1–2), May 1998
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
IEEE Transactions on Software Engineering 24(6), june 1998
(13 articles in journal in 1998)  [top]  [bottom]
1997
Peter Wegner
Why Interaction Is More Powerful Than Algorithms
Communications of the ACM 40(5), May 1997
H. Van Dyke Parunak
“Go to the Ant”: Engineering Principles from Natural Agent Systems
Annals of Operation Research 75(0), January 1997
Bart Jacobs, Jan Rutten
A Tutorial on (Co)Algebras and (Co)Induction
Bulletin of the European Association for Theoretical Computer Science 62, 1997
(3 articles in journal in 1997)  [top]  [bottom]
1996
Sjaak Brinkkemper
Method engineering: engineering of information systems development  methods and tools
Information & Software Technology 38(4), 1996
Paolo Ciancarini
Coordination Models and Languages as Software Integrators
ACM Computing Surveys 28(2), June 1996
(2 articles in journal in 1996)  [top]  [bottom]
1995
Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Reactive, Generative, and Stratified Models of Probabilistic Processes
Information and Computation 121(1), 1995
Marco Bernardo, Nadia Busi, Roberto Gorrieri
A distributed semantics for EMPA based on stochastic contextual nets
The Computer Journal 38(7), 1995
Philip E. Agre
Computational Research on Interaction and Agency
Artificial Intelligence 72(1-2), January 1995
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering 21(4), April 1995
Michael J. Wooldridge, Nicholas R. Jennings
Intelligent Agents: Theory and Practice
Knowledge Engineering Review 10(2), June 1995
(5 articles in journal in 1995)  [top]  [bottom]
1994
Paolo Ciancarini
Distributed Programming with Logic Tuple Spaces
New Generation Computing 12(3), 1994
Frank S. de Boer, Catiuscia Palamidessi
Embedding as a Tool for Language Comparison
Information and Computation 108(1), 1994
Michele Bugliesi, Evelina Lamma, Paola Mello
Modularity in Logic Programming
Journal of Logic Programming 19-20, 1994
Thomas W. Malone, Kevin Crowston
The Interdisciplinary Study of Coordination
ACM Computing Surveys 26(1), 1994
(4 articles in journal in 1994)  [top]  [bottom]
1993
Robin Milner
Elements of Interaction: Turing Award Lecture
Communications of the ACM 36(1), January 1993
Farhad Arbab, Ivan Herman, Per Spilling
An Overview of Manifold and its Implementation
Concurrency: Practice and Experience 5(1), February 1993
Yoav Shoham
Agent-Oriented Programming
Artificial Intelligence 60(1), March 1993
(3 articles in journal in 1993)  [top]  [bottom]
1992
Donald A. Norman
Design principles for cognitive artifacts
Research in Engineering Design 4(1), March 1992
Gérard Berry
The Chemical Abstract Machine
Theoretical Computer Science 96(1), April 1992
David Gelernter, Nicholas Carriero
Coordination Languages and Their Significance
Communications of the ACM 35(2), 1992
Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, II
Information and Computation 100(1), 1992
Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, I
Information and Computation 100(1), 1992
(5 articles in journal in 1992)  [top]  [bottom]
1991
Antonio Brogi, Paolo Ciancarini
The Concurrent Language, Shared Prolog
ACM Transactions on Programming Languages and Systems 13(1), January 1991
Rodney A. Brooks
Intelligence without Representation
Artificial Intelligence 47, 1991
(2 articles in journal in 1991)  [top]  [bottom]
1990
Peter Wegner
Concepts and Paradigms of Object-oriented Programming
ACM SIGPLAN OOPS Messenger 1(1), August 1990
Jean-Pierre Banâtre, Daniel Le Métayer
The GAMMA Model and its Discipline of Programming
Science of Computer Programming 15(1), November 1990
(2 articles in journal in 1990)  [top]  [bottom]
1989
Nicholas Carriero, David Gelernter
How to Write Parallel Programs: A Guide to the Perplexed
ACM Computing Surveys 21(3), September 1989
Nicholas Carriero, David Gelernter
Linda in Context
Communications of the ACM 32(4), April 1989
(2 articles in journal in 1989)  [top]  [bottom]
1988
Enrico Denti
Grafica in Turbo Pascal
MC Microcomputer 72(3), Marzo 1988
(1 article in journal in 1988)  [top]  [bottom]
1987
Jean-Yves Girard
Linear logic
Theoretical Computer Science 50(1), 1987
(1 article in journal in 1987)  [top]  [bottom]
1986
Sudhir Ahuja, Nicholas Carriero, David Gelernter
Linda and Friends
IEEE Computer 19(8), August 1986
(1 article in journal in 1986)  [top]  [bottom]
1985
Kenneth A. Bowen
Meta-level Programming and Knowledge Representation
New Generation Computing 3(4), 1985
Jan A. Bergstra, Jan Willem Klop
Algebra of communicating processes with abstraction
Theoretical Computer Science 37, 1985
David Gelernter
Generative Communication in Linda
ACM Transactions on Programming Languages and Systems 7(1), January 1985
(3 articles in journal in 1985)  [top]  [bottom]
1979
Robert W. Floyd
The Paradigms of Programming
Communications of the ACM 22(8), 1979
(1 article in journal in 1979)  [top]  [bottom]
1978
Leslie Lamport
Time, Clocks, and the Ordering of Events in a Distributed System
Communications of the ACM 21(7), 1978
(1 article in journal in 1978)  [top]  [bottom]
1977
Daniel T. Gillespie
Exact Stochastic Simulation of Coupled Chemical Reactions
The Journal of Physical Chemistry 81(25), December 1977
(1 article in journal in 1977)  [top]  [bottom]
1974
Francisco G. Varela, Humberto R. Maturana, R. Uribe
Autopoiesis: The Organization of Living Systems, its Characterization and a Model
Biosystems 5(4), May 1974
(1 article in journal in 1974)  [top]  [bottom]
1973
Mark S. Granovetter
The Strength of Weak Ties
American Journal of Sociology 78(6), May 1973
(1 article in journal in 1973)  [top]  [bottom]
1971
Daniel Dennett
Intentional Systems
Journal of Philosophy 68, 1971
(1 article in journal in 1971)  [top]  [bottom]
1962
Herbert A. Simon
The Architecture of Complexity
Proceedings of the American Philosophical Society 106(6), 12 December 1962
(1 article in journal in 1962)  [top]  [bottom]
1959
Pierre-Paul Grassé
La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs
Insectes Sociaux 6(1), March 1959
(1 article in journal in 1959)  [top]  [bottom]
1952
Alan Turing
The Chemical Basis of Morphogenesis 
Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 237(641), August 1952
(1 article in journal in 1952)  [top]  [bottom]
1947
W. Ross Ashby
Principles of Self-Organizing Dynamic Systems
Journal of General Psychology 37, 1947
(1 article in journal in 1947)  [top]  [bottom]
1939
A. M. Turing
Systems of Logic Based on Ordinals
Proceedings of the London Mathematical Society s2-45(1), 1939
(1 article in journal in 1939)  [top]  [bottom]
(364 articles in journal from 1939 to 2021)

Tags:
Created by Andrea Omicini on 13/10/2021 12:13
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY