The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrea Corradini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    ADS, 2004, pp:305-308 [Conf]
  2. Andrea Corradini, Fabio Gadducci
    CPO Models for Infinite Term Rewriting. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:368-384 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    AVI, 2004, pp:458-461 [Conf]
  4. Paolo Baldan, Andrea Corradini
    On the Concurrent Semantics of Algebraic Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:3-23 [Conf]
  5. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Bisimulation Equivalences for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:158-190 [Conf]
  6. Andrea Corradini, Ugo Montanari
    An Algebraic Representation of Logic-Program Computations. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:584-612 [Conf]
  7. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
    Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:442-457 [Conf]
  8. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional Modeling of Reactive Systems Using Open Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:502-518 [Conf]
  9. Paolo Baldan, Andrea Corradini, Barbara König
    A Static Analysis Technique for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:381-395 [Conf]
  10. Paolo Baldan, Andrea Corradini, Barbara König
    Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:83-98 [Conf]
  11. Andrea Corradini
    Concurrent Graph and Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:438-464 [Conf]
  12. Andrea Corradini, Fabio Gadducci
    A 2-Categorical Presentation of Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:87-105 [Conf]
  13. Andrea Corradini, Ugo Montanari
    An Algebra of Graphs and Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:236-260 [Conf]
  14. Ulf-Dietrich Braumann, Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross
    Konturbasierte Personenlokalisation mittels dreidimensionaler neuronaler Felder und steuerbarer Filter. [Citation Graph (0, 0)][DBLP]
    DAGM-Symposium, 1998, pp:385-392 [Conf]
  15. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf]
  16. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf]
  17. Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi
    Taxonomic Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1986, pp:277-286 [Conf]
  18. Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross
    Visual-based posture recognition using hybrid neural networks. [Citation Graph (0, 0)][DBLP]
    ESANN, 1999, pp:81-86 [Conf]
  19. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Tile Transition Systems as Structured Coalgebras. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:13-38 [Conf]
  20. Andrea Corradini, Ugo Montanari, Francesca Rossi
    SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:887-896 [Conf]
  21. Hans-Joachim Böhme, Ulf-Dietrich Braumann, Anja Brakensiek, Andrea Corradini, Markus Krabbes, Horst-Michael Gross
    User Localisation for Visually-Based Human-Machine-Interaction. [Citation Graph (0, 0)][DBLP]
    FG, 1998, pp:486-491 [Conf]
  22. Andrea Corradini, Fabio Gadducci
    Rational Term Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:156-171 [Conf]
  23. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
    Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:202-216 [Conf]
  24. Paolo Baldan, Andrea Corradini, Ugo Montanari
    An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:63-80 [Conf]
  25. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding and Event Structure Semantics for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:73-89 [Conf]
  26. Paolo Baldan, Andrea Corradini, Fabio Gadducci
    Specifying and Verifying UML Activity Diagrams Via Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:18-33 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
  28. Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
    Graph Transactions as Processes. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:199-214 [Conf]
  29. Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
    Translating Java Code to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:383-398 [Conf]
  30. Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
    Sesqui-Pushout Rewriting. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:30-45 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:163-246 [Conf]
  32. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
    Graph Grammars and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:221-237 [Conf]
  33. Hans-Joachim Böhme, Ulf-Dietrich Braumann, Andrea Corradini, Horst-Michael Gross
    Person Localization and Posture Recognition for Human-Robot Interaction. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 1999, pp:117-128 [Conf]
  34. Andrea Corradini
    Real-Time Gesture Recognition by Means of Hybrid Recognizers. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 2001, pp:34-46 [Conf]
  35. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Concatenable Graph Processes: Relating Processes and Derivation Traces. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:283-295 [Conf]
  36. Andrea Corradini, Reiko Heckel
    Introduction: Graph Transformation and Visual Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:357-358 [Conf]
  37. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Graphical Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:411-418 [Conf]
  38. Andrea Corradini
    Collaborative Integration of Speech and 3D Gesture for Map-Based Applications. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:913-920 [Conf]
  39. Andrea Corradini, Morgan Fredriksson, Manish Mehta, Jürgen Königsmann, Niels Ole Bernsen, Lasse Johannesson
    Towards Believable Behavior Generation for Embodied Conversational Agents. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:946-953 [Conf]
  40. Andrea Corradini, Richard M. Wesson, Philip R. Cohen
    A Map-Based System Using Speech and 3D Gestures for Pervasive Computing. [Citation Graph (0, 0)][DBLP]
    ICMI, 2002, pp:191-196 [Conf]
  41. 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. [Citation Graph (0, 0)][DBLP]
    ICMI, 2003, pp:12-19 [Conf]
  42. Andrea Corradini, Horst-Michael Gross
    Camera-Based Gesture Recognition for Robot Control. [Citation Graph (0, 0)][DBLP]
    IJCNN (4), 2000, pp:133-138 [Conf]
  43. Andrea Corradini, Manish Mehta, Niels Ole Bernsen, Marcela Charfuelan
    Animating an interactive conversational character for an educational game system. [Citation Graph (0, 0)][DBLP]
    IUI, 2005, pp:183-190 [Conf]
  44. Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
    Transition Systems with Algebraic Structure as Models of Computations. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:185-222 [Conf]
  45. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
    Integrating the Specification Techniques of Graph Transformation and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:219-228 [Conf]
  46. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:423-444 [Conf]
  47. Andrea Corradini, Andrea Asperti
    A Categorial Model for Logic Programs: Indexed Monoidal Categories. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:110-137 [Conf]
  48. Andrea Corradini, Fabio Gadducci, Ugo Montanari
    Relating Two Categorial Models of Term Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:225-240 [Conf]
  49. Andrea Corradini, Ugo Montanari
    An Algebraic Semantics of Logic Programs as Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:788-812 [Conf]
  50. Andrea Corradini, Ugo Montanari
    Towards a Process Semantics in the Logic Programming Style. [Citation Graph (0, 0)][DBLP]
    STACS, 1990, pp:95-108 [Conf]
  51. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding of Double-Pushout Graph Grammars is a Coreflection. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:145-163 [Conf]
  52. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
    The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:56-74 [Conf]
  53. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Graph Grammars with Parallel Productions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:240-256 [Conf]
  54. Andrea Corradini, Francesca Rossi
    Synchronized Composition of Graph Grammar Productions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:257-270 [Conf]
  55. Andrea Corradini
    Term Rewriting in CT-Sigma. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:468-484 [Conf]
  56. Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce
    Logic Programming as Hypergraph Rewriting. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:275-295 [Conf]
  57. 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. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  58. Paolo Baldan, Andrea Corradini, Ugo Montanari
    History Preserving Bisimulation for Contextual Nets. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:291-310 [Conf]
  59. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:165-184 [Conf]
  60. Andrea Corradini
    A Completeness result for equational deduction in coalgebraic specification. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:190-205 [Conf]
  61. Andrea Corradini, Fabio Gadducci
    Functorial Semantics for Multi-algebras. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:79-91 [Conf]
  62. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:92-106 [Conf]
  63. Andrea Corradini, Reiko Heckel
    Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:72, n:, pp:69-76 [Journal]
  64. Andrea Corradini, Hans-Jörg Kreowski
    GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:63, n:, pp:- [Journal]
  65. Michel Bauderon, Andrea Corradini
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  66. Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
    Verifying a Behavioural Logic for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:5-24 [Journal]
  67. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:5-28 [Journal]
  68. Andrea Corradini, Reiko Heckel, Ugo Montanari
    From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  69. Andrea Corradini
    GETGRATS: A summary of scientific results (with annotated bibliography). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  70. Andrea Corradini
    Concurrent computing: from Petri nets to graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  71. Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
    A Graph Transformation View on the Specification of Applications using Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  72. Andrea Corradini, Fabio Gadducci
    Categorical rewriting of term-like structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  73. Andrea Corradini, Fabio Gadducci
    On Term Graphs as an Adhesive Category. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:43-56 [Journal]
  74. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    Structured Transition Systems as Lax Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  75. Andrea Corradini, Dan Hirsch
    An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:111-124 [Journal]
  76. Andrea Corradini, Reiko Heckel
    A compositional approach to structuring and refinement of typed graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  77. Andrea Corradini, Marina Lenisa, Ugo Montanari
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  78. Andrea Corradini, Ugo Montanari
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  79. Andrea Corradini, Hans-Jörg Kreowski
    Preface. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:58, n:1, pp:- [Journal]
  80. Andrea Corradini, Ugo Montanari, Francesca Rossi
    Graph Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:26, n:3/4, pp:241-265 [Journal]
  81. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Contextual Petri Nets, Asymmetric Event Structures, and Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:1, pp:1-49 [Journal]
  82. Andrea Corradini, Hans-Joachim Böhme, Horst-Michael Gross
    A Hybrid Stochastic-Connectionist Approach to Gesture Recognition. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2000, v:9, n:2, pp:177-203 [Journal]
  83. Andrea Corradini, Fabio Gadducci
    Rewriting on cyclic structures: Equivalence between the operational and the categorical description. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:4/5, pp:467-493 [Journal]
  84. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco
    Towards innovative software engineering environments. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:14, n:1, pp:17-29 [Journal]
  85. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional semantics for open Petri nets based on deterministic processe. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:1, pp:1-35 [Journal]
  86. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
    Horizontal and Vertical Structuring of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:613-648 [Journal]
  87. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini
    Declarative Specification of the Architecture of a Software Development Environment. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:2, pp:143-174 [Journal]
  88. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
    Domain and event structure semantics for Petri nets with read and inhibitor arcs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:129-189 [Journal]
  89. Andrea Corradini, Fabio Gadducci
    A functorial semantics for multi-algebras and partial algebras, with applications to syntax. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:293-322 [Journal]
  90. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
    A Coalgebraic presentation of structured transition systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:27-55 [Journal]
  91. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Compositional SOS and beyond: a coalgebraic view of open systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:163-192 [Journal]
  92. Andrea Corradini, Ugo Montanari
    An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:103, n:1, pp:51-106 [Journal]
  93. Andrea Corradini, Ugo Montanari, Francesca Rossi
    An Abstract Machine for Concurrent Modular Systems: CHARM. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:165-200 [Journal]
  94. Andrea Corradini, Francesca Rossi
    Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:7-48 [Journal]
  95. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:126-142 [Conf]
  96. Manish Mehta, Andrea Corradini
    Towards Handling General Purpose Topics for a Conversational Character. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:265-266 [Conf]
  97. Andrea Corradini, Thomas Hanneforth, Adrian Bak
    A Robust Spoken Language Architecture to Control a 2D Game. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:199-204 [Conf]
  98. Andrea Corradini, Adrian Bak, Thomas Hanneforth
    A Natural Language Interface for a 2D Networked Game. [Citation Graph (0, 0)][DBLP]
    HCI (4), 2007, pp:225-234 [Conf]
  99. Manish Mehta, Andrea Corradini
    Developing a Conversational Agent Using Ontologies. [Citation Graph (0, 0)][DBLP]
    HCI (3), 2007, pp:154-164 [Conf]
  100. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
    A Temporal Graph Logic for Verification of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:1-20 [Conf]
  101. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal]

  102. Tailoring the Interpretation of Spatial Utterances for Playing a Board Game. [Citation Graph (, )][DBLP]


  103. Unfolding Graph Transformation Systems: Theory and Applications to Verification. [Citation Graph (, )][DBLP]


  104. Ugo Montanari and Graph Transformation. [Citation Graph (, )][DBLP]


  105. Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP]


  106. ICGT 2008 Doctoral Symposium. [Citation Graph (, )][DBLP]


  107. Open Petri Nets: Non-deterministic Processes and Compositionality. [Citation Graph (, )][DBLP]


  108. ICGT 2010 Doctoral Symposium. [Citation Graph (, )][DBLP]


  109. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. [Citation Graph (, )][DBLP]


  110. Evaluating a Drama Management Approach in an Interactive Fiction Game. [Citation Graph (, )][DBLP]


  111. A computational model for spatial expression resolution. [Citation Graph (, )][DBLP]


  112. A Generic Spoken Dialogue Manager Applied to an Interactive 2D Game. [Citation Graph (, )][DBLP]


  113. Graph Transformation with Dependencies for the Specification of Interactive Systems. [Citation Graph (, )][DBLP]


  114. Handling out of domain topics by a conversational character. [Citation Graph (, )][DBLP]


  115. Contour-Based Person Localizaion by 3D Neural Fields and Steerable Filters. [Citation Graph (, )][DBLP]


  116. Evaluation of a Drama Manager Agent for an Interactive Story-Based Game. [Citation Graph (, )][DBLP]


  117. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. [Citation Graph (, )][DBLP]


  118. Subobject Transformation Systems. [Citation Graph (, )][DBLP]


  119. An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. [Citation Graph (, )][DBLP]


  120. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [Citation Graph (, )][DBLP]


  121. Inequational Deduction as Term Graph Rewriting. [Citation Graph (, )][DBLP]


  122. Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]


  123. Preface. [Citation Graph (, )][DBLP]


Search in 0.110secs, Finished in 0.117secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002