Per Sort
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
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Enrico Denti Grafica in Turbo Pascal MC Microcomputer 72(3), Marzo 1988 |
| Jean-Yves Girard Linear logic Theoretical Computer Science 50(1), 1987 |
| Sudhir Ahuja, Nicholas Carriero, David Gelernter Linda and Friends IEEE Computer 19(8), August 1986 |
| 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 |
| Robert W. Floyd The Paradigms of Programming Communications of the ACM 22(8), 1979 |
| Leslie Lamport Time, Clocks, and the Ordering of Events in a Distributed System Communications of the ACM 21(7), 1978 |
| Daniel T. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions The Journal of Physical Chemistry 81(25), December 1977 |
| Francisco G. Varela, Humberto R. Maturana, R. Uribe Autopoiesis: The Organization of Living Systems, its Characterization and a Model Biosystems 5(4), May 1974 |
| Mark S. Granovetter The Strength of Weak Ties American Journal of Sociology 78(6), May 1973 |
| Daniel Dennett Intentional Systems Journal of Philosophy 68, 1971 |
| Herbert A. Simon The Architecture of Complexity Proceedings of the American Philosophical Society 106(6), 12 December 1962 |
| Alan Turing The Chemical Basis of Morphogenesis Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 237(641), August 1952 |
| W. Ross Ashby Principles of Self-Organizing Dynamic Systems Journal of General Psychology 37, 1947 |
| A. M. Turing Systems of Logic Based on Ordinals Proceedings of the London Mathematical Society s2-45(1), 1939 |