Per Sort
Per Sort
247 articles in journal / 2005–2023
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor Burden of Persuasion: A Meta-argumentation Approach Journal of Applied Logics 10(3), May 2023 |
Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini Symbolic Knowledge Extraction for Explainable Nutritional Recommenders Computer Methods and Programs in Biomedicine 235, June 2023 |
Enrico Denti, Luca Burroni Delay Indices for Train Punctuality Information 14(5), 2023 |
Luciano Floridi AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models Philosophy and Technology 2023, 2023 |
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 |
Włodzimierz Drabent On Correctness and Completeness of an n Queens Program Theory and Practice of Logic Programming 22(1), 2022 |
Stefano Mariani, Giacomo Cabri, Franco Zambonelli Coordination of Autonomous Vehicles: Taxonomy and Survey ACM Computing Surveys 54(1), 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 |
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 |
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, Stefano Mariani, Sara Montagna, Marco Picone Web of Digital Twins ACM Transactions on Internet Technology 22(4), November 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 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: A Logic-Based Ecosystem for Symbolic AI SoftwareX 16, 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 |
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 |
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 |
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 |
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, Andrea Omicini Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices Applied Sciences 11(24), December 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 |
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 |
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 |
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 |
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 |
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 |
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 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli From Agents to Blockchain: Stairway to Integration Applied Sciences 10(21), October 2020 |
Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer Journal of Machine Learning Research 21(140), 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 |
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 |
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 |
Stefano Mariani Coordination in Socio-technical Systems: Where are we now? Where do we go next? Science of Computer Programming 184, 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 |
Tim Miller Explanation in artificial intelligence: Insights from the social sciences Artificial Intelligence 267, February 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 |
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 |
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 |
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 |
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 |
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 |
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics Fundamenta Informaticae 161(1-2), July 2018 |
Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms Science of Computer Programming 167, 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 |
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 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini ReSpecTX: Programming Interaction Made Easy Computer Science and Information Systems 15(3), October 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 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms Science of Computer Programming 166, 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 |
Zachary C. Lipton The mythos of model interpretability Communications of the ACM 61(10), 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 |
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Logic Programming as a Service Theory and Practice of Logic Programming 18(5-6), September 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 |
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 |
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 |
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 |
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 |
Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi Augmented societies with mirror worlds AI & Society, December 2017 |
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli An Argumentation-based Perspective over the Social IoT Journal of Internet of Things, 2017 |
David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis Mastering the game of Go with deep neural networks and tree search Nature 529, January 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 |
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 |
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 |
Alessandro Ricci Programming with event loops and control loops – From actors to agents Computer Languages, Systems & Structures 45, 2016 |
Roberta Calegari, Enrico Denti Building Smart Spaces on the Home Manager platform ALP Newsletter, December 2016 |
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli A coordination model of pervasive service ecosystems Science of Computer Programming 110, 2015 |
Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro GOTA: GO term annotation of biomedical literature BMC Bioinformatics 16, October 2015 |
Yann LeCun, Yoshua Bengio, Geoffrey Hinton Deep learning Nature 521(7553), May 2015 |
Jacob Beal, Mirko Viroli Formal Foundations of Sensor Network Applications SIGSPATIAL Special 7(2), September 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 |
Jacob Beal, Mirko Viroli Space-Time Programming Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 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 |
Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields Logical Methods in Computer Science 11(4), 2015 |
Mehdi Dastani Programming Multi-agent Systems Knowledge Engineering Review 30(Special Issue 04), September 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 |
Stefano Mariani, Andrea Omicini Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS Engineering Applications of Artificial Intelligence 41, May 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 Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto World Journal of Computer Application and Technology 2(1), January 2014 |
Enrico Denti Novel pervasive scenarios for home management: the Butlers architecture SpringerPlus 3(52), January 2014 |
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 |
Andrea Omicini, Stefano Mariani Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems Intelligenza Artificiale 7(2), November 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 |
Houguang Yue From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus International Journal of Foundations of Computer Science 24(03), 2013 |
Mirko Viroli On competitive self-composition in pervasive services Science of Computer Programming 78(5), May 2013 |
Enrico Denti, Andrea Omicini, Roberta Calegari tuProlog: Making Prolog Ubiquitous Association for Logic Programming Newsletter, October 2013 |
Mirko Viroli, Jacob Beal, Kyle Usbeck Operational Semantics of Proto Science of Computer Programming 78(6), June 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 |
Giuseppe Vizzari, Lorenza Manenti, Luca Crociani Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion Complex Adaptive Systems Modeling 1(1), 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 |
Elena Nardini, Andrea Omicini, Mirko Viroli Semantic Tuple Centres 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 |
Andrea Omicini Nature-inspired Coordination Models: Current Status, Future Trends ISRN Software Engineering 2013, 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 |
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 |
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 |
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 |
Alessandro Ricci, Andrea Santi A Programming Paradigm based on Agent-Oriented Abstractions International Journal on Advances in Software 5(1-2), 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 |
Franco Zambonelli Toward Sociotechnical Urban Superorganisms Computer 45(8), 2012 |
Juan Ye, Simon Dobson, Susan McKeever Situation Identification Techniques in Pervasive Computing: A Review Pervasive and Mobile Computing 8(1), February 2012 |
Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong Programming Directives for Elastic Computing IEEE Internet Computing 16(6), 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 |
Rishiyur S. Nikhil Abstraction in hardware system design Communications of the ACM 54(10), 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 |
YoungMin Kwon, Gul Agha Verifying the Evolution of Probability Distributions Governed by a DTMC IEEE Transactions on Software Engineering 37(1), January 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 |
Schahram Dustdar, Kamal Bhattacharya The Social Compute Unit IEEE Internet Computing 15(3), 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 |
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 |
Luca Cernuzzi, Franco Zambonelli Adaptive organizational changes in agent-oriented methodologies Knowledge Engineering Review 26(2), May 2011 |
Giulio Piancastelli, Andrea Omicini, Enrico Denti Towards a logic framework for Web programming Intelligenza Artificiale 5(1), 2011 |
Tom Geller Seeing is not enough Communications of the ACM 54(10), 2011 |
Sarah Cohen, James T. Hamilton, Fred Turner Computational journalism Communications of the ACM 54(10), October 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 |
Poul-Henning Kamp The software industry is the problem Communications of the ACM 54(11), 2011 |
Kirk L. Kroeker Improving brain-computer interfaces 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 |
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 |
Li Gong Java Security Architecture Revisited ACM Queue 9(9), 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 |
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 |
Paul Hyman Dennis Ritchie, 1941-2011 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 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli A Calculus of Agents and Artifacts Communications in Computer and Information Science 50, 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 |
Vitaly Shmatikov Anonymity is not privacy: technical perspective Communications of the ACM 54(12), 2011 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 76(1), May 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 |
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 |
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 |
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 |
Kirk L. Kroeker The Rise of Molecular Machines Communications of the ACM 54(12), 2011 |
Michael A. Cusumano The legacy of Steve Jobs Communications of the 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 |
Giuseppe Cardone, Antonio Corradi, Luca Foschini Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks The Computer Journal, 2011 |
Jaron Lanier The most ancient marketing Communications of the ACM 54(12), December 2011 |
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 |
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 |
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 |
Clemens Holzmann, Alois Ferscha A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems Pervasive and Mobile Computing 6(3), 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Ambra Molesini, Andrea Omicini, Mirko Viroli Environment in Agent-Oriented Software Engineering Methodologies Multiagent and Grid Systems 5(1), 2009 |
Tom De Marco Software Engineering: An Idea Whose Time Has Come and Gone? IEEE Software 26(4), July/August 2009 |
Pierluigi Contucci, Francesca Romiti Mathematics for Economics: A Statistical Mechanics Perspective ERCIM News 78, July 2009 |
Marco Mamei, Franco Zambonelli Programming Pervasive and Mobile Computing Applications: The TOTA Approach ACM Transactions on Software Engineering Methodologies 18(4), July 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 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 |
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari Smart Environments as Agent Workspaces Ubiquitous Computing and Communication Journal CPE - Special Issue, 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), 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 |
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 |
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 |
Pierluigi Contucci, Cristian Giardina Mathematics and Social Science: A Statistical Mechanics Approach to Immigration ERCIM News 73, April 2008 |
H. Eugene Stanley Econophysics and the Current Economic Turmoil American Physical Society News 17(11), 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 |
Maurizio Cimadamore, Mirko Viroli On the reification of Java wildcards Science of Computer Programming 73(2-3), October 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 |
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, 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 |
Lapo Mori Writing a thesis with LaTeX The PracTeX Journal, 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 |
Chieri Saito, Atsushi Igarashi, Mirko Viroli Lightweight Family Polymorphism Journal of Functional Programming 18(3), May 2008 |
Nadia Busi, Gianluigi Zavattaro A Process Algebraic View of Shared Dataspace Coordination Journal of Logic and Algebraic Programming 75(1), February-March 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 |
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 |
Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher Discrete Event Modeling and Simulation in Systems Biology Journal of Simulation 1(2), May 2007 |
Mamei Marco, Franco Zambonelli Pervasive pheromone-based interaction with RFID tags ACM Transactions on Autonomous and Adaptive Systems 2(2), June 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 |
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 |
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari Situated Cellular Agents Approach to Crowd Modeling and Simulation Cybernetics and Systems 38(7), 2007 |
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo How to infer gene networks from expression profiles Molecular Systems Biology, February 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 |
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 |
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 |
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg A Survey on Context-Aware Systems International Journal of Ad Hoc and Ubiquitous Computing 2(4), 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 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Timed Environment for Web Agents Web Intelligence and Agent Systems 5(2), August 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 |
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 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 66(3), May 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 |
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 |
Mirko Viroli, Enrico Denti, Alessandro Ricci Engineering a BPEL Orchestration Engine as a Multi-agent System Science of Computer Programming 66(3), May 2007 |
Giulio Piancastelli, Andrea Omicini tuProlog 2.0: One Step Beyond Association for Logic Programming Newsletter 20(1), February 2007 |
Mirko Viroli A core calculus for correlation in orchestration languages Journal of Logic and Algebraic Programming 70(1), January 2007 |
Jasmin Fisher, Thomas A. Henzinger Executable cell biology Nature Biotechnology 25, November 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 |
Pierluigi Contucci, Stefano Ghirlanda Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration Quality & Quantity 41(4), August 2007 |
Davide Ancona, Mirko Viroli Guest Editorial Journal of Object Technology 6(2), 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 |
Atsushi Igarashi, Mirko Viroli Variant path types for scalable extensibility ACM SIGPLAN Notices 42(10), 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 |
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 |
M. Martin, P. Nurmi A Generic Large Scale Simulator for Ubiquitous Computing Mobile and Ubiquitous Systems, Annual International Conference on 0, July 2006 |
Andrea Omicini, Agostino Poggi Multiagent Systems Intelligenza Artificiale III(1-2), March 2006 |
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini Logics for Artificial Intelligence Intelligenza Artificiale III(1-2), 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 |
Jiming Liu, Kwok Ching Tsui Toward Nature-Inspired Computing Communications of the ACM 49(10), October 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, 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 |
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 |
Mirko Viroli, Andrea Omicini Coordination as a Service Fundamenta Informaticae 73(4), 2006 |
Mirko Viroli, Alessandro Ricci, Andrea Omicini Operating Instructions for Intelligent Agent Coordination Knowledge Engineering Review 21(1), March 2006 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Agent Coordination Contexts in a MAS Coordination Infrastructure Applied Artificial Intelligence 20(2-4), February 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 |
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 |
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 |
Christine Julien, Gruia-Catalin Roman EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications IEEE Transactions on Software Engineering 32(5), May 2006 |
Rui Alves, Fernando Antunes, Armindo Salvador Tools for kinetic modeling of biochemical networks Nature Biotechnology 24(6), 2006 |
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 News 17, April 2005 |
Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli Process Models for Agent-based Development Engineering Applications of Artificial Intelligence 18(2), March 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 |
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro Quantitative Information in the Tuple Space Coordination Model Theoretical Computer Science 346(1), 23 November 2005 |
Alessandro Ricci, Mirko Viroli Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS 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 |
Andrea Omicini, Peter McBurney The AgentLink III Technical Forums: Introduction to the Special Issue Knowledge Engineering Review 20(2), June 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 |
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 |