年別の研究成果
年別の研究成果
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Forcing and Calculi for Hybrid Logics
Gaina, D., 8月 6 2020, In: Journal of the ACM. 67, 4, 25.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
4 被引用数 (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.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
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.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
1 被引用数 (Scopus) -
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Găină, D. & Ţuţu, I., 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).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
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).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
5 被引用数 (Scopus)