A
Andrea Corradini
Researcher at University of Pisa
Publications - 206
Citations - 4879
Andrea Corradini is an academic researcher from University of Pisa. The author has contributed to research in topics: Graph rewriting & Graph (abstract data type). The author has an hindex of 35, co-authored 202 publications receiving 4719 citations. Previous affiliations of Andrea Corradini include University of Southern Denmark & Centrum Wiskunde & Informatica.
Papers
More filters
Book
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
TL;DR: The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms, which allows one not only to give an explicit algebraic or set theoretical description of the constructions, but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations as discussed by the authors.
Book
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach
Hartmut Ehrig,Reiko Heckel,Martin Korff,Michael Löwe,Leila Ribeiro,Annika Wagner,Andrea Corradini +6 more
Journal Article
Graph processes
TL;DR: A process-based semantics for graph grammars is developed, which represents each equivalence class of derivations as a graph process, which can be seen as an acyclic graph grammar, plus a mapping of its items onto the items of the given grammar.
Proceedings ArticleDOI
Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality
Edward C. Kaiser,Alex Olwal,David McGee,Hrvoje Benko,Andrea Corradini,Xiaoguang Li,Phil Cohen,Steven Feiner +7 more
TL;DR: An approach to 3D multimodal interaction in immersive augmented and virtual reality environments that accounts for the uncertain nature of the information sources and fuses symbolic and statistical information from a set of 3D gesture, spoken language, and referential agents is described.
Proceedings ArticleDOI
Dynamic time warping for off-line recognition of a small gesture vocabulary
TL;DR: This work focuses on the visual sensory information to recognize human activity in form of hand-arm movements from a small, predefined vocabulary by means of a matching technique by determining the distance between the unknown input and a set of previously defined templates.