Searching for authors named "Andrea Corradini" – sorted by Relevance.
60 documents found, showing 1 through 10.
Next 10 →
-
General Theory of Graph Transformation Systems (GETGRATS)
- …Semantics Various ways have been proposed to define the semantics of a GTS. They include semantics based on derivation sequences (abstract or concrete), processes and event structures. We aim at further investigating them, in order to get a better insight in the possibilities and drawbacks of the v…
- Add To MetaCart
-
A Complete Calculus for Equational Deduction in Coalgebraic Specification
- … Complete Calculus for Equational Deduction in Coalgebraic Specification Andrea Corradini CWI P.O. Box…
- Cited by 15 (0 self) – Add To MetaCart
-
Concurrent Computing: from Petri Nets to Graph Grammars
- …://www.elsevier.nl/locate/entcs/volume2.html 15 pages Concurrent Computing: from Petri Nets to Graph Grammars 1 Andrea Corradini a a…
- Cited by 9 (0 self) – Add To MetaCart
-
Collaborative Integration of Speech and 3D Gesture for Map-based Applications, presented at
- …Collaborative Integration of Speech and 3D Gesture for Map-based Applications Andrea Corradini…
- Cited by 1 (1 self) – Add To MetaCart
-
Interacting with an Animated Conversational Agent in a 3D Graphical Setting
- …Interacting with an Animated Conversational Agent in a 3D Graphical Setting Andrea Corradini…
- Cited by 1 (0 self) – Add To MetaCart
-
DOI: 10.1017/S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on deterministic processes †
- … based on deterministic processes † PAOLO BALDAN ‡ , ANDREA CORRADINI § , HARTMUT EHRIG ¶ andREIKO HECKEL…
- Add To MetaCart
-
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
- …An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories Andrea Corradini University…
- Cited by 30 (20 self) – Add To MetaCart
-
A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax
- … ? Andrea Corradini and Fabio Gadducci Univ. of Pisa, Dipartimento di Informatica, Corso Italia 40, I-56125…
- Cited by 13 (7 self) – Add To MetaCart
-
Verifying finite-state graph grammars: an unfolding-based approach
- … in Computer Science Rapporto di Ricerca CS-2004-10 Novembre 2004 Paolo Baldan, Andrea Corradini, Barbara K…
- Cited by 18 (8 self) – Add To MetaCart
-
Camera-based Gesture Recognition for Robot Control
- …Camera-based Gesture Recognition for Robot Control Andrea Corradini, Horst-Michael Gross Technical…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
