( en | de | ru )

 

Disambiguation of "Turrini, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

, , , , and . (May 2022)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Kunzmann

 

Other publications of authors with the same name

Scenario Approach for Parametric Markov Models., , , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 158-180. Springer, (2023)On the Power of Finite Ambiguity in Büchi Complementation., , , , and . CoRR, (2021)Probabilistic Preference Planning Problem for Markov Decision Processes., , , , and . IEEE Trans. Software Eng., 48 (5): 1545-1559 (2022)On the power of finite ambiguity in Büchi complementation., , , , and . Inf. Comput., (June 2023)Modular Mix-and-Match Complementation of Büchi Automata., , , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 249-270. Springer, (2023)EPMC Gets Knowledge in Multi-agent Systems., , , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 93-107. Springer, (2022)A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving., , , and . APLAS, volume 12470 of Lecture Notes in Computer Science, page 343-363. Springer, (2020)SVMRanker: a general termination analysis framework of loop programs via SVM., , , , , and . ESEC/SIGSOFT FSE, page 1635-1639. ACM, (2020)Hierarchical and compositional verification of cryptographic protocols.. University of Verona, Italy, (2009)Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs., , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 25-41. Springer, (2017)