- 2019
- Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 19(5-6): 630-635 (2019) - Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019: 167-184 - Naoki Nishida, Germán Vidal:
Characterizing Compatible View Updates in Syntactic Bidirectionalization. RC 2019: 67-83 - Juan Carlos Torrado, Javier Gómez, Germán Montoro:
Assisted Behavior Control with Wearable Devices: A Case Study for High-Functioning Autism. UCAmI 2019: 2 - Sören Auer, Maria-Esther Vidal:
Data Integration in the Life Sciences - 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings. Lecture Notes in Computer Science 11371, Springer 2019, ISBN 978-3-030-06015-2 [contents] - Lucie-Aimée Kaffee, Kemele M. Endris, Maria-Esther Vidal, Marco Comerio, Mersedeh Sadeghi, David Chaves-Fraga, Pieter Colpaert:
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. CEUR Workshop Proceedings 2447, CEUR-WS.org 2019 [contents] - Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR abs/1908.03719 (2019) - 2018
- Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100: 71-97 (2018) - Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible computation in term rewriting. J. Log. Algebraic Methods Program. 94: 128-149 (2018) - Germán Vidal:
Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. 155: 1-2 (2018) - Germán Vidal:
Introduction to the special issue on computational logic for verification. Theory Pract. Log. Program. 18(2): 122-125 (2018) - Javier Gómez, Letizia Jaccheri, Juan Carlos Torrado, Germán Montoro:
Leo con lula, introducing global reading methods to children with ASD. IDC 2018: 420-426 - Javier Gómez, Juan Carlos Torrado, Germán Montoro:
AssisT-task: a smartphone application to support people with cognitive disabilities in their daily life activities. IDC 2018: 517-520 - Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018: 247-263 - Eva Lang, Joan Puigcerver, Alejandro H. Toselli, Enrique Vidal:
Probabilistic Indexing and Search for Information Extraction on Handwritten German Parish Records. ICFHR 2018: 44-49 - Antonio Díaz-Escudero, Juan Carlos Torrado, Javier Gómez, Germán Montoro:
Technology: aided authoring tools for ASD coaching support. Interacción 2018: 12:1-12:6 - Germán Vidal:
Specialization of Distributed Actors by Partial Evaluation. SMC 2018: 1576-1581 - Temesghen Kahsai, Germán Vidal:
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. EPTCS 278, 2018 [contents] - Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A Theory of Reversibility for Erlang. CoRR abs/1806.07100 (2018) - 2017
- Shib Sankar Sana, German Herrera-Vidal, Jaime Acevedo Chedid:
Collaborative Model on the Agro-Industrial Supply Chain of Cocoa. Cybern. Syst. 48(4): 325-347 (2017) - José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
Relative Termination via Dependency Pairs. J. Autom. Reason. 58(3): 391-411 (2017) - Juan Carlos Torrado, Javier Gómez, Germán Montoro:
Emotional Self-Regulation of Individuals with Autism Spectrum Disorders: Smartwatches for Monitoring and Interaction. Sensors 17(6): 1359 (2017) - Javier Gómez, Juan Carlos Torrado, Germán Montoro:
Using Smartphones to Assist People with Down Syndrome in Their Labour Training and Integration: A Case Study. Wirel. Commun. Mob. Comput. 2017 (2017) - Fred Mesnard, Étienne Payet, Germán Vidal:
Selective unification in constraint logic programming. PPDP 2017: 115-126 - Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible Computation in Term Rewriting. CoRR abs/1710.02804 (2017) - 2016
- Juan Carlos Torrado, Germán Montoro, Javier Gómez:
Easing the integration: A feasible indoor wayfinding system for cognitive impaired people. Pervasive Mob. Comput. 31: 137-146 (2016) - Juan Carlos Torrado, Germán Montoro, Javier Gómez:
The Potential of Smartwatches for Emotional Self-regulation of People with Autism Spectrum Disorder. HEALTHINF 2016: 444-449 - Juan Carlos Torrado, Javier Gómez, Germán Montoro:
Including Affect as a Part of the Context in Assistive Technologies for Cognition. Intelligent Environments (Workshops) 2016: 358-365 - Javier Gómez, Juan Carlos Torrado, Germán Montoro:
Using smartwatches for behavioral issues in ASD. Interacción 2016: 28