Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 182 matches
- 2024
- Germán Vidal:
An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. SAC 2024: 1132-1139 - Germán Vidal:
An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. CoRR abs/2401.00087 (2024) - Germán Vidal:
Explaining Explanations in Probabilistic Logic Programming. CoRR abs/2401.17045 (2024) - 2023
- German Herrera-Vidal, Jairo R. Coronado-Hernández, Claudia Minnaard:
Measuring manufacturing system complexity: a literature review. J. Intell. Manuf. 34(7): 2865-2888 (2023) - Manuel F. Dolz, Sergio Barrachina, Héctor Martínez, Adrián Castelló, Antonio-Manuel Vidal-Maciá, Germán Fabregat, Andrés E. Tomás:
Performance-energy trade-offs of deep learning convolution algorithms on ARM processors. J. Supercomput. 79(9): 9819-9836 (2023) - Germán Vidal:
Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 266-280 - Germán Vidal:
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. FACS 2023: 103-123 - Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal:
Towards a Taxonomy for Reversible Computation Approaches. RC 2023: 24-39 - Germán Vidal:
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. CoRR abs/2309.04873 (2023) - 2022
- Germán Vidal:
Explanations as Programs in Probabilistic Logic Programming. FLOPS 2022: 205-223 - Germán Vidal:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. FORTE 2022: 188-207 - Sokratis K. Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge:
Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13106, Springer 2022, ISBN 978-3-030-95483-3 [contents] - Germán Vidal:
Explanations as Programs in Probabilistic Logic Programming. CoRR abs/2210.03021 (2022) - Germán Vidal:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. CoRR abs/2210.03026 (2022) - 2021
- Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178(3): 229-266 (2021) - Juan José González-Abril, Germán Vidal:
Prefix-Based Tracing in Message-Passing Concurrency. LOPSTR 2021: 157-175 - Juan José González-Abril, Germán Vidal:
Causal-Consistent Reversible Debugging: Improving CauDEr. PADL 2021: 145-160 - Juan José González-Abril, Germán Vidal:
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. CoRR abs/2108.11679 (2021) - Juan José González-Abril, Germán Vidal:
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. CoRR abs/2112.12869 (2021) - 2020
- Juan Carlos Torrado, Javier Gómez, Germán Montoro:
Hands-On Experiences With Assistive Technologies for People With Intellectual Disabilities: Opportunities and Challenges. IEEE Access 8: 106408-106424 (2020) - Fred Mesnard, Étienne Payet, Germán Vidal:
Selective Unification in (Constraint) Logic Programming. Fundam. Informaticae 177(3-4): 359-383 (2020) - Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in CLP. Theory Pract. Log. Program. 20(5): 671-686 (2020) - Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal:
An SMT-Based Concolic Testing Tool for Logic Programs. FLOPS 2020: 215-219 - Germán Vidal:
Reversible Computations in Logic Programming. RC 2020: 246-254 - Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127 - Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal:
An SMT-Based Concolic Testing Tool for Logic Programs. CoRR abs/2002.07115 (2020) - Germán Vidal:
Reversible Debugging in Logic Programming. CoRR abs/2007.16171 (2020) - Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in CLP. CoRR abs/2008.00421 (2020) - 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)
skipping 152 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-20 16:35 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