Cătălin Dima

Available identifiers

zbMath Open dima.catalinMaRDI QIDQ282108

List of research outcomes

Publication	Date of Publication	Type
Computing the bandwidth of meager timed automata	2025-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5151003	2021-02-16	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	2021-02-08	Paper
A Hennessy-Milner Theorem for ATL with Imperfect Information	2021-01-21	Paper
Relating Paths in Transition Systems	2018-10-24	Paper
Asymptotic behaviour in temporal logic	2018-04-23	Paper
Entropy Games and Matrix Multiplication Games	2018-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4591089	2017-11-10	Paper
Verification of \(\mathrm{EB}^3\) specifications using CADP	2016-05-12	Paper
Sofic-Dyck shifts	2015-12-08	Paper
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus	2015-09-16	Paper
Sofic-Dyck Shifts	2014-10-14	Paper
A Nonarchimedian Discretization for Timed Languages	2014-05-12	Paper
Balanced timed regular expressions	2013-08-16	Paper
A study on shuffle, stopwatches and independently evolving clocks	2013-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4898177	2012-12-29	Paper
Epistemic ATL with Perfect Recall, Past and Strategy Contexts	2012-09-21	Paper
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking	2012-07-17	Paper
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability	2011-12-19	Paper
On the computation of covert channel capacity	2010-03-12	Paper
Removing All Silent Transitions from Timed Automata	2009-12-01	Paper
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall	2009-08-20	Paper
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions	2009-02-12	Paper
Abstractions of Multi-agent Systems	2008-09-25	Paper
Distributed Time-Asynchronous Automata	2008-09-17	Paper
Dynamical Properties of Timed Automata Revisited	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q3416410	2007-01-22	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4650416	2005-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4453202	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4452097	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4793129	2003-02-18	Paper
Real-time automata	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4501539	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4934330	2000-04-26	Paper
Automata for a decidable subset of duration calculus.	1999-01-01	Paper

Research outcomes over time

This page was built for person: Cătălin Dima