| 2024 | CONCUR | Left-Linear Rewriting in Adhesive Categories. | Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci |
| 2024 | CONCUR | Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. | Lara Stoltenow, Barbara Knig, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas |
| 2024 | IDEAL | A Deep-Learning Approach for the Identification of New Subtypes of Lung Cancer. | Tuhin Banerjee, Andrea Corradini |
| 2023 | IDEAL | A Machine Learning Approach to Predict Cyclists' Functional Threshold Power. | Ronald Andrew Stockwell, Andrea Corradini |
| 2019 | FOSSACS | Rewriting Abstract Structures: Materialization Explained Categorically. | Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink |
| 2017 | LICS | Domains and event structures for fusions. | Paolo Baldan, Andrea Corradini, Fabio Gadducci |
| 2016 | HCI | On Repairing Generated Behaviors for Graphical Characters. | Andrea Corradini, Manish Mehta |
| 2012 | FASE | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2010 | ICIDS | Textual vs. Graphical Interaction in an Interactive Fiction Game. | Manish Mehta, Andrea Corradini, Santiago Ontan, Peter Juel Henrichsen |
| 2009 | CALCO | Unfolding Grammars in Adhesive Categories. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2009 | ICIDS | Evaluation of a Drama Manager Agent for an Interactive Story-Based Game. | Andrea Corradini, Manish Mehta, Santiago Ontan |
| 2008 | AIMSA | Tailoring the Interpretation of Spatial Utterances for Playing a Board Game. | Andrea Corradini |
| 2007 | CALCO | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig |
| 2007 | FlAIRS | A Robust Spoken Language Architecture to Control a 2D Game. | Andrea Corradini, Thomas Hanneforth, Adrian Bak |
| 2007 | FlAIRS | Towards Handling General Purpose Topics for a Conversational Character. | Manish Mehta, Andrea Corradini |
| 2007 | HCI | A Natural Language Interface for a 2D Networked Game. | Andrea Corradini, Adrian Bak, Thomas Hanneforth |
| 2007 | HCI | Developing a Conversational Agent Using Ontologies. | Manish Mehta, Andrea Corradini |
| 2007 | ICMI | A computational model for spatial expression resolution. | Andrea Corradini |
| 2007 | SIGdial | Exploiting Semantic and Pragmatic Information for the Automatic Resolution of Spatial Linguistic Expressions. | Andrea Corradini |
| 2006 | FOSSACS | Processes for Adhesive Rewriting Systems. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2005 | IUI | Animating an interactive conversational character for an educational game system. | Andrea Corradini, Manish Mehta, Niels Ole Bernsen, Marcela Charfuelan |
| 2004 | AVI | First prototype of conversational H.C. Andersen. | Niels Ole Bernsen, Marcela Charfuelan, Andrea Corradini, Laila Dybkjr, Thomas Hansen, Svend Kiilerich, Mykola Kolodnytsky, Dmytro Kupkin, Manish Mehta |
| 2004 | CONCUR | Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. | Paolo Baldan, Andrea Corradini, Barbara Knig |
| 2004 | ICCS | Collaborative Integration of Speech and 3D Gesture for Map-Based Applications. | Andrea Corradini |
| 2004 | ICCS | Towards Believable Behavior Generation for Embodied Conversational Agents. | Andrea Corradini, Morgan Fredriksson, Manish Mehta, Jrgen Knigsmann, Niels Ole Bernsen, Lasse Johannesson |
| 2003 | ICMI | Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality. | Edward C. Kaiser, Alex Olwal, David McGee, Hrvoje Benko, Andrea Corradini, Xiaoguang Li, Philip R. Cohen, Steven Feiner |
| 2002 | ICMI | A Map-Based System Using Speech and 3D Gestures for Pervasive Computing. | Andrea Corradini, Richard M. Wesson, Philip R. Cohen |
| 2001 | CONCUR | Compositional Modeling of Reactive Systems Using Open Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
| 2001 | CONCUR | A Static Analysis Technique for Graph Transformation Systems. | Paolo Baldan, Andrea Corradini, Barbara Knig |
| 2000 | CONCUR | Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna |
| 2000 | ICALP | Introduction: Graph Transformation and Visual Modeling Techniques. | Andrea Corradini, Reiko Heckel |
| 2000 | ICALP | Graphical Operational Semantics. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 2000 | ICASSP | Implementation and comparison of three architectures for gesture recognition. | Andrea Corradini, Horst-Michael Gross |
| 2000 | IJCNN | Camera-Based Gesture Recognition for Robot Control. | Andrea Corradini, Horst-Michael Gross |
| 1999 | ESANN | Visual-based posture recognition using hybrid neural networks. | Andrea Corradini, Hans-Joachim Bhme, Horst-Michael Gross |
| 1999 | FCT | Tile Transition Systems as Structured Coalgebras. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 1999 | FOSSACS | Unfolding and Event Structure Semantics for Graph Grammars. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | FOSSACS | An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | FOSSACS | Rational Term Rewriting. | Andrea Corradini, Fabio Gadducci |
| 1998 | ICALP | Concatenable Graph Processes: Relating Processes and Derivation Traces. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | MVA | Contour-Based Person Localizaion by 3D Neural Fields and Steerable Filters. | Andrea Corradini, Ulf-Dietrich Braumann, Hans-Joachim Bhme, Horst-Michael Gross |
| 1997 | MFCS | Integrating the Specification Techniques of Graph Transformation and Temporal Logic. | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
| 1996 | CONCUR | Concurrent Graph and Term Graph Rewriting. | Andrea Corradini |
| 1990 | STACS | Towards a Process Semantics in the Logic Programming Style. | Andrea Corradini, Ugo Montanari |
| 1986 | ECAI | Taxonomic Reasoning. | Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi |