Graph explorer

Igor Walukiewicz

Igor Walukiewicz contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapIgor Walukiewicz
13 nodes12 links
Igor Walukiewicz13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAIgor WalukiewiczResearcherWActive Learning for Sou...preprint / 2022WCharacterizing consensu...preprint / 2020WPostinal Determinacy of...preprint / 2012WDistributed synthesis f...preprint / 2014WWreath Products of Fore...preprint / 2012WWeak Alternating Timed ...preprint / 2012WA lower bound on web se...preprint / 2008WLazy abstractions for t...preprint / 2013WA Note on Monitors and ...preprint / 2015WOn parametrized verific...preprint / 2016WBetter abstractions for...preprint / 2016WReachability for dynami...preprint / 2016
PersonSignal 1012 links

Igor Walukiewicz

Researcher

Open