The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raffaella Gentilini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raffaella Gentilini
    Reachability Problems on Extended O-Minimal Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:162-176 [Conf]
  2. Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
    Three-valued automated reasoning on analog properties. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2007, pp:485-488 [Conf]
  3. Raffaella Gentilini, Alberto Policriti
    Biconnectivity on Symbolically Represented Graphs: A Linear Solution. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2003, pp:554-564 [Conf]
  4. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Computing strongly connected components in a linear number of symbolic steps. [Citation Graph (0, 0)][DBLP]
    SODA, 2003, pp:573-582 [Conf]
  5. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Simulation as Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:415-430 [Conf]
  6. Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Rank-Based Symbolic Bisimulation (and Model Checking). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  7. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    Simulation Reduction as Constraint. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  8. Raffaella Gentilini, Carla Piazza, Alberto Policriti
    From Bisimulation to Simulation: Coarsest Partition Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:73-103 [Journal]
  9. Raffaella Gentilini, Klaus Schneider, B. Mishra
    Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:224-240 [Conf]

  10. Energy and Mean-Payoff Games with Imperfect Information. [Citation Graph (, )][DBLP]


  11. A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. [Citation Graph (, )][DBLP]


  12. Property Driven Three-Valued Model Checking on Hybrid Automata. [Citation Graph (, )][DBLP]


  13. Symbolic Graphs: Linear Solutions to Connectivity Related Problems. [Citation Graph (, )][DBLP]


  14. Approximated Reachability on Hybrid Automata: Falsification meets Certification. [Citation Graph (, )][DBLP]


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