Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Germán Vidal"
download as .bib file
@inproceedings{DBLP:conf/sac/Vidal24,
author = {Germ{\'{a}}n Vidal},
editor = {Jiman Hong and
Juw Won Park},
title = {An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent
Programming Languages},
booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2024, Avila, Spain, April 8-12, 2024},
pages = {1132--1139},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3605098.3636051},
doi = {10.1145/3605098.3636051},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Vidal24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-00087,
author = {Germ{\'{a}}n Vidal},
title = {An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent
Programming Languages},
journal = {CoRR},
volume = {abs/2401.00087},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.00087},
doi = {10.48550/ARXIV.2401.00087},
eprinttype = {arXiv},
eprint = {2401.00087},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-00087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17045,
author = {Germ{\'{a}}n Vidal},
title = {Explaining Explanations in Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/2401.17045},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17045},
doi = {10.48550/ARXIV.2401.17045},
eprinttype = {arXiv},
eprint = {2401.17045},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/Herrera-VidalCM23,
author = {German Herrera{-}Vidal and
Jairo R. Coronado{-}Hern{\'{a}}ndez and
Claudia Minnaard},
title = {Measuring manufacturing system complexity: a literature review},
journal = {J. Intell. Manuf.},
volume = {34},
number = {7},
pages = {2865--2888},
year = {2023},
url = {https://doi.org/10.1007/s10845-022-01974-5},
doi = {10.1007/S10845-022-01974-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/Herrera-VidalCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/DolzBMCVFT23,
author = {Manuel F. Dolz and
Sergio Barrachina and
H{\'{e}}ctor Mart{\'{\i}}nez and
Adri{\'{a}}n Castell{\'{o}} and
Antonio{-}Manuel Vidal{-}Maci{\'{a}} and
Germ{\'{a}}n Fabregat and
Andr{\'{e}}s E. Tom{\'{a}}s},
title = {Performance-energy trade-offs of deep learning convolution algorithms
on {ARM} processors},
journal = {J. Supercomput.},
volume = {79},
number = {9},
pages = {9819--9836},
year = {2023},
url = {https://doi.org/10.1007/s11227-023-05050-4},
doi = {10.1007/S11227-023-05050-4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/DolzBMCVFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Vidal23,
author = {Germ{\'{a}}n Vidal},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Reversible Debugging in Logic Programming},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {266--280},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_15},
doi = {10.1007/978-3-031-31476-6\_15},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Vidal23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Vidal23,
author = {Germ{\'{a}}n Vidal},
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {From Reversible Computation to Checkpoint-Based Rollback Recovery
for Message-Passing Concurrent Programs},
booktitle = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
pages = {103--123},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52183-6\_6},
doi = {10.1007/978-3-031-52183-6\_6},
timestamp = {Thu, 18 Jan 2024 08:27:17 +0100},
biburl = {https://dblp.org/rec/conf/facs2/Vidal23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/GluckLMMPUV23,
author = {Robert Gl{\"{u}}ck and
Ivan Lanese and
Claudio Antares Mezzina and
Jaroslaw Adam Miszczak and
Iain C. C. Phillips and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Martin Kutrib and
Uwe Meyer},
title = {Towards a Taxonomy for Reversible Computation Approaches},
booktitle = {Reversible Computation - 15th International Conference, {RC} 2023,
Giessen, Germany, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13960},
pages = {24--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38100-3\_3},
doi = {10.1007/978-3-031-38100-3\_3},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/GluckLMMPUV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04873,
author = {Germ{\'{a}}n Vidal},
title = {From Reversible Computation to Checkpoint-Based Rollback Recovery
for Message-Passing Concurrent Programs},
journal = {CoRR},
volume = {abs/2309.04873},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04873},
doi = {10.48550/ARXIV.2309.04873},
eprinttype = {arXiv},
eprint = {2309.04873},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Vidal22,
author = {Germ{\'{a}}n Vidal},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Explanations as Programs in Probabilistic Logic Programming},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {205--223},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_12},
doi = {10.1007/978-3-030-99461-7\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Vidal22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Vidal22,
author = {Germ{\'{a}}n Vidal},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Computing Race Variants in Message-Passing Concurrent Programming
with Selective Receives},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {188--207},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_12},
doi = {10.1007/978-3-031-08679-3\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Vidal22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2021cicps,
editor = {Sokratis K. Katsikas and
Costas Lambrinoudakis and
Nora Cuppens and
John Mylopoulos and
Christos Kalloniatis and
Weizhi Meng and
Steven Furnell and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse and
Habtamu Abie and
Silvio Ranise and
Luca Verderame and
Enrico Cambiaso and
Jorge Maestre Vidal and
Marco Antonio Sotelo Monge},
title = {Computer Security. {ESORICS} 2021 International Workshops - CyberICPS,
SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT{\&}SECOMANE, Darmstadt,
Germany, October 4-8, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13106},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95484-0},
doi = {10.1007/978-3-030-95484-0},
isbn = {978-3-030-95483-3},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/2021cicps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03021,
author = {Germ{\'{a}}n Vidal},
title = {Explanations as Programs in Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/2210.03021},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.03021},
doi = {10.48550/ARXIV.2210.03021},
eprinttype = {arXiv},
eprint = {2210.03021},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-03021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03026,
author = {Germ{\'{a}}n Vidal},
title = {Computing Race Variants in Message-Passing Concurrent Programming
with Selective Receives},
journal = {CoRR},
volume = {abs/2210.03026},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.03026},
doi = {10.48550/ARXIV.2210.03026},
eprinttype = {arXiv},
eprint = {2210.03026},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-03026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LanesePV21,
author = {Ivan Lanese and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {Causal-Consistent Replay Reversible Semantics for Message Passing
Concurrent Programs},
journal = {Fundam. Informaticae},
volume = {178},
number = {3},
pages = {229--266},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2005},
doi = {10.3233/FI-2021-2005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LanesePV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gonzalez-AbrilV21,
author = {Juan Jos{\'{e}} Gonz{\'{a}}lez{-}Abril and
Germ{\'{a}}n Vidal},
editor = {Emanuele De Angelis and
Wim Vanhoof},
title = {Prefix-Based Tracing in Message-Passing Concurrency},
booktitle = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13290},
pages = {157--175},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98869-2\_9},
doi = {10.1007/978-3-030-98869-2\_9},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Gonzalez-AbrilV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Gonzalez-AbrilV21,
author = {Juan Jos{\'{e}} Gonz{\'{a}}lez{-}Abril and
Germ{\'{a}}n Vidal},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Causal-Consistent Reversible Debugging: Improving CauDEr},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {145--160},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_9},
doi = {10.1007/978-3-030-67438-0\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Gonzalez-AbrilV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-11679,
author = {Juan Jos{\'{e}} Gonz{\'{a}}lez{-}Abril and
Germ{\'{a}}n Vidal},
title = {A Program Instrumentation for Prefix-Based Tracing in Message-Passing
Concurrency},
journal = {CoRR},
volume = {abs/2108.11679},
year = {2021},
url = {https://arxiv.org/abs/2108.11679},
eprinttype = {arXiv},
eprint = {2108.11679},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-12869,
author = {Juan Jos{\'{e}} Gonz{\'{a}}lez{-}Abril and
Germ{\'{a}}n Vidal},
title = {A Lightweight Approach to Computing Message Races with an Application
to Causal-Consistent Reversible Debugging},
journal = {CoRR},
volume = {abs/2112.12869},
year = {2021},
url = {https://arxiv.org/abs/2112.12869},
eprinttype = {arXiv},
eprint = {2112.12869},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-12869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TorradoGM20,
author = {Juan Carlos Torrado and
Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro},
title = {Hands-On Experiences With Assistive Technologies for People With Intellectual
Disabilities: Opportunities and Challenges},
journal = {{IEEE} Access},
volume = {8},
pages = {106408--106424},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3000095},
doi = {10.1109/ACCESS.2020.3000095},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TorradoGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MesnardPV20,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {Selective Unification in (Constraint) Logic Programming},
journal = {Fundam. Informaticae},
volume = {177},
number = {3-4},
pages = {359--383},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1993},
doi = {10.3233/FI-2020-1993},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MesnardPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MesnardPV20,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {Concolic Testing in {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {671--686},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000216},
doi = {10.1017/S1471068420000216},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MesnardPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FortzMPPVV20,
author = {Sophie Fortz and
Fred Mesnard and
{\'{E}}tienne Payet and
Gilles Perrouin and
Wim Vanhoof and
Germ{\'{a}}n Vidal},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {An SMT-Based Concolic Testing Tool for Logic Programs},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {215--219},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_13},
doi = {10.1007/978-3-030-59025-3\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/FortzMPPVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/Vidal20,
author = {Germ{\'{a}}n Vidal},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Reversible Computations in Logic Programming},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {246--254},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_15},
doi = {10.1007/978-3-030-52482-1\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/Vidal20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
author = {Bogdan Aman and
Gabriel Ciobanu and
Robert Gl{\"{u}}ck and
Robin Kaarsgaard and
Jarkko Kari and
Martin Kutrib and
Ivan Lanese and
Claudio Antares Mezzina and
Lukasz Mikulski and
Rajagopal Nagarajan and
Iain C. C. Phillips and
G. Michele Pinna and
Luca Prigioniero and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Foundations of Reversible Computation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {1--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_1},
doi = {10.1007/978-3-030-47361-7\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HoeyL0UV20,
author = {James Hoey and
Ivan Lanese and
Naoki Nishida and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {A Case Study for Reversible Computing: Reversible Debugging of Concurrent
Programs},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {108--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_5},
doi = {10.1007/978-3-030-47361-7\_5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/HoeyL0UV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07115,
author = {Sophie Fortz and
Fred Mesnard and
{\'{E}}tienne Payet and
Gilles Perrouin and
Wim Vanhoof and
Germ{\'{a}}n Vidal},
title = {An SMT-Based Concolic Testing Tool for Logic Programs},
journal = {CoRR},
volume = {abs/2002.07115},
year = {2020},
url = {https://arxiv.org/abs/2002.07115},
eprinttype = {arXiv},
eprint = {2002.07115},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-16171,
author = {Germ{\'{a}}n Vidal},
title = {Reversible Debugging in Logic Programming},
journal = {CoRR},
volume = {abs/2007.16171},
year = {2020},
url = {https://arxiv.org/abs/2007.16171},
eprinttype = {arXiv},
eprint = {2007.16171},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-16171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00421,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {Concolic Testing in {CLP}},
journal = {CoRR},
volume = {abs/2008.00421},
year = {2020},
url = {https://arxiv.org/abs/2008.00421},
eprinttype = {arXiv},
eprint = {2008.00421},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-00421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0001FVY19,
author = {Esra Erdem and
Andrea Formisano and
Germ{\'{a}}n Vidal and
Fangkai Yang},
title = {Introduction to the 35th International Conference on Logic Programming
Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {630--635},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000413},
doi = {10.1017/S1471068419000413},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0001FVY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LanesePV19,
author = {Ivan Lanese and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Causal-Consistent Replay Debugging for Message Passing Programs},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {167--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_10},
doi = {10.1007/978-3-030-21759-4\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LanesePV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/0001V19,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
editor = {Michael Kirkedal Thomsen and
Mathias Soeken},
title = {Characterizing Compatible View Updates in Syntactic Bidirectionalization},
booktitle = {Reversible Computation - 11th International Conference, {RC} 2019,
Lausanne, Switzerland, June 24-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11497},
pages = {67--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21500-2\_5},
doi = {10.1007/978-3-030-21500-2\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/0001V19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/TorradoGM19,
author = {Juan Carlos Torrado and
Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro},
editor = {Jos{\'{e}} Bravo and
Iv{\'{a}}n Gonz{\'{a}}lez},
title = {Assisted Behavior Control with Wearable Devices: {A} Case Study for
High-Functioning Autism},
booktitle = {13th International Conference on Ubiquitous Computing and Ambient
Intelligence, UCAmI 2019, Toledo, Spain, December 2-5, 2019},
series = {{MDPI} Proceedings},
volume = {31},
pages = {2},
publisher = {{MDPI}},
year = {2019},
url = {https://doi.org/10.3390/proceedings2019031002},
doi = {10.3390/PROCEEDINGS2019031002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ucami/TorradoGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dils/2018,
editor = {S{\"{o}}ren Auer and
Maria{-}Esther Vidal},
title = {Data Integration in the Life Sciences - 13th International Conference,
{DILS} 2018, Hannover, Germany, November 20-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11371},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-06016-9},
doi = {10.1007/978-3-030-06016-9},
isbn = {978-3-030-06015-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dils/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/i-semantics/2019sem4tra,
editor = {Lucie{-}Aim{\'{e}}e Kaffee and
Kemele M. Endris and
Maria{-}Esther Vidal and
Marco Comerio and
Mersedeh Sadeghi and
David Chaves{-}Fraga and
Pieter Colpaert},
title = {Joint Proceedings of the 1st International Workshop On Semantics For
Transport and the 1st International Workshop on Approaches for Making
Data Interoperable co-located with 15th Semantics Conference (SEMANTiCS
2019), Karlsruhe, Germany, September 9, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2447},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2447},
urn = {urn:nbn:de:0074-2447-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/i-semantics/2019sem4tra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-07646,
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306},
doi = {10.4204/EPTCS.306},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03719,
author = {Esra Erdem and
Andrea Formisano and
Germ{\'{a}}n Vidal and
Fangkai Yang},
title = {Introduction to the 35th International Conference on Logic Programming
Special Issue},
journal = {CoRR},
volume = {abs/1908.03719},
year = {2019},
url = {http://arxiv.org/abs/1908.03719},
eprinttype = {arXiv},
eprint = {1908.03719},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseNPV18,
author = {Ivan Lanese and
Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {A theory of reversibility for Erlang},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {71--97},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.06.004},
doi = {10.1016/J.JLAMP.2018.06.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaneseNPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NishidaPV18,
author = {Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {Reversible computation in term rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {94},
pages = {128--149},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.10.003},
doi = {10.1016/J.JLAMP.2017.10.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NishidaPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Vidal18,
author = {Germ{\'{a}}n Vidal},
title = {Preface for {SCP} special issue on Principles and Practice of Declarative
Programming},
journal = {Sci. Comput. Program.},
volume = {155},
pages = {1--2},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.12.005},
doi = {10.1016/J.SCICO.2017.12.005},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Vidal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Vidal18,
author = {Germ{\'{a}}n Vidal},
title = {Introduction to the special issue on computational logic for verification},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {122--125},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000029},
doi = {10.1017/S1471068418000029},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Vidal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/GomezJTM18,
author = {Javier G{\'{o}}mez and
Letizia Jaccheri and
Juan Carlos Torrado and
Germ{\'{a}}n Montoro},
editor = {Michail N. Giannakos and
Letizia Jaccheri and
Monica Divitini},
title = {Leo con lula, introducing global reading methods to children with
{ASD}},
booktitle = {Proceedings of the 17th {ACM} Conference on Interaction Design and
Children, {IDC} 2018, Trondheim, Norway, June 19-22, 2018},
pages = {420--426},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3202185.3202765},
doi = {10.1145/3202185.3202765},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmidc/GomezJTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/GomezTM18,
author = {Javier G{\'{o}}mez and
Juan Carlos Torrado and
Germ{\'{a}}n Montoro},
editor = {Michail N. Giannakos and
Letizia Jaccheri and
Monica Divitini},
title = {AssisT-task: a smartphone application to support people with cognitive
disabilities in their daily life activities},
booktitle = {Proceedings of the 17th {ACM} Conference on Interaction Design and
Children, {IDC} 2018, Trondheim, Norway, June 19-22, 2018},
pages = {517--520},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3202185.3210767},
doi = {10.1145/3202185.3210767},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmidc/GomezTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lanese0PV18,
author = {Ivan Lanese and
Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {CauDEr: {A} Causal-Consistent Reversible Debugger for Erlang},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {247--263},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_16},
doi = {10.1007/978-3-319-90686-7\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lanese0PV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfhr/LangPT018,
author = {Eva Lang and
Joan Puigcerver and
Alejandro H. Toselli and
Enrique Vidal},
title = {Probabilistic Indexing and Search for Information Extraction on Handwritten
German Parish Records},
booktitle = {16th International Conference on Frontiers in Handwriting Recognition,
{ICFHR} 2018, Niagara Falls, NY, USA, August 5-8, 2018},
pages = {44--49},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICFHR-2018.2018.00017},
doi = {10.1109/ICFHR-2018.2018.00017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfhr/LangPT018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interaccion/Diaz-EscuderoTG18,
author = {Antonio D{\'{\i}}az{-}Escudero and
Juan Carlos Torrado and
Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro},
editor = {Cristina Manresa{-}Yee and
Ramon Mas Sans{\'{o}}},
title = {Technology: aided authoring tools for {ASD} coaching support},
booktitle = {Proceedings of the {XIX} International Conference on Human Computer
Interaction, Interacci{\'{o}}n 2018, Palma, Spain, September
12-14, 2018},
pages = {12:1--12:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233824.3233839},
doi = {10.1145/3233824.3233839},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interaccion/Diaz-EscuderoTG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Vidal18,
author = {Germ{\'{a}}n Vidal},
title = {Specialization of Distributed Actors by Partial Evaluation},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
pages = {1576--1581},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SMC.2018.00273},
doi = {10.1109/SMC.2018.00273},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/Vidal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1809-04554,
editor = {Temesghen Kahsai and
Germ{\'{a}}n Vidal},
title = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2018, Oxford, UK, 13th July 2018},
series = {{EPTCS}},
volume = {278},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.278},
doi = {10.4204/EPTCS.278},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07100,
author = {Ivan Lanese and
Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {A Theory of Reversibility for Erlang},
journal = {CoRR},
volume = {abs/1806.07100},
year = {2018},
url = {http://arxiv.org/abs/1806.07100},
eprinttype = {arXiv},
eprint = {1806.07100},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cas/SanaHC17,
author = {Shib Sankar Sana and
German Herrera{-}Vidal and
Jaime Acevedo Chedid},
title = {Collaborative Model on the Agro-Industrial Supply Chain of Cocoa},
journal = {Cybern. Syst.},
volume = {48},
number = {4},
pages = {325--347},
year = {2017},
url = {https://doi.org/10.1080/01969722.2017.1285160},
doi = {10.1080/01969722.2017.1285160},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cas/SanaHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Iborra0V017,
author = {Jos{\'{e}} Iborra and
Naoki Nishida and
Germ{\'{a}}n Vidal and
Akihisa Yamada},
title = {Relative Termination via Dependency Pairs},
journal = {J. Autom. Reason.},
volume = {58},
number = {3},
pages = {391--411},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9373-5},
doi = {10.1007/S10817-016-9373-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Iborra0V017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/TorradoGM17,
author = {Juan Carlos Torrado and
Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro},
title = {Emotional Self-Regulation of Individuals with Autism Spectrum Disorders:
Smartwatches for Monitoring and Interaction},
journal = {Sensors},
volume = {17},
number = {6},
pages = {1359},
year = {2017},
url = {https://doi.org/10.3390/s17061359},
doi = {10.3390/S17061359},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/TorradoGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wicomm/GomezTM17,
author = {Javier G{\'{o}}mez and
Juan Carlos Torrado and
Germ{\'{a}}n Montoro},
title = {Using Smartphones to Assist People with Down Syndrome in Their Labour
Training and Integration: {A} Case Study},
journal = {Wirel. Commun. Mob. Comput.},
volume = {2017},
year = {2017},
url = {https://doi.org/10.1155/2017/5062371},
doi = {10.1155/2017/5062371},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wicomm/GomezTM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MesnardPV17,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Selective unification in constraint logic programming},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {115--126},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131863},
doi = {10.1145/3131851.3131863},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MesnardPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02804,
author = {Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {Reversible Computation in Term Rewriting},
journal = {CoRR},
volume = {abs/1710.02804},
year = {2017},
url = {http://arxiv.org/abs/1710.02804},
eprinttype = {arXiv},
eprint = {1710.02804},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/TorradoMG16,
author = {Juan Carlos Torrado and
Germ{\'{a}}n Montoro and
Javier G{\'{o}}mez},
title = {Easing the integration: {A} feasible indoor wayfinding system for
cognitive impaired people},
journal = {Pervasive Mob. Comput.},
volume = {31},
pages = {137--146},
year = {2016},
url = {https://doi.org/10.1016/j.pmcj.2016.02.003},
doi = {10.1016/J.PMCJ.2016.02.003},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/percom/TorradoMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/TorradoMG16,
author = {Juan Carlos Torrado and
Germ{\'{a}}n Montoro and
Javier G{\'{o}}mez},
editor = {James P. Gilbert and
Haim Azhari and
Hesham H. Ali and
Carla Quint{\~{a}}o and
Jan Sliwa and
Carolina Ruiz and
Ana L. N. Fred and
Hugo Gamboa},
title = {The Potential of Smartwatches for Emotional Self-regulation of People
with Autism Spectrum Disorder},
booktitle = {Proceedings of the 9th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 5:
HEALTHINF, Rome, Italy, February 21-23, 2016},
pages = {444--449},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005818104440449},
doi = {10.5220/0005818104440449},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/TorradoMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/TorradoGM16,
author = {Juan Carlos Torrado and
Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro},
editor = {Paulo Novais and
Shin'ichi Konomi},
title = {Including Affect as a Part of the Context in Assistive Technologies
for Cognition},
booktitle = {Intelligent Environments 2016 - Workshop Proceedings of the 12th International
Conference on Intelligent Environments, {IE} 2016, London, United
Kingdom, September 14-16, 2016},
series = {Ambient Intelligence and Smart Environments},
volume = {21},
pages = {358--365},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-690-3-358},
doi = {10.3233/978-1-61499-690-3-358},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intenv/TorradoGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interaccion/GomezTM16,
author = {Javier G{\'{o}}mez and
Juan Carlos Torrado and
Germ{\'{a}}n Montoro},
editor = {Lourdes Moreno and
Ernesto Jes{\'{u}}s de la Rubia Cuestas and
V{\'{\i}}ctor M. Ruiz Penichet and
Francisco J. Garc{\'{\i}}a{-}Pe{\~{n}}alvo},
title = {Using smartwatches for behavioral issues in {ASD}},
booktitle = {Proceedings of the {XVII} International Conference on Human Computer
Interaction, Interacci{\'{o}}n 2016, Salamanca, Spain, September
13 - 16, 2016},
pages = {28},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2998646},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interaccion/GomezTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/0001PV16,
author = {Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {A Reversible Semantics for Erlang},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {259--274},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_15},
doi = {10.1007/978-3-319-63139-4\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/0001PV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MesnardPV16,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {On the Completeness of Selective Unification in Concolic Testing of
Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {205--221},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_12},
doi = {10.1007/978-3-319-63139-4\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MesnardPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MorenoPRV16,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Jos{\'{e}} A. Riaza and
Germ{\'{a}}n Vidal},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic
Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {131--147},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_8},
doi = {10.1007/978-3-319-63139-4\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MorenoPRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0001PV16,
author = {Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Reversible Term Rewriting},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {28:1--28:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.28},
doi = {10.4230/LIPICS.FSCD.2016.28},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/0001PV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2016,
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973},
doi = {10.1145/2967973},
isbn = {978-1-4503-4148-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001PV16,
author = {Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
title = {Towards Reversible Computation in Erlang},
journal = {CoRR},
volume = {abs/1608.05521},
year = {2016},
url = {http://arxiv.org/abs/1608.05521},
eprinttype = {arXiv},
eprint = {1608.05521},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001PV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MesnardPV16,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {On the Completeness of Selective Unification in Concolic Testing of
Logic Programs},
journal = {CoRR},
volume = {abs/1608.03054},
year = {2016},
url = {http://arxiv.org/abs/1608.03054},
eprinttype = {arXiv},
eprint = {1608.03054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MesnardPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MorenoPV16,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Germ{\'{a}}n Vidal},
title = {Tuning Fuzzy Logic Programs with Symbolic Execution},
journal = {CoRR},
volume = {abs/1608.04688},
year = {2016},
url = {http://arxiv.org/abs/1608.04688},
eprinttype = {arXiv},
eprint = {1608.04688},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MorenoPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/0001V15,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
title = {A framework for computing finite {SLD} trees},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {2},
pages = {197--217},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.006},
doi = {10.1016/J.JLAMP.2014.11.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/0001V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mis/GomezMTP15,
author = {Javier G{\'{o}}mez and
Germ{\'{a}}n Montoro and
Juan Carlos Torrado and
Adalberto Plaza},
title = {An Adapted Wayfinding System for Pedestrians with Cognitive Disabilities},
journal = {Mob. Inf. Syst.},
volume = {2015},
pages = {520572:1--520572:11},
year = {2015},
url = {https://doi.org/10.1155/2015/520572},
doi = {10.1155/2015/520572},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mis/GomezMTP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Vidal15,
author = {Germ{\'{a}}n Vidal},
title = {Symbolic execution as a basis for termination analysis},
journal = {Sci. Comput. Program.},
volume = {102},
pages = {142--157},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.01.007},
doi = {10.1016/J.SCICO.2015.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Vidal15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MesnardPV15,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {Concolic testing in logic programming},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {711--725},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000332},
doi = {10.1017/S1471068415000332},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MesnardPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/IborraNVY15,
author = {Jos{\'{e}} Iborra and
Naoki Nishida and
Germ{\'{a}}n Vidal and
Akihisa Yamada},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Reducing Relative Termination to Dependency Pair Problems},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {163--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_11},
doi = {10.1007/978-3-319-21401-6\_11},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/IborraNVY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibpria/RodriguezFPF15,
author = {Germ{\'{a}}n Rodr{\'{\i}}guez and
Mar{\'{\i}}a Fuci{\~{n}}os and
Xos{\'{e}} M. Pardo and
Xos{\'{e}} R. Fern{\'{a}}ndez{-}Vidal},
editor = {Roberto Paredes and
Jaime S. Cardoso and
Xos{\'{e}} M. Pardo},
title = {Videogrammetry System for Wind Turbine Vibration Monitoring},
booktitle = {Pattern Recognition and Image Analysis - 7th Iberian Conference, IbPRIA
2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9117},
pages = {505--513},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19390-8\_57},
doi = {10.1007/978-3-319-19390-8\_57},
timestamp = {Wed, 17 Mar 2021 09:50:15 +0100},
biburl = {https://dblp.org/rec/conf/ibpria/RodriguezFPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PalaciosV15,
author = {Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Moreno Falaschi},
title = {Concolic Execution in Functional Programming by Program Instrumentation},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {277--292},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_17},
doi = {10.1007/978-3-319-27436-2\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PalaciosV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/OliveiraK15,
author = {Aline Kirsten Vidal de Oliveira and
Christian Kandler},
editor = {Wei Lee Woon and
Zeyar Aung and
Stuart E. Madnick},
title = {Correlation Analysis for Determining the Potential of Home Energy
Management Systems in Germany},
booktitle = {Data Analytics for Renewable Energy Integration - Third {ECML} {PKDD}
Workshop, {DARE} 2015, Porto, Portugal, September 11, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9518},
pages = {94--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27430-0\_7},
doi = {10.1007/978-3-319-27430-0\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/OliveiraK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/PalaciosV15,
author = {Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Towards Modelling Actor-Based Concurrency in Term Rewriting},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {19--29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.19},
doi = {10.4230/OASICS.WPTE.2015.19},
timestamp = {Fri, 03 Feb 2023 10:42:58 +0100},
biburl = {https://dblp.org/rec/conf/rta/PalaciosV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MesnardPV15,
author = {Fred Mesnard and
{\'{E}}tienne Payet and
Germ{\'{a}}n Vidal},
title = {Concolic Testing in Logic Programming},
journal = {CoRR},
volume = {abs/1507.05454},
year = {2015},
url = {http://arxiv.org/abs/1507.05454},
eprinttype = {arXiv},
eprint = {1507.05454},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MesnardPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LeuschelV14,
author = {Michael Leuschel and
Germ{\'{a}}n Vidal},
title = {Fast offline partial evaluation of logic programs},
journal = {Inf. Comput.},
volume = {235},
pages = {70--97},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.005},
doi = {10.1016/J.IC.2014.01.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LeuschelV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/0001V14,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
title = {Conversion to tail recursion in term rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {53--63},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.001},
doi = {10.1016/J.JLAP.2013.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/0001V14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mt/Sanchis-TrillesABCCGGGHKLMOSTV14,
author = {Germ{\'{a}}n Sanchis{-}Trilles and
Vicent Alabau and
Christian Buck and
Michael Carl and
Francisco Casacuberta and
Mercedes Garc{\'{\i}}a{-}Mart{\'{\i}}nez and
Ulrich Germann and
Jes{\'{u}}s Gonz{\'{a}}lez{-}Rubio and
Robin L. Hill and
Philipp Koehn and
Luis A. Leiva and
Bartolom{\'{e}} Mesa{-}Lao and
Daniel Ortiz{-}Mart{\'{\i}}nez and
Herve Saint{-}Amand and
Chara Tsoukala and
Enrique Vidal},
title = {Interactive translation prediction versus conventional post-editing
in practice: a study with the CasMaCat workbench},
journal = {Mach. Transl.},
volume = {28},
number = {3-4},
pages = {217--235},
year = {2014},
url = {https://doi.org/10.1007/s10590-014-9157-9},
doi = {10.1007/S10590-014-9157-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mt/Sanchis-TrillesABCCGGGHKLMOSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Vidal14,
author = {Germ{\'{a}}n Vidal},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Towards Symbolic Execution in Erlang},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {351--360},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_28},
doi = {10.1007/978-3-662-46823-4\_28},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Vidal14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal14,
author = {Germ{\'{a}}n Vidal},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Concolic Execution and Test Case Generation in Prolog},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {167--181},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_10},
doi = {10.1007/978-3-319-17822-6\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/0001V13,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {A Finite Representation of the Narrowing Space},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {54--71},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_4},
doi = {10.1007/978-3-319-14125-1\_4},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/0001V13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal13,
author = {Germ{\'{a}}n Vidal},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {Towards Erlang Verification by Term Rewriting},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {109--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_7},
doi = {10.1007/978-3-319-14125-1\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlumeV12,
author = {Matthias Blume and
Germ{\'{a}}n Vidal},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {435},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.02.021},
doi = {10.1016/J.TCS.2012.02.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BlumeV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Vidal12,
author = {Germ{\'{a}}n Vidal},
title = {Annotation of logic programs for independent AND-parallelism by partial
evaluation},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {583--600},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000191},
doi = {10.1017/S1471068412000191},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Vidal12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/0001V12,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
editor = {Elvira Albert},
title = {Computing More Specific Versions of Conditional Rewriting Systems},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7844},
pages = {137--154},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_10},
doi = {10.1007/978-3-642-38197-3\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/0001V12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/Vidal12,
author = {Germ{\'{a}}n Vidal},
title = {Closed Symbolic Execution for Verifying Program Termination},
booktitle = {12th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2012, Riva del Garda, Italy, September 23-24,
2012},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SCAM.2012.13},
doi = {10.1109/SCAM.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/Vidal12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2011,
editor = {Germ{\'{a}}n Vidal},
title = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32211-2},
doi = {10.1007/978-3-642-32211-2},
isbn = {978-3-642-32210-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1665,
author = {Germ{\'{a}}n Vidal},
title = {Annotation of Logic Programs for Independent AND-Parallelism by Partial
Evaluation},
journal = {CoRR},
volume = {abs/1210.1665},
year = {2012},
url = {http://arxiv.org/abs/1210.1665},
eprinttype = {arXiv},
eprint = {1210.1665},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LawallPV11,
author = {Julia Lawall and
Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {1-2},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1007/s10990-011-9069-9},
doi = {10.1007/S10990-011-9069-9},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LawallPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NishidaV11,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Program Inversion for Tail Recursive Functions},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {283--298},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.283},
doi = {10.4230/LIPICS.RTA.2011.283},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/NishidaV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/NishidaV10,
author = {Naoki Nishida and
Germ{\'{a}}n Vidal},
title = {Termination of narrowing via termination of rewriting},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {21},
number = {3},
pages = {177--225},
year = {2010},
url = {https://doi.org/10.1007/s00200-010-0122-4},
doi = {10.1007/S00200-010-0122-4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/NishidaV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/RomeroTV10,
author = {Ver{\'{o}}nica Romero and
Alejandro H. Toselli and
Enrique Vidal},
title = {Computer Assisted Transcription of Text Images: Results on the {GERMANA}
Corpus and Analysis of Improvements Needed for Practical Use},
booktitle = {20th International Conference on Pattern Recognition, {ICPR} 2010,
Istanbul, Turkey, 23-26 August 2010},
pages = {2017--2020},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPR.2010.497},
doi = {10.1109/ICPR.2010.497},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/RomeroTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal10,
author = {Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {200--214},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_13},
doi = {10.1007/978-3-642-20551-4\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2010,
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4},
doi = {10.1007/978-3-642-12251-4},
isbn = {978-3-642-12250-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-4020,
author = {Germ{\'{a}}n Vidal and
Neng{-}Fa Zhou},
title = {Proceedings of {CICLOPS-WLPE} 2010},
journal = {CoRR},
volume = {abs/1009.4020},
year = {2010},
url = {http://arxiv.org/abs/1009.4020},
eprinttype = {arXiv},
eprint = {1009.4020},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/IborraNV09,
author = {Jos{\'{e}} Iborra and
Naoki Nishida and
Germ{\'{a}}n Vidal},
editor = {Danny De Schreye},
title = {Goal-Directed and Relative Dependency Pairs for Proving the Termination
of Narrowing},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {52--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_5},
doi = {10.1007/978-3-642-12592-8\_5},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/IborraNV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal09,
author = {Germ{\'{a}}n Vidal},
editor = {Danny De Schreye},
title = {Towards Scalable Partial Evaluation of Declarative Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {1--4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_1},
doi = {10.1007/978-3-642-12592-8\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/LeuschelTV09,
author = {Michael Leuschel and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Santiago Escobar},
title = {Fast and Accurate Strong Termination Analysis with an Application
to Partial Evaluation},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop,
{WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5979},
pages = {111--127},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11999-6\_8},
doi = {10.1007/978-3-642-11999-6\_8},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/LeuschelTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2009,
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1480945},
isbn = {978-1-60558-327-3},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2202,
author = {Michael Leuschel and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
title = {Improving Size-Change Analysis in Offline Partial Evaluation},
journal = {CoRR},
volume = {abs/0903.2202},
year = {2009},
url = {http://arxiv.org/abs/0903.2202},
eprinttype = {arXiv},
eprint = {0903.2202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/Vidal08b,
author = {Ren{\'{e}} Victor Valqui Vidal},
title = {The Usage of System Dynamics in Organizational Interventions, B. Snabe.
Deutscher Universit{\"{a}}ts-Verlag, Wiesbaden, Germany (2007),
978-3-8350-0711-6},
journal = {Eur. J. Oper. Res.},
volume = {190},
number = {1},
pages = {292--294},
year = {2008},
url = {https://doi.org/10.1016/j.ejor.2007.06.014},
doi = {10.1016/J.EJOR.2007.06.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/Vidal08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/OchoaSV08,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
title = {Dynamic slicing of lazy functional programs based on redex trails},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {147--192},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9023-7},
doi = {10.1007/S10990-008-9023-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/OchoaSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/Sanchis-TrillesOCCVH08,
author = {Germ{\'{a}}n Sanchis{-}Trilles and
Daniel Ortiz{-}Mart{\'{\i}}nez and
Jorge Civera and
Francisco Casacuberta and
Enrique Vidal and
Hieu Hoang},
title = {Improving Interactive Machine Translation via Mouse Actions},
booktitle = {2008 Conference on Empirical Methods in Natural Language Processing,
{EMNLP} 2008, Proceedings of the Conference, 25-27 October 2008, Honolulu,
Hawaii, USA, {A} meeting of SIGDAT, a Special Interest Group of the
{ACL}},
pages = {485--494},
publisher = {{ACL}},
year = {2008},
url = {https://aclanthology.org/D08-1051/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/Sanchis-TrillesOCCVH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Vidal08,
author = {Germ{\'{a}}n Vidal},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Termination of Narrowing in Left-Linear Constructor Systems},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {113--129},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_10},
doi = {10.1007/978-3-540-78969-7\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Vidal08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Vidal08,
author = {Germ{\'{a}}n Vidal},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Trace Analysis for Predicting the Effectiveness of Partial Evaluation},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {790--794},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_78},
doi = {10.1007/978-3-540-89982-2\_78},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Vidal08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ArroyoRTV08,
author = {Gustavo Arroyo and
J. Guadalupe Ramos and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Michael Hanus},
title = {A Transformational Approach to Polyvariant {BTA} of Higher-Order Functional
Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {40--54},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_4},
doi = {10.1007/978-3-642-00515-2\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ArroyoRTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelV08,
author = {Michael Leuschel and
Germ{\'{a}}n Vidal},
editor = {Michael Hanus},
title = {Fast Offline Partial Evaluation of Large Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {119--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_9},
doi = {10.1007/978-3-642-00515-2\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlmi/Sanchis-TrillesGCVC08,
author = {Germ{\'{a}}n Sanchis{-}Trilles and
Maria{-}Teresa Gonz{\'{a}}lez and
Francisco Casacuberta and
Enrique Vidal and
Jorge Civera},
editor = {Andrei Popescu{-}Belis and
Rainer Stiefelhagen},
title = {Introducing Additional Input Information into Interactive Machine
Translation Systems},
booktitle = {Machine Learning for Multimodal Interaction, 5th International Workshop,
{MLMI} 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5237},
pages = {284--295},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85853-9\_26},
doi = {10.1007/978-3-540-85853-9\_26},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/mlmi/Sanchis-TrillesGCVC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LlorensOSTV08,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Vesa Halava and
Igor Potapov},
title = {Dynamic Slicing Techniques for Petri Nets},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {153--165},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.037},
doi = {10.1016/J.ENTCS.2008.12.037},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LlorensOSTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2008,
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2},
doi = {10.1007/978-3-540-69166-2},
isbn = {978-3-540-69163-1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RamosSV07,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
title = {Ensuring the quasi-termination of needed narrowing computations},
journal = {Inf. Process. Lett.},
volume = {101},
number = {5},
pages = {220--226},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2006.09.010},
doi = {10.1016/J.IPL.2006.09.010},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RamosSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SilvaV07,
author = {Josep Silva and
Germ{\'{a}}n Vidal},
title = {Forward slicing of functional logic programs by partial evaluation},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {215--247},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002870},
doi = {10.1017/S1471068406002870},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SilvaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BrasselHFHV07,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Sebastian Fischer and
Frank Huch and
Germ{\'{a}}n Vidal},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Lazy call-by-value evaluation},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {265--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291193},
doi = {10.1145/1291151.1291193},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BrasselHFHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FischerSTV07,
author = {Sebastian Fischer and
Josep Silva and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Andy King},
title = {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {74--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_6},
doi = {10.1007/978-3-540-78769-3\_6},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FischerSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Vidal07,
author = {Germ{\'{a}}n Vidal},
editor = {G. Ramalingam and
Eelco Visser},
title = {Quasi-terminating logic programs for ensuring the termination of partial
evaluation},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {51--60},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244390},
doi = {10.1145/1244381.1244390},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Vidal07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/DelgadoVH06,
author = {David Delgado and
David Vidal and
Germ{\'{a}}n Jairo Hern{\'{a}}ndez{-}P{\'{e}}rez},
editor = {Mike Cattolico},
title = {Evolutionary design of pseudorandom sequence generators based on cellular
automata and its applicability in current cryptosystems},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2006, Proceedings,
Seattle, Washington, USA, July 8-12, 2006},
pages = {1859--1860},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1143997.1144299},
doi = {10.1145/1143997.1144299},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/DelgadoVH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Almendros-JimenezV06,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Germ{\'{a}}n Vidal},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Automatic Partial Inversion of Inductively Sequential Functions},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {253--270},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_15},
doi = {10.1007/978-3-540-74130-5\_15},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/Almendros-JimenezV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/OchoaSV06,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A Slicing Tool for Lazy Functional Logic Programs},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {498--501},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_46},
doi = {10.1007/11853886\_46},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/OchoaSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ArroyoRSV06,
author = {Gustavo Arroyo and
J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Germ{\'{a}}n Puebla},
title = {Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change
Graphs},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {60--76},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_6},
doi = {10.1007/978-3-540-71410-1\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ArroyoRSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChedaSV07,
author = {Diego Cheda and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Static Slicing of Rewrite Systems},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {123--136},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.010},
doi = {10.1016/J.ENTCS.2007.01.010},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChedaSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601013,
author = {Josep Silva and
Germ{\'{a}}n Vidal},
title = {Forward slicing of functional logic programs by partial evaluation},
journal = {CoRR},
volume = {abs/cs/0601013},
year = {2006},
url = {http://arxiv.org/abs/cs/0601013},
eprinttype = {arXiv},
eprint = {cs/0601013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AlbertHHOV05,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
title = {Operational semantics for declarative multi-paradigm languages},
journal = {J. Symb. Comput.},
volume = {40},
number = {1},
pages = {795--829},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.01.001},
doi = {10.1016/J.JSC.2004.01.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AlbertHHOV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteLHV05,
author = {Mar{\'{\i}}a Alpuente and
Salvador Lucas and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {Specialization of functional logic programs based on needed narrowing},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {3},
pages = {273--303},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002303},
doi = {10.1017/S1471068404002303},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteLHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeuschelV05,
author = {Michael Leuschel and
Germ{\'{a}}n Vidal},
editor = {Shmuel Sagiv},
title = {Forward Slicing by Conjunctive Partial Deduction and Argument Filtering},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {61--76},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_6},
doi = {10.1007/978-3-540-31987-0\_6},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/LeuschelV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RamosSV05,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Fast narrowing-driven partial evaluation for inductively sequential
programs},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {228--239},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086394},
doi = {10.1145/1086365.1086394},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RamosSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/OchoaSV05,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sergio Antoy and
Michael Hanus},
title = {Lightweight program specialization via dynamic slicing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {1--7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085101},
doi = {10.1145/1085099.1085101},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/OchoaSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/RamosSV05,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sergio Antoy and
Michael Hanus},
title = {An offline partial evaluator for curry programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {49--53},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085109},
doi = {10.1145/1085099.1085109},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/RamosSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Vidal04,
author = {Germ{\'{a}}n Vidal},
title = {Cost-Augmented Partial Evaluation of Functional Logic Programs},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {1-2},
pages = {7--46},
year = {2004},
url = {https://doi.org/10.1023/B:LISP.0000029447.02190.42},
doi = {10.1023/B:LISP.0000029447.02190.42},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Vidal04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlpuenteFMV04,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
title = {Rules + strategies for transforming lazy functional logic programs},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {479--525},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.033},
doi = {10.1016/J.TCS.2003.10.033},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlpuenteFMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/ArroyoOSV04,
author = {Gustavo Arroyo and
Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Christian Lema{\^{\i}}tre and
Carlos A. Reyes Garc{\'{\i}}a and
Jes{\'{u}}s A. Gonz{\'{a}}lez},
title = {Towards {CNC} Programming Using Haskell},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3315},
pages = {386--396},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30498-2\_39},
doi = {10.1007/978-3-540-30498-2\_39},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/ArroyoOSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrasselHHSV04,
author = {Bernd Brassel and
Michael Hanus and
Frank Huch and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sandro Etalle},
title = {Run-Time Profiling of Functional Logic Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {182--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_12},
doi = {10.1007/11506676\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BrasselHHSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/OchoaSV04,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Dynamic slicing based on redex trails},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {123--134},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014020},
doi = {10.1145/1014007.1014020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/OchoaSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BrasselHHV04,
author = {Bernd Brassel and
Michael Hanus and
Frank Huch and
Germ{\'{a}}n Vidal},
editor = {Eugenio Moggi and
David Scott Warren},
title = {A semantics for tracing declarative multi-paradigm programs},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {179--190},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013984},
doi = {10.1145/1013963.1013984},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BrasselHHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/RamosSV04,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Peter van Emde Boas and
Jaroslav Pokorn{\'{y}} and
M{\'{a}}ria Bielikov{\'{a}} and
Julius Stuller},
title = {An Embedded Language Approach to Router Specification in Curry},
booktitle = {{SOFSEM} 2004: Theory and Practice of Computer Science, 30th Conference
on Current Trends in Theory and Practice of Computer Science, Merin,
Czech Republic, January 24-30, 2004},
series = {Lecture Notes in Computer Science},
volume = {2932},
pages = {277--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24618-3\_24},
doi = {10.1007/978-3-540-24618-3\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/RamosSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0403011,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
title = {Specialization of Functional Logic Programs Based on Needed Narrowing},
journal = {CoRR},
volume = {cs.PL/0403011},
year = {2004},
url = {http://arxiv.org/abs/cs/0403011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0403011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlbertHV03,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {A residualizing semantics for the partial evaluation of functional
logic programs},
journal = {Inf. Process. Lett.},
volume = {85},
number = {1},
pages = {19--25},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(02)00336-8},
doi = {10.1016/S0020-0190(02)00336-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AlbertHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlpuenteFIV03,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
title = {Uniform Lazy Narrowing},
journal = {J. Log. Comput.},
volume = {13},
number = {2},
pages = {287--312},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.2.287},
doi = {10.1093/LOGCOM/13.2.287},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlpuenteFIV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlbertSV03,
author = {Elvira Albert and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Francesco Buccafurri},
title = {Time Equations for Lazy Functional (Logic) Languages},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {13--24},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Vidal03,
author = {Germ{\'{a}}n Vidal},
editor = {Lubos Brim and
Orna Grumberg},
title = {Preface},
booktitle = {12th International Workshop on Functional and Constraint Logic Programming,
{WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {3},
pages = {205--206},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80700-5},
doi = {10.1016/S1571-0661(05)80700-5},
timestamp = {Wed, 07 Dec 2022 09:18:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vidal03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/AlbertHV02,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
title = {A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative
Languages},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/AlbertHV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlbertHH0V02,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o{-}Carballo},
title = {A Deterministic Operational Semantics for Functional Logic Programs},
booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
pages = {207},
publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
de Madrid},
year = {2002},
url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_207.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertHH0V02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal02,
author = {Germ{\'{a}}n Vidal},
editor = {Michael Leuschel},
title = {Forward Slicing of Multi-paradigm Declarative Programs Based on Partial
Evaluation},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {219--237},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_17},
doi = {10.1007/3-540-45013-0\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Vidal02,
author = {Germ{\'{a}}n Vidal},
editor = {Peter Thiemann},
title = {Cost-augmented narrowing-driven specialization},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
USA, January 14-15, 2002},
pages = {52--62},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503032.503037},
doi = {10.1145/503032.503037},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Vidal02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertHHOV02,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {An Operational Semantics for Declarative Multi-Paradigm Languages},
booktitle = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
July 21, 2002, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
pages = {62--83},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80600-5},
doi = {10.1016/S1571-0661(04)80600-5},
timestamp = {Tue, 06 Dec 2022 15:13:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertHHOV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertHHOV02a,
author = {Elvira Albert and
Michael Hanus and
Frank Huch and
Javier Oliver and
Germ{\'{a}}n Vidal},
editor = {Marco Comini and
Moreno Falaschi},
title = {Operational Semantics for Functional Logic Languages},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {1--19},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80782-5},
doi = {10.1016/S1571-0661(04)80782-5},
timestamp = {Wed, 07 Dec 2022 09:09:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertHHOV02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/AlbertV01,
author = {Elvira Albert and
Germ{\'{a}}n Vidal},
title = {The Narrowing-driven Approach to Functional Logic Program Specialization},
journal = {New Gener. Comput.},
volume = {20},
number = {1},
pages = {3--26},
year = {2001},
url = {https://doi.org/10.1007/BF03037257},
doi = {10.1007/BF03037257},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/AlbertV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlbertHV01,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {326--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_21},
doi = {10.1007/3-540-44716-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlbertHV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertV01,
author = {Elvira Albert and
Germ{\'{a}}n Vidal},
editor = {Alberto Pettorossi},
title = {Symbolic Profiling for Multi-paradigm Declarative Languages},
booktitle = {Logic Based Program Synthesis and Transformation, 11th International
Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2372},
pages = {148--167},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45607-4\_9},
doi = {10.1007/3-540-45607-4\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/AlbertFSV00,
author = {Elvira Albert and
C{\'{e}}sar Ferri and
Frank Steiner and
Germ{\'{a}}n Vidal},
editor = {Jifeng He and
Masahiko Sato},
title = {Improving Functional Logic Programs by Difference-Lists},
booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1961},
pages = {237--254},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44464-5\_17},
doi = {10.1007/3-540-44464-5\_17},
timestamp = {Mon, 21 Mar 2022 11:35:02 +0100},
biburl = {https://dblp.org/rec/conf/asian/AlbertFSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertAV00,
author = {Elvira Albert and
Sergio Antoy and
Germ{\'{a}}n Vidal},
editor = {Kung{-}Kiu Lau},
title = {Measuring the Effectiveness of Partial Evaluation},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertAV00a,
author = {Elvira Albert and
Sergio Antoy and
Germ{\'{a}}n Vidal},
editor = {Kung{-}Kiu Lau},
title = {Measuring the Effectiveness of Partial Evaluation in Functional Logic
Languages},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {103--124},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_7},
doi = {10.1007/3-540-45142-0\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertHV00,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Michel Parigot and
Andrei Voronkov},
title = {Using an Abstract Representation to Specialize Functional Logic Programs},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {381--398},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_24},
doi = {10.1007/3-540-44404-1\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertHV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlpuenteFMV00,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {V{\'{a}}clav Hlav{\'{a}}c and
Keith G. Jeffery and
Jir{\'{\i}} Wiedermann},
title = {An Automatic Composition Algorithm for Functional Logic Programs},
booktitle = {{SOFSEM} 2000: Theory and Practice of Informatics, 27th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 25 - December 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1963},
pages = {289--297},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44411-4\_17},
doi = {10.1007/3-540-44411-4\_17},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AlpuenteFMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlbertAV00,
author = {Elvira Albert and
Sergio Antoy and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {A Formal Approach to Reasoning about the Effectiveness of Partial
Evaluation},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {120--127},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlbertAV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlbertFSV00,
author = {Elvira Albert and
C{\'{e}}sar Ferri and
Frank Steiner and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {List-Processing Optimizations in a Multi-Paradigm Declarative Language},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {184--194},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlbertFSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlbertHV00,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {Realistic Program Specialization in a Multi-Paradigm Language},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {104--119},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlbertHV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/AlpuenteFMV00,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente},
title = {Using {PE} to Automate Program Composition},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {169--183},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/AlpuenteFMV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/AlpuenteFFMV99,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
C{\'{e}}sar Ferri and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
title = {Un Sistema de Transformaci{\'{o}}n para Programas Multiparadigma},
journal = {Inteligencia Artif.},
volume = {3},
number = {8},
pages = {27--35},
year = {1999},
url = {http://journal.iberamia.org/index.php/ia/article/view/259/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/AlpuenteFFMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlpuenteFMV99,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Transformation System for Lazy Functional Logic Programs},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {147--162},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_10},
doi = {10.1007/10705424\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlpuenteFMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AlpuenteHLV99,
author = {Mar{\'{\i}}a Alpuente and
Michael Hanus and
Salvador Lucas and
Germ{\'{a}}n Vidal},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Specialization of Inductively Sequential Functional Logic Programs},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {273--283},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317910},
doi = {10.1145/317636.317910},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AlpuenteHLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertAHV99,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {A Partial Evaluation Framework for Curry Programs},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {376--395},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_23},
doi = {10.1007/3-540-48242-3\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAHV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/AlpuenteFV98,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
title = {A Unifying View of Functional and Logic Program Specialization},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {9},
year = {1998},
url = {https://doi.org/10.1145/289121.289130},
doi = {10.1145/289121.289130},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/AlpuenteFV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlpuenteFV98,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
title = {Partial Evaluation of Functional Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {4},
pages = {768--844},
year = {1998},
url = {https://doi.org/10.1145/291891.291896},
doi = {10.1145/291891.291896},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/AlpuenteFV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlbertAFIV98,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Polygenetic Partial Evaluation of Lazy Functional Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {151--164},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertAFIV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertAFJV98,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
editor = {Giorgio Levi},
title = {Improving Control in Functional Logic Program Specialization},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {262--277},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_16},
doi = {10.1007/3-540-49727-7\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AlbertAFJV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteFMV97,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Safe Folding/Unfolding with Conditional Narrowing},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {347--358},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteFMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlpuenteFMV97,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Safe Folding/Unfolding with Conditional Narrowing},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {1--15},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026999},
doi = {10.1007/BFB0026999},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlpuenteFMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlpuenteFJV97,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
editor = {John P. Gallagher and
Charles Consel and
A. Michael Berman},
title = {Specialization of Lazy Functional Logic Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam,
The Netherlands, June 12-13, 1997},
pages = {151--162},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258993.259015},
doi = {10.1145/258993.259015},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AlpuenteFJV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlpuenteFV96,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
title = {A Compositional Semantic Basis for the Analysis of Equational Horn
Programs},
journal = {Theor. Comput. Sci.},
volume = {165},
number = {1},
pages = {133--169},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00043-6},
doi = {10.1016/0304-3975(96)00043-6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlpuenteFV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteFIV96,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Call-By Name Partial Evaluation of Functional Logic Programs},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {17--28},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteFIV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlpuenteFV96,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
editor = {Hanne Riis Nielson},
title = {Narrowing-Driven Partial Evaluation of Functional Logic Programs},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {45--61},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_28},
doi = {10.1007/3-540-61055-3\_28},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/AlpuenteFV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BordelTV95,
author = {Germ{\'{a}}n Bordel and
M. In{\'{e}}s Torres and
Enrique Vidal},
title = {{QWI:} a method for improved smoothing in language modelling},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {185--188},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479395},
doi = {10.1109/ICASSP.1995.479395},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/BordelTV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteFRV94,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Mar{\'{\i}}a Jos{\'{e}} Ramis and
Germ{\'{a}}n Vidal},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {A Compositional Semantics for Conditional Term Rewriting Systems},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {62--76},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteFRV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlpuenteFV94,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Compositional Analysis for Equational Horn Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {77--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_8},
doi = {10.1007/3-540-58431-5\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlpuenteFV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/AlpuenteFRV94,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Mar{\'{\i}}a Jos{\'{e}} Ramis and
Germ{\'{a}}n Vidal},
editor = {Henri E. Bal},
title = {A Compositional Semantics for Conditional Term Rewriting Systems},
booktitle = {Proceedings of the {IEEE} Computer Society 1994 International Conference
on Computer Languages, May 16-19, 1994, Toulouse, France},
pages = {171--182},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCL.1994.288383},
doi = {10.1109/ICCL.1994.288383},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/AlpuenteFRV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/BordelTV94,
author = {Germ{\'{a}}n Bordel and
M. In{\'{e}}s Torres and
Enrique Vidal},
title = {Back-off smoothing in a syntactic approach to language modelling},
booktitle = {The 3rd International Conference on Spoken Language Processing, {ICSLP}
1994, Yokohama, Japan, September 18-22, 1994},
pages = {851--854},
publisher = {{ISCA}},
year = {1994},
url = {https://doi.org/10.21437/ICSLP.1994-227},
doi = {10.21437/ICSLP.1994-227},
timestamp = {Wed, 21 Jun 2023 17:18:06 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/BordelTV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlpuenteFRV93,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Mar{\'{\i}}a Jos{\'{e}} Ramis and
Germ{\'{a}}n Vidal},
editor = {Domenico Sacc{\`{a}}},
title = {Using Narrowing Approximations to Optimize Equational Logic Programs},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {127--142},
year = {1993},
timestamp = {Mon, 06 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlpuenteFRV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/AlpuenteFRV93,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Mar{\'{\i}}a Jos{\'{e}} Ramis and
Germ{\'{a}}n Vidal},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Narrowing Approximations as an Optimization for Equational Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {391--409},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_93},
doi = {10.1007/3-540-57186-8\_93},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/AlpuenteFRV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AlpuenteFV93,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
editor = {Dale Miller},
title = {Incremental Equational Constraint Analyses},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {657},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/AlpuenteFV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1987,
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039590},
doi = {10.1007/BFB0039590},
isbn = {3-540-17219-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-23 20:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
