Daniela Carneiro da Cruz

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Pedro Rangel Henriques

> Home > Persons > Daniela Carneiro da Cruz

Publications

2022
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/PintoHCC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/PintoHCC22
Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela Carneiro da Cruz, João Cruz:
Determining Programming Languages Complexity and Its Impact on Processing. SLATE 2022: 16:1-16:15
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/slate/CruzHC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/CruzHC15
João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Assessing Attribute Grammars' Quality: Metrics and a Tool. SLATE 2015: 137-144
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/slate/MartinsHC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/MartinsHC15
Vítor T. Martins, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation. SLATE 2015: 153-159
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/FonteBOCGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/FonteBOCGH14
Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques:
Partial Correctness and Continuous Integration in Computer Supported Education. CSEDU (2) 2014: 205-212
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/MartinsFHC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/MartinsFHC14
Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Plagiarism Detection: A Tool Survey and Comparison. SLATE 2014: 143-158
2013
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/CruzHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/CruzHP13
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Interactive Verification of Safety-Critical Software. COMPSAC 2013: 519-528
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HarrisonGMMHCR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HarrisonGMMHCR04
Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez:
2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). ICSE 2013: 1543-1544
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/FonteCGH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/FonteCGH13
Daniela Fonte, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques:
A Flexible Dynamic System for Automatic Grading of Programming Exercises. SLATE 2013: 129-144
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/PereiraOCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/PereiraOCH13
Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Choosing Grammars to Support Language Processing Courses. SLATE 2013: 155-168
2012
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BarrosCHP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BarrosCHP12
José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based slicing and slice graphs. Formal Aspects Comput. 24(2): 217-248 (2012)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HarrisonCHPLMMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HarrisonCHPLMMR12
Rachel Harrison, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira, Shih-Hsi Liu, Tim Menzies, Marjan Mernik, Daniel Rodríguez:
Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012). ACM SIGSOFT Softw. Eng. Notes 37(5): 34-35 (2012)
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/FonteBCGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/FonteBCGH12
Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques:
Program Analysis and Evaluation using Quimera. ICEIS (2) 2012: 209-219
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/FreitasCH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/FreitasCH12
Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
A Comment Analysis Approach for Program Comprehension. SEW 2012: 11-20
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/PereiraBCOH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/PereiraBCOH12
Maria João Varanda Pereira, Mario Marcelo Berón, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques:
Problem Domain Oriented Approach for Program Comprehension. SLATE 2012: 91-105
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/CostaCH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/CostaCH12
Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Automatic Test Generation for Space. SLATE 2012: 185-203
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1206-4477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-4477
Daniela Fonte, Ismael Vilas Boas, José Azevedo, José João Peixoto, Pedro Faria, Pedro Silva, Tiago Sá, Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Modeling Languages: metrics and assessing tools. CoRR abs/1206.4477 (2012)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1206-5104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-5104
Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Automatic Test Generation for Space. CoRR abs/1206.5104 (2012)
2011
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/LukovicPOCH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/LukovicPOCH11
Ivan 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)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/AreiasCHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/AreiasCHP11
Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/RegedorCH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RegedorCH11
Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
The Role of Best Practices to Appraise Open Source Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/CruzH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/CruzH11
Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Visualizing and Analyzing the Quality of XML Documents. J. Univers. Comput. Sci. 17(1): 126-150 (2011)
2010
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/KosarOMPCCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/KosarOMPCCH10
Tomaz 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)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/OliveiraPHCC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/OliveiraPHCC10
Nuno 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)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AreiasCHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AreiasCHP10
Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Safe Integration of Annotated Components in Open Source Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/adbis/LukovicPOCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/LukovicPOCH10
Ivan 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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CruzHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CruzHP10
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Contract-Based Slicing. ISoLA (1) 2010: 106-120
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ldta/CruzHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ldta/CruzHP10
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CruzH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CruzH10
Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Exploring, visualizing and slicing the soul of XML documents. SAC 2010: 40-46
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BarrosCHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BarrosCHP10
José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
2009
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/CruzH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/CruzH09
Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Assessing Databases in .NET - Comparing Approaches. ICEIS (1) 2009: 278-282
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/imcsit/KosarMCHCPO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imcsit/KosarMCHCPO09
Tomaz 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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/imcsit/OliveiraHCP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imcsit/OliveiraHCP09
Nuno 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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/imcsit/OliveiraHCPMKC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imcsit/OliveiraHCPMKC09
Nuno 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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vissoft/OliveiraPHC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vissoft/OliveiraPHC09
Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Visualization of domain-specific programs' behavior. VISSOFT 2009: 37-40
2008
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/PereiraMCH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/PereiraMCH08
Maria 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)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/FerreiraPCH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/FerreiraPCH08
Elisabete 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)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/CruzHP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/CruzHP08
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira:
ALMA versus DDD. Comput. Sci. Inf. Syst. 5(2): 119-136 (2008)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/FonsecaCHP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/FonsecaCHP08
Ruben 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
2007
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/CruzHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/CruzHP07
Daniela 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
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cit/RebernakMHCP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cit/RebernakMHCP06
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira:
Specifying Languages Using Aspect-oriented Approach: AspectLISA. J. Comput. Inf. Technol. 14(4): 343-350 (2006)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.