Claudia Pons Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoxana S. Giandini, Claudia Pons, Gabriela Pérez: A two-level formal semantics for the QVT language. CIbSE 2009: 73-86
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Mariano Bibbo, Diego García, Claudia Pons: A Domain Specific Language for the Development of Collaborative Systems. SCCC 2008: 3-12
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Diego García: A Lightweight Approach for the Semantic Validation of Model Refinements. Electr. Notes Theor. Comput. Sci. 220(1): 43-61 (2008)
2007
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, Nashville (TN), USA, October 1st, 2007 CEUR-WS.org 2007
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos G. Neil, Claudia Pons: Aplicando MDA al Diseño de un Datawarehouse Temporal. JIISIC 2007: 181-189
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoxana S. Giandini, Gabriela Pérez, Claudia Pons: A Minimal OCL-based Profile for Model Transformation. JIISIC 2007: 237-246
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: Doctoral Symposium Foreword. MoDELS (Doctoral Symposium) 2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: Doctoral Symposium. MoDELS Workshops 2007: 287-292
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Diego García: Practical Verification Strategy for Refinement Conditions in UML Models. IFIP Workshop on Advanced Software Engineering 2006: 47-61
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Diego García: An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. MoDELS 2006: 646-660
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: Heuristics on the Definition of UML Refinement Patterns. SOFSEM 2006: 461-470
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Martin Chiaradía, Claudia Pons: Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns. ECEASST 5: (2006)
2004
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Roxana S. Giandini, Gabriela Pérez, Pablo Pesce, Valeria Becker, Jorge Longinotti, Javier Cengia: PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. UML Satellite Activities 2004: 246-249
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Gabriel Baum: Reasoning about the correctness of software development process. ICSE 2002: 708
2001
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Busse, Claudia Pons: Schema Evolution in Federated Information Systems. BTW 2001: 26-43
2000
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Maximo Prieto, Luis Olsina: A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. APAQS 2000: 53-62
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Gabriel Baum: Formal Foundations of Object-Oriented Modeling Notations. ICFEM 2000: 101-110
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Roxana S. Giandini, Gabriel Baum: Dependency Relations between Models in the Unified Process. IWSSD 2000: 149-158
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoxana S. Giandini, Claudia Pons: Relaciones entre Casos de Uso en el Unified Modeling Language. Revista Comlombiana de Computación 1(1): 73-90 (2000)
1999
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke: Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 1999: 23-30
1998
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. ECOOP Workshops 1998: 16-17
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Gabriel Baum, Miguel Felder: Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO 1998: 1-18
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos A. Tau, Clara Smith, Claudia Pons, Ana María Monteiro: Formally Speaking About Schemata, Bases, Classes and Objects. DASFAA 1995: 308-317
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Pons: Formal Semantics for Object Oriented Systems. SEKE 1995: 87-94
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau: Conceptual Layers in an Object Oriented Database. An Unified Model. DASFAA 1993: 141-147

Coauthor Index

1Gabriel Baum (Gabriel A. Baum) [1] [4] [5] [7] [9] [10] [13]
2Valeria Becker [14]
3Luis Mariano Bibbo [25]
4Susanne Busse [12]
5Robert Büssow [7]
6Javier Cengia [14]
7Juan Martin Chiaradía [15]
8Hartmut Ehrig [7]
9Miguel Felder [4] [5] [7]
10Diego García [17] [18] [24] [25]
11Robert Geisler [7]
12Roxana S. Giandini [8] [9] [14] [21] [26]
13Silvia E. Gordillo [1]
14Stefan Jähnichen [7]
15Marcus Klar [7]
16Ralf-Detlef Kutsche [7]
17Jorge Longinotti [14]
18Stefan Mann [7]
19Ana María Monteiro [3]
20Carlos G. Neil [22]
21Luis Olsina [11]
22Gabriela Pérez [14] [21] [26]
23Pablo Pesce [14]
24Maximo Prieto [11]
25Clara Smith [1] [3]
26Carlos A. Tau [1] [3]
27Sergio Waldoke [7]
28Herbert Weber [7]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)