The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mimmo Parente: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    On the Membership Problem for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:96-109 [Conf]
  2. Jozef Gruska, Salvatore La Torre, Mimmo Parente
    Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2004, pp:200-211 [Conf]
  3. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    Synchronization of 1-Way Connected Processors. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:293-304 [Conf]
  4. Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
    Hierarchical and Recursive State Machines with Context-Dependent Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:776-789 [Conf]
  5. Alessandro Ferrante, Mimmo Parente
    An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:137-149 [Conf]
  6. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. [Citation Graph (0, 0)][DBLP]
    MCU, 2001, pp:264-275 [Conf]
  7. Alessandro Ferrante, Mimmo Parente
    Existence of Nash Equilibria in Selfish Routing Problems. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2004, pp:149-160 [Conf]
  8. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    Synchronization of a Line of Identical Processors at a Given Time. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:405-416 [Conf]
  9. Vincenzo Auletta, Angelo Monti, Mimmo Parente, Pino Persiano
    A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1999, v:23, n:3, pp:223-245 [Journal]
  10. 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]
  11. Salvatore La Torre, Aniello Murano, Mimmo Parente
    Model-checking the Secure Release of a Time-locked Secret over a Network. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:229-243 [Journal]
  12. Alessandro Ferrante, Mimmo Parente
    On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2004, v:15, n:5, pp:701-715 [Journal]
  13. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    A compositional approach to synchronize two dimensional networks of processors. [Citation Graph (0, 0)][DBLP]
    ITA, 2000, v:34, n:6, pp:549-564 [Journal]
  14. Alessandro Ferrante, Aniello Murano, Mimmo Parente
    Enriched µ-Calculus Pushdown Module Checking. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:438-453 [Conf]

  15. CTLModel-Checking with Graded Quantifiers. [Citation Graph (, )][DBLP]


  16. A NuSMV Extension for Graded-CTL Model Checking. [Citation Graph (, )][DBLP]


  17. Graded-CTL: Satisfiability and Symbolic Model Checking. [Citation Graph (, )][DBLP]


  18. Program Complexity in Hierarchical Module Checking. [Citation Graph (, )][DBLP]


  19. Various Solutions to the Firing Squad Synchronization Problems [Citation Graph (, )][DBLP]


  20. Enriched MU-Calculi Module Checking [Citation Graph (, )][DBLP]


  21. Proceedings First Symposium on Games, Automata, Logic, and Formal Verification [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.047secs
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