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.

Tomáš Vojnar
SearchCollections
Map detail
Tomáš Vojnar7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTomáš VojnarATomáš VojnarResearcherHADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized SystemsWHADES: Microprocessor H...preprint / 2016Static Deadlock Detection in Low-Level C CodeWStatic Deadlock Detecti...preprint / 2022Perun: Performance Version SystemWPerun: Performance Vers...preprint / 2022Low-Level Bi-AbductionWLow-Level Bi-Abductionpreprint / 2022From Low-Level Pointers to High-Level ContainersWFrom Low-Level Pointers...preprint / 2015On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set ProgrammingWOn Zeno-like Behaviors ...preprint / 2026
Person6 links

Tomáš Vojnar

Researcher

PaperHADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized SystemsAuthorship / preprint / 2016PaperStatic Deadlock Detection in Low-Level C CodeAuthorship / preprint / 2022PaperPerun: Performance Version SystemAuthorship / preprint / 2022PaperLow-Level Bi-AbductionAuthorship / preprint / 2022PaperFrom Low-Level Pointers to High-Level ContainersAuthorship / preprint / 2015PaperOn Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set ProgrammingAuthorship / preprint / 2026

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)