Silvia Clerici

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Graph Transformation

Probabilistic Inference

Belief Networks

Top Venues

High. Order Symb. Comput.

Publications

Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
Graphical and incremental type inference. A graph transformation approach. High. Order Symb. Comput. 26 (1-4) (2013)
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
Graphical and Incremental Type Inference: A Graph Transformation Approach. Trends in Functional Programming (2010)
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Silvia Clerici, Cristina Zoltan
A dynamically customizable process-centered evaluation model. PPDP (2009)
Silvia Clerici, Cristina Zoltan
A graphic functional-dataflow language. Trends in Functional Programming (2004)
Liliana Favre, Silvia Clerici
Integrating UML and Algebraic Specification Techniques. TOOLS (32) (1999)
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Class-Sort Polymorphism in GLIDER. COMPASS/ADT (1995)
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT (1992)
Silvia Clerici, Fernando Orejas
The Specification Language GSBL. ADT (1990)
Silvia Clerici, Fernando Orejas
GSBL: An Algebraic Specification Language Based on Inheritance. ECOOP (1988)
Silvia Clerici, Fernando Orejas, Pere Botella
The Specification Language for the GESTALT Environment. ADT (1988)
Fernando Orejas, Vera Sacristán, Silvia Clerici
Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science (1988)