×

zbMATH — the first resource for mathematics

Vidal, Germán

Compute Distance To:
Author ID: vidal.german Recent zbMATH articles by "Vidal, Germán"
Published as: Vidal, G.; Vidal, German; Vidal, Germán
External Links: MGP · ORCID
Documents Indexed: 85 Publications since 1993, including 6 Books

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 328 times in 222 Documents Cited by Year
Ground state entanglement in quantum spin chains. Zbl 1175.82017
Latorre, J. I.; Rico, E.; Vidal, G.
52
2004
Tensor network states and geometry. Zbl 1231.82021
Evenbly, G.; Vidal, G.
43
2011
Algorithms for entanglement renormalization: boundaries, impurities and interfaces. Zbl 1310.82021
Evenbly, G.; Vidal, G.
22
2014
Time-dependent density-matrix renormalization-group using adaptive effective Hilbert spaces. Zbl 1075.82015
Daley, A. J.; Kollath, C.; Schollwöck, U.; Vidal, G.
22
2004
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
15
2005
A practical partial evaluation scheme for multi-paradigm declarative languages. Zbl 1037.68011
Albert, Elvira; Hanus, Michael; Vidal, Germán
10
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
Termination of narrowing via termination of rewriting. Zbl 1197.68049
Nishida, Naoki; Vidal, Germán
8
2010
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
8
2004
Cauder: a causal-consistent reversible debugger for Erlang. Zbl 06900736
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
7
2018
Simulation of quantum dynamics with quantum optical systems. Zbl 1152.81744
Jané, E.; Vidal, G.; Dür, W.; Zoller, P.; Cirac, J. I.
7
2003
Fast narrowing-driven partial evaluation for inductively sequential programs. Zbl 1302.68067
Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán
6
2005
Program inversion for tail recursive functions. Zbl 1236.68144
Nishida, Naoki; Vidal, German
5
2011
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
5
1998
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
Towards Erlang verification by term rewriting. Zbl 1453.68032
Vidal, Germán
4
2014
Chaos suppression through asymmetric coupling. Zbl 1163.37313
Bragard, J.; Vidal, G.; Mancini, H.; Mendoza, C.; Boccaletti, S.
4
2007
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
4
1996
Symbolic execution and thresholding for efficiently tuning fuzzy logic programs. Zbl 06791223
Moreno, Ginés; Penabad, Jaime; Riaza, José A.; Vidal, Germán
3
2017
A hybrid approach to conjunctive partial evaluation of logic programs. Zbl 1326.68064
Vidal, Germán
3
2011
Goal-directed and relative dependency pairs for proving the termination of narrowing. Zbl 1284.68186
Iborra, José; Nishida, Naoki; Vidal, Germán
3
2010
Fast offline partial evaluation of large logic programs. Zbl 1185.68164
Leuschel, Michael; Vidal, Germán
3
2009
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Termination of narrowing in left-linear constructor systems. Zbl 1137.68420
Vidal, Germán
3
2008
Automatic partial inversion of inductively sequential functions. Zbl 1226.68024
Almendros-Jiménez, Jesús M.; Vidal, Germán
3
2007
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
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
A practical partial evaluator for a multi-paradigm declarative language. Zbl 0977.68593
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2001
Using an abstract representation to specialize functional logic programs. Zbl 0988.68516
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2000
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2018
A reversible semantics for Erlang. Zbl 06791230
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2017
Concolic testing in logic programming. Zbl 1379.68078
Mesnard, Fred; Payet, Étienne; Vidal, Germán
2
2015
Towards symbolic execution in Erlang. Zbl 1434.68063
Vidal, Germán
2
2015
Concolic execution and test case generation in Prolog. Zbl 1457.68043
Vidal, Germán
2
2015
Computing more specific versions of conditional rewriting systems. Zbl 1394.68203
Nishida, Naoki; Vidal, Germán
2
2013
Annotation of logic programs for independent AND-parallelism by partial evaluation. Zbl 1260.68068
Vidal, German
2
2012
Fundamentals of a classical chaos-based cryptosystem with some quantum cryptography features. Zbl 1258.94042
Vidal, G.; Baptista, M. S.; Mancini, H.
2
2012
Forward slicing by conjunctive partial deduction and argument filtering. Zbl 1108.68424
Leuschel, Michael; Vidal, Germán
2
2005
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
An operational semantics for declarative multi-paradigm languages. Zbl 1270.68054
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
2
2002
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
Reversible computation in term rewriting. Zbl 1381.68107
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2018
On the completeness of selective unification in concolic testing of logic programs. Zbl 06791227
Mesnard, Fred; Payet, Étienne; Vidal, Germán
1
2017
Reversible term rewriting. Zbl 1387.68147
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2016
Concolic execution in functional programming by program instrumentation. Zbl 06539459
Palacios, Adrián; Vidal, Germán
1
2015
Reducing relative termination to dependency pair problems. Zbl 06515505
Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa
1
2015
A finite representation of the narrowing space. Zbl 1453.68054
Nishida, Naoki; Vidal, Germán
1
2014
Fast offline partial evaluation of logic programs. Zbl 1358.68055
Leuschel, Michael; Vidal, Germán
1
2014
Fast and accurate strong termination analysis with an application to partial evaluation. Zbl 1274.68044
Leuschel, Michael; Tamarit, Salvador; Vidal, Germán
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
Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010
Vidal, Germán
1
2004
A residualizing semantics for the partial evaluation of functional logic programs. Zbl 1042.68023
Albert, Elvira; Hanus, Michael; Vidal, Germán
1
2003
Symbolic profiling for multi-paradigm declarative languages. Zbl 1073.68545
Albert, Elvira; Vidal, Germán
1
2002
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
Cauder: a causal-consistent reversible debugger for Erlang. Zbl 06900736
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
7
2018
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2018
Reversible computation in term rewriting. Zbl 1381.68107
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2018
Symbolic execution and thresholding for efficiently tuning fuzzy logic programs. Zbl 06791223
Moreno, Ginés; Penabad, Jaime; Riaza, José A.; Vidal, Germán
3
2017
A reversible semantics for Erlang. Zbl 06791230
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2017
On the completeness of selective unification in concolic testing of logic programs. Zbl 06791227
Mesnard, Fred; Payet, Étienne; Vidal, Germán
1
2017
Reversible term rewriting. Zbl 1387.68147
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2016
Concolic testing in logic programming. Zbl 1379.68078
Mesnard, Fred; Payet, Étienne; Vidal, Germán
2
2015
Towards symbolic execution in Erlang. Zbl 1434.68063
Vidal, Germán
2
2015
Concolic execution and test case generation in Prolog. Zbl 1457.68043
Vidal, Germán
2
2015
Concolic execution in functional programming by program instrumentation. Zbl 06539459
Palacios, Adrián; Vidal, Germán
1
2015
Reducing relative termination to dependency pair problems. Zbl 06515505
Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa
1
2015
Algorithms for entanglement renormalization: boundaries, impurities and interfaces. Zbl 1310.82021
Evenbly, G.; Vidal, G.
22
2014
Towards Erlang verification by term rewriting. Zbl 1453.68032
Vidal, Germán
4
2014
A finite representation of the narrowing space. Zbl 1453.68054
Nishida, Naoki; Vidal, Germán
1
2014
Fast offline partial evaluation of logic programs. Zbl 1358.68055
Leuschel, Michael; Vidal, Germán
1
2014
Computing more specific versions of conditional rewriting systems. Zbl 1394.68203
Nishida, Naoki; Vidal, Germán
2
2013
Annotation of logic programs for independent AND-parallelism by partial evaluation. Zbl 1260.68068
Vidal, German
2
2012
Fundamentals of a classical chaos-based cryptosystem with some quantum cryptography features. Zbl 1258.94042
Vidal, G.; Baptista, M. S.; Mancini, H.
2
2012
Tensor network states and geometry. Zbl 1231.82021
Evenbly, G.; Vidal, G.
43
2011
Program inversion for tail recursive functions. Zbl 1236.68144
Nishida, Naoki; Vidal, German
5
2011
A hybrid approach to conjunctive partial evaluation of logic programs. Zbl 1326.68064
Vidal, Germán
3
2011
Termination of narrowing via termination of rewriting. Zbl 1197.68049
Nishida, Naoki; Vidal, Germán
8
2010
Goal-directed and relative dependency pairs for proving the termination of narrowing. Zbl 1284.68186
Iborra, José; Nishida, Naoki; Vidal, Germán
3
2010
Fast and accurate strong termination analysis with an application to partial evaluation. Zbl 1274.68044
Leuschel, Michael; Tamarit, Salvador; Vidal, Germán
1
2010
Fast offline partial evaluation of large logic programs. Zbl 1185.68164
Leuschel, Michael; Vidal, Germán
3
2009
Dynamic slicing of lazy functional programs based on redex trails. Zbl 1192.68139
Ochoa, Claudio; Silva, Josep; Vidal, Germán
3
2008
Termination of narrowing in left-linear constructor systems. Zbl 1137.68420
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
Chaos suppression through asymmetric coupling. Zbl 1163.37313
Bragard, J.; Vidal, G.; Mancini, H.; Mendoza, C.; Boccaletti, S.
4
2007
Automatic partial inversion of inductively sequential functions. Zbl 1226.68024
Almendros-Jiménez, Jesús M.; Vidal, Germán
3
2007
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
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
15
2005
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
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
Forward slicing by conjunctive partial deduction and argument filtering. Zbl 1108.68424
Leuschel, Michael; Vidal, Germán
2
2005
Ground state entanglement in quantum spin chains. Zbl 1175.82017
Latorre, J. I.; Rico, E.; Vidal, G.
52
2004
Time-dependent density-matrix renormalization-group using adaptive effective Hilbert spaces. Zbl 1075.82015
Daley, A. J.; Kollath, C.; Schollwöck, U.; Vidal, G.
22
2004
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
8
2004
Cost-augmented partial evaluation of functional logic programs. Zbl 1075.68010
Vidal, Germán
1
2004
Simulation of quantum dynamics with quantum optical systems. Zbl 1152.81744
Jané, E.; Vidal, G.; Dür, W.; Zoller, P.; Cirac, J. I.
7
2003
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
A residualizing semantics for the partial evaluation of functional logic programs. Zbl 1042.68023
Albert, Elvira; Hanus, Michael; Vidal, Germán
1
2003
A practical partial evaluation scheme for multi-paradigm declarative languages. Zbl 1037.68011
Albert, Elvira; Hanus, Michael; Vidal, Germán
10
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
An operational semantics for declarative multi-paradigm languages. Zbl 1270.68054
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
2
2002
Symbolic profiling for multi-paradigm declarative languages. Zbl 1073.68545
Albert, Elvira; Vidal, Germán
1
2002
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
A practical partial evaluator for a multi-paradigm declarative language. Zbl 0977.68593
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2001
Using an abstract representation to specialize functional logic programs. Zbl 0988.68516
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2000
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
Specialization of inductively sequential functional logic programs. Zbl 1345.68090
Alpuente, María; Hanus, Michael; Lucas, Salvador; Vidal, Germán
3
1999
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
5
1998
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
4
1996
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
all top 5

Cited by 382 Authors

27 Vidal, Germán
14 Calabrese, Pasquale
11 Nishida, Naoki
10 Alpuente, María
8 Moreno, Ginés
7 Antoy, Sergio
6 Castro-Alvaredo, Olalla A.
6 Doyon, Benjamin
6 Escobar, Santiago
6 Hanus, Michael
6 Meseguer Guaita, José
6 Takayanagi, Tadashi
5 Albert, Elvira
5 Cardy, John L.
5 Falaschi, Moreno
4 López-Fraguas, Francisco Javier
4 Palacios, Adrian G.
4 Rodríguez-Hortalá, Juan
4 Silva, Josep
4 Tamarit, Salvador
3 Czech, Bartłomiej
3 De Fazio, Cecilia
3 Gallagher, John P.
3 Greco, Sergio
3 Iborra, José
3 Korepin, Vladimir E.
3 Marolf, Donald M.
3 Martin-Martin, Enrique
3 Mezzina, Claudio Antares
3 Nozaki, Masahiro
3 Penabad, Jaime
3 Riesco, Adrián
3 Ruggiero, Paola
3 Sakai, Masahiko
3 Sánchez-Hernández, Jaime
3 Sully, James
3 Swingle, Brian G.
3 Szécsényi, István M.
3 Trubitsyna, Irina
2 Barbón, Jose L. F.
2 Bianchini, Davide
2 Caballero, Rafael E.
2 Calautti, Marco
2 Caputa, Paweł
2 Correa, Francisco José
2 Evenbly, G.
2 Fischer, Sebastian
2 Gómez-Zamalloa, Miguel
2 Harlow, Daniel
2 Hirano, Takaaki
2 Iranzo, Pascual Julián
2 Jones, Vaughan Frederick Randal
2 Julián, Pascual
2 Katsura, Hosho
2 Kundu, Nilay
2 Lamprou, Lampros
2 Lanese, Ivan
2 Lin, Feng-Li
2 Mariën, Michaël
2 McCandlish, Samuel
2 Medić, Doriana
2 Miyaji, Masamichi
2 Modak, Ranjan
2 Molina-Vilaplana, Javier
2 Molinaro, Cristian
2 Murciano, Sara
2 Myers, Robert C.
2 Nagashima, Masanori
2 Nguyen, Phuc Hong
2 Numasawa, Tokiro
2 Ojeda, Pedro
2 Osborne, Tobias J.
2 Payet, Étienne
2 Piroli, Lorenzo
2 Puebla, Germán
2 Ramos, J. Guadalupe
2 Ren, Jie
2 Riaza, José Antonio
2 Schmitteckert, Peter
2 Thati, Prasanna
2 Ulidowski, Irek
2 Verstraete, Frank
2 Vidal, Gerard
2 Wang, Yazhen
2 Xu, Ying
2 Yamada, Akihisa
2 Yoshida, Beni
2 Zhang, Jiaju
2 Zhu, Shiqun
2 Zoller, Peter
1 Abajo-Arrastia, Javier
1 Abdul-Rahman, Houssam M.
1 Adami, Christoph
1 Agón, Cesar A.
1 Akhtarshenas, Seyed Javad
1 Alba, Vincenzo
1 Almheiri, Ahmed
1 Aparício, João
1 Arias, Raúl E.
1 Arroyo, David
...and 282 more Authors
all top 5

Cited in 56 Serials

42 Journal of High Energy Physics
15 Journal of Statistical Mechanics: Theory and Experiment
9 New Journal of Physics
7 Journal of Statistical Physics
7 Nuclear Physics. B
7 Theory and Practice of Logic Programming
7 Journal of Logical and Algebraic Methods in Programming
5 Journal of Mathematical Physics
5 Theoretical Computer Science
4 Communications in Mathematical Physics
4 International Journal of Theoretical Physics
4 Physics Letters. A
4 Journal of Physics A: Mathematical and Theoretical
3 Classical and Quantum Gravity
3 Information Processing Letters
3 Physics Letters. B
3 Fuzzy Sets and Systems
3 Journal of Symbolic Computation
3 Information and Computation
3 Annals of Physics
3 Chaos
3 Higher-Order and Symbolic Computation
3 Quantum Information Processing
2 Statistical Science
2 Formal Aspects of Computing
1 Acta Informatica
1 Computer Physics Communications
1 General Relativity and Gravitation
1 Journal of Computational Physics
1 Letters in Mathematical Physics
1 Moscow University Physics Bulletin
1 Reviews of Modern Physics
1 Fortschritte der Physik
1 Mathematics and Computers in Simulation
1 Science of Computer Programming
1 Acta Applicandae Mathematicae
1 New Generation Computing
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Proceedings of the National Academy of Sciences of the United States of America
1 Applicable Algebra in Engineering, Communication and Computing
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 SIAM Journal on Scientific Computing
1 Journal of Functional Programming
1 Annalen der Physik. 8th Series
1 Physical Review Letters
1 The Journal of Logic and Algebraic Programming
1 Multiscale Modeling & Simulation
1 ACM Transactions on Computational Logic
1 Foundations of Physics
1 Logical Methods in Computer Science
1 Advances in Mathematical Physics
1 Science China. Information Sciences
1 Symmetry
1 Asian Journal of Control
1 Annalen der Physik

Citations by Year