• 127 Citations
  • 7 h-Index
20062019

Research output per year

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.

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

Research Output

  • 127 Citations
  • 7 h-Index
  • 14 Article
  • 5 Conference contribution
  • 1 Comment/debate

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

Găină, D. & Ţuţu, I., Jan 1 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).

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

  • 1 Citation (Scopus)

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., Jul 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).

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

  • 1 Citation (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

  • 5 Citations (Scopus)

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

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

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)

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

    Găină, D., Jul 22 2017, In : Theoretical Computer Science. 686, p. 1-24 24 p.

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)