◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Philipp Rümmer

30 papers hereh-index 313k citations136 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author2
  • middle author12
  • last author14

Across the 30 of 30 papers where every author was matched, so the position is known.

fields
  • cs.LO22
  • cs.PL3
  • cs.SE2
  • cs.AI1
  • cs.FL1
  • cs.LG1
same name
  • Philipp Rümmer — 7 papers
  • Philipp Rümmer — 2 papers, h 1
  • Philipp Rümmer — 2 papers, h 1
  • Philipp Rümmer — 2 papers, h 1
  • Philipp Rümmer — 1 paper, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20102026
most citedHorn Clauses for Communicating Timed Systems

29 citations · 102 across the 28 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2022

Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

Learning program semantics from raw source code is challenging due to the complexity of real-world programming language syntax and due to the difficulty of reconstructing long-dist…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.