2008 | ||
---|---|---|
121 | EE | Andrea Corradini: Tailoring the Interpretation of Spatial Utterances for Playing a Board Game. AIMSA 2008: 45-57 |
120 | EE | Paolo Baldan, Andrea Corradini, Barbara König: Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36 |
119 | EE | Andrea Corradini: Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models 2008: 9-15 |
118 | EE | Manish Mehta, Andrea Corradini: Handling out of domain topics by a conversational character. DIMEA 2008: 273-280 |
117 | EE | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 |
116 | EE | Andrea Corradini, Emilio Tuosto: ICGT 2008 Doctoral Symposium. ICGT 2008: 473-474 |
115 | EE | Andrea Corradini, Christer Samuelsson: A Generic Spoken Dialogue Manager Applied to an Interactive 2D Game. PIT 2008: 2-13 |
114 | EE | Andrea Corradini, Frank Hermann, Pawel Sobocinski: Subobject Transformation Systems. Applied Categorical Structures 16(3): 389-419 (2008) |
113 | EE | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008) |
112 | EE | Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008) |
111 | EE | Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008) |
110 | EE | Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008) |
2007 | ||
109 | EE | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 |
108 | Andrea Corradini, Thomas Hanneforth, Adrian Bak: A Robust Spoken Language Architecture to Control a 2D Game. FLAIRS Conference 2007: 199-204 | |
107 | Manish Mehta, Andrea Corradini: Towards Handling General Purpose Topics for a Conversational Character. FLAIRS Conference 2007: 265-266 | |
106 | EE | Manish Mehta, Andrea Corradini: Developing a Conversational Agent Using Ontologies. HCI (3) 2007: 154-164 |
105 | EE | Andrea Corradini, Adrian Bak, Thomas Hanneforth: A Natural Language Interface for a 2D Networked Game. HCI (4) 2007: 225-234 |
104 | EE | Andrea Corradini: A computational model for spatial expression resolution. ICMI 2007: 240-246 |
103 | EE | Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007) |
102 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) |
2006 | ||
101 | Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings Springer 2006 | |
100 | EE | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216 |
99 | EE | Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214 |
98 | EE | Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König: Sesqui-Pushout Rewriting. ICGT 2006: 30-45 |
97 | EE | Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 |
2005 | ||
96 | EE | Paolo Baldan, Andrea Corradini: On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23 |
95 | EE | Andrea Corradini, Manish Mehta, Niels Ole Bernsen, Marcela Charfuelan: Animating an interactive conversational character for an educational game system. IUI 2005: 183-190 |
94 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electr. Notes Theor. Comput. Sci. 127(2): 5-28 (2005) |
93 | EE | Andrea Corradini, Fabio Gadducci: On Term Graphs as an Adhesive Category. Electr. Notes Theor. Comput. Sci. 127(5): 43-56 (2005) |
92 | EE | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional semantics for open Petri nets based on deterministic processe. Mathematical Structures in Computer Science 15(1): 1-35 (2005) |
2004 | ||
91 | EE | Niels Ole Bernsen, Marcela Charfuelan, Andrea Corradini, Laila Dybkjær, Thomas Hansen, Svend Kiilerich, Mykola Kolodnytsky, Dmytro Kupkin, Manish Mehta: Conversational H.C. Andersen First Prototype Description. ADS 2004: 305-308 |
90 | EE | Niels Ole Bernsen, Marcela Charfuelan, Andrea Corradini, Laila Dybkjær, Thomas Hansen, Svend Kiilerich, Mykola Kolodnytsky, Dmytro Kupkin, Manish Mehta: First prototype of conversational H.C. Andersen. AVI 2004: 458-461 |
89 | EE | Paolo Baldan, Andrea Corradini, Barbara König: Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98 |
88 | EE | Paolo Baldan, Andrea Corradini, Fabio Gadducci: Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 |
87 | EE | Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398 |
86 | EE | Andrea Corradini: Collaborative Integration of Speech and 3D Gesture for Map-Based Applications. International Conference on Computational Science 2004: 913-920 |
85 | EE | Andrea Corradini, Morgan Fredriksson, Manish Mehta, Jürgen Königsmann, Niels Ole Bernsen, Lasse Johannesson: Towards Believable Behavior Generation for Embodied Conversational Agents. International Conference on Computational Science 2004: 946-953 |
84 | EE | Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König: Verifying a Behavioural Logic for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 104: 5-24 (2004) |
83 | EE | Andrea Corradini, Dan Hirsch: An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 109: 111-124 (2004) |
82 | EE | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004) |
2003 | ||
81 | EE | Edward C. Kaiser, Alex Olwal, David McGee, Hrvoje Benko, Andrea Corradini, Xiaoguang Li, Philip R. Cohen, Steven Feiner: Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality. ICMI 2003: 12-19 |
80 | EE | Andrea Corradini, Hans-Jörg Kreowski: Preface. Fundam. Inform. 58(1): (2003) |
2002 | ||
79 | Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings Springer 2002 | |
78 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari: Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 |
77 | EE | Andrea Corradini, Richard M. Wesson, Philip R. Cohen: A Map-Based System Using Speech and 3D Gestures for Pervasive Computing. ICMI 2002: 191-196 |
76 | EE | Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33 |
75 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 |
74 | EE | Andrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002) |
73 | Andrea Corradini, Fabio Gadducci: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002) | |
2001 | ||
72 | EE | Paolo Baldan, Andrea Corradini, Barbara König: A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395 |
71 | EE | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 |
70 | EE | Andrea Corradini: Real-Time Gesture Recognition by Means of Hybrid Recognizers. Gesture Workshop 2001: 34-46 |
69 | Andrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170 | |
68 | EE | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Applied Categorical Structures 9(1): 83-110 (2001) |
67 | EE | Andrea Corradini, Marina Lenisa, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
66 | EE | Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro: A Graph Transformation View on the Specification of Applications using Mobile Code. Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
65 | EE | Andrea Corradini, Fabio Gadducci: Categorical rewriting of term-like structures. Electr. Notes Theor. Comput. Sci. 51: (2001) |
64 | EE | Andrea Corradini: GETGRATS: A summary of scientific results (with annotated bibliography). Electr. Notes Theor. Comput. Sci. 51: (2001) |
63 | EE | Michel Bauderon, Andrea Corradini: Preface. Electr. Notes Theor. Comput. Sci. 51: (2001) |
62 | Paolo Baldan, Andrea Corradini, Ugo Montanari: Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) | |
61 | EE | Andrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001) |
2000 | ||
60 | EE | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457 |
59 | Andrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358 | |
58 | Andrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418 | |
57 | EE | Andrea Corradini, Horst-Michael Gross: Camera-Based Gesture Recognition for Robot Control. IJCNN (4) 2000: 133-138 |
56 | Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000) | |
55 | Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: A Hybrid Stochastic-Connectionist Approach to Gesture Recognition. International Journal on Artificial Intelligence Tools 9(2): 177-203 (2000) | |
1999 | ||
54 | EE | Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: Visual-based posture recognition using hybrid neural networks. ESANN 1999: 81-86 |
53 | EE | Andrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38 |
52 | Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89 | |
51 | EE | Hans-Joachim Böhme, Ulf-Dietrich Braumann, Andrea Corradini, Horst-Michael Gross: Person Localization and Posture Recognition for Human-Robot Interaction. Gesture Workshop 1999: 117-128 |
50 | Paolo Baldan, Andrea Corradini, Ugo Montanari: History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310 | |
49 | EE | Andrea Corradini, Fabio Gadducci: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures 7(4): 299-331 (1999) |
48 | EE | Andrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: (1999) |
47 | Andrea Corradini, Fabio Gadducci: Rewriting on cyclic structures: Equivalence between the operational and the categorical description. ITA 33(4/5): 467-493 (1999) | |
1998 | ||
46 | Ulf-Dietrich Braumann, Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross: Konturbasierte Personenlokalisation mittels dreidimensionaler neuronaler Felder und steuerbarer Filter. DAGM-Symposium 1998: 385-392 | |
45 | Hans-Joachim Böhme, Ulf-Dietrich Braumann, Anja Brakensiek, Andrea Corradini, Markus Krabbes, Horst-Michael Gross: User Localisation for Visually-Based Human-Machine-Interaction. FG 1998: 486-491 | |
44 | EE | Andrea Corradini, Fabio Gadducci: Rational Term Rewriting. FoSSaCS 1998: 156-171 |
43 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari: An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80 |
42 | EE | Paolo Baldan, Andrea Corradini, Ugo Montanari: Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295 |
41 | EE | Andrea Corradini, Ulf-Dietrich Braumann, Hans-Joachim Böhme, Horst-Michael Gross: Contour-Based Person Localizaion by 3D Neural Fields and Steerable Filters. MVA 1998: 93-96 |
40 | Paolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163 | |
39 | EE | Andrea Corradini, Fabio Gadducci: Functorial Semantics for Multi-algebras. WADT 1998: 79-91 |
38 | EE | Andrea Corradini, Martin Große-Rhode, Reiko Heckel: An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106 |
37 | EE | Andrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: (1998) |
1997 | ||
36 | Andrea Corradini, Fabio Gadducci: A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105 | |
35 | Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe: Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars 1997: 163-246 | |
34 | Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars 1997: 247-312 | |
33 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228 | |
32 | Andrea Corradini: A Completeness result for equational deduction in coalgebraic specification. WADT 1997: 190-205 | |
31 | Andrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bulletin of the EATCS 63: (1997) | |
1996 | ||
30 | Andrea Corradini: Concurrent Graph and Term Graph Rewriting. CONCUR 1996: 438-464 | |
29 | Andrea Corradini, Ugo Montanari, Francesca Rossi: Graph Processes. Fundam. Inform. 26(3/4): 241-265 (1996) | |
28 | Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe: Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science 6(6): 613-648 (1996) | |
1995 | ||
27 | Andrea Corradini, Fabio Gadducci: CPO Models for Infinite Term Rewriting. AMAST 1995: 368-384 | |
26 | Andrea Corradini, Fabio Gadducci, Ugo Montanari: Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240 | |
25 | EE | Andrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: (1995) |
24 | EE | Andrea Corradini: Concurrent computing: from Petri nets to graph grammars. Electr. Notes Theor. Comput. Sci. 2: (1995) |
23 | EE | Andrea Corradini, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 2: (1995) |
22 | Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. Softw., Pract. Exper. 25(2): 143-174 (1995) | |
1994 | ||
21 | Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444 | |
20 | Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256 | |
19 | Andrea Corradini, Francesca Rossi: Synchronized Composition of Graph Grammar Productions. TAGT 1994: 257-270 | |
18 | Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg: The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74 | |
17 | Andrea Corradini, Ugo Montanari, Francesca Rossi: An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. 122(1&2): 165-200 (1994) | |
1993 | ||
16 | Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 | |
15 | Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 | |
14 | Andrea Corradini: Term Rewriting in CT-Sigma. TAPSOFT 1993: 468-484 | |
13 | Andrea Corradini, Francesca Rossi: Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. Theor. Comput. Sci. 109(1&2): 7-48 (1993) | |
1992 | ||
12 | Andrea Corradini, Ugo Montanari, Francesca Rossi: SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS 1992: 887-896 | |
11 | Andrea Corradini, Andrea Asperti: A Categorial Model for Logic Programs: Indexed Monoidal Categories. REX Workshop 1992: 110-137 | |
10 | Andrea Corradini, Ugo Montanari: An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. Theor. Comput. Sci. 103(1): 51-106 (1992) | |
1991 | ||
9 | Andrea Corradini, Ugo Montanari: An Algebra of Graphs and Graph Rewriting. Category Theory and Computer Science 1991: 236-260 | |
8 | Andrea Corradini, Ugo Montanari: An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612 | |
7 | Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce: Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295 | |
6 | EE | Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991) |
1990 | ||
5 | Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe: Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237 | |
4 | Andrea Corradini, Ugo Montanari: An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP 1990: 788-812 | |
3 | Andrea Corradini, Ugo Montanari: Towards a Process Semantics in the Logic Programming Style. STACS 1990: 95-108 | |
2 | Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari: Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222 | |
1986 | ||
1 | Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi: Taxonomic Reasoning. ECAI 1986: 277-286 |