| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Assertion-based slicing and slice graphs.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
GammaPolarSlicer.  |
Comput. Sci. Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Oliveira, Nuno F. Rodrigues, Pedro Rangel Henriques |
Domain-specific language for coordination patterns.  |
Comput. Sci. Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques |
Visualizing and Analyzing the Quality of XML Documents.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Safe Integration of Annotated Components in Open Source Projects.  |
ECEASST  |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Assertion-based Slicing and Slice Graphs.  |
SEFM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques |
Exploring, visualizing and slicing the soul of XML documents.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
GamaSlicer: an online laboratory for program verification and analysis.  |
LDTA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Contract-Based Slicing.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques |
Assessing Databases in .NET - Comparing Approaches.  |
ICEIS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira |
VisualLISA: Visual programming environment for attribute grammars specification.  |
IMCSIT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz |
Visualization of domain-specific programs' behavior.  |
VISSOFT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques |
SmartClean: An Incremental Data Cleaning Tool.  |
QSIC  |
2009 |
DBLP DOI BibTeX RDF |
Data Quality Problems, Architecture, Tool, Detection, Correction, Data Cleaning |
| 1 | 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.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
Program comprehension for domain-specific languages.  |
Comput. Sci. Inf. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira |
ALMA versus DDD.  |
Comput. Sci. Inf. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques, Flávio Xavier Ferreira |
Iterative XML Search Based on Data and Associated Semantics.  |
ICEIS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques |
A framework to specify, extract and manage topic maps driven by ontology.  |
SIGDOC  |
2008 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, interoperability, information systems, topic maps |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira |
Constructing program animations using a pattern-based approach.  |
Comput. Sci. Inf. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovani Rubert Librelotto, Renato Preigschadt de Azevedo, José Carlos Ramalho, Pedro Rangel Henriques |
Comparing Topic Maps Constraint Specification Languages.  |
TMRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira |
Specifying Languages Using Aspect-oriented Approach: AspectLISA.  |
CIT  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira |
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques |
A Formal Definition of Selection Operations that Extend Xquery with Interactive Query Construction.  |
WEBIST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paulo Oliveira, Maria de Fatima Rodrigues, Pedro Rangel Henriques |
An Ontology-Based Approach for Data Cleaning.  |
ICIQ  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques |
A Formal Definition of Data Quality Problems.  |
IQ  |
2005 |
DBLP BibTeX RDF |
|
| 1 | José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques |
Constraining Topic Maps: A TMCL declarative implementation.  |
Extreme Markup Languages®  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques |
IXQuery: Interactive and Information Retrieval Xquery.  |
ELPUB  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gustavo V. Arnold, Pedro Rangel Henriques, Jaime C. Fonseca |
A graphical interface based on grafcet for programming industrial robots off-line.  |
ICINCO  |
2005 |
DBLP BibTeX RDF |
|
| 1 | José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques |
Metamorphosis - A Topic Maps Based Environment to Handle Heterogeneous Information Resources.  |
TMRA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques |
TM-Builder: An Ontology Builder based on XML Topic Maps.  |
CLEI Electron. J.  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques |
Presenting the results of relevance-oriented search over XML documents.  |
ACM Symposium on Document Engineering  |
2004 |
DBLP DOI BibTeX RDF |
user interface for XML retrieval |
| 1 | José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques |
ADRIAN: E-Learning Content Production (Creating Online Exams).  |
ELPUB  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques |
XCSL: XML Constraint Specification Language.  |
CLEI Electron. J.  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maria João Varanda Pereira, Pedro Rangel Henriques |
Visualization/animation of programs in Alma: obtaining different results.  |
HCC  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paulo Jorge Matos, Pedro Rangel Henriques |
Dolphin-Few - An Architecture for Compilers Development, Monitoring and Use on the Web.  |
iiWAS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques |
Interactive information retrieval from XML documents represented by attribute grammars.  |
ACM Symposium on Document Engineering  |
2003 |
DBLP DOI BibTeX RDF |
XML representation, interactive retrieval |
| 1 | José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques |
Ontology Driven Websites/Metamorphosis: A Framework to Specify and Manage Ontology Driven Websites.  |
ELPUB  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alda Lopes Gançarski, Pedro Rangel Henriques |
IXDIRQL: An Interactive XML Data and Information Retrieval Query Language.  |
ELPUB  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
Automatic Generation of Language-based Tools.  |
Electr. Notes Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques |
Bidirecional Conversion betwenn XML Documents and Relational Data Bases.  |
CSCWD  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Maria de Fatima Rodrigues, Pedro Rangel Henriques |
Data Reduction to Improve Knowledge Extraction.  |
ICEIS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maria João Varanda Pereira, Pedro Rangel Henriques |
Visualization/Animation of Programs based on Abstract Representations and Formal Mappings.  |
HCC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques |
How to Make KDD Process More Accessible to Users.  |
ICEIS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | José Carlos Ramalho, José João Almeida, Jorge Gustavo Rocha, Pedro Rangel Henriques |
SGML Documents: Where Does Quality Go?  |
Markup Languages  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques |
An Intelligent Retail Analysis System.  |
ICEIS  |
1999 |
DBLP BibTeX RDF |
|
| 1 | S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira (eds.) |
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures  |
|
1999 |
DBLP BibTeX RDF |
|
| 1 | José Carlos Ramalho, José João Almeida, Pedro Rangel Henriques |
Algebraic Specification of Documents.  |
Theor. Comput. Sci.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonor Barroca, Pedro Rangel Henriques |
A framework and patterns for the specification of reactive systems.  |
Information & Software Technology  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques |
Extracting Knowledge Patterns from Ticket Data.  |
Discovery Science  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José António Mendes, Pedro Rangel Henriques |
Heuristic Parsing and Search Space Pruning.  |
EPIA  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Rangel Henriques |
A Semantic Evaluator Generating System in Prolog.  |
PLILP  |
1988 |
DBLP DOI BibTeX RDF |
|