M9 – Computing with Space
course of the deck
used in the lectures
same deck in other editions
reference publication
Logic for physical space: From antiquity to present days (article in journal, 2012) — Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko Logical Theories for Fragments of Elementary Geometry (book chapter, 2007) — Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov A Survey on Context-Aware Systems (article in journal, 2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg Common-sense Spatial Reasoning for Information Correlation in Pervasive Computing (article in journal, 2007) — Stefania Bandini, Alessandro Mosca, Matteo Palmonari A Basis Set of Operators for Space-Time Computations (paper in proceedings, 2010) — Jacob Beal Organizing the Aggregate: Languages for Spatial Computing (book chapter, 2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World (article in journal, 2011) — Jacob Beal, Olivier Michel, Ulrik Pagh Schultz Aggregate Programming for the Internet of Things (article in journal, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli Developing Multi-Agent Systems with JADE (book, 2007) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood Spatial Reasoning with Propositional Logics (paper in proceedings, 1994) — Brandon Bennett Basic Modal Logic (book chapter, 1984) — Robert Bull, Krister Segerberg Spatial Reasoning (article in journal, 1989) — Ruth M.J Byrne, P.N Johnson-Laird Coordination Models and Languages as Software Integrators (article in journal, 1996) — Paolo Ciancarini Multiagent System Engineering: The Coordination Viewpoint (paper in proceedings, 2000) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli Geometry and spatial reasoning (book chapter, 1992) — Douglas H. Clements, Michael T. Battista Blackboard Systems (article in journal, 1991) — Daniel D. Corkill Computational Geometry. Algorithms and Applications (book, 2000) — Mark de Berg, Marc van Kreveld, Mark Overmars, Otfried Cheong Schwarzkopf Approximate Spatial Reasoning (paper in proceedings, 1988) — Soumitra Dutta Influences and Reaction: A Model of Situated Multiagent Systems (paper in proceedings, 1996) — Jacques Ferber, Jean-Pierre Müller Virtual Reality: Concepts and Technologies (edited volume, 2011) — Philippe Fuchs, Guillaume Moreau, Pascal Guitton Understanding Code Mobility (article in journal, 1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna Handbook of Augmented Reality (edited volume, 2011) — Borko Furht Generative Communication in Linda (article in journal, 1985) — David Gelernter Coordination Languages and Their Significance (article in journal, 1992) — David Gelernter, Nicholas Carriero Spatial cognition in apes and humans (article in journal, 2007) — Dedre Gentner Space-Time Continuous Models of Swarm Robotic Systems: Supporting Global-to-Local Programming (book, 2010) — Heiko Hamann Evolutionary Psychology of Spatial Representations in the Hominidae (article in journal, 2006) — Daniel B.M. Haun, Josep Call, Gabriele Janzen, Stephen C. Levinson Foundations of geometry (book, 1950) — D. Hilbert Principles of Geographic Information Systems. An Introductory Textbook (edited volume, 2009) — Otto Huisman, Rolf A. de By Mathematical Thought from Ancient to Modern Times (book, 1972) — Morris Kline The Benefits of Multi-Agent Systems in Spatial Reasoning (paper in proceedings, 2001) — Christian Kray Returning the tables: language affects spatial reasoning (article in journal, 2002) — Stephen C Levinson, Sotaro Kita, Daniel B.M Haun, Björn H Rasch Turning the tables: language and spatial reasoning (article in journal, 2002) — Peggy Li, Lila Gleitman The Interdisciplinary Study of Coordination (article in journal, 1994) — Thomas W. Malone, Kevin Crowston Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal, 2009) — Marco Mamei, Franco Zambonelli Space-aware Coordination in ReSpecT (paper in proceedings, 2013) — Stefano Mariani, Andrea Omicini Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (article in journal, 2015) — Stefano Mariani, Andrea Omicini Évolution et création, tome 1 (book, 1998) — Gustave Martelet The Algebra of Topology (article in journal, 1944) — John Charles Chenoweth McKinsey, Alfred Tarski Process Migration (article in journal, 2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou Spatial Reasoning about Relative Orientation and Distance for Robot Exploration (paper in proceedings, 2003) — Reinhard Moratz, Jan Oliver Wallgrün Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal, 2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman Context and Consciousness: Activity Theory and Human-Computer Interaction (edited volume, 1995) — Bonnie A. Nardi Objects and Agents Compared (article in journal, 2002) — James J. Odell On the Semantics of Tuple-based Coordination Models (paper in proceedings, 1999) — Andrea Omicini Towards a Notion of Agent Coordination Context (book chapter, 2002) — Andrea Omicini Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli Coordination for Internet Application Development (article in journal, 1999) — Andrea Omicini, Franco Zambonelli “Go to the Ant”: Engineering Principles from Natural Agent Systems (article in journal, 1997) — H. Van Dyke Parunak Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings, 2007) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers Fighting exclusion: a multimedia mobile app with zombies and maps as a medium for civic engagement and design (article in journal, 2017) — Catia Prandi, Marco Roccetti, Paola Salomoni, Valentina Nisi, Nuno Jardim Nunes CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (paper in proceedings, 2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini Tuple-based Technologies for Coordination (book chapter, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti Essay on the Foundation of Geometry (book, 1956) — Bertrand A. W. Russell Spatial Computing (article in journal, 2016) — Shashi Shekhar, Steven K. Feiner, Walid G. Aref Lecture Notes on Elementary Topology and Geometry (book, 1967) — Isadore Manuel Singer, John A. Thorpe Plans and Situated Actions: The Problem of Human-Machine Communication (book chapter, 1987) — Lucy A. Suchman Distributed Systems. Principles and Paradigms (book, 2017) — Andrew S. Tanenbaum, Maarten van Steen What is elementary geometry? (book chapter, 1959) — Alfred Tarski Operational Semantics of Proto (article in journal, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck Infrastructures for the Environment of Multiagent Systems (article in journal, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli Environment as a First-class Abstraction in Multi-Agent Systems (article in journal, 2007) — Danny Weyns, Andrea Omicini, James J. Odell Probabilistic spatial mapping and curve tracking in distributed multi-agent systems (paper in proceedings, 2012) — Ryan K. Williams, Gaurav S. Sukhatme Spatial computing and self-organization (paper in proceedings, 2004) — Franco Zambonelli Self-aware Pervasive Service Ecosystems (paper in proceedings, 2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Juan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal, 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
English
