Catalin Dima
Orcid: 0000-0001-5981-4533
According to our database1,
Catalin Dima
authored at least 59 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Implementation and Application of Automata, 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the Formal Methods and Software Engineering, 2024
2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022
2021
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.
Inf. Comput., 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
ACM Trans. Comput. Log., 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Formal Aspects Comput., 2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
2015
2014
Proceedings of the 2014 Information Theory and Applications Workshop, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
2012
Distributed Comput., 2012
CoRR, 2012
Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is Undecidable.
Appl. Artif. Intell., 2012
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
2011
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability.
J. Log. Comput., 2011
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.
J. Appl. Non Class. Logics, 2011
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
CoRR, 2011
2010
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Proceedings of the Proceedings First Symposium on Games, 2010
2009
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL.
Proceedings of the TIME 2009, 2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
2008
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008
2007
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
Proceedings of the Multi-Agent Systems and Applications V, 2007
2006
Proceedings of the First Workshop in Information and Computer Security, 2006
2005
A Class of Automata for Computing Reachability Relations in Timed Systems.
Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Proceedings of the Formal Techniques, 2004
2003
Proceedings of the Discrete Mathematics and Theoretical Computer Science, 2003
Distributed Real-Time Automata.
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003
2002
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
An algebraic theory of real-time formal languages. (Théorie algébrique des langages formels temps réel).
PhD thesis, 2001
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001
2000
Proceedings of the STACS 2000, 2000
1999
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999