German Vidal

Cited by

	All	Since 2019
Citations	2172	583
h-index	27	14
i10-index	62	16

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 4 9 15 39 47 39 65 98 56 79 93 45 172 136 79 95 65 106 41 47 49 49 55 55 79 137 101 83 101 82

Public access

View all

41 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
Naoki NishidaGraduate School of Informatics, Nagoya UniversityVerified email at is.nagoya-u.ac.jp
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielVerified email at informatik.uni-kiel.de
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
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Cèsar FerriVRAIN (UPV), ValGRAIVerified email at dsic.upv.es
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	141	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	136	1998
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	83	2018
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	73	2001
Specialization of lazy functional logic programs M Alpuente, M Falaschi, P Julián, G Vidal ACM Sigplan Notices 32 (12), 151-162, 1997	70	1997
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	68	2018
The narrowing-driven approach to functional logic program specialization E Albert, G Vidal New Generation Computing 20 (1), 3-26, 2002	65	2002
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	49	2008
Narrowing-driven partial evaluation of functional logic programs M Alpuente, M Falaschi, G Vidal Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996	49	1996
Dynamic slicing based on redex trails C Ochoa, J Silva, G Vidal Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004	41	2004
Causal-consistent replay debugging for message passing programs I Lanese, A Palacios, G Vidal Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019	40	2019
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	40	2005
A transformation system for lazy functional logic programs M Alpuente, M Falaschi, G Moreno, G Vidal Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999	40	1999
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	40	1998
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	38	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	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
A reversible semantics for Erlang N Nishida, A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2016	36	2016
Program inversion for tail recursive functions N Nishida, G Vidal 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011	30	2011
Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020	29	2020

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

Cited by

Co-authors