Fingerprint
Dive into the research topics where Daniel Mircea Gaina is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC
Badia, G., Daniel Gain, A., Knapp, A., Kowalski, T. & Wirsing, M., Dec 1 2025, In: Bulletin of Symbolic Logic. 31, 4, p. 590-618 29 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Link opens in a new tab Citations (Scopus) -
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
Badia, G., Găină, D., Knapp, A., Kowalski, T. & Wirsing, M., Sept 2 2025, In: ACM Transactions on Computational Logic. 26, 4, 22.Research output: Contribution to journal › Article › peer-review
Open Access -
Model-Theoretic Forcing in Transition Algebra
Hashimoto, G. & Găină, D., Aug 20 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 55. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 345).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Proof Scores: A Survey
Riesco, A., Ogata, K., Nakamura, M., Gaina, D., Tran, D. D. & Futatsugi, K., May 7 2025, In: ACM Computing Surveys. 57, 10, 251.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic
Găină, D., 2024, Advances in Modal Logic, AiML 2024. Ciabattoni, A., Gabelaia, D. & Sedlar, I. (eds.). College Publications, p. 357-378 22 p. (Advances in Modal Logic; vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution