( en | de | ru )

 

Disambiguation of "Gentilini, Raffaella"

Author of the publication

copydeleteadd this publication to your clipboard
Rank and simulation: the well-founded case.

, , and . J. Log. Comput., 25 (6): 1331-1349 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raffaella Corvi

Raffaella Meffe

Raffaella Meffe

Raffaella Meffe

Raffaella Calligaris

 

Other publications of authors with the same name

A note on the approximation of mean-payoff games.. Inf. Process. Lett., 114 (7): 382-386 (2014)A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata., , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 38-52. Springer, (2008)Rank-Based Symbolic Bisimulation (and Model Checking)., , , and . WoLLIC, volume 67 of Electronic Notes in Theoretical Computer Science, page 166-183. Elsevier, (2002)Rank and simulation: the well-founded case., , and . J. Log. Comput., 25 (6): 1331-1349 (2015)Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems., , and . MBMV, page 121-130. Shaker, (2007)Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking., , and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 224-240. Springer, (2007)Accelerating Energy Games Solvers on Modern Architectures., , and . IA3@SC, page 12:1-12:4. ACM, (2017)Graph algorithms for massive data-sets.. University of Udine, Italy, (2005)The Adversarial Stackelberg Value in Quantitative Games., , and . ICALP, volume 168 of LIPIcs, page 127:1-127:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Symbolic Graphs: Linear Solutions to Connectivity Related Problems., , and . Algorithmica, 50 (1): 120-158 (2008)