Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Diaconescu, Răzvan
                                  1998.
                                  Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.
                                  
                                  
                                  Applied Categorical Structures, 
                                  Vol. 6, 
                                  Issue. 4, 
                                
                                    p. 
                                    427.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Diaconescu, Răzvan
                                  2002.
                                  Grothendieck Institutions.
                                  
                                  
                                  Applied Categorical Structures, 
                                  Vol. 10, 
                                  Issue. 4, 
                                
                                    p. 
                                    383.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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
                                  2002.
                                  Institution Morphisms.
                                  
                                  
                                  Formal Aspects of Computing, 
                                  Vol. 13, 
                                  Issue. 3-5, 
                                
                                    p. 
                                    274.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Ţuţu, Ionuţ
                                  2014.
                                  Parameterisation for abstract structured specifications.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 517, 
                                  Issue. , 
                                
                                    p. 
                                    102.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.