Concepedia

Rodica Condurache

RC

2

Publications

37

Citations

2

H-Index

2016

Active since

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Rodica Condurache is an author at Université Toulouse III - Paul Sabatier specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceDesignBusinessPoliticsStrategyComplexityGame TheoryVerification

Publications per year

2016–2017

2

Publications

2

The Complexity of Rational Synthesis

Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 25 citations · Full text

Mathematical Programming, Tight Results, Computational Complexity Theory +13

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Francesco Belardinelli, Rodica Condurache, Cătălin Dima et al. · 2017 · 12 citations · Full text

Voting Protocol, Engineering, Computational Social Choice +23

Rows per page

1–2 of 2