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.

Anca Muscholl
SearchCollections
Map detail
Anca Muscholl13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAnca MuschollAAnca MuschollResearcherActive Learning for Sound NegotiationsWActive Learning for Sou...preprint / 2022Distributed synthesis for acyclic architecturesWDistributed synthesis f...preprint / 2014Automated Synthesis of Distributed ControllersWAutomated Synthesis of ...preprint / 2015A lower bound on web services compositionWA lower bound on web se...preprint / 2008Reachability for dynamic parametric processesWReachability for dynami...preprint / 2016Verifying Recursive Active Documents with Positive Data Tree RewritingWVerifying Recursive Act...preprint / 2010On Injective Embeddings of Tree PatternsWOn Injective Embeddings...preprint / 2012On distributed monitoring of asynchronous systemsWOn distributed monitori...preprint / 2012A Note on Monitors and Büchi automataWA Note on Monitors and ...preprint / 2015On parametrized verification of asynchronous, shared-memory pushdown systemsWOn parametrized verific...preprint / 2016One-way resynchronizability of word transducersWOne-way resynchronizabi...preprint / 2021Asynchronous Games over Tree ArchitecturesWAsynchronous Games over...preprint / 2013
Person12 links

Anca Muscholl

Researcher

PaperActive Learning for Sound NegotiationsAuthorship / preprint / 2022PaperDistributed synthesis for acyclic architecturesAuthorship / preprint / 2014PaperAutomated Synthesis of Distributed ControllersAuthorship / preprint / 2015PaperA lower bound on web services compositionAuthorship / preprint / 2008PaperReachability for dynamic parametric processesAuthorship / preprint / 2016PaperVerifying Recursive Active Documents with Positive Data Tree RewritingAuthorship / preprint / 2010PaperOn Injective Embeddings of Tree PatternsAuthorship / preprint / 2012PaperOn distributed monitoring of asynchronous systemsAuthorship / preprint / 2012

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)