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.

Lukáš Holík
SearchCollections
Map detail
Lukáš Holík7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLukáš HolíkALukáš HolíkResearcherLow-Level Bi-AbductionWLow-Level Bi-Abductionpreprint / 2022Summaries for Context-Free GamesWSummaries for Context-F...preprint / 2016From Low-Level Pointers to High-Level ContainersWFrom Low-Level Pointers...preprint / 2015Pointer Race FreedomWPointer Race Freedompreprint / 2015Reduction of Nondeterministic Tree AutomataWReduction of Nondetermi...preprint / 2016Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer ScienceWProceedings 11th Doctor...preprint / 2016
Person6 links

Lukáš Holík

Researcher

PaperLow-Level Bi-AbductionAuthorship / preprint / 2022PaperSummaries for Context-Free GamesAuthorship / preprint / 2016PaperFrom Low-Level Pointers to High-Level ContainersAuthorship / preprint / 2015PaperPointer Race FreedomAuthorship / preprint / 2015PaperReduction of Nondeterministic Tree AutomataAuthorship / preprint / 2016PaperProceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer ScienceAuthorship / 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)