The SCEAS System
| |||||||

## Search the dblp DataBase
Raffaella Gentilini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Raffaella Gentilini
**Reachability Problems on Extended O-Minimal Hybrid Automata.**[Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:162-176 [Conf] - 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] - Raffaella Gentilini, Alberto Policriti
**Biconnectivity on Symbolically Represented Graphs: A Linear Solution.**[Citation Graph (0, 0)][DBLP] ISAAC, 2003, pp:554-564 [Conf] - 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] - Raffaella Gentilini, Carla Piazza, Alberto Policriti
**Simulation as Coarsest Partition Problem.**[Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:415-430 [Conf] - 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] - 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] - 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] - 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] **Energy and Mean-Payoff Games with Imperfect Information.**[Citation Graph (, )][DBLP]**A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.**[Citation Graph (, )][DBLP]**Property Driven Three-Valued Model Checking on Hybrid Automata.**[Citation Graph (, )][DBLP]**Symbolic Graphs: Linear Solutions to Connectivity Related Problems.**[Citation Graph (, )][DBLP]**Approximated Reachability on Hybrid Automata: Falsification meets Certification.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |