German Vidal

Cited by

	All	Since 2017
Citations	1918	477
h-index	26	11
i10-index	56	12

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120229 5 10 9 44 32 53 58 97 52 80 91 49 166 121 84 93 66 104 45 44 39 50 62 54 70 136 107 47

Public access

View all

42 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verified email at vrain.upv.es
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Josep SilvaUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielVerified email at informatik.uni-kiel.de
Naoki NishidaGraduate School of Informatics, Nagoya UniversityVerified email at is.nagoya-u.ac.jp
Adrian PalaciosAmazon Web ServicesVerified email at amazon.com
Gines MorenoUniversidad de Catilla-La manchaVerified email at uclm.es
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Javier Oliver VillarroyaProfesor ETSIT, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
J. Guadalupe RamosInstituto Tecnológico de MoreliaVerified email at pricemining.com
Pascual Julian-IranzoAssociate Professor, Department of Information Technologies and System, University of Castilla-La Mancha, SpainVerified email at uclm.es
Claudio OchoaResearch at Technical University of MadridVerified email at fi.upm.es
Salvador TamaritUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Sergio AntoyEx-Prof at Portland State UniversityVerified email at pdx.edu
Étienne PayetUniversité de La RéunionVerified email at univ-reunion.fr
César FerriVRAIN. Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Gustavo Arroyo DelgadoProfesor titular del CIIDETVerified email at ciidet.edu.mx
Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es

German Vidal

Prof. Computer Science, MIST, VRAIN, Universitat Politècnica de València

Verified email at dsic.upv.es - Homepage

logic programming explainable artificial intelligence debugging software testing and verification reversible computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Operational semantics for declarative multi-paradigm languages E Albert, M Hanus, F Huch, J Oliver, G Vidal Journal of Symbolic Computation 40 (1), 795-829, 2005	132	2005
Partial evaluation of functional logic programs M Alpuente, M Falaschi, G Vidal ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998	132	1998
A practical partial evaluator for a multi-paradigm declarative language E Albert, M Hanus, G Vidal International Symposium on Functional and Logic Programming, 326-342, 2001	69	2001
Specialization of lazy functional logic programs M Alpuente, M Falaschi, P Julián, G Vidal ACM Sigplan Notices 32 (12), 151-162, 1997	66	1997
The narrowing-driven approach to functional logic program specialization E Albert, G Vidal New Generation Computing 20 (1), 3-26, 2002	64	2002
CauDEr: a causal-consistent reversible debugger for Erlang I Lanese, N Nishida, A Palacios, G Vidal International Symposium on Functional and Logic Programming, 247-263, 2018	55	2018
Narrowing-driven partial evaluation of functional logic programs M Alpuente, M Falaschi, G Vidal European Symposium on Programming, 45-61, 1996	46	1996
A theory of reversibility for Erlang I Lanese, N Nishida, A Palacios, G Vidal Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018	45	2018
Improving control in functional logic program specialization E Albert, M Alpuente, M Falaschi, P Julián, G Vidal International Static Analysis Symposium, 262-277, 1998	42	1998
Dynamic slicing techniques for petri nets M Llorens, J Oliver, J Silva, S Tamarit, G Vidal Electronic Notes in Theoretical Computer Science 223, 153-165, 2008	40	2008
Dynamic slicing based on redex trails C Ochoa, J Silva, G Vidal Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004	39	2004
A semantics for tracing declarative multi-paradigm programs B Braßel, M Hanus, F Huch, G Vidal Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004	38	2004
A transformation system for lazy functional logic programs M Alpuente, M Falaschi, G Moreno, G Vidal International Symposium on Functional and Logic Programming, 147-162, 1999	38	1999
Specialization of functional logic programs based on needed narrowing M Alpuente, S Lucas, G Vidal, M Hanus Theory and Practice of Logic Programming 5 (3), 273-303, 2005	37	2005
Rules+ strategies for transforming lazy functional logic programs M Alpuente, M Falaschi, G Moreno, G Vidal Theoretical Computer Science 311 (1-3), 479-525, 2004	37	2004
Specialization of inductively sequential functional logic programs M Alpuente, M Hanus, S Lucas, G Vidal ACM SIGPLAN Notices 34 (9), 273-283, 1999	37	1999
Causal-consistent replay debugging for message passing programs I Lanese, A Palacios, G Vidal International Conference on Formal Techniques for Distributed Objects …, 2019	34	2019
A partial evaluation framework for curry programs E Albert, M Alpuente, M Harms, G Vidal International Conference on Logic for Programming Artificial Intelligence …, 1999	30	1999
A reversible semantics for Erlang N Nishida, A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2016	29	2016
Measuring the effectiveness of partial evaluation in functional logic languages E Albert, G Vidal, S Antoy International Workshop on Logic-Based Program Synthesis and Transformation …, 2000	28	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors