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.

Cristina David
SearchCollections
Map detail
Cristina David10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipCristina DavidACristina DavidResearcherPropositional Reasoning about Safety and Termination of Heap-Manipulating ProgramsWPropositional Reasoning...preprint / 2014Unrestricted Termination and Non-Termination Arguments for Bit-Vector ProgramsWUnrestricted Terminatio...preprint / 2014Second-Order Propositional SatisfiabilityWSecond-Order Propositio...preprint / 2015Danger InvariantsWDanger Invariantspreprint / 2015Using Program Synthesis for Program AnalysisWUsing Program Synthesis...preprint / 2015Decomposition Without RegretWDecomposition Without R...preprint / 2022Using Graph Neural Networks for Program TerminationWUsing Graph Neural Netw...preprint / 2022AI-Assisted Authoring for Transparent, Data-Driven DocumentsWAI-Assisted Authoring f...preprint / 2025Synthesising Interprocedural Bit-Precise Termination Proofs (extended version)WSynthesising Interproce...preprint / 2015
Person9 links

Cristina David

Researcher

PaperPropositional Reasoning about Safety and Termination of Heap-Manipulating ProgramsAuthorship / preprint / 2014PaperUnrestricted Termination and Non-Termination Arguments for Bit-Vector ProgramsAuthorship / preprint / 2014PaperSecond-Order Propositional SatisfiabilityAuthorship / preprint / 2015PaperDanger InvariantsAuthorship / preprint / 2015PaperUsing Program Synthesis for Program AnalysisAuthorship / preprint / 2015PaperDecomposition Without RegretAuthorship / preprint / 2022PaperUsing Graph Neural Networks for Program TerminationAuthorship / preprint / 2022PaperAI-Assisted Authoring for Transparent, Data-Driven DocumentsAuthorship / preprint / 2025

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)