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.

Philipp Rümmer
SearchCollections
Map detail
Philipp Rümmer9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPhilipp RümmerAPhilipp RümmerResearcherCompetition Report: CHC-COMP-20WCompetition Report: CHC...preprint / 2020The Relationship between Craig Interpolation and Recursion-Free Horn ClausesWThe Relationship betwee...preprint / 2013Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)WDisjunctive Interpolant...preprint / 2013Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)WExploring Representatio...preprint / 2022Horn Clauses for Communicating Timed SystemsWHorn Clauses for Commun...preprint / 2014Proceedings 3rd Workshop on Horn Clauses for Verification and SynthesisWProceedings 3rd Worksho...preprint / 2016Monadic Decomposition in Integer Linear Arithmetic (Technical Report)WMonadic Decomposition i...preprint / 2020Regular Symmetry Patterns (Technical Report)WRegular Symmetry Patter...preprint / 2015
Person8 links

Philipp Rümmer

Researcher

PaperCompetition Report: CHC-COMP-20Authorship / preprint / 2020PaperThe Relationship between Craig Interpolation and Recursion-Free Horn ClausesAuthorship / preprint / 2013PaperDisjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)Authorship / preprint / 2013PaperExploring Representation of Horn Clauses using GNNs (Extended Technical Report)Authorship / preprint / 2022PaperHorn Clauses for Communicating Timed SystemsAuthorship / preprint / 2014PaperProceedings 3rd Workshop on Horn Clauses for Verification and SynthesisAuthorship / preprint / 2016PaperMonadic Decomposition in Integer Linear Arithmetic (Technical Report)Authorship / preprint / 2020PaperRegular Symmetry Patterns (Technical Report)Authorship / preprint / 2015

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)