dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daniela Carneiro da Cruz Home Page Coauthor index pubzone.org

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

DBLP keys2012
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)
2011
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: A DSL for PIM specifications: Design and attribute grammar based implementation. Comput. Sci. Inf. Syst. 8(2): 379-403 (2011)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques: Visualizing and Analyzing the Quality of XML Documents. J. UCS 17(1): 126-150 (2011)
2010
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: An Attribute Grammar Specification of IIS*Case PIM Concepts. ADBIS (Local Proceedings) 2010: 110-124
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario M. Beron: Influence of Synchronized Domain Visualizations on Program Comprehension. ICPC 2010: 192-195
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario M. Beron, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz: SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains. ICPC 2010: 60-61
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto: Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques: Exploring, visualizing and slicing the soul of XML documents. SAC 2010: 40-46
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Comparing general-purpose and domain-specific languages: An empirical study. Comput. Sci. Inf. Syst. 7(2): 247-264 (2010)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer: VisualLISA: A visual environment to develop attribute grammars. Comput. Sci. Inf. Syst. 7(2): 265-289 (2010)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Safe Integration of Annotated Components in Open Source Projects. ECEASST 33: (2010)
2009
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques: Assessing Databases in .NET - Comparing Approaches. ICEIS (1) 2009: 278-282
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira: Influence of domain-specific notation to program understanding. IMCSIT 2009: 675-682
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT 2009: 691-698
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek: Applying program comprehension techniques to karel robot programs. IMCSIT 2009: 699-706
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz: Visualization of domain-specific programs' behavior. VISSOFT 2009: 37-40
2008
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: How to Interconnect Operational and Behavioral Views of Web Applications. ICPC 2008: 263-267
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. 5(2): 1-17 (2008)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: ALMA versus DDD. Comput. Sci. Inf. Syst. 5(2): 119-136 (2008)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Comput. Sci. Inf. Syst. 5(2): 87-101 (2008)
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: Constructing program animations using a pattern-based approach. Comput. Sci. Inf. Syst. 4(2): 99-116 (2007)
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: Specifying Languages Using Aspect-oriented Approach: AspectLISA. CIT 14(4): 343-350 (2006)

Coauthor Index

1Sergio Areias [12] [19] [24]
2José Bernardo Barros [15] [26]
3Mario M. Beron [20] [21]
4Bastian Cramer [13]
5Matej Crepinsek [8] [10] [14]
6Elisabete Ferreira [3]
7Ruben Filipe Cardoso da Fonseca [6]
8Pedro Rangel Henriques [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [22] [23] [24] [25] [26]
9Tomaz Kosar [8] [10] [14]
10Ivan Lukovic [22] [25]
11Marjan Mernik [1] [5] [8] [10] [14]
12Nuno Oliveira [7] [8] [9] [10] [13] [14] [20] [21] [22] [25]
13Rogério Paulo [3]
14Maria João Varanda Pereira [1] [2] [4] [5] [6] [7] [8] [9] [10] [13] [14] [20] [21] [22] [25]
15Jorge Sousa Pinto [12] [15] [17] [18] [19] [24] [26]
16Damijan Rebernak [1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page