All Stories

  1. The Algebra of Opposition (and Universal Logic Interpretations)

    Article • January 2015, Springer Science + Business Media

    Dr Răzvan Diaconescu

  2. On the existence of translations of structured specifications

    Article • Information Processing Letters, January 2015, Elsevier

    Dr Răzvan Diaconescu

  3. Encoding hybridized institutions into first-order logic

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Dr Răzvan Diaconescu

  4. Foundations for structuring behavioural specifications

    Article • Journal of Logical and Algebraic Methods in Programming, May 2014, Elsevier

    Dr Răzvan Diaconescu

  5. Graded consequence: an institution theoretic study

    Article • Soft Computing, February 2014, Springer Science + Business Media

    Dr Răzvan Diaconescu

  6. CafeOBJ Traces

    Article • January 2014, Springer Science + Business Media

    Dr Răzvan Diaconescu

  7. From Universal Logic to Computer Science, and Back

    Article • January 2014, Springer Science + Business Media

    Dr Răzvan Diaconescu

  8. The Institution-Theoretic Scope of Logic Theorems

    Article • Logica Universalis, December 2013, Springer Science + Business Media

    Dr Răzvan Diaconescu

  9. Institutional semantics for many-valued logics

    Article • Fuzzy Sets and Systems, May 2013, Elsevier

    Dr Răzvan Diaconescu

  10. An axiomatic approach to structuring specifications

    Article • Theoretical Computer Science, May 2012, Elsevier

    Dr Răzvan Diaconescu

  11. Three Decades of Institution Theory

    Article • January 2012, Springer Science + Business Media

    Dr Răzvan Diaconescu

  12. Structural induction in institutions

    Article • Information and Computation, September 2011, Elsevier

    Dr Răzvan Diaconescu

  13. Interpolation for predefined types

    Article • Mathematical Structures in Computer Science, August 2011, Cambridge University Press

    Dr Răzvan Diaconescu

  14. On the algebra of structured specifications

    Article • Theoretical Computer Science, June 2011, Elsevier

    Dr Răzvan Diaconescu

  15. On quasi-varieties of multiple valued logic models

    Article • March 2011, Wiley

    Dr Răzvan Diaconescu

  16. Coinduction for preordered algebra

    Article • Information and Computation, February 2011, Elsevier

    Dr Răzvan Diaconescu

  17. Hybridization of Institutions

    Article • January 2011, Springer Science + Business Media

    Dr Răzvan Diaconescu

  18. Saturated models in institutions

    Article • Archive for Mathematical Logic, June 2010, Springer Science + Business Media

    Dr Răzvan Diaconescu

  19. Quasi-boolean encodings and conditionals in algebraic specification

    Article • The Journal of Logic and Algebraic Programming, February 2010, Elsevier

    Dr Răzvan Diaconescu

  20. An encoding of partial algebras as total algebras

    Article • Information Processing Letters, November 2009, Elsevier

    Dr Răzvan Diaconescu

  21. Grothendieck Inclusion Systems

    Article • Applied Categorical Structures, September 2009, Springer Science + Business Media

    Dr Răzvan Diaconescu

  22. What is a Logic Translation?

    Article • Logica Universalis, April 2009, Springer Science + Business Media

    Dr Răzvan Diaconescu

  23. A categorical study on the finiteness of specifications

    Article • Information Processing Letters, September 2008, Elsevier

    Dr Răzvan Diaconescu

  24. A Methodological Guide to the CafeOBJ Logic

    Article • December 2007, Springer Science + Business Media

    Dr Răzvan Diaconescu

  25. Stratified institutions and elementary homomorphisms

    Article • Information Processing Letters, June 2007, Elsevier

    Dr Răzvan Diaconescu

  26. Ultraproducts and possible worlds semantics in institutions

    Article • Theoretical Computer Science, June 2007, Elsevier

    Dr Răzvan Diaconescu

  27. Abstract Beth definability in institutions

    Article • Journal of Symbolic Logic, September 2006, Cambridge University Press

    Dr Răzvan Diaconescu

  28. Jewels of Institution-Independent Model Theory

    Article • January 2006, Springer Science + Business Media

    Dr Răzvan Diaconescu

  29. Behavioural specification for hierarchical object composition

    Article • Theoretical Computer Science, October 2005, Elsevier

    Dr Răzvan Diaconescu

  30. An Institution-independent Proof of Craig Interpolation Theorem

    Article • Studia Logica, June 2004, Springer Science + Business Media

    Dr Răzvan Diaconescu

  31. Herbrand theorems in arbitrary institutions

    Article • Information Processing Letters, April 2004, Elsevier

    Dr Răzvan Diaconescu

  32. Interpolation in Grothendieck Institutions

    Article • Theoretical Computer Science, January 2004, Elsevier

    Dr Răzvan Diaconescu

  33. Behavioural Specification for Hierarchical Object Composition

    Article • January 2004, Springer Science + Business Media

    Dr Răzvan Diaconescu

  34. Logical foundations of CafeOBJ

    Article • Theoretical Computer Science, August 2002, Elsevier

    Dr Răzvan Diaconescu

  35. Category-based constraint logic

    Article • Mathematical Structures in Computer Science, June 2000, Cambridge University Press

    Dr Răzvan Diaconescu

  36. Component-Based Algebraic Specification

    Article • January 1999, Springer Science + Business Media

    Dr Răzvan Diaconescu

  37. Cafeobj Report

    Article • June 1998

    Dr Răzvan Diaconescu

  38. An Overview of CafeOBJ

    Article • Electronic Notes in Theoretical Computer Science, January 1998, Elsevier

    Dr Răzvan Diaconescu

  39. Category-based modularisation for equational logic programming

    Article • Acta Informatica, August 1996, Springer Science + Business Media

    Dr Răzvan Diaconescu

  40. A category-based equational logic semantics to constraint programming

    Article • January 1996, Springer Science + Business Media

    Dr Răzvan Diaconescu

  41. Foundations of Behavioural Specification in Rewriting Logic

    Article • Electronic Notes in Theoretical Computer Science, January 1996, Elsevier

    Dr Răzvan Diaconescu

  42. Completeness of category-based equational deduction

    Article • Mathematical Structures in Computer Science, March 1995, Cambridge University Press

    Dr Răzvan Diaconescu

  43. An introduction to category-based equational logic

    Article • January 1995, Springer Science + Business Media

    Dr Răzvan Diaconescu

  44. An Oxford survey of order sorted algebra

    Article • Mathematical Structures in Computer Science, September 1994, Cambridge University Press

    Dr Răzvan Diaconescu

  45. Towards an algebraic semantics for the object paradigm

    Article • January 1994, Springer Science + Business Media

    Dr Răzvan Diaconescu

  46. Contraction algebras and unification of (infinite) terms

    Article • Journal of Computer and System Sciences, February 1992, Elsevier

    Dr Răzvan Diaconescu

  47. What is a Logic?

    Article • Springer Science + Business Media

    Dr Răzvan Diaconescu