( en | de | ru )

 

Disambiguation of "Dima, Catalin"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.

, , , , and . Inf. Comput., (2021)

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.

Danai Dima

Investigation of neural correlates of bottom-up and top-down processing with functional magnetic resonance imaging and electroencephalogram: exemplified by the binocular depth inversion-paradigm. TierH Hannover, (2009)

Dima Ghanam

Dima Damen

Catalin Stefan

Catalin Otelea

On the collapse behavior of ship structures. TU Hamburg, (2009)
 

Other publications of authors with the same name

Real-Time Automata.. Journal of Automata, Languages and Combinatorics, 6 (1): 3-23 (2001)Removing All Silent Transitions from Timed Automata., and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 118-132. Springer, (2009)Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol., , , , and . Inf. Comput., (2021)An algebraic theory of real-time formal languages. (Théorie algébrique des langages formels temps réel).. Joseph Fourier University, Grenoble, France, (2001)A Nonarchimedian Discretization for Timed Languages.. Fundam. Informaticae, 131 (3-4): 389-407 (2014)Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot., , , , and . AAMAS, page 1286-1295. ACM, (2017)On the computation of covert channel capacity., and . RAIRO Theor. Informatics Appl., 44 (1): 37-58 (2010)Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.. CLIMA, volume 5405 of Lecture Notes in Computer Science, page 117-131. Springer, (2008)Computationally Feasible Strategies., and . AAMAS, page 784-792. ACM, (2023)Efficient Operational Semantics for for Verification of Temporal Properties., and . FSEN, volume 8161 of Lecture Notes in Computer Science, page 133-149. Springer, (2013)