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.

Igor Walukiewicz
SearchCollections
Map detail
Igor Walukiewicz13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIgor WalukiewiczAIgor WalukiewiczResearcherActive Learning for Sound NegotiationsWActive Learning for Sou...preprint / 2022Characterizing consensus in the Heard-Of modelWCharacterizing consensu...preprint / 2020Postinal Determinacy of Games with Infinitely Many PrioritiesWPostinal Determinacy of...preprint / 2012Distributed synthesis for acyclic architecturesWDistributed synthesis f...preprint / 2014Wreath Products of Forest Algebras, with Applications to Tree LogicsWWreath Products of Fore...preprint / 2012Weak Alternating Timed AutomataWWeak Alternating Timed ...preprint / 2012A lower bound on web services compositionWA lower bound on web se...preprint / 2008Lazy abstractions for timed automataWLazy abstractions for t...preprint / 2013A Note on Monitors and Büchi automataWA Note on Monitors and ...preprint / 2015On parametrized verification of asynchronous, shared-memory pushdown systemsWOn parametrized verific...preprint / 2016Better abstractions for timed automataWBetter abstractions for...preprint / 2016Reachability for dynamic parametric processesWReachability for dynami...preprint / 2016
Person12 links

Igor Walukiewicz

Researcher

PaperActive Learning for Sound NegotiationsAuthorship / preprint / 2022PaperCharacterizing consensus in the Heard-Of modelAuthorship / preprint / 2020PaperPostinal Determinacy of Games with Infinitely Many PrioritiesAuthorship / preprint / 2012PaperDistributed synthesis for acyclic architecturesAuthorship / preprint / 2014PaperWreath Products of Forest Algebras, with Applications to Tree LogicsAuthorship / preprint / 2012PaperWeak Alternating Timed AutomataAuthorship / preprint / 2012PaperA lower bound on web services compositionAuthorship / preprint / 2008PaperLazy abstractions for timed automataAuthorship / preprint / 2013

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)