Matthias Schlaipfer

2012201320142015201620172018201920202021202220231 1 3 2 5 4 2 8 8 6 6 1

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Kaushik RajanMicrosoftVerified email at microsoft.com
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Malavika SamakMITVerified email at csail.mit.edu
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Friedrich SlivovskyPostdoc, TU WienVerified email at ac.tuwien.ac.at
Gabriel EbnerMicrosoft ResearchVerified email at gebner.org
Georg Hofferek

Matthias Schlaipfer

Amazon Web Services

Verified email at amazon.at - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Optimizing big-data queries using program synthesis M Schlaipfer, K Rajan, A Lal, M Samak Proceedings of the 26th Symposium on Operating Systems Principles, 631-646, 2017	19	2017
Generalized reactivity (1) synthesis without a monolithic strategy M Schlaipfer, G Hofferek, R Bloem Hardware and Software: Verification and Testing: 7th International Haifa …, 2012	10	2012
Labelled interpolation systems for hyper-resolution, clausal, and local proofs M Schlaipfer, G Weissenbacher Journal of Automated Reasoning 57, 3-36, 2016	7	2016
Reduction of resolution refutations and interpolants via subsumption R Bloem, S Malik, M Schlaipfer, G Weissenbacher Hardware and Software: Verification and Testing: 10th International Haifa …, 2014	7	2014
Multi-linear strategy extraction for QBF expansion proofs via local soundness M Schlaipfer, F Slivovsky, G Weissenbacher, F Zuleger Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020	2	2020
Program synthesis for query optimization K Rajan, A Lal, M Schlaipfer US Patent 11,016,974, 2021	1	2021
Efficient translation of sequent calculus proofs into natural deduction proofs G Ebner, M Schlaipfer PAAR 2018, 17-33, 2018	1	2018

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year