BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Germán Vidal
SearchCollections
Map detail
Germán Vidal8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGermán VidalAGermán VidalResearcherAn Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming LanguagesWAn Asynchronous Scheme ...preprint / 2024Reversible Debugging in Logic ProgrammingWReversible Debugging in...preprint / 2022Annotation of Logic Programs for Independent AND-Parallelism by Partial EvaluationWAnnotation of Logic Pro...preprint / 2012A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible DebuggingWA Lightweight Approach ...preprint / 2022Concolic Testing in Logic ProgrammingWConcolic Testing in Log...preprint / 2015Tuning Fuzzy Logic Programs with Symbolic ExecutionWTuning Fuzzy Logic Prog...preprint / 2016Towards Reversible Computation in ErlangWTowards Reversible Comp...preprint / 2016
Person7 links

Germán Vidal

Researcher

PaperAn Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming LanguagesAuthorship / preprint / 2024PaperReversible Debugging in Logic ProgrammingAuthorship / preprint / 2022PaperAnnotation of Logic Programs for Independent AND-Parallelism by Partial EvaluationAuthorship / preprint / 2012PaperA Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible DebuggingAuthorship / preprint / 2022PaperConcolic Testing in Logic ProgrammingAuthorship / preprint / 2015PaperTuning Fuzzy Logic Programs with Symbolic ExecutionAuthorship / preprint / 2016PaperTowards Reversible Computation in ErlangAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)