export record
dblp key:
conf/interaccion/GomezTM16 share record
persistent URL:
Javier Gómez , Juan Carlos Torrado , Germán Montoro : Using smartwatches for behavioral issues in ASD. Interacción 2016 : 28 share record
persistent URL:
Naoki Nishida , Adrián Palacios , Germán Vidal : A Reversible Semantics for Erlang. LOPSTR 2016 : 259-274 share record
persistent URL:
Fred Mesnard , Étienne Payet , Germán Vidal : On the Completeness of Selective Unification in Concolic Testing of Logic Programs. LOPSTR 2016 : 205-221 share record
persistent URL:
Ginés Moreno , Jaime Penabad , José A. Riaza , Germán Vidal : Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. LOPSTR 2016 : 131-147 share record
persistent URL:
Naoki Nishida , Adrián Palacios , Germán Vidal : Reversible Term Rewriting. FSCD 2016 : 28:1-28:18 share record
persistent URL:
James Cheney , Germán Vidal : Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. ACM 2016 , ISBN 978-1-4503-4148-6 [contents] share record
persistent URL:
Naoki Nishida , Adrián Palacios , Germán Vidal : Towards Reversible Computation in Erlang. CoRR abs/1608.05521 (2016 )export record
dblp key:
journals/corr/MesnardPV16 share record
persistent URL:
Fred Mesnard , Étienne Payet , Germán Vidal : On the Completeness of Selective Unification in Concolic Testing of Logic Programs. CoRR abs/1608.03054 (2016 )share record
persistent URL:
Ginés Moreno , Jaime Penabad , Germán Vidal : Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR abs/1608.04688 (2016 )2015 share record
persistent URL:
Naoki Nishida , Germán Vidal : A framework for computing finite SLD trees. J. Log. Algebraic Methods Program. 84 (2 ) : 197-217 (2015 )share record
persistent URL:
Javier Gómez , Germán Montoro , Juan Carlos Torrado , Adalberto Plaza : An Adapted Wayfinding System for Pedestrians with Cognitive Disabilities. Mob. Inf. Syst. 2015 : 520572:1-520572:11 (2015 )share record
persistent URL:
Germán Vidal : Symbolic execution as a basis for termination analysis. Sci. Comput. Program. 102 : 142-157 (2015 )export record
dblp key:
journals/tplp/MesnardPV15 share record
persistent URL:
Fred Mesnard , Étienne Payet , Germán Vidal : Concolic testing in logic programming. Theory Pract. Log. Program. 15 (4-5 ) : 711-725 (2015 )share record
persistent URL:
José Iborra , Naoki Nishida , Germán Vidal , Akihisa Yamada : Reducing Relative Termination to Dependency Pair Problems. CADE 2015 : 163-178 export record
dblp key:
conf/ibpria/RodriguezFPF15 share record
persistent URL:
Germán Rodríguez , María Fuciños , Xosé M. Pardo , Xosé R. Fernández-Vidal : Videogrammetry System for Wind Turbine Vibration Monitoring. IbPRIA 2015 : 505-513 share record
persistent URL:
Adrián Palacios , Germán Vidal : Concolic Execution in Functional Programming by Program Instrumentation. LOPSTR 2015 : 277-292 share record
persistent URL:
Aline Kirsten Vidal de Oliveira , Christian Kandler : Correlation Analysis for Determining the Potential of Home Energy Management Systems in Germany. DARE 2015 : 94-104 share record
persistent URL:
Adrián Palacios , Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting. WPTE@RDP 2015 : 19-29 export record
dblp key:
journals/corr/MesnardPV15 share record
persistent URL:
Fred Mesnard , Étienne Payet , Germán Vidal : Concolic Testing in Logic Programming. CoRR abs/1507.05454 (2015 )2014 export record
dblp key:
journals/iandc/LeuschelV14 share record
persistent URL:
Michael Leuschel , Germán Vidal : Fast offline partial evaluation of logic programs. Inf. Comput. 235 : 70-97 (2014 )share record
persistent URL:
Naoki Nishida , Germán Vidal : Conversion to tail recursion in term rewriting. J. Log. Algebraic Methods Program. 83 (1 ) : 53-63 (2014 )export record
dblp key:
journals/mt/Sanchis-TrillesABCCGGGHKLMOSTV14 share record
persistent URL:
Germán Sanchis-Trilles , Vicent Alabau , Christian Buck , Michael Carl , Francisco Casacuberta , Mercedes García-Martínez , Ulrich Germann , Jesús González-Rubio , Robin L. Hill , Philipp Koehn , Luis A. Leiva , Bartolomé Mesa-Lao , Daniel Ortiz-Martínez , Herve Saint-Amand , Chara Tsoukala , Enrique Vidal : Interactive translation prediction versus conventional post-editing in practice: a study with the CasMaCat workbench. Mach. Transl. 28 (3-4 ) : 217-235 (2014 )share record
persistent URL:
Germán Vidal : Towards Symbolic Execution in Erlang. Ershov Memorial Conference 2014 : 351-360 share record
persistent URL:
Germán Vidal : Concolic Execution and Test Case Generation in Prolog. LOPSTR 2014 : 167-181 2013 share record
persistent URL:
Naoki Nishida , Germán Vidal : A Finite Representation of the Narrowing Space. LOPSTR 2013 : 54-71 share record
persistent URL:
Germán Vidal : Towards Erlang Verification by Term Rewriting. LOPSTR 2013 : 109-126 2012 share record
persistent URL:
Matthias Blume , Germán Vidal : Preface. Theor. Comput. Sci. 435 : 1-2 (2012 )share record
persistent URL:
Germán Vidal : Annotation of logic programs for independent AND-parallelism by partial evaluation. Theory Pract. Log. Program. 12 (4-5 ) : 583-600 (2012 )share record
persistent URL:
Naoki Nishida , Germán Vidal : Computing More Specific Versions of Conditional Rewriting Systems. LOPSTR 2012 : 137-154 share record
persistent URL:
Germán Vidal : Closed Symbolic Execution for Verifying Program Termination. SCAM 2012 : 34-43