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.

Michael Benedikt
SearchCollections
Map detail
Michael Benedikt13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael BenediktAMichael BenediktResearcherBalancing expressiveness and inexpressiveness in view designWBalancing expressivenes...preprint / 2020On monotonic determinacy and rewritability for recursive queries and viewsWOn monotonic determinac...preprint / 2020Querying Schemas With Access RestrictionsWQuerying Schemas With A...preprint / 2012Bisimilarity of Pushdown Systems is NonelementaryWBisimilarity of Pushdow...preprint / 2012Determining Relevance of Accesses at Runtime (Extended Version)WDetermining Relevance o...preprint / 2011Status and Challenges for FCC-eeWStatus and Challenges f...preprint / 2015Model Checking Markov Chains Against Unambiguous Buchi AutomataWModel Checking Markov C...preprint / 2016Query Answering with Transitive and Linear-Ordered DataWQuery Answering with Tr...preprint / 2022Some Model Theory of Guarded NegationWSome Model Theory of Gu...preprint / 2020Finite Open-World Query Answering with Number RestrictionsWFinite Open-World Query...preprint / 2020Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on TreesWControlling the Depth, ...preprint / 2013Finite Open-World Query Answering with Number Restrictions (Extended Version)WFinite Open-World Query...preprint / 2015
Person12 links

Michael Benedikt

Researcher

PaperBalancing expressiveness and inexpressiveness in view designAuthorship / preprint / 2020PaperOn monotonic determinacy and rewritability for recursive queries and viewsAuthorship / preprint / 2020PaperQuerying Schemas With Access RestrictionsAuthorship / preprint / 2012PaperBisimilarity of Pushdown Systems is NonelementaryAuthorship / preprint / 2012PaperDetermining Relevance of Accesses at Runtime (Extended Version)Authorship / preprint / 2011PaperStatus and Challenges for FCC-eeAuthorship / preprint / 2015PaperModel Checking Markov Chains Against Unambiguous Buchi AutomataAuthorship / preprint / 2016PaperQuery Answering with Transitive and Linear-Ordered DataAuthorship / preprint / 2022

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)