If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Daniel Mircea Gaina is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Logic Mathematics
Theorem Mathematics
Algebra Engineering & Materials Science
First-order Logic Mathematics
Computer science Engineering & Materials Science
Horn clause Mathematics
Completeness Mathematics
Hybrid Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2019

  • 116 Citations
  • 7 h-Index
  • 14 Article
  • 4 Conference contribution
  • 1 Comment/debate

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D. M., Tutu, I. & Riesco, A., May 21 2019, 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
2 Citations (Scopus)

Birkhoff style calculi for hybrid logics

Gaina, D. M., Sep 1 2017, In : Formal Aspects of Computing. 29, 5, p. 805-832 28 p.

Research output: Contribution to journalArticle

Hybrid Logic
Calculus
Horn clause
Completeness
Sharing
2 Citations (Scopus)

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

Gaina, D. M., Sep 1 2017, In : Journal of Logic and Computation. 27, 6, p. 1717-1752 36 p.

Research output: Contribution to journalArticle

Interpolation
First-order Logic
Interpolate
Logic
Higher-order Logic

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

Gaina, D. M., Jul 22 2017, In : Theoretical Computer Science. 686, p. 1-24 24 p.

Research output: Contribution to journalArticle

Hybrid Logic
Horn clause
Logic programming
Logic Programming
Sharing
2 Citations (Scopus)

Foundations of logic programming in hybridised logics

Gaina, D. M., Jan 1 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (eds.). Springer Verlag, p. 69-89 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9463).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Logic
Hybrid systems
Semantics