Concepedia

Andrea Corradini

AC

Statistics

Publications

46

Citations

1.8K

H-Index

24

Active since

1983

Affiliations

University of Pisa(Current)

Technische Universität Berlin

Ca' Foscari University of Venice

Paderborn University

Universidade Federal do Rio Grande do Sul

Andrea Corradini is an author at University of Pisa specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSemanticsGraph TheorySystems EngineeringFormal VerificationLanguageNetwork Analysis

Publications per year

1983–2019

46

Publications

46

GRAPH PROCESSES

Andrea Corradini, Ugo Montanari, Francesca Rossi · Fundamenta Informaticae · 1996 · 206 citations

Algebraic Double-pushout Approach, Tree Language, Syntax +13

Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality

Ed Kaiser, Alex Olwal, David R. McGee et al. · 2003 · 173 citations

Multimodal System, Engineering, Mixed Reality +12

Dynamic time warping for off-line recognition of a small gesture vocabulary

Andrea Corradini · 2002 · 171 citations

Engineering, Machine Learning, Human Pose Estimation +24

Contextual Petri Nets, Asymmetric Event Structures, and Processes

Paolo Baldan, Andrea Corradini, Ugo Montanari · Information and Computation · 2001 · 114 citations · Full text

Petri Net, Engineering, Contextual Petri Nets +6

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories

Andrea Corradini, Fabio Gadducci · Applied Categorical Structures · 1999 · 79 citations

1–5 of 46