logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Philipp Rümmer

uppsala university

28H-index
177Paper Count
2.5KCitation Count
Published Papers 5
Publication Date
logo
A New Approach for Showing Termination of Parameterized Transition Systems
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err0
PREAI
errHerrmann, Roland; Ruemmer, Philipp
errShare
errSave
Complementable Normal Form of Parametrized Automata
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err0
PREAI
errAlber, Franziska; Ruemmer, Philipp
errShare
errSave
When GNNs Met a Word Equations Solver: Learning to Rank Equations
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errAbdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng; Ruemmer, Philipp
errShare
errSave
Decision Procedure for a Theory of String Sequences
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errHu, Denghang; Chen, Taolue; Rummer, Philipp; Song, Fu; Wu, Zhilin
errShare
errSave
The Power of Regular Constraint Propagation
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errHague, Matthew; Jez, Artur; Lin, Anthony Widjaja; Markgraf, Oliver; Rummer, Philipp
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Parosh Aziz Abdulla
H-index: 42 · Papers: 415
T
Taolue Chen
H-index: 31 · Papers: 239
R
R. Herrmann
H-index: 27 · Papers: 350
付
付松 (Fu Song)
H-index: 23 · Papers: 129
A
Artur Jeż
H-index: 19 · Papers: 103
View more