Concepedia

Author

Daniel Găină

Japan Advanced Institute of Science and TechnologyORCID

Also Known As

D. Gaina, DANIEL GĂINĂ, Daniel Gaina, Daniel Gâinâ, Daniel Găină, Gaina, Daniel, Găină, Daniel

40

Publications

249

Citations

10

H-Index

18

Concepts

All Affiliations

Japan Advanced Institute of Science and TechnologyKyushu UniversityUniversity of Bucharest
DG

About

Daniel Găină is an author at Japan Advanced Institute of Science and Technology specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

129

2

Computer Science

5

5

92

3

Mathematical Foundations

2

2

33

4

Language Studies

1

1

12

5

Systems Engineering

1

1

10

Daniel Găină

×

10

Publications

168

Citations

10

H-Index

YearCitations

Principles of proof scores in CafeOBJ

Kokichi Futatsugi, Daniel Găină, Kazuhiro Ogata

Theoretical Computer Science

2012

31

An Institution-Independent Proof of the Robinson Consistency Theorem

Daniel Găină, Andrei Popescu

Studia Logica

2007

25

Birkhoff Completeness in Institutions

Mihai Codescu, Daniel Găină

Logica Universalis

2008

19

Constructor-based Logics

Daniel Găină

Zenodo (CERN European Organization for Nuclear Research)

2020

18

Completeness by Forcing

Daniel Găină, Marius Petria

Journal of Logic and Computation

2010

17

An Institution-independent Generalization of Tarski's Elementary Chain Theorem

Daniel Găină, Andrei Popescu

Journal of Logic and Computation

2006

16

Downward Löwenheim–Skolem Theorem and interpolation in logics with constructors

Daniel Găină

Journal of Logic and Computation

2015

12

Birkhoff style calculi for hybrid logics

Daniel Găină

Formal Aspects of Computing

2017

10

Foundations of logic programming in hybrid logics with user-defined sharing

Daniel Găină

Theoretical Computer Science

2017

10

Specification and Verification of Invariant Properties of Transition Systems

Daniel Găină, Ionuţ Ţuţu, Adrián Riesco

2018

10

Page 1