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.

Radu Grigore
SearchCollections
Map detail
Radu Grigore8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRadu GrigoreARadu GrigoreResearcherThe Design and Algorithms of a Verification Condition GeneratorWThe Design and Algorith...preprint / 2012Runtime Verification Based on Register AutomataWRuntime Verification Ba...preprint / 2015Tree BuffersWTree Bufferspreprint / 2015Abstraction Refinement Guided by a Learnt Probabilistic ModelWAbstraction Refinement ...preprint / 2015Java Generics are Turing CompleteWJava Generics are Turin...preprint / 2016On QBF Proofs and PreprocessingWOn QBF Proofs and Prepr...preprint / 2013Counterexample Guided Abstraction Refinement Algorithm for Propositional CircumscriptionWCounterexample Guided A...preprint / 2010
Person7 links

Radu Grigore

Researcher

PaperThe Design and Algorithms of a Verification Condition GeneratorAuthorship / preprint / 2012PaperRuntime Verification Based on Register AutomataAuthorship / preprint / 2015PaperTree BuffersAuthorship / preprint / 2015PaperAbstraction Refinement Guided by a Learnt Probabilistic ModelAuthorship / preprint / 2015PaperJava Generics are Turing CompleteAuthorship / preprint / 2016PaperOn QBF Proofs and PreprocessingAuthorship / preprint / 2013PaperCounterexample Guided Abstraction Refinement Algorithm for Propositional CircumscriptionAuthorship / preprint / 2010

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)