Per Sort & Year
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Per Sort & Year
Articles in Journal / 1939–2022
2022 | 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
2022 |
Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor Arg2P: An argumentation framework for explainable intelligent systems Journal of Logic and Computation 32(2), March 2022 |
Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto Fifty Years of Prolog and Beyond Theory and Practice of Logic Programming, 2022 |
Włodzimierz Drabent On Correctness and Completeness of an n Queens Program Theory and Practice of Logic Programming 22(1), 2022 |
(3 articles in journal in 2022) [top] [bottom] |
2021 |
Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor Argumentation and Defeasible Reasoning in the Law J 4(4), December 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 |
Angelo Croatti, Marco Longoni, Sara Montagna Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System Procedia Computer Science 198, 2021 |
Sara Montagna, Stefano Mariani, Emiliano Gamberini Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain Journal of Medical Systems 45(12), 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 |
Andrea Agiollo, Andrea Omicini Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices Applied Sciences 11(24), December 2021 |
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali Partitioned integration and coordination via the self-organising coordination regions pattern Future Generation Computer Systems 114, 2021 |
(9 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 article 1047369, 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(1), 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 |
Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu Causal Interpretability for Machine Learning – Problems, Methods and Evaluation SIGKDD Explorations Newsletter 22(1), June 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 |
Tim Miller Explanation in artificial intelligence: Insights from the social sciences Artificial Intelligence 267, February 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 |
(12 articles in journal in 2019) [top] [bottom] |
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 1(4), 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 |
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 |
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi A Survey of Methods for Explaining Black Box Models ACM Computing Surveys 51(5), August 2018 |
(11 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 International Journal of Distributed Systems and Technologies 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 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 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 article 384903, 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 |
Kirk L. Kroeker Improving brain-computer interfaces Communications of the ACM 54(10), 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 |
Kirk L. Kroeker The Rise of Molecular Machines Communications of the ACM 54(12), 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 |
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 |
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 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 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 |
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 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 |
(38 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 |
Aniruddha Dasgupta, Aditya K. Ghose Implementing reactive BDI agents with user-given constraints and objectives International Journal of Agent-Oriented Software Engineering 4(2), 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 |
(16 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 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 |
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 |
(18 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 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 Knowledge Engineering Review 20(2), June 2005 |
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet Environments in Multiagent Systems 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 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 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 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 |
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu On the Unusual Effectiveness of Logic in Computer Science Bulletin of Symbolic Logic 7(2), June 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 |
(20 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 |
Ken Johnson Quintus Prolog 3.0 IEEE Intelligent Systems 6(2), April 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 |
(3 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), March 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), August 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] |
(374 articles in journal from 1939 to 2022) |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per sort & year
in journal | in proc | chapters | books | edited | spec issues | editorials | tech reps | phd th | others
2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013–1939
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Publons | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI