scispace - formally typeset
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.
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

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.