| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Static slicing of explicitly synchronized languages.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Salvador Tamarit, César Tomás |
System Dependence Graphs in Sequential Erlang. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos J. Castillo, Héctor Valero, José Guadalupe Ramos, Josep Silva |
Information Extraction from Webpages Based on DOM Distances. |
CICLing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva |
A survey on algorithmic debugging strategies. |
Advances in Engineering Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
Optimal Divide and Query (extended version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
Optimal Divide and Query. |
EPIA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
An optimal strategy for algorithmic debugging. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit |
XQuery optimization based on program slicing. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
An algorithm to generate the context-sensitive synchronized control flow graph. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CSCFG, CSP |
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Translating CSP Specifications to Equivalent Petri Nets. |
PDPTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
An algorithmic debugger for Java. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
A Tracking Semantics for CSP. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Insa, Josep Silva |
Scaling Up Algorithmic Debugging with Virtual Execution Trees. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Graph Generation to Statically Represent CSP Processes. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva |
Modeling Implicit Knowledge from Microformatted Websites. |
SWWS |
2010 |
DBLP BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Heriberto Flores, Margarita Torres, Laura E. Mendoza, Juan C. Solorio |
Domain Specific Languages for Software Requirements Capture. |
Software Engineering Research and Practice |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sergio Lopez, Josep Silva |
A New Information Filtering Method for WebPages. |
DEXA Workshops |
2010 |
DBLP DOI BibTeX RDF |
HTML Filtering, Slicing Webpages, Information Filtering |
| 1 | Diego Cheda, Josep Silva |
State of the Practice in Algorithmic Debugging. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva |
Information Filtering and Information Retrieval with the Web Filtering Toolbar. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio |
A Technique for Information Retrieval from Microformatted Websites. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
| 1 | Josep Silva |
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. |
AI Commun. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal |
Dynamic Slicing Techniques for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing of lazy functional programs based on redex trails. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Lazy functional programming, Redex trails, Debugging, Slicing |
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
The MEB and CEB Static Analysis for CSP Specifications. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
Concurrent Programming, CSP, Program Slicing |
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Ensuring the quasi-termination of needed narrowing computations. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cheda, Josep Silva, Germán Vidal |
Static Slicing of Rewrite Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Germán Vidal |
Forward slicing of functional logic programs by partial evaluation. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva |
A Program Slicing Based Method to Filter XML/DTD Documents. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva |
Slicing XML Documents. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Germán Vidal |
Forward slicing of functional logic programs by partial evaluation |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
A Slicing Tool for Lazy Functional Logic Programs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Olaf Chitil |
Combining algorithmic debugging and program slicing. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
algorithmic debugging, program slicing |
| 1 | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva |
A Comparative Study of Algorithmic Debugging Strategies. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Jorge Belenguer, Matilde Celma |
Multi-source Materialized Views Maintenance: Multi-level Views. |
ADBIS |
2006 |
DBLP DOI BibTeX RDF |
multi-source views, view fragmentation, multi-level views, Data Warehousing, materialized views |
| 1 | Josep Silva |
Slicing XML Documents. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Fast narrowing-driven partial evaluation for inductively sequential programs. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, quasi-termination, narrowing |
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An offline partial evaluator for curry programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, narrowing |
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Lightweight program specialization via dynamic slicing. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, program specialization, dynamic slicing |
| 1 | Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal |
Towards CNC Programming Using Haskell. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing based on redex trails. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, redex trails, slicing |
| 1 | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal |
Run-Time Profiling of Functional Logic Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An Embedded Language Approach to Router Specification in Curry. |
SOFSEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Josep Silva, Germán Vidal |
Time Equations for Lazy Functional (Logic) Languages. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Josep Silva, Nour Hussein, José A. Carsí, Isidro Ramos |
El aspecto de distribución de PRISMA. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Josep Silva, Isidro Ramos, José A. Carsí |
An Algorithm to Compare OO-Conceptual Schemas. (PDF / PS) |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Jorge Belenguer, Matilde Celma |
Materialización de Vistas Multi-Origen: Vistas Multinivel. |
JISBD |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")