!!Research output per year
!!Research output per year
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC
Badia, G., Daniel Gain, A., Knapp, A., Kowalski, T. & Wirsing, M., 12月 1 2025, In: Bulletin of Symbolic Logic. 31, 4, p. 590-618 29 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access3 リンクは新しいタブで開きます 被引用数 (Scopus) -
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
Badia, G., Găină, D., Knapp, A., Kowalski, T. & Wirsing, M., 9月 2 2025, In: ACM Transactions on Computational Logic. 26, 4, 22.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access -
Model-Theoretic Forcing in Transition Algebra
Hashimoto, G. & Găină, D., 8月 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).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
-
Proof Scores: A Survey
Riesco, A., Ogata, K., Nakamura, M., Gaina, D., Tran, D. D. & Futatsugi, K., 5月 7 2025, In: ACM Computing Surveys. 57, 10, 251.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access1 リンクは新しいタブで開きます 被引用数 (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).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与