×

zbMATH — the first resource for mathematics

Silva, Josep

Compute Distance To:
Author ID: silva.josep Recent zbMATH articles by "Silva, Josep"
Published as: Silva, J.; Silva, Josep
External Links: MGP · ORCID
Documents Indexed: 28 Publications since 2002

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 44 times in 34 Documents Cited by Year
On a coupled logistic map with large strength. Zbl 1308.37017
Romero, N.; Silva, J.; Vivas, R.
6
2014
A vocabulary of program slicing-based techniques. Zbl 1293.68081
Silva, Josep
6
2012
Fast narrowing-driven partial evaluation for inductively sequential programs. Zbl 1302.68067
Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán
6
2005
Rotational linear Weingarten surfaces into the Euclidean sphere. Zbl 1259.53050
Barros, A.; Silva, J.; Sousa, P.
4
2012
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Improving offline narrowing-driven partial evaluation using size-change graphs. Zbl 1196.68037
Arroyo, Gustavo; Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán
3
2007
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
Enhancing declarative debugging with loop expansion and tree compression. Zbl 1394.68075
Insa, David; Silva, Josep; Tomás, César
2
2013
The MEB and CEB static analysis for CSP specifications. Zbl 1185.68207
Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
2
2009
A note on adjusting correlation matrices. Zbl 1013.91096
León, A.; Peris, J. E.; Silva, J.; Subiza, B.
2
2002
Algorithmic debugging generalized. Zbl 1395.68094
Insa, David; Silva, Josep
1
2018
Site-level web template extraction based on DOM analysis. Zbl 06667337
Alarte, Julián; Insa, David; Silva, Josep; Tamarit, Salvador
1
2016
Using the words/leafs ratio in the DOM tree for content extraction. Zbl 1283.68149
Insa, David; Silva, Josep; Tamarit, Salvador
1
2013
Static slicing of explicitly synchronized languages. Zbl 1253.68246
Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
1
2012
A tracking semantics for CSP. Zbl 1286.68083
Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
1
2010
Dynamic slicing techniques for Petri nets. Zbl 1337.68188
Llorens, M.; Oliver, J.; Silva, J.; Tamarit, S.; Vidal, G.
1
2008
Static slicing of rewrite systems. Zbl 1279.68051
Cheda, Diego; Silva, Josep; Vidal, Germán
1
2007
Algorithmic debugging generalized. Zbl 1395.68094
Insa, David; Silva, Josep
1
2018
Site-level web template extraction based on DOM analysis. Zbl 06667337
Alarte, Julián; Insa, David; Silva, Josep; Tamarit, Salvador
1
2016
On a coupled logistic map with large strength. Zbl 1308.37017
Romero, N.; Silva, J.; Vivas, R.
6
2014
Enhancing declarative debugging with loop expansion and tree compression. Zbl 1394.68075
Insa, David; Silva, Josep; Tomás, César
2
2013
Using the words/leafs ratio in the DOM tree for content extraction. Zbl 1283.68149
Insa, David; Silva, Josep; Tamarit, Salvador
1
2013
A vocabulary of program slicing-based techniques. Zbl 1293.68081
Silva, Josep
6
2012
Rotational linear Weingarten surfaces into the Euclidean sphere. Zbl 1259.53050
Barros, A.; Silva, J.; Sousa, P.
4
2012
Static slicing of explicitly synchronized languages. Zbl 1253.68246
Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
1
2012
A tracking semantics for CSP. Zbl 1286.68083
Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
1
2010
The MEB and CEB static analysis for CSP specifications. Zbl 1185.68207
Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
2
2009
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Dynamic slicing techniques for Petri nets. Zbl 1337.68188
Llorens, M.; Oliver, J.; Silva, J.; Tamarit, S.; Vidal, G.
1
2008
Improving offline narrowing-driven partial evaluation using size-change graphs. Zbl 1196.68037
Arroyo, Gustavo; Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán
3
2007
Static slicing of rewrite systems. Zbl 1279.68051
Cheda, Diego; Silva, Josep; Vidal, Germán
1
2007
Fast narrowing-driven partial evaluation for inductively sequential programs. Zbl 1302.68067
Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán
6
2005
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
A note on adjusting correlation matrices. Zbl 1013.91096
León, A.; Peris, J. E.; Silva, J.; Subiza, B.
2
2002

Citations by Year