Old Web
English
Sign In
Acemap
>
authorDetail
>
Philipp Ruemmer
Philipp Ruemmer
Uppsala University
Theoretical computer science
Computer science
Solver
Programming language
Nondeterministic algorithm
5
Papers
76
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
2021
arXiv: Programming Languages
Taolue Chen
Matthew Hague
Zhilei Han
Denghang Hu
Alejandro Flores-Lamas
Anthony W. Lin
Shuanglong Kan
Philipp Ruemmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (0)
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
2019
POPL | Symposium on Principles of Programming Languages
Taolue Chen
Matthew Hague
Anthony Widjaja Lin
Philipp Ruemmer
Zhilin Wu
Show All
Source
Cite
Save
Citations (33)
String Constraints with Concatenation and Transducers Solved Efficiently
2018
POPL | Symposium on Principles of Programming Languages
Lukáš Holík
Anthony Widjaja Lin
Petr Janků
Philipp Ruemmer
Tomáš Vojnar
Show All
Source
Cite
Save
Citations (0)
String Constraints with Concatenation and Transducers Solved Efficiently
2018
POPL | Symposium on Principles of Programming Languages
Lukáš Holík
Anthony W. Lin
Petr Janků
Philipp Ruemmer
Tomáš Vojnar
Show All
Source
Cite
Save
Citations (0)
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
2015
ARITH | Symposium on Computer Arithmetic
Martin Brain
Cesare Tinelli
Philipp Ruemmer
Thomas Wahl
Show All
Source
Cite
Save
Citations (43)
1