Per Sort
Per Sort
379 articles in journal / 1927–2023
Włodzimierz Drabent On Correctness and Completeness of an n Queens Program Theory and Practice of Logic Programming 22(1), 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 22(6), November 2022 |
Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone Web of Digital Twins ACM Transactions on Internet Technology 22(4), November 2022 |
Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor How to model contrary-to-duty with GCP-nets Intelligenza Artificiale 16(2), December 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 |
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge IEEE Internet of Things Journal 9(20), 2022 |
Alessandro Ricci, Angelo Croatti, Sara Montagna Pervasive and Connected Digital Twins - A Vision for Digital Health IEEE Internet Computing 26(05), 2022 |
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments Intelligenza Artificiale 16(1), July 2022 |
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 |
Andrea Agiollo, Andrea Omicini Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices Applied Sciences 11(24), December 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 |
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 |
Angelo Croatti, Marco Longoni, Sara Montagna Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System Procedia Computer Science 198, 2021 |
Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor Argumentation and Defeasible Reasoning in the Law J — Multidisciplinary Scientific Journal 4(4), December 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 |
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 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: A Logic-Based Ecosystem for Symbolic AI SoftwareX 16, December 2021 |
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 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli From Agents to Blockchain: Stairway to Integration Applied Sciences 10(21), October 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 |
Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci On the Integration of Agents and Digital Twins in Healthcare Journal of Medical Systems 44, August 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 |
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 |
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 |
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 |
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 |
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Information 11(1), January 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 |
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 |
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 |
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 |
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 |
Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia Client-side Computational Optimization ACM Transactions on Mathematical Software 45(2), June 2019 |
Stefano Mariani Coordination in Socio-technical Systems: Where are we now? Where do we go next? Science of Computer Programming 184, 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 |
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 |
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 |
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 |
Tim Miller Explanation in artificial intelligence: Insights from the social sciences Artificial Intelligence 267, February 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 |
Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli Evaluating Origin–Destination Matrices Obtained from CDR Data Sensors 19(20), October 2019 |
Stefano Mariani, Andrea Omicini Special Issue “Multi-Agent Systems”: Editorial Applied Sciences 9(5), March 2019 |
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 |
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 |
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 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini ReSpecTX: Programming Interaction Made Easy Computer Science and Information Systems 15(3), October 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 |
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 |
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics Fundamenta Informaticae 161(1-2), July 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 |
Zachary C. Lipton The mythos of model interpretability Communications of the ACM 61(10), October 2018 |
Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms Science of Computer Programming 167, 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 |
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 |
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 |
Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi Augmented societies with mirror worlds AI & Society, 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 |
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli An Argumentation-based Perspective over the Social IoT Journal of Internet of Things, 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 |
Stefano Mariani, Andrea Omicini State-of-the-Art and Trends in Nature-inspired Coordination Models The IEEE Intelligent Informatics Bulletin 18(2), December 2017 |
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 |
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 |
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 |
Stefano Mariani, Andrea Omicini Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS Engineering Applications of Artificial Intelligence 41, May 2015 |
Yann LeCun, Yoshua Bengio, Geoffrey Hinton Deep learning Nature 521(7553), May 2015 |
Mehdi Dastani Programming Multi-agent Systems Knowledge Engineering Review 30(Special Issue 04), September 2015 |
Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields Logical Methods in Computer Science 11(4), 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 |
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 |
Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro GOTA: GO term annotation of biomedical literature BMC Bioinformatics 16: , 2015 |
Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro GOTA: GO term annotation of biomedical literature BMC Bioinformatics 16, October 2015 |
Jacob Beal, Mirko Viroli Formal Foundations of Sensor Network Applications SIGSPATIAL Special 7(2), September 2015 |
Jacob Beal, Danilo Pianini, Mirko Viroli Aggregate Programming for the Internet of Things Computer 48(9), Sept 2015 |
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli A coordination model of pervasive service ecosystems Science of Computer Programming 110, 2015 |
Jacob Beal, Mirko Viroli Space-Time Programming Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015 |
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 |
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 |
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 |
Mirko Viroli On competitive self-composition in pervasive services Science of Computer Programming 78(5), May 2013 |
Andrea Omicini Nature-inspired Coordination Models: Current Status, Future Trends ISRN Software Engineering 2013, 2013 |
Elena Nardini, Andrea Omicini, Mirko Viroli Semantic Tuple Centres Science of Computer Programming 78(5), May 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 |
Mirko Viroli, Jacob Beal, Kyle Usbeck Operational Semantics of Proto Science of Computer Programming 78(6), June 2013 |
Andrea Omicini, Stefano Mariani Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems Intelligenza Artificiale 7(2), November 2013 |
Houguang Yue From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus International Journal of Foundations of Computer Science 24(03), 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 |
Danilo Pianini, Sara Montagna, Mirko Viroli Chemical-oriented Simulation of Computational Systems with ALCHEMIST Journal of Simulation, 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 |
Giuseppe Vizzari, Lorenza Manenti, Luca Crociani Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion Complex Adaptive Systems Modeling 1(1), 2013 |
Maria Ganzha, Marcin Paprzycki, Andrea Omicini Software Agents: Twenty Years and Counting Computing Now 6(11), November 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 |
Enrico Denti, Andrea Omicini, Roberta Calegari tuProlog: Making Prolog Ubiquitous Association for Logic Programming Newsletter, October 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 |
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 |
Juan Ye, Simon Dobson, Susan McKeever Situation Identification Techniques in Pervasive Computing: A Review Pervasive and Mobile Computing 8(1), February 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 |
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola Self-adaptive software needs quantitative verification at runtime Communications of the ACM 55(9), September 2012 |
Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong Programming Directives for Elastic Computing IEEE Internet Computing 16(6), 2012 |
Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher Interdependent Artificial Institutions in Agent Environments Applied Artificial Intelligence 26(4), May 2012 |
Franco Zambonelli Toward Sociotechnical Urban Superorganisms Computer 45(8), 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 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli Standard Type Soundness for Agents and Artifacts Scientific Annals of Computer Science 22(2), 2012 |
Alessandro Ricci, Andrea Santi A Programming Paradigm based on Agent-Oriented Abstractions International Journal on Advances in Software 5(1-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 |
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 |
Tom Geller Seeing is not enough Communications of the ACM 54(10), 2011 |
Vitaly Shmatikov Anonymity is not privacy: technical perspective Communications of the ACM 54(12), 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 |
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 |
Giulio Piancastelli, Andrea Omicini, Enrico Denti Towards a logic framework for Web programming Intelligenza Artificiale 5(1), 2011 |
Li Gong Java Security Architecture Revisited ACM Queue 9(9), 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 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli A Calculus of Agents and Artifacts Communications in Computer and Information Science 50, 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 |
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 |
Poul-Henning Kamp The software industry is the problem Communications of the ACM 54(11), 2011 |
Michael A. Cusumano The legacy of Steve Jobs Communications of the ACM 54(12), 2011 |
Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong Principles of Elastic Processes IEEE Internet Computing 15(5), 2011 |
Schahram Dustdar, Kamal Bhattacharya The Social Compute Unit IEEE Internet Computing 15(3), 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 |
Kirk L. Kroeker The Rise of Molecular Machines Communications of the ACM 54(12), 2011 |
Kirk L. Kroeker Improving brain-computer interfaces Communications of the ACM 54(10), 2011 |
Samuel Greengard Living in a Digital World Communications of the ACM 54(10), 2011 |
Michael Davis Will software engineering ever be engineering? Communications of the ACM 54, November 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 |
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 |
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 |
Rishiyur S. Nikhil Abstraction in hardware system design Communications of the ACM 54(10), 2011 |
Andrea Omicini, Mirko Viroli Coordination Models and Languages: From Parallel Computing To Self-Organisation Knowledge Engineering Review 26(1), March 2011 |
Giuseppe Cardone, Antonio Corradi, Luca Foschini Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks The Computer Journal, 2011 |
Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg A Tour of Reaction Systems International Journal of Foundations of Computer Science 22(7), November 2011 |
Jaron Lanier The most ancient marketing Communications of the ACM 54(12), December 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 |
Luca Cernuzzi, Franco Zambonelli Adaptive organizational changes in agent-oriented methodologies Knowledge Engineering Review 26(2), May 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 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 76(1), May 2011 |
YoungMin Kwon, Gul Agha Verifying the Evolution of Probability Distributions Governed by a DTMC IEEE Transactions on Software Engineering 37(1), January 2011 |
Paul Hyman Dennis Ritchie, 1941-2011 Communications of the ACM 54(12), 2011 |
Sarah Cohen, James T. Hamilton, Fred Turner Computational journalism Communications of the ACM 54(10), October 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 |
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 |
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 |
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 |
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 |
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 |
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 |
Antonio Natali, Ambra Molesini Towards Model-driven Communications World Academy of Science, Engineering and Technology 64, April 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 |
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 |
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli Argumentation and Artifacts for Negotiation Support International Journal of Artificial Intelligence 4(S10), Spring 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 |
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 |
Clemens Holzmann, Alois Ferscha A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems Pervasive and Mobile Computing 6(3), 2010 |
Mirko Viroli, Franco Zambonelli A Biochemical Approach to Adaptive Service Ecosystems Information Sciences 180(10), 2010 |
Charles M. Macal, Michael J. North Tutorial on Agent-based Modelling and Simulation Journal of Simulation 4(3), September 2010 |
Pierluigi Contucci, Francesca Romiti Mathematics for Economics: A Statistical Mechanics Perspective ERCIM News 78, July 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 |
Matteo Casadei, Mirko Viroli, Luca Gardelli On the Collective Sort Problem for Distributed Tuple Spaces Science of Computer Programming 74(9), 2009 |
Bryan O'Sullivan Making Sense of Revision-control Systems Communications of the ACM 52(9), September 2009 |
Marco Mamei, Franco Zambonelli Programming Pervasive and Mobile Computing Applications: The TOTA Approach ACM Transactions on Software Engineering Methodologies 18(4), 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 |
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 |
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 |
Nadia Busi, Gianluigi Zavattaro A Process Algebraic View of Shared Dataspace Coordination Journal of Logic and Algebraic Programming 75(1), February-March 2008 |
Pierluigi Contucci, Cristian Giardina Mathematics and Social Science: A Statistical Mechanics Approach to Immigration ERCIM News 73, April 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), 2008 |
Maurizio Cimadamore, Mirko Viroli On the reification of Java wildcards Science of Computer Programming 73(2-3), October 2008 |
Lapo Mori Writing a thesis with LaTeX The PracTeX Journal, 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 |
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 |
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 |
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 |
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 |
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 |
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari Smart Environments as Agent Workspaces Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008 |
Chieri Saito, Atsushi Igarashi, Mirko Viroli Lightweight Family Polymorphism Journal of Functional Programming 18(3), May 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 |
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 |
H. Eugene Stanley Econophysics and the Current Economic Turmoil American Physical Society News 17(11), December 2008 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Timed Environment for Web Agents Web Intelligence and Agent Systems 5(2), August 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 |
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 |
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg A Survey on Context-Aware Systems International Journal of Ad Hoc and Ubiquitous Computing 2(4), 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 |
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 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 66(3), May 2007 |
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari Situated Cellular Agents Approach to Crowd Modeling and Simulation Cybernetics and Systems 38(7), 2007 |
Mamei Marco, Franco Zambonelli Pervasive pheromone-based interaction with RFID tags ACM Transactions on Autonomous and Adaptive Systems 2(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 |
Mirko Viroli A core calculus for correlation in orchestration languages Journal of Logic and Algebraic Programming 70(1), January 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 |
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi Integrating Software Models and Platform Models for Performance Analysis IEEE Transactions on Software Engineering 33(6), June 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 |
Atsushi Igarashi, Mirko Viroli Variant path types for scalable extensibility ACM SIGPLAN Notices 42(10), 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 |
Giulio Piancastelli, Andrea Omicini tuProlog 2.0: One Step Beyond Association for Logic Programming Newsletter 20(1), February-March 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 |
Jasmin Fisher, Thomas A. Henzinger Executable cell biology Nature Biotechnology 25, November 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 |
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 |
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 |
Mirko Viroli, Enrico Denti, Alessandro Ricci Engineering a BPEL Orchestration Engine as a Multi-agent System Science of Computer Programming 66(3), May 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 |
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 |
Davide Ancona, Mirko Viroli Guest Editorial Journal of Object Technology 6(2), 2007 |
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo How to infer gene networks from expression profiles Molecular Systems Biology, February 2007 |
Jiming Liu, Kwok Ching Tsui Toward Nature-Inspired Computing Communications of the ACM 49(10), October 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 |
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 |
Rocco De Nicola, Daniele Gorla, Rosario Pugliese On the Expressive Power of KLAIM-based Calculi Theoretical Computer Science 356(3), May 2006 |
Andrea Omicini, Agostino Poggi Multiagent Systems Intelligenza Artificiale III(1-2), March-June 2006 |
Mirko Viroli, Alessandro Ricci, Andrea Omicini Operating Instructions for Intelligent Agent Coordination Knowledge Engineering Review 21(1), March 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 |
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 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Agent Coordination Contexts in a MAS Coordination Infrastructure Applied Artificial Intelligence 20(2-4), February-April 2006 |
M. Martin, P. Nurmi A Generic Large Scale Simulator for Ubiquitous Computing Mobile and Ubiquitous Systems, Annual International Conference on 0, July 2006 |
Rui Alves, Fernando Antunes, Armindo Salvador Tools for kinetic modeling of biochemical networks Nature Biotechnology 24(6), 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 |
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini Logics for Artificial Intelligence Intelligenza Artificiale III(1-2), March–June 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 |
Christine Julien, Gruia-Catalin Roman EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications IEEE Transactions on Software Engineering 32(5), May 2006 |
Mirko Viroli, Andrea Omicini Coordination as a Service Fundamenta Informaticae 73(4), 2006 |
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 |
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet Environments in Multiagent Systems Knowledge Engineering Review 20(2), June 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 |
Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos Self-Organization in Multi-Agent Systems Knowledge Engineering Review 20(2), June 2005 |
Mirko Viroli, Giovanni Rimassa On Access Restriction with Java Wildcards Journal of Object Technology 4(10), 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 |
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 |
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 |
Andrea Omicini, Paolo Petta, Matjaz Gams The Second AgentLink III Technical Forum AgentLink Newsletter 17, April 2005 |
Enrico Denti, Andrea Omicini, Alessandro Ricci Multi-paradigm Java-Prolog Integration in tuProlog Science of Computer Programming 57(2), August 2005 |
Andrea Omicini, Peter McBurney The AgentLink III Technical Forums: Introduction to the Special Issue Knowledge Engineering Review 20(2), June 2005 |
Alessandro Ricci, Mirko Viroli Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS Informatica 29(4), November 2005 |
Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli Process Models for Agent-based Development Engineering Applications of Artificial Intelligence 18(2), March 2005 |
Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng Composing Adaptive Software IEEE Computer 37(7), 2004 |
Davide Ancona, Mirko Viroli Guest Editorial Journal of Object Technology 3(11), 2004 |
Andrea Omicini, Sascha Ossowski Coordination and Collaboration Activities in Cooperative Information Systems International Journal of Cooperative Information Systems 13(1), March 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 |
Enrico Denti, Nando Prati Relevance of Winning Coalitions in Indirect Control of Corporations Theory and Decision 56(2), 2 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 |
Farhad Arbab Reo: A Channel-based Coordination Model for Component Composition Mathematical Structures in Computer Science 14, 2004 |
Franco Zambonelli, Andrea Omicini Open Directions in Agent-Oriented Software Engineering UPGRADE 04(IV), August 2004 |
Franco Zambonelli, Andrea Omicini Challenges and Research Directions in Agent-Oriented Software Engineering Autonomous Agents and Multi-Agent Systems 9(3), November 2004 |
Zahia Guessoum Adaptive Agents and Multiagent Systems IEEE Distributed Systems Online 5(7), July 2004 |
Nigel Shadbolt From the Editor in Chief: Nature-Inspired Computing IEEE Intelligent Systems 19(1), January-February 2004 |
Mirko Viroli A Type-Passing Approach for the Implementation of Parametric Methods in {Java} The Computer Journal 46(3), 2003 |
Peter Wegner, Dina Goldin Computation Beyond Turing Machines Communications of the ACM 46(4), April 2003 |
Andrea Omicini, Alessandro Ricci Reasoning about Organisation: Shaping the Infrastructure AI*IA Notizie XVI(2), June 2003 |
Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri How has the 9/11 terrorist attack influenced decision making? Applied Cognitive Psychology 17(9), 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 |
Brian Henderson-Sellers Method engineering for OO systems development Communications of the ACM 46(10), October 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 |
Jeffrey O. Kephart, David M. Chess The Vision of Autonomic Computing IEEE Computer 36(1), January 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 |
J.A. Scott Kelso The Complementary Nature of Coordination Dynamics: Self-organization and Agency Nonlinear Phenomena in Complex Systems 5(4), 2002 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci Modelling Agents as Observable Sources Journal of Universal Computer Science 8(4), April 2002 |
Brian Henderson-Sellers Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) Annals of Software Engineering 14(1-4), 2002 |
Mirko Viroli, Andrea Omicini An Observation Approach to Semantics of Agents Communication Languages Applied Artificial Intelligence 16(9-10), October-December 2002 |
Sascha Ossowski, Andrea Omicini Coordination Knowledge Engineering Knowledge Engineering Review 17(4), December 2002 |
Enrico Denti, Andrea Omicini, Alessandro Ricci Coordination Tools for MAS Development and Deployment Applied Artificial Intelligence 16(9-10), October-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 |
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 |
José Desharnais, Abbas Edalat, Prakash Panangaden Bisimulation for Labelled Markov Processes Information and Computation 179(2), 2002 |
James J. Odell Objects and Agents Compared Journal of Object Technology 1(1), May-June 2002 |
Ajay Kulkarni Design Principles of a Reactive Behavioral System for the Intelligent Room Bitstream: The MIT Journal of EECS Student Research, April 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 |
Hidde De Jong Modeling and Simulation of Genetic Regulatory Systems: A Literature Review Journal of Computational Biology 9(1), 2002 |
Scott E. Page Self Organization and Coordination Computational Economics 18(1), August 2001 |
Nicholas R. Jennings An Agent-based Approach for Building Complex Software Systems Communications of the ACM 44(4), April 2001 |
Alessandro Ricci, Andrea Omicini, Enrico Denti Enlightened Agents in TuCSoN AI*IA Notizie XIV(4), December 2001 |
Andrea Omicini, George A. Papadopoulos Editorial: Why Coordination Models and Languages in AI? Applied Artificial Intelligence 15(1), January 2001 |
Fernanda Barbosa, José C. Cunha A Coordination Language for Collective Agent-based Systems: GroupLog Applied Artificial Intelligence 15(1), January 2001 |
Thomas Moran, Paul Dourish Introduction to This Special Issue on Context-Aware Computing Human-Computer Interaction 20(2-4), February 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 |
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 |
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, George A. Papadopoulos Coordination as a Paradigm for Systems Integration Journal of Systems Integration 10(2), April 2001 |
Andrea Omicini, Enrico Denti From Tuple Spaces to Tuple Centres Science of Computer Programming 41(3), November 2001 |
Andrea Omicini On the Notion of Agent Coordination Context: Preliminary Notes 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 |
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 |
Ganesh D. Bhatt Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People Journal of Knowledge Management 5(1), 2001 |
Eric Monfroy Control-driven Constraint Propagation Applied Artificial Intelligence 15(1), January 2001 |
Nando Prati, Enrico Denti An Algorithm for Winning Coalitions in Indirect Control of Corporations Decisions in Economis and Finance 24(2), March 2001 |
Mirko Viroli, Andrea Omicini Multi-Agent Systems as Composition of Observable Systems AI*IA Notizie XIV(4), December 2001 |
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli XML Dataspaces for the Coordination of Internet Agents Applied Artificial Intelligence 15(1), January 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 |
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 |
Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou Process Migration ACM Computing Surveys 32(3), September 2000 |
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli MARS: A Programmable Coordination Architecture for Mobile Agents IEEE Internet Computing 4(4), July/August 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 |
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 |
Nicholas R. Jennings On Agent-Based Software Engineering Artificial Intelligence 117(2), March 2000 |
Mirko Viroli, Antonio Natali Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature ACM SIGPLAN Notices 35(10), 2000 |
Alistair Cockburn Selecting a Project's Methodology IEEE Software 17(4), 2000 |
Rune Gustavsson Agents with Power Communications of the ACM 42(3), March 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 |
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 |
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 |
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 |
Enrico Denti, Andrea Omicini An Architecture for Tuple-based Coordination of Multi-Agent Systems Software - Practice and Experience 29(12), October 1999 |
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 |
Duncan J. Watts, Steven H. Strogatz Collective dynamics of ‘small-world’ networks Nature 393(6684), June 1998 |
Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna Understanding Code Mobility IEEE Transactions on Software Engineering 24(5), May 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 |
Andrea Omicini, Franco Zambonelli Co-ordination of Mobile Information Agents in TuCSoN Internet Research 8(5), December 1998 |
Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford T Spaces IBM Systems Journal 37(3), 1998 |
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro A process algebraic view of Linda coordination primitives Theoretical Computer Science 192(2), 1998 |
Cristiano Castelfranchi Modelling Social Action for AI Agents Artificial Intelligence 103(1-2), August 1998 |
Anand S. Rao, Michael P. Georgeff Decision procedures for BDI logics Journal of Logic and Computation 8(3), June 1998 |
Enrico Denti Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction AI*IA Notizie 11(4), December 1998 |
Peter Wegner Towards Empirical Computer Science The Monist 82(1), 1998 |
Rocco De Nicola, Daniele Gorla, Rosario Pugliese On the Expressive Power of KLAIM-based Calculi Theoretical Computer Science 24(5), May 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 |
Bart Jacobs, Jan Rutten A Tutorial on (Co)Algebras and (Co)Induction Bulletin of the European Association for Theoretical Computer Science 62, 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 |
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 |
Philip E. Agre Computational Research on Interaction and Agency Artificial Intelligence 72(1-2), January 1995 |
Marco Bernardo, Nadia Busi, Roberto Gorrieri A distributed semantics for EMPA based on stochastic contextual nets The Computer Journal 38(7), 1995 |
Michael J. Wooldridge, Nicholas R. Jennings Intelligent Agents: Theory and Practice Knowledge Engineering Review 10(2), June 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 |
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 |
Silvio O. Funtowicz, Jerome R. Ravetz Science for the post-normal age Futures 25(7), 1993 |
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 |
Donald A. Norman Design principles for cognitive artifacts Research in Engineering Design 4(1), March 1992 |
David Gelernter, Nicholas Carriero Coordination Languages and Their Significance Communications of the ACM 35(2), 1992 |
Gérard Berry The Chemical Abstract Machine Theoretical Computer Science 96(1), April 1992 |
Rodney A. Brooks Intelligence without Representation Artificial Intelligence 47, 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 |
Jean-Pierre Banâtre, Daniel Le Métayer The GAMMA Model and its Discipline of Programming Science of Computer Programming 15(1), November 1990 |
Peter Wegner Concepts and Paradigms of Object-oriented Programming ACM SIGPLAN OOPS Messenger 1(1), August 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), March 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 |
David Gelernter Generative Communication in Linda ACM Transactions on Programming Languages and Systems 7(1), January 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 |
Robert W. Floyd The Paradigms of Programming Communications of the ACM 22(8), August 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 |
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 |
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 |