メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
九州大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
プロジェクト
研究成果
データセット
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
Gaina Daniel Mircea
准教授
国立大学法人 九州大学
,
マス・フォア・インダストリ研究所
ウェブサイト
https://hyoka.ofc.kyushu-u.ac.jp/search/details/K007160/index.html
h-index
230
被引用数
10
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
2006
2023
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(25)
類似のプロファイル
(1)
Pureに変更を加えた場合、すぐここに表示されます。
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
1
類似のプロファイル
Constructors
Computer Science
100%
Order
Mathematics
69%
Simulation Mode
Computer Science
48%
Semantics
Computer Science
45%
Specifications
Computer Science
41%
Transition System
Computer Science
40%
Specification Language
Computer Science
34%
Completeness
Mathematics
34%
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
リストから国/地域を選択
詳細を開く
国/地域を選択して、共有出版物とプロジェクトを表示
閉じる
リストから国/地域を選択
研究成果
年別の研究成果
2006
2007
2012
2013
2014
2015
2017
2020
2023
19
学術誌
5
会議への寄与
1
コメント/討論
年別の研究成果
年別の研究成果
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Găină, D.
,
Badia, G.
&
Kowalski, T.
,
3月 2023
,
In:
Annals of Pure and Applied Logic.
174
,
3
, 103212.
研究成果
:
ジャーナルへの寄稿
›
学術誌
›
査読
Order
100%
Compactness
100%
Parameters
50%
Completeness
50%
Skolem Theorem
50%
Lindström's theorem, both syntax and semantics free
Gaina, D.
&
Kowalski, T.
,
7月 1 2022
,
In:
Journal of Logic and Computation.
32
,
5
,
p. 942-975
34 p.
研究成果
:
ジャーナルへの寄稿
›
学術誌
›
査読
Order
100%
Logical System
100%
Model Theory
100%
Simulation Mode
100%
Semantics
100%
Forcing and Calculi for Hybrid Logics
Gaina, D.
,
8月 6 2020
,
In:
Journal of the ACM.
67
,
4
, 25.
研究成果
:
ジャーナルへの寄稿
›
学術誌
›
査読
Application
100%
Artificial Intelligence
100%
Transition System
100%
Ontology
100%
Formal Verification
100%
9
被引用数 (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.
研究成果
:
ジャーナルへの寄稿
›
学術誌
›
査読
Specification Language
100%
Higher Order Logic
100%
Classical Case
100%
1
被引用数 (Scopus)
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.
研究成果
:
ジャーナルへの寄稿
›
学術誌
›
査読
Constructors
100%
Sufficient Completeness
75%
Reducibility
50%
Simulation Mode
25%
Application
25%
2
被引用数 (Scopus)