The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adriano Peron: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
    Equivalences of Statecharts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:687-702 [Conf]
  2. Andrea Maggiolo-Schettini, Adriano Peron
    Semantics of Full Statecharts Based on Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:265-279 [Conf]
  3. Andrea Maggiolo-Schettini, Adriano Peron
    Retiming Techniques for Statecharts. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:55-71 [Conf]
  4. Laura Bozzelli, Aniello Murano, Adriano Peron
    Pushdown Module Checking. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:504-518 [Conf]
  5. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
    Structural Model Checking for Communicating Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:525-536 [Conf]
  6. Angelo Monti, Adriano Peron
    Systolic Tree Omega-Languages. [Citation Graph (0, 0)][DBLP]
    STACS, 1995, pp:131-142 [Conf]
  7. Angelo Monti, Adriano Peron
    A Logical Characterization of Systolic Languages. [Citation Graph (0, 0)][DBLP]
    STACS, 1998, pp:466-476 [Conf]
  8. Adriano Peron, Andrea Maggiolo-Schettini
    Transitions as Interrupts: A New Semantics for Timed Statecharts. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:806-821 [Conf]
  9. Andrea Maggiolo-Schettini, Adriano Peron
    A Graph Rewriting Framework for Statecharts Semantics. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:107-121 [Conf]
  10. Adriano Peron
    Statecharts, Transition Structures and Transformations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:454-468 [Conf]
  11. Carlo Combi, Massimo Franceschet, Adriano Peron
    A Logical Approach to Represent and Reason about Calendars. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:134-140 [Conf]
  12. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
    Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:192-202 [Conf]
  13. Laura Bozzelli, Salvatore La Torre, Adriano Peron
    Verification of Well-Formed Communicating Recursive State Machines. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:412-426 [Conf]
  14. Angelo Monti, Adriano Peron
    Logical definability of Y-tree and trellis systolic omega-languages. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 2001, v:15, n:1, pp:75-100 [Journal]
  15. Piero A. Bonatti, Adriano Peron
    On the undecidability of logics with converse, nominals, recursion and counting. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:158, n:1, pp:75-96 [Journal]
  16. Laura Bozzelli, Massimo Benerecetti, Adriano Peron
    Verification of recursive parallel systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  17. Margherita Napoli, Mimmo Parente, Adriano Peron
    Specification and Verification of Protocols With Time Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:205-227 [Journal]
  18. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
    Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:153-173 [Journal]
  19. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
    Dynamic Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:237-252 [Journal]
  20. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
    Transformations of Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:271-282 [Journal]
  21. Angelo Montanari, Adriano Peron, Alberto Policriti
    The Taming (Timing) of the States. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
  22. Angelo Montanari, Adriano Peron, Alberto Policriti
    Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:79-102 [Journal]
  23. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
    Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal]
  24. Carlo Combi, Massimo Franceschet, Adriano Peron
    Representing and Reasoning about Temporal Granularities. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:51-77 [Journal]
  25. Angelo Montanari, Adriano Peron, Alberto Policriti
    Extending Kamp's Theorem to Model Time Granularity. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:641-677 [Journal]
  26. V. Roberto, Adriano Peron, P. L. Fumis
    Low-level processing techniques in geophysical image interpretation. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition Letters, 1989, v:10, n:2, pp:111-122 [Journal]
  27. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
    A comparison of Statecharts step semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:465-498 [Journal]
  28. Angelo Monti, Adriano Peron
    Systolic tree omega-Languages: the operational and the logical view. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:233, n:1-2, pp:1-18 [Journal]
  29. Dario Carotenuto, Aniello Murano, Adriano Peron
    2-Visibly Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2007, pp:132-144 [Conf]

  30. Timed protocols insecurity problem is NP-complete. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
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