Razvan Diaconescu

74 papers B 1C 1Journal 59Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computational modelling for combinatorial game strategies. J. Log. Algebraic Methods Program. Razvan Diaconescu
2025	J	`jnl`	In between myth and reality: AI for math - a case study in category theory. CoRR Razvan Diaconescu
2024	J	`jnl`	Computational Modelling for Combinatorial Game Strategies. CoRR Razvan Diaconescu
2024	J	`jnl`	Translation structures for fuzzy model theory. Fuzzy Sets Syst. Razvan Diaconescu
2023	J	`jnl`	Decompositions of stratified institutions. J. Log. Comput. Razvan Diaconescu
2023	J	`jnl`	Generalised graded interpolation. Int. J. Approx. Reason. Razvan Diaconescu
2023	J	`jnl`	Partialising Institutions. Appl. Categorical Struct. Razvan Diaconescu
2023	J	`jnl`	Preservation in many-valued truth institutions. Fuzzy Sets Syst. Razvan Diaconescu
2022	J	`jnl`	Non-determinsitic algebraic rewriting as adjunction. CoRR Razvan Diaconescu
2022	J	`jnl`	Permutation Groups Generated by γ-Cycles. Axioms Razvan Diaconescu
2021	J	`jnl`	Decompositions of Stratified Institutions. CoRR Razvan Diaconescu
2020	J	`jnl`	Introducing Logica Universalis Razvan Diaconescu
2019	J	`jnl`	Introducing H, an institution-based formal specification and verification language. CoRR Razvan Diaconescu
2019	J	`jnl`	Towards Fuzzy Neural Conceptors. FLAP Till Mossakowski, Razvan Diaconescu, Martin Glauer
2017	J	`jnl`	Implicit Kripke semantics and ultraproducts in stratified institutions. J. Log. Comput. Razvan Diaconescu
2017	J	`jnl`	Universal logic and computation. J. Log. Comput. Razvan Diaconescu
2016	J	`jnl`	Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. Razvan Diaconescu, Alexandre Madeira
2016	J	`jnl`	Functorial semantics of first-order views. Theor. Comput. Sci. Razvan Diaconescu
2016	J	`jnl`	Quasi-varieties and initial semantics for hybridized institutions. J. Log. Comput. Razvan Diaconescu
2015	J	`jnl`	On the existence of translations of structured specifications. Inf. Process. Lett. Razvan Diaconescu
2015	—	`ed.`	Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers WADT Mihai Codescu, Razvan Diaconescu, Ionut Tutu
2015	J	`jnl`	Structuring of Specification Modules (extended). Comput. Sci. J. Moldova Razvan Diaconescu
2014	—	`conf`	CafeOBJ Traces. Specification, Algebra, and Software Razvan Diaconescu
2014	J	`jnl`	Foundations for structuring behavioural specifications. J. Log. Algebraic Methods Program. Razvan Diaconescu, Ionut Tutu
2014	C	`conf`	From Universal Logic to Computer Science, and Back. ICTAC Razvan Diaconescu
2014	J	`jnl`	Graded consequence: an institution theoretic study. Soft Comput. Razvan Diaconescu
2014	J	`jnl`	The Institution-Theoretic Scope of Logic Theorems. Logica Universalis Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
2013	J	`jnl`	Institutional semantics for many-valued logics. Fuzzy Sets Syst. Razvan Diaconescu
2012	J	`jnl`	An axiomatic approach to structuring specifications. Theor. Comput. Sci. Razvan Diaconescu
2012	J	`jnl`	Borrowing interpolation. J. Log. Comput. Razvan Diaconescu
2012	J	`jnl`	Interpolation for predefined types. Math. Struct. Comput. Sci. Razvan Diaconescu
2011	J	`jnl`	Coinduction for preordered algebra. Inf. Comput. Razvan Diaconescu
2011	J	`jnl`	Grothendieck Inclusion Systems. Appl. Categorical Struct. Razvan Diaconescu
2011	B	`conf`	Hybridization of Institutions. CALCO Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
2011	J	`jnl`	On quasi-varieties of multiple valued logic models. Math. Log. Q. Razvan Diaconescu
2011	J	`jnl`	On the algebra of structured specifications. Theor. Comput. Sci. Razvan Diaconescu, Ionut Tutu
2011	J	`jnl`	Structural induction in institutions. Inf. Comput. Razvan Diaconescu
2010	J	`jnl`	Quasi-boolean encodings and conditionals in algebraic specification. J. Log. Algebraic Methods Program. Razvan Diaconescu
2010	J	`jnl`	Saturated models in institutions. Arch. Math. Log. Razvan Diaconescu, Marius Petria
2009	J	`jnl`	An encoding of partial algebras as total algebras. Inf. Process. Lett. Razvan Diaconescu
2009	J	`jnl`	What is a Logic Translation? Logica Universalis Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki
2008	J	`jnl`	A categorical study on the finiteness of specifications. Inf. Process. Lett. Razvan Diaconescu
2007	J	`jnl`	Stratified institutions and elementary homomorphisms. Inf. Process. Lett. Marc Aiguier, Razvan Diaconescu
2007	J	`jnl`	Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. Razvan Diaconescu, Petros S. Stefaneas
2006	J	`jnl`	Abstract Beth definability in institutions. J. Symb. Log. Razvan Diaconescu, Marius Petria
2006	—	`conf`	Jewels of Institution-Independent Model Theory. Essays Dedicated to Joseph A. Goguen Razvan Diaconescu
2006	J	`jnl`	Proof Systems for Institutional Logic. J. Log. Comput. Razvan Diaconescu
2005	J	`jnl`	Behavioural specification for hierarchical object composition. Theor. Comput. Sci. Razvan Diaconescu
2004	J	`jnl`	An Institution-independent Proof of Craig Interpolation Theorem. Stud Logica Razvan Diaconescu
2004	J	`jnl`	Elementary Diagrams in Institutions. J. Log. Comput. Razvan Diaconescu
2004	J	`jnl`	Herbrand theorems in arbitrary institutions. Inf. Process. Lett. Razvan Diaconescu
2004	J	`jnl`	Interpolation in Grothendieck Institutions. Theor. Comput. Sci. Razvan Diaconescu
2003	—	`conf`	Behavioural Specification for Hierarchical Object Composition. FMCO Razvan Diaconescu
2003	J	`jnl`	CafeOBJ: Logical Foundations and Methodologies. Comput. Artif. Intell. Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
2003	J	`jnl`	Institution-independent Ultraproducts. Fundam. Informaticae Razvan Diaconescu
2002	J	`jnl`	Grothendieck Institutions. Appl. Categorical Struct. Razvan Diaconescu
2002	J	`jnl`	Logical foundations of CafeOBJ. Theor. Comput. Sci. Razvan Diaconescu, Kokichi Futatsugi
2000	J	`jnl`	Behavioural Coherence in Object-Oriented Algebraic Specification. J. Univers. Comput. Sci. Razvan Diaconescu, Kokichi Futatsugi
2000	J	`jnl`	Category-based constraint logic. Math. Struct. Comput. Sci. Razvan Diaconescu
1999	—	`conf`	Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
1999	—	`ch.`	Component-Based Algebraic Specification. Behavioral Specifications of Businesses and Systems Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu
1998	—	`conf`	An overview of CafeOBJ. WRLA Razvan Diaconescu, Kokichi Futatsugi
1998	—	`book`	Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification Razvan Diaconescu, Kokichi Futatsugi
1998	J	`jnl`	Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages. Appl. Categorical Struct. Razvan Diaconescu
1996	J	`jnl`	Category-Based Modularisation for Equational Logic Programming. Acta Informatica Razvan Diaconescu
1996	—	`conf`	Foundations of behavioural specification in rewriting logic. WRLA Razvan Diaconescu
1995	—	`conf`	A Category-Based Equational Logic Semantics to Constraint Programming. COMPASS/ADT Razvan Diaconescu
1995	—	`conf`	An Introduction to Category-based Equational Logic. AMAST Joseph A. Goguen, Razvan Diaconescu
1995	J	`jnl`	Completeness of Category-Based Equational Deduction. Math. Struct. Comput. Sci. Razvan Diaconescu
1994	J	`jnl`	An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. Joseph A. Goguen, Razvan Diaconescu
1993	—	`ch.`	A Short Oxford Survey of Order Sorted Algebra. Current Trends in Theoretical Computer Science Joseph A. Goguen, Razvan Diaconescu
1992	J	`jnl`	A short Oxford survey of order sorted algebra.. Bull. EATCS Joseph A. Goguen, Razvan Diaconescu
1992	J	`jnl`	Contraction Algebras and Unification of (Infinite) Terms. J. Comput. Syst. Sci. Razvan Diaconescu
1992	—	`conf`	Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT Joseph A. Goguen, Razvan Diaconescu