Principles of proof scores in CafeOBJ K Futatsugi, D Găină, K Ogata Theoretical Computer Science 464, 90-112, 2012 | 39 | 2012 |

An institution-independent proof of the Robinson consistency theorem D Gaina, A Popescu Studia Logica 85 (1), 41-73, 2007 | 34 | 2007 |

Birkhoff Completeness in Institutions M Codescu, D Gaina Logica Universalis 2 (2), 277-309, 2008 | 27 | 2008 |

An institution-independent generalization of Tarski's Elementary Chain Theorem D Găină, A Popescu Journal of Logic and Computation 16 (6), 713-735, 2006 | 23 | 2006 |

Completeness by forcing D Găină, M Petria Journal of Logic and Computation 20 (6), 1165-1186, 2010 | 21 | 2010 |

Constructor-based Logics. D Găină, K Futatsugi, K Ogata J. UCS 18 (16), 2204-2233, 2012 | 19* | 2012 |

Constructor-based inductive theorem prover D Găină, M Zhang, Y Chiba, Y Arimoto International Conference on Algebra and Coalgebra in Computer Science, 328-333, 2013 | 16 | 2013 |

Initial semantics in logics with constructors D Găină, K Futatsugi Journal of Logic and Computation 25 (1), 95-116, 2015 | 14 | 2015 |

Birkhoff style calculi for hybrid logics D Găină Formal Aspects of Computing 29 (5), 805-832, 2017 | 12 | 2017 |

On automation of OTS/CafeOBJ method D Găină, D Lucanu, K Ogata, K Futatsugi Specification, Algebra, and Software, 578-602, 2014 | 11 | 2014 |

Foundations of logic programming in hybrid logics with user-defined sharing D Găină Theoretical Computer Science 686, 1-24, 2017 | 9 | 2017 |

Constructor-based institutions D Găină, K Futatsugi, K Ogata International Conference on Algebra and Coalgebra in Computer Science, 398-412, 2009 | 8 | 2009 |

Downward Löwenheim–Skolem Theorem and interpolation in logics with constructors D Găină Journal of Logic and Computation 27 (6), 1717-1752, 2017 | 7 | 2017 |

Interpolation in logics with constructors D Găină Theoretical Computer Science 474, 46-59, 2013 | 7 | 2013 |

Foundations of logic programming in hybridised logics D Găină International Workshop on Algebraic Development Techniques, 69-89, 2015 | 6 | 2015 |

Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally D Găină Logica Universalis 8 (3-4), 469-498, 2014 | 6 | 2014 |

Specification and verification of invariant properties of transition systems D Gaina, I Tutu, A Riesco 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 99-108, 2018 | 5 | 2018 |

Forcing and Calculi for Hybrid Logics D Găină Journal of the ACM (JACM) 67 (4), 1-55, 2020 | 3 | 2020 |

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic D Găină, I Ţuţu International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 3 | 2019 |

Stability of termination and sufficient-completeness under pushouts via amalgamation D Găină, M Nakamura, K Ogata, K Futatsugi Theoretical Computer Science, 1-24, 2020 | | 2020 |