Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Mossakowski, Till
2000.
Recent Trends in Algebraic Development Techniques.
Vol. 1827,
Issue. ,
p.
252.
Roşu, Grigore
2001.
Equational axiomatizability for coalgebra.
Theoretical Computer Science,
Vol. 260,
Issue. 1-2,
p.
229.
Goguen, Joseph
and
Roşu, Grigore
2002.
Institution Morphisms.
Formal Aspects of Computing,
Vol. 13,
Issue. 3-5,
p.
274.
Diaconescu, Răzvan
and
Futatsugi, Kokichi
2002.
Logical foundations of CafeOBJ.
Theoretical Computer Science,
Vol. 285,
Issue. 2,
p.
289.
Goguen, Joseph
and
Roşu, Grigore
2004.
From Object-Orientation to Formal Methods.
Vol. 2635,
Issue. ,
p.
96.
Popescu, Andrei
and
Roşu, Grigore
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
331.
Diaconescu, Răzvan
2006.
Algebra, Meaning, and Computation.
Vol. 4060,
Issue. ,
p.
65.
Diaconescu, Răzvan
2011.
Grothendieck Inclusion Systems.
Applied Categorical Structures,
Vol. 19,
Issue. 5,
p.
783.
Diaconescu, Răzvan
and
Ţuţu, Ionuţ
2011.
On the algebra of structured specifications.
Theoretical Computer Science,
Vol. 412,
Issue. 28,
p.
3145.
Diaconescu, Răzvan
2012.
An axiomatic approach to structuring specifications.
Theoretical Computer Science,
Vol. 433,
Issue. ,
p.
20.
RABE, FLORIAN
2013.
A logical framework combining model and proof theory.
Mathematical Structures in Computer Science,
Vol. 23,
Issue. 5,
p.
945.
Diaconescu, Răzvan
and
Ţuţu, Ionuţ
2014.
Foundations for structuring behavioural specifications.
Journal of Logical and Algebraic Methods in Programming,
Vol. 83,
Issue. 3-4,
p.
319.
Ţuţu, Ionuţ
2014.
Parameterisation for abstract structured specifications.
Theoretical Computer Science,
Vol. 517,
Issue. ,
p.
102.
HILBERDINK, HENDRIK
2015.
Inclusions for partiality.
Mathematical Structures in Computer Science,
Vol. 25,
Issue. 1,
p.
46.
Diaconescu, Răzvan
2016.
Quasi-varieties and initial semantics for hybridized institutions.
Journal of Logic and Computation,
Vol. 26,
Issue. 3,
p.
855.
Mossakowski, Till
Rabe, Florian
and
Codescu, Mihai
2017.
Recent Trends in Algebraic Development Techniques.
Vol. 10644,
Issue. ,
p.
170.
Rabe, Florian
2017.
How to identify, translate and combine logics?.
Journal of Logic and Computation,
Vol. 27,
Issue. 6,
p.
1753.
Sannella, Donald
and
Tarlecki, Andrzej
2018.
Graph Transformation, Specifications, and Nets.
Vol. 10800,
Issue. ,
p.
266.
Mossakowski, Till
and
Krieg-Brückner, Bernd
2018.
Partial pushout semantics of generics in DOL.
Theoretical Computer Science,
Vol. 741,
Issue. ,
p.
58.
Diaconescu, Răzvan
2023.
Preservation in many-valued truth institutions.
Fuzzy Sets and Systems,
Vol. 456,
Issue. ,
p.
38.