Peter Schneider-Kamp

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 52

Top Venues

CoRR

J. Autom. Reason.

J. Comput. Syst. Sci.

ITP

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Tobias Hyrup, Anton Danholt Lautrup, Arthur Zimek, Peter Schneider-Kamp
Sharing is CAIRing: Characterizing Principles and Assessing Properties of Universal Privacy Evaluation for Synthetic Tabular Data. CoRR (2023)
Eduardo Pérez-Pellitero, Sibi Catley-Chandar, Richard Shaw, Ales Leonardis, Radu Timofte, Zexin Zhang, Cen Liu, Yunbo Peng, Yue Lin, Gaocheng Yu, Jin Zhang, Zhe Ma, Hongbin Wang, Xiangyu Chen, Xintao Wang, Haiwei Wu, Lin Liu, Chao Dong, Jiantao Zhou, Qingsen Yan, Song Zhang, Weiye Chen, Yuhang Liu, Zhen Zhang, Yanning Zhang, Javen Qinfeng Shi, Dong Gong, Dan Zhu, Mengdi Sun, Guannan Chen, Yang Hu, Haowei Li, Baozhu Zou, Zhen Liu, Wenjie Lin, Ting Jiang, Chengzhi Jiang, Xinpeng Li, Mingyan Han, Haoqiang Fan, Jian Sun, Shuaicheng Liu, Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger, Chunyang Li, Long Bao, Gang He, Ziyao Xu, Li Xu, Gen Zhan, Ming Sun, Xing Wen, Junlin Li, Jinjing Li, Chenghua Li, Ruipeng Gang, Fangya Li, Chenming Liu, Shuang Feng, Fei Lei, Rui Liu, Junxiang Ruan, Tianhong Dai, Wei Li, Zhan Lu, Hengyan Liu, Peian Huang, Guangyu Ren, Yonglin Luo, Chang Liu, Qiang Tu, Fangya Li, Ruipeng Gang, Chenghua Li, Jinjing Li, Sai Ma, Chenming Liu, Yizhen Cao, Steven Tel, Barthelemy Heyrman, Dominique Ginhac, Chul Lee, Gahyeon Kim, Seonghyun Park, An Gia Vien, Truong Thanh Nhat Mai, Howoon Yoon, Tu Vo, Alexander Holston, Sheir Zaheer, Chan Y. Park
NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results. CVPR Workshops (2022)
Eduardo Pérez-Pellitero, Sibi Catley-Chandar, Richard Shaw, Ales Leonardis, Radu Timofte, Zexin Zhang, Cen Liu, Yunbo Peng, Yue Lin, Gaocheng Yu, Jin Zhang, Zhe Ma, Hongbin Wang, Xiangyu Chen, Xintao Wang, Haiwei Wu, Lin Liu, Chao Dong, Jiantao Zhou, Qingsen Yan, Song Zhang, Weiye Chen, Yuhang Liu, Zhen Zhang, Yanning Zhang, Javen Qinfeng Shi, Dong Gong, Dan Zhu, Mengdi Sun, Guannan Chen, Yang Hu, Haowei Li, Baozhu Zou, Zhen Liu, Wenjie Lin, Ting Jiang, Chengzhi Jiang, Xinpeng Li, Mingyan Han, Haoqiang Fan, Jian Sun, Shuaicheng Liu, Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger, Chunyang Li, Long Bao, Gang He, Ziyao Xu, Li Xu, Gen Zhan, Ming Sun, Xing Wen, Junlin Li, Jinjing Li, Chenghua Li, Ruipeng Gang, Fangya Li, Chenming Liu, Shuang Feng, Fei Lei, Rui Liu, Junxiang Ruan, Tianhong Dai, Wei Li, Zhan Lu, Hengyan Liu, Peian Huang, Guangyu Ren, Yonglin Luo, Chang Liu, Qiang Tu, Fangya Li, Ruipeng Gang, Chenghua Li, Jinjing Li, Sai Ma, Chenming Liu, Yizhen Cao, Steven Tel, Barthelemy Heyrman, Dominique Ginhac, Chul Lee, Gahyeon Kim, Seonghyun Park, An Gia Vien, Truong Thanh Nhat Mai, Howoon Yoon, Tu Vo, Alexander Holston, Sheir Zaheer, Chan Y. Park
NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results. CoRR (2022)
Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger
DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging. CoRR (2022)
Lea Matlekovic, Filip Juric, Peter Schneider-Kamp
Microservices for autonomous UAV inspection with UAV simulation as a service. Simul. Model. Pract. Theory 119 (2022)
Marcos V. Conde, Radu Timofte, Yibin Huang, Jingyang Peng, Chang Chen, Cheng Li, Eduardo Pérez-Pellitero, Fenglong Song, Furui Bai, Shuai Liu, Chaoyu Feng, Xiaotao Wang, Lei Lei, Yu Zhu, Chenghua Li, Yingying Jiang, Yong A, Peisong Wang, Cong Leng, Jian Cheng, Xiaoyu Liu, Zhicun Yin, Zhilu Zhang, Junyi Li, Ming Liu, Wangmeng Zuo, Jun Jiang, Jinha Kim, Yue Zhang, Beiji Zou, Zhikai Zong, Xiaoxiao Liu, Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger, Furkan Kinli, Baris Özcan, Furkan Kiraç, Li Leyi, S. M. Nadim Uddin, Dipon Kumar Ghosh, Yong Ju Jung
Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report. CoRR (2022)
Rui Zhang, Arthur Zimek, Peter Schneider-Kamp
A Simple Meta-path-free Framework for Heterogeneous Network Embedding. CIKM (2022)
Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger
DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging. CVPR Workshops (2022)
Lea Matlekovic, Peter Schneider-Kamp
From Monolith to Microservices: Software Architecture for Autonomous UAV Infrastructure Inspection. CoRR (2022)
Peter Schneider-Kamp
Approximate Dictionary Searching at a Scale using Ternary Search Trees and Implicit Levenshtein Automata. ICSOFT (2022)
Rui Zhang, Arthur Zimek, Peter Schneider-Kamp
Unsupervised Representation Learning on Attributed Multiplex Network. CIKM (2022)
Marcos V. Conde, Radu Timofte, Yibin Huang, Jingyang Peng, Chang Chen, Cheng Li, Eduardo Pérez-Pellitero, Fenglong Song, Furui Bai, Shuai Liu, Chaoyu Feng, Xiaotao Wang, Lei Lei, Yu Zhu, Chenghua Li, Yingying Jiang, Yong A, Peisong Wang, Cong Leng, Jian Cheng, Xiaoyu Liu, Zhicun Yin, Zhilu Zhang, Junyi Li, Ming Liu, Wangmeng Zuo, Jun Jiang, Jinha Kim, Yue Zhang, Beiji Zou, Zhikai Zong, Xiaoxiao Liu, Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger, Furkan Kinli, Baris Özcan, Furkan Kiraç, Li Leyi, S. M. Nadim Uddin, Dipon Kumar Ghosh, Yong Ju Jung
Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report. ECCV Workshops (3) (2022)
Golizheh Mehrooz, Peter Schneider-Kamp
Web Application for Planning, Monitoring, and Controlling Autonomous Inspection Drones. MECO (2021)
Jonas Herskind Sejr, Peter Schneider-Kamp, Naeem Ayoub
Surrogate Object Detection Explainer (SODEx) with YOLOv4 and LIME. Mach. Learn. Knowl. Extr. 3 (3) (2021)
Golizheh Mehrooz, Peter Schneider-Kamp
Optimal Path Planning for Drone Inspections of Linear Infrastructures. GISTAM (2020)
Jonas Herskind Sejr, Arthur Zimek, Peter Schneider-Kamp
Explainable Detection of Zero Day Web Attacks. ICDIS (2020)
Rui Zhang, Peter Schneider-Kamp, Arthur Zimek
Improving Semantic Similarity of Words by Retrofitting Word Vectors in Sense Level. ICAART (2) (2020)
Andrea Lekkas, Peter Schneider-Kamp, Isabelle Augenstein
Multi-Sense Language Modelling. CoRR (2020)
Naeem Ayoub, Peter Schneider-Kamp
Real-time On-board Detection of Components and Faults in an Autonomous UAV System for Power Line Inspection. DeLTA (2020)
Golizheh Mehrooz, Emad Ebeid, Peter Schneider-Kamp
System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application. DSD (2019)
Sangramsing Kayte, Peter Schneider-Kamp
A Mixed Neural Network and Support Vector Machine Model for Tender Creation in the European Union TED Database. KMIS (2019)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting networks: To the end and back again. J. Comput. Syst. Sci. 104 (2019)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. J. Autom. Reason. 63 (3) (2019)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Optimizing sorting algorithms by using sorting networks. Formal Aspects Comput. 29 (3) (2017)
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. J. Autom. Reason. 58 (1) (2017)
Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
How to Get More Out of Your Oracles. ITP (2017)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-depth sorting networks. J. Comput. Syst. Sci. 84 (2017)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formally Proving the Boolean Pythagorean Triples Conjecture. LPAR (2017)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Efficient Certified Resolution Proof Checking. TACAS (1) (2017)
Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
Efficient Certified RAT Verification. CADE (2017)
Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
Formally Proving Size Optimality of Sorting Networks. J. Autom. Reason. 59 (4) (2017)
Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. 58 (1) (2017)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci. 82 (3) (2016)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-Context Systems. CoRR (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. CoRR (2016)
Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
Efficient Certified RAT Verification. CoRR (2016)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-context Systems. EKAW (2016)
Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
Efficient Certified Resolution Proof Checking. CoRR (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. FoIKS (2016)
Luís Cruz-Filipe, Peter Schneider-Kamp
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CICM (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
When Six Gates are Not Enough. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
Sorting Networks: The End Game. LATA (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency. KMIS (2015)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting Networks: to the End and Back Again. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints: From Theory to Implementation. IC3K (2015)
Luís Cruz-Filipe, Peter Schneider-Kamp
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. ITP (2015)
Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. LOPSTR (2015)
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp
Proving Termination and Memory Safety for Programs with Pointer Arithmetic. IJCAR (2014)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). CoRR (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. SYNASC (2014)
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). ICTAI (2014)
Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp
Group communication patterns for high performance computing in scala. FHPC@ICFP (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
Sorting Networks: the End Game. CoRR (2014)
Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
Optimal-Depth Sorting Networks. CoRR (2014)
Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. CoRR (2014)
Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
Proving Termination of Programs Automatically with AProVE. IJCAR (2014)
Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp
Group Communication Patterns for High Performance Computing in Scala. CoRR (2014)
Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs. J. Autom. Reason. 49 (1) (2012)
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. PPDP (2012)
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. LOPSTR (2012)
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
Automated termination proofs for haskell by term rewriting. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. LOPSTR (2011)
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. Theory Pract. Log. Program. 11 (1) (2011)
Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski
Proving Termination by Dependency Pairs and Inductive Theorem Proving. J. Autom. Reason. 47 (2) (2011)
Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
Optimal Base Encodings for Pseudo-Boolean Constraints. TACAS (2011)
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann
Automated Termination Analysis for Logic Programs with Cut CoRR (2010)
Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
Lazy Abstraction for Size-Change Termination. LPAR (Yogyakarta) (2010)
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann
Automated termination analysis for logic programs with cut. Theory Pract. Log. Program. 10 (4-6) (2010)
Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
Optimal Base Encodings for Pseudo-Boolean Constraints CoRR (2010)
Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. LOPSTR (2010)
René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp
Loops under Strategies ... Continued IWS (2010)
Carsten Fuhs, Peter Schneider-Kamp
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT. SAT (2010)
Carsten Fuhs, Peter Schneider-Kamp
Optimizing the AES S-Box using SAT. IWIL@LPAR (2010)
Peter Schneider-Kamp
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. Künstliche Intell. 24 (1) (2010)
Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen
The Dependency Triple Framework for Termination of Logic Programs. LOPSTR (2009)
Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Termination of Integer Term Rewriting. Interaction versus Automation: The two Faces of Deduction (2009)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Inductive Theorem Proving meets Dependency Pairs. Interaction versus Automation: The two Faces of Deduction (2009)
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs CoRR (2009)
Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Proving Termination of Integer Term Rewriting. RTA (2009)
Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
Automated termination proofs for logic programs by term rewriting. ACM Trans. Comput. Log. 11 (1) (2009)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Termination Analysis by Dependency Pairs and Inductive Theorem Proving. CADE (2009)
Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
Automated Termination Proofs for Logic Programs by Term Rewriting CoRR (2008)
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann
Improving Context-Sensitive Dependency Pairs. LPAR (2008)
René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp
Adding constants to string rewriting. Appl. Algebra Eng. Commun. Comput. 19 (1) (2008)
René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
Deciding Innermost Loops. RTA (2008)
Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp
Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus (2008)
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
Maximal Termination. RTA (2008)
Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
Termination Analysis of Logic Programs Based on Dependency Graphs. LOPSTR (2007)
Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik
Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures (2007)
Jürgen Giesl, René Thiemann, Stephan Swiderski, Peter Schneider-Kamp
Proving Termination by Bounded Increase. CADE (2007)
Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl
Proving Termination Using Recursive Path Orders and SAT Solving. FroCoS (2007)
Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl
Implementing RPO and POLO using SAT. Deduction and Decision Procedures (2007)
René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
Decision Procedures for Loop Detection. Deduction and Decision Procedures (2007)
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
SAT Solving for Termination Analysis with Polynomial Interpretations. SAT (2007)
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
SAT Solving for Argument Filterings CoRR (2006)

Peter Schneider-Kamp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Schneider-Kamp