年別の研究成果
年別の研究成果
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 2 類似のプロファイル
ネットワーク
国レベルでの最近の外部協力。点をクリックして確認してください。
研究成果
-
Forcing and Calculi for Hybrid Logics
Gaina, D., 8 6 2020, In: Journal of the ACM. 67, 4, 25.研究成果: Contribution to journal › Article › 査読
3 被引用数 (Scopus) -
Fraïssé-Hintikka theorem in institutions
Gaina, D. & Kowalski, T., 10 1 2020, In: Journal of Logic and Computation. 30, 7, p. 1377-1399 23 p.研究成果: Contribution to journal › Article › 査読
-
Stability of termination and sufficient-completeness under pushouts via amalgamation
Găină, D., Nakamura, M., Ogata, K. & Futatsugi, K., 12 24 2020, In: Theoretical Computer Science. 848, p. 82-105 24 p.研究成果: Contribution to journal › Article › 査読
-
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Găină, D. & Ţuţu, I., 1 1 2019, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, Proceedings. Cerrito, S. & Popescu, A. (eds.). Springer, p. 277-293 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11714 LNAI).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
2 被引用数 (Scopus) -
Specification and Verification of Invariant Properties of Transition Systems
Gaina, D., Tutu, I. & Riesco, A., 7 2 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2018-December).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
4 被引用数 (Scopus)