Dima, Augustin Catalin
60  results:
Search for persons X
?
 
?
11

Observational Preorders for Alternating Transition Systems:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
 
?
12

Transforming Peasants, Property and Power 

The Collectivization of Agriculture in Romania, 1949–1962 
 
?
13

Rational Synthesis in the Commons with Careless and Careful..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
 
?
14

Formal Modeling and Analysis of Timed Systems: 19th Interna.. 

Theoretical Computer Science and General Issues, 12860
Dima, Catalin ; Shirmohammadi, Mahsa - 1st ed. 2021 . , 2021
 
?
15

A Hennessy-Milner Theorem for ATL with Imperfect Informatio:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
 
1-15