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áš Masopust
SearchCollections
Map detail
Tomáš Masopust13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTomáš MasopustATomáš MasopustResearcherA Note on Undecidability of Observation Consistency for Non-Regular LanguagesWA Note on Undecidabilit...preprint / 2012A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown AutomataWA Note on Limited Pushd...preprint / 2012On $k$-piecewise testability (preliminary report)WOn $k$-piecewise testab...preprint / 2015Piecewise Testable Languages and Nondeterministic AutomataWPiecewise Testable Lang...preprint / 2016On Verification of D-Detectability for Discrete Event SystemsWOn Verification of D-De...preprint / 2020On Algorithms and Extensions of Coordination Control of Discrete-Event SystemsWOn Algorithms and Exten...preprint / 2012On the State Complexity of the Reverse of R- and J-trivial Regular LanguagesWOn the State Complexity...preprint / 2013Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient ConditionsWMaximally Permissive Co...preprint / 2014Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination ControlWDecentralized Superviso...preprint / 2014A Note on Relative Observability in Coordination ControlWA Note on Relative Obse...preprint / 2014On Conditional DecomposabilityWOn Conditional Decompos...preprint / 2014A Relaxed Framework for Coordination Control of Discrete-Event SystemsWA Relaxed Framework for...preprint / 2015
Person12 links

Tomáš Masopust

Researcher

PaperA Note on Undecidability of Observation Consistency for Non-Regular LanguagesAuthorship / preprint / 2012PaperA Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown AutomataAuthorship / preprint / 2012PaperOn kk-piecewise testability (preliminary report)Authorship / preprint / 2015PaperPiecewise Testable Languages and Nondeterministic AutomataAuthorship / preprint / 2016PaperOn Verification of D-Detectability for Discrete Event SystemsAuthorship / preprint / 2020PaperOn Algorithms and Extensions of Coordination Control of Discrete-Event SystemsAuthorship / preprint / 2012PaperOn the State Complexity of the Reverse of R- and J-trivial Regular LanguagesAuthorship / preprint / 2013PaperMaximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient ConditionsAuthorship / preprint / 2014

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)