Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gogolla, Martin
and
Herzig, Rudolf
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
290.
Baumeister, Hubert
1995.
TAPSOFT '95: Theory and Practice of Software Development.
Vol. 915,
Issue. ,
p.
756.
Parisi-Presicce, Francesco
and
Pierantonio, Alfonso
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
406.
Zucca, Elena
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
483.
Gogolla, Martin
1996.
Design and Implementation of Symbolic Computation Systems.
Vol. 1128,
Issue. ,
p.
126.
Große-Rhode, Martin
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
222.
Breu, Ruth
and
Zucca, Elena
1996.
An algebraic semantic framework for object oriented languages with concurrency (extended abstract).
Formal Aspects of Computing,
Vol. 8,
Issue. 6,
p.
706.
Zucca, Elena
1996.
Mathematical Foundations of Computer Science 1996.
Vol. 1113,
Issue. ,
p.
579.
Ancona, Davide
and
Zucca, Elena
1996.
Algebraic Methodology and Software Technology.
Vol. 1101,
Issue. ,
p.
148.
Costa, Gerardo
and
Reggio, Gianna
1997.
Specification of abstract dynamic-data types: A temporal logic approach.
Theoretical Computer Science,
Vol. 173,
Issue. 2,
p.
513.
Große-Rhode, Martin
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
269.
Grö\e-Rhode, Martin
1998.
Fundamental Approaches to Software Engineering.
Vol. 1382,
Issue. ,
p.
107.
Ehrig, H.
Gajewsky, M.
and
Wolter, U.
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
1.
Gaudel, Marie-Claude
Khoury, Carole
and
Zamulin, Alexandre
1999.
Fundamental Approaches to Software Engineering.
Vol. 1577,
Issue. ,
p.
114.
Astesiano, Egidio
Reggio, Gianna
and
Zucca, Elena
1999.
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages.
Science of Computer Programming,
Vol. 34,
Issue. 3,
p.
163.
Zucca, Elena
1999.
From static to dynamic abstract data-types: an institution transformation.
Theoretical Computer Science,
Vol. 216,
Issue. 1-2,
p.
109.
Baumeister, Hubert
and
Zamulin, Alexandre
2000.
Integrated Formal Methods.
Vol. 1945,
Issue. ,
p.
3.
Broy, Manfred
and
Wirsing, Martin
2000.
Algebraic Methodology and Software Technology.
Vol. 1816,
Issue. ,
p.
89.
Gaudel, Marie-Claude
and
Zamulin, Alexandre
2000.
Perspectives of System Informatics.
Vol. 1755,
Issue. ,
p.
17.
Ehrig, Hartmut
and
Orejas, Fernando
2001.
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Electronic Notes in Theoretical Computer Science,
Vol. 50,
Issue. 3,
p.
199.