German Vidal

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2198	530
h-indeks	27	12
i10-indeks	62	15

180

135

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 4 9 15 43 43 39 65 98 56 79 93 46 171 136 81 93 65 106 40 47 49 49 59 52 78 143 102 82 98 90 14

Dostęp publiczny

Wyświetl wszystko

42 artykuły

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Zweryfikowany adres z vrain.upv.es
Moreno FalaschiProfessor of Computer ScienceZweryfikowany adres z unisi.it
Elvira AlbertComplutense University of SpainZweryfikowany adres z sip.ucm.es
Naoki NishidaGraduate School of Informatics, Nagoya UniversityZweryfikowany adres z i.nagoya-u.ac.jp
Josep SilvaUniversitat Politècnica de ValènciaZweryfikowany adres z dsic.upv.es
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielZweryfikowany adres z informatik.uni-kiel.de
Adrian PalaciosAmazon Web ServicesZweryfikowany adres z amazon.com
Ivan LaneseUniversity of BolognaZweryfikowany adres z unibo.it
Gines MorenoUniversidad de Catilla-La manchaZweryfikowany adres z uclm.es
Javier Oliver VillarroyaProfesor ETSIT, Universitat Politècnica de ValènciaZweryfikowany adres z dsic.upv.es
J. Guadalupe RamosInstituto Tecnológico de MoreliaZweryfikowany adres z pricemining.com
Pascual Julian-IranzoAssociate Professor, Department of Information Technologies and System, University of Castilla-La Mancha, SpainZweryfikowany adres z uclm.es
Claudio OchoaResearch at Technical University of MadridZweryfikowany adres z fi.upm.es
Salvador TamaritUniversitat Politècnica de ValènciaZweryfikowany adres z dsic.upv.es
Michael LeuschelHeinrich-Heine Universität DüsseldorfZweryfikowany adres z hhu.de
Sergio AntoyEx-Prof at Portland State UniversityZweryfikowany adres z pdx.edu
Étienne PayetUniversité de La RéunionZweryfikowany adres z univ-reunion.fr
Claudio Antares MezzinaUniversità degli studi di UrbinoZweryfikowany adres z uniurb.it
Cèsar FerriVRAIN (UPV), ValGRAIZweryfikowany adres z dsic.upv.es
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterZweryfikowany adres z le.ac.uk

Obserwuj

German Vidal

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

Zweryfikowany adres z dsic.upv.es - Strona główna

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


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	142	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	89	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
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	70	2018
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
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
Causal-consistent replay debugging for message passing programs I Lanese, A Palacios, G Vidal Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019	42	2019
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
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
A reversible semantics for Erlang N Nishida, A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2016	38	2016
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
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	33	2020
Program inversion for tail recursive functions N Nishida, G Vidal 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011	30	2011

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy