Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGermán Vidal
Person information
- affiliation: Universitat Politecnica de Valencia, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c86]Germán Vidal
:
Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 266-280- [c85]Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal:
Towards a Taxonomy for Reversible Computation Approaches. RC 2023: 24-39 - [i20]Germán Vidal:
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. CoRR abs/2309.04873 (2023) - 2022
- [c84]Germán Vidal:
Explanations as Programs in Probabilistic Logic Programming. FLOPS 2022: 205-223 - [c83]Germán Vidal:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. FORTE 2022: 188-207 - [i19]Germán Vidal:
Explanations as Programs in Probabilistic Logic Programming. CoRR abs/2210.03021 (2022) - [i18]Germán Vidal:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. CoRR abs/2210.03026 (2022) - 2021
- [j33]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178(3): 229-266 (2021) - [c82]Juan José González-Abril, Germán Vidal:
Prefix-Based Tracing in Message-Passing Concurrency. LOPSTR 2021: 157-175 - [c81]Juan José González-Abril, Germán Vidal:
Causal-Consistent Reversible Debugging: Improving CauDEr. PADL 2021: 145-160 - [i17]Juan José González-Abril, Germán Vidal:
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. CoRR abs/2108.11679 (2021) - [i16]Juan José González-Abril, Germán Vidal:
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. CoRR abs/2112.12869 (2021) - 2020
- [j32]Fred Mesnard, Étienne Payet, Germán Vidal:
Selective Unification in (Constraint) Logic Programming. Fundam. Informaticae 177(3-4): 359-383 (2020) - [j31]Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in CLP. Theory Pract. Log. Program. 20(5): 671-686 (2020) - [c80]Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal:
An SMT-Based Concolic Testing Tool for Logic Programs. FLOPS 2020: 215-219 - [c79]Germán Vidal:
Reversible Computations in Logic Programming. RC 2020: 246-254 - [p2]Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p1]James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127 - [i15]Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal:
An SMT-Based Concolic Testing Tool for Logic Programs. CoRR abs/2002.07115 (2020) - [i14]Germán Vidal:
Reversible Debugging in Logic Programming. CoRR abs/2007.16171 (2020) - [i13]Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in CLP. CoRR abs/2008.00421 (2020)
2010 – 2019
- 2019
- [j30]Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 19(5-6): 630-635 (2019) - [c78]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019: 167-184 - [c77]Naoki Nishida, Germán Vidal:
Characterizing Compatible View Updates in Syntactic Bidirectionalization. RC 2019: 67-83 - [e7]Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - [i12]Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR abs/1908.03719 (2019) - 2018
- [j29]Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible computation in term rewriting. J. Log. Algebraic Methods Program. 94: 128-149 (2018) - [j28]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100: 71-97 (2018) - [j27]Germán Vidal:
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 155: 1-2 (2018) - [j26]Germán Vidal:
Introduction to the special issue on computational logic for verification. Theory Pract. Log. Program. 18(2): 122-125 (2018) - [c76]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018: 247-263 - [c75]Germán Vidal:
Specialization of Distributed Actors by Partial Evaluation. SMC 2018: 1576-1581 - [e6]Temesghen Kahsai, Germán Vidal:
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. EPTCS 278, 2018 [contents] - [i11]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A Theory of Reversibility for Erlang. CoRR abs/1806.07100 (2018) - 2017
- [j25]José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
Relative Termination via Dependency Pairs. J. Autom. Reason. 58(3): 391-411 (2017) - [c74]Fred Mesnard, Étienne Payet, Germán Vidal:
Selective unification in constraint logic programming. PPDP 2017: 115-126 - [i10]Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible Computation in Term Rewriting. CoRR abs/1710.02804 (2017) - 2016
- [c73]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 - [c72]Fred Mesnard, Étienne Payet, Germán Vidal:
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. LOPSTR 2016: 205-221 - [c71]Naoki Nishida, Adrián Palacios, Germán Vidal:
A Reversible Semantics for Erlang. LOPSTR 2016: 259-274 - [c70]Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible Term Rewriting. FSCD 2016: 28:1-28:18 - [e5]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] - [i9]Fred Mesnard, Étienne Payet, Germán Vidal:
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. CoRR abs/1608.03054 (2016) - [i8]Ginés Moreno, Jaime Penabad, Germán Vidal:
Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR abs/1608.04688 (2016) - [i7]Naoki Nishida, Adrián Palacios, Germán Vidal:
Towards Reversible Computation in Erlang. CoRR abs/1608.05521 (2016) - 2015
- [j24]Naoki Nishida, Germán Vidal:
A framework for computing finite SLD trees. J. Log. Algebraic Methods Program. 84(2): 197-217 (2015) - [j23]Germán Vidal:
Symbolic execution as a basis for termination analysis. Sci. Comput. Program. 102: 142-157 (2015) - [j22]Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic testing in logic programming. Theory Pract. Log. Program. 15(4-5): 711-725 (2015) - [c69]José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
Reducing Relative Termination to Dependency Pair Problems. CADE 2015: 163-178 - [c68]Adrián Palacios, Germán Vidal:
Concolic Execution in Functional Programming by Program Instrumentation. LOPSTR 2015: 277-292 - [c67]Adrián Palacios, Germán Vidal:
Towards Modelling Actor-Based Concurrency in Term Rewriting. WPTE@RDP 2015: 19-29 - [i6]Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in Logic Programming. CoRR abs/1507.05454 (2015) - 2014
- [j21]Michael Leuschel, Germán Vidal:
Fast offline partial evaluation of logic programs. Inf. Comput. 235: 70-97 (2014) - [j20]Naoki Nishida, Germán Vidal:
Conversion to tail recursion in term rewriting. J. Log. Algebraic Methods Program. 83(1): 53-63 (2014) - [c66]Germán Vidal:
Towards Symbolic Execution in Erlang. Ershov Memorial Conference 2014: 351-360 - [c65]Germán Vidal:
Concolic Execution and Test Case Generation in Prolog. LOPSTR 2014: 167-181 - 2013
- [c64]Naoki Nishida, Germán Vidal:
A Finite Representation of the Narrowing Space. LOPSTR 2013: 54-71 - [c63]Germán Vidal:
Towards Erlang Verification by Term Rewriting. LOPSTR 2013: 109-126 - 2012
- [j19]Matthias Blume, Germán Vidal:
Preface. Theor. Comput. Sci. 435: 1-2 (2012) - [j18]Germán Vidal:
Annotation of logic programs for independent AND-parallelism by partial evaluation. Theory Pract. Log. Program. 12(4-5): 583-600 (2012) - [c62]Naoki Nishida, Germán Vidal:
Computing More Specific Versions of Conditional Rewriting Systems. LOPSTR 2012: 137-154 - [c61]Germán Vidal:
Closed Symbolic Execution for Verifying Program Termination. SCAM 2012: 34-43 - [e4]Germán Vidal:
Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7225, Springer 2012, ISBN 978-3-642-32210-5 [contents] - [i5]Germán Vidal:
Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. CoRR abs/1210.1665 (2012) - 2011
- [j17]Julia Lawall, Germán Puebla, Germán Vidal:
Editorial. High. Order Symb. Comput. 24(1-2): 1-2 (2011) - [c60]Naoki Nishida, Germán Vidal:
Program Inversion for Tail Recursive Functions. RTA 2011: 283-298 - 2010
- [j16]Naoki Nishida, Germán Vidal:
Termination of narrowing via termination of rewriting. Appl. Algebra Eng. Commun. Comput. 21(3): 177-225 (2010) - [c59]Germán Vidal:
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. LOPSTR 2010: 200-214 - [e3]Matthias Blume, Naoki Kobayashi, Germán Vidal:
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Lecture Notes in Computer Science 6009, Springer 2010, ISBN 978-3-642-12250-7 [contents] - [i4]Germán Vidal, Neng-Fa Zhou:
Proceedings of CICLOPS-WLPE 2010. CoRR abs/1009.4020 (2010)
2000 – 2009
- 2009
- [c58]Germán Vidal:
Towards Scalable Partial Evaluation of Declarative Programs. LOPSTR 2009: 1-4 - [c57]José Iborra, Naoki Nishida, Germán Vidal:
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR 2009: 52-66 - [c56]Michael Leuschel, Salvador Tamarit, Germán Vidal:
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP 2009: 111-127 - [e2]Germán Puebla, Germán Vidal:
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, ISBN 978-1-60558-327-3 [contents] - [i3]Michael Leuschel, Salvador Tamarit, Germán Vidal:
Improving Size-Change Analysis in Offline Partial Evaluation. CoRR abs/0903.2202 (2009) - 2008
- [j15]Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing of lazy functional programs based on redex trails. High. Order Symb. Comput. 21(1-2): 147-192 (2008) - [c55]Germán Vidal:
Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008: 113-129 - [c54]Germán Vidal:
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. ICLP 2008: 790-794 - [c53]Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal:
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008: 40-54 - [c52]Michael Leuschel, Germán Vidal:
Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008: 119-134 - [c51]Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal:
Dynamic Slicing Techniques for Petri Nets. RP 2008: 153-165 - [e1]María Alpuente, Germán Vidal:
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079, Springer 2008, ISBN 978-3-540-69163-1 [contents] - 2007
- [j14]J. Guadalupe Ramos, Josep Silva, Germán Vidal:
Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101(5): 220-226 (2007) - [j13]Josep Silva, Germán Vidal:
Forward slicing of functional logic programs by partial evaluation. Theory Pract. Log. Program. 7(1-2): 215-247 (2007) - [c50]Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
Lazy call-by-value evaluation. ICFP 2007: 265-276 - [c49]Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89 - [c48]Germán Vidal:
Quasi-terminating logic programs for ensuring the termination of partial evaluation. PEPM 2007: 51-60 - 2006
- [c47]Jesús Manuel Almendros-Jiménez, Germán Vidal:
Automatic Partial Inversion of Inductively Sequential Functions. IFL 2006: 253-270 - [c46]Claudio Ochoa, Josep Silva, Germán Vidal:
A Slicing Tool for Lazy Functional Logic Programs. JELIA 2006: 498-501 - [c45]Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal:
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR 2006: 60-76 - [c44]Diego Cheda, Josep Silva, Germán Vidal:
Static Slicing of Rewrite Systems. WFLP 2006: 123-136 - [i2]Josep Silva, Germán Vidal:
Forward slicing of functional logic programs by partial evaluation. CoRR abs/cs/0601013 (2006) - 2005
- [j12]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005) - [j11]María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal:
Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5(3): 273-303 (2005) - [c43]Michael Leuschel, Germán Vidal:
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005: 61-76 - [c42]J. Guadalupe Ramos, Josep Silva, Germán Vidal:
Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP 2005: 228-239 - [c41]Claudio Ochoa, Josep Silva, Germán Vidal:
Lightweight program specialization via dynamic slicing. WCFLP 2005: 1-7 - [c40]J. Guadalupe Ramos, Josep Silva, Germán Vidal:
An offline partial evaluator for curry programs. WCFLP 2005: 49-53 - 2004
- [j10]Germán Vidal:
Cost-Augmented Partial Evaluation of Functional Logic Programs. High. Order Symb. Comput. 17(1-2): 7-46 (2004) - [j9]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311(1-3): 479-525 (2004) - [c39]Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal:
Towards CNC Programming Using Haskell. IBERAMIA 2004: 386-396 - [c38]Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal:
Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 - [c37]Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing based on redex trails. PEPM 2004: 123-134 - [c36]Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 - [c35]J. Guadalupe Ramos, Josep Silva, Germán Vidal:
An Embedded Language Approach to Router Specification in Curry. SOFSEM 2004: 277-288 - [i1]María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Functional Logic Programs Based on Needed Narrowing. CoRR cs.PL/0403011 (2004) - 2003
- [j8]Elvira Albert, Michael Hanus, Germán Vidal:
A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003) - [j7]María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003) - [c34]Elvira Albert, Josep Silva, Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24 - [c33]Germán Vidal:
Preface. WFLP 2003: 205-206 - 2002
- [j6]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. 2002 (2002) - [c32]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE 2002: 207- - [c31]Germán Vidal:
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. LOPSTR 2002: 219-237 - [c30]Germán Vidal:
Cost-augmented narrowing-driven specialization. PEPM 2002: 52-62 - [c29]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational Semantics for Functional Logic Languages. WFLP 2002: 1-19 - [c28]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages. WRS 2002: 62-83 - 2001
- [j5]Elvira Albert, Germán Vidal:
The Narrowing-driven Approach to Functional Logic Program Specialization. New Gener. Comput. 20(1): 3-26 (2001) - [c27]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342 - [c26]Elvira Albert, Germán Vidal:
Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR 2001: 148-167 - 2000
- [c25]Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
Improving Functional Logic Programs by Difference-Lists. ASIAN 2000: 237-254 - [c24]Elvira Albert, Sergio Antoy, Germán Vidal:
Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000 - [c23]Elvira Albert, Sergio Antoy, Germán Vidal:
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124 - [c22]Elvira Albert, Michael Hanus, Germán Vidal:
Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398 - [c21]