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.

Luboš Brim
SearchCollections
Map detail
Luboš Brim9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLuboš BrimALuboš BrimResearcherRobust Control of Partially Specified Boolean NetworksWRobust Control of Parti...preprint / 2022Using Strategy Improvement to Stay AliveWUsing Strategy Improvem...preprint / 2010Platform Dependent Verification: On Engineering Verification Tools for 21st CenturyWPlatform Dependent Veri...preprint / 2011On Expressing and Monitoring Oscillatory DynamicsWOn Expressing and Monit...preprint / 2012Biochemical Space Language in Relation to Multiset Rewriting SystemsWBiochemical Space Langu...preprint / 2022Executable Biochemical Space for Specification and Analysis of Biochemical SystemsWExecutable Biochemical ...preprint / 2020Computing Optimal Cycle Mean in Parallel on CUDAWComputing Optimal Cycle...preprint / 2011Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)WAnalysing Sanity of Req...preprint / 2015
Person8 links

Luboš Brim

Researcher

PaperRobust Control of Partially Specified Boolean NetworksAuthorship / preprint / 2022PaperUsing Strategy Improvement to Stay AliveAuthorship / preprint / 2010PaperPlatform Dependent Verification: On Engineering Verification Tools for 21st CenturyAuthorship / preprint / 2011PaperOn Expressing and Monitoring Oscillatory DynamicsAuthorship / preprint / 2012PaperBiochemical Space Language in Relation to Multiset Rewriting SystemsAuthorship / preprint / 2022PaperExecutable Biochemical Space for Specification and Analysis of Biochemical SystemsAuthorship / preprint / 2020PaperComputing Optimal Cycle Mean in Parallel on CUDAAuthorship / preprint / 2011PaperAnalysing Sanity of Requirements for Avionics Systems (Preliminary Version)Authorship / preprint / 2015

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)