Peter Schneider-Kamp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
25
Active years
2003–2026
Best venue rank
A*
Where they publish
- BLPAR8 papers
- ACADE7 papers
- CLOPSTR7 papers
- BLREC3 papers
- BICAART3 papers
- CIC3K3 papers
- A*ACL2 papers
- BSISAP2 papers
- CICSoft2 papers
- ACIKM2 papers
- A*CVPR2 papers
- BITP2 papers
- ATACAS2 papers
- ASAT2 papers
- A*AAAI1 paper
- NationalRANLP1 paper
- A*ECCV1 paper
- CDSD1 paper
- BEKAW1 paper
- CLATA1 paper
- AICFP1 paper
- BICTAI1 paper
- NationalSYNASC1 paper
- CPPDP1 paper
- AustralasianAISC1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | DeToNATION: Decoupled Torch Network-Aware Training on Interlinked Online Nodes. | Mogens Henrik From, Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp |
| 2026 | ACL | Training Language Models to Use Prolog as a Tool. | Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke Poech |
| 2026 | LREC | DaLA: Danish Linguistic Acceptability Evaluation Guided by Real World Errors. | Gianluca Barmina, Nathalie Carmen Hau Norman, Peter Schneider-Kamp, Lukas Galke Poech |
| 2026 | LREC | SommBench: Assessing Sommelier Expertise of Language Models. | William Brach, Tomas Bedej, Jacob Nielsen, Jacob Pichna, Juraj Bedej, Eemeli Saarensilta, Julie Dupouy, Gianluca Barmina, Andrea Blasi Nez, Peter Schneider-Kamp, Kristin Kostl, Michal Ries, Lukas Galke Poech |
| 2026 | LREC | Dynaword: From One-shot to Continuously Developed Datasets. | Kenneth C. Enevoldsen, Kristian Nrgaard Jensen, Jan Kostkan, Balzs Szab, Mrton Kardos, Kirsten Vad, Johan Heinsen, Andrea Blasi Nez, Gianluca Barmina, Jacob Nielsen, Rasmus Larsen, Rob van der Goot, Peter Bjerregaard Vahlstrup, Per Mldrup-Dalum, Desmond Elliott, Lukas Galke Poech, Peter Schneider-Kamp, Kristoffer L. Nielbo |
| 2025 | ACL | Continual Quantization-Aware Pre-Training: When to transition from 16-bit to 1.58-bit pre-training for BitNet language models? | Jacob Nielsen, Peter Schneider-Kamp, Lukas Galke |
| 2025 | ICAART | Interview Bot: Can Agentic LLM's Perform Ethnographic Interviews? | Stine Lyngs Beltoft, Peter Schneider-Kamp, Sren Tollestrup Askegaard |
| 2025 | ICAART | When Are 1.58 Bits Enough? A Bottom-up Exploration of Quantization-Aware Training with Ternary Weights. | Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp |
| 2025 | RANLP | MLDataForge: Accelerating Large-Scale Dataset Preprocessing and Access for Multimodal Foundation Model Training. | Andrea Blasi Nez, Lukas Paul Achatius Galke, Peter Schneider-Kamp |
| 2025 | SISAP | Similarity Based on Resample Exposure. | Anton Danholt Lautrup, Hafiz Saud Arshad, Tobias Hyrup, Muhammad Rajabinasab, Arthur Zimek, Peter Schneider-Kamp |
| 2025 | SISAP | Towards Semi-supervised Subspace Learning for Outlier Detection in Big Data. | Muhammad Rajabinasab, Anton Danholt Lautrup, Peter Schneider-Kamp, Arthur Zimek |
| 2024 | ICSoft | Synthesizers: A Meta-Framework for Generating and Evaluating High-Fidelity Tabular Synthetic Data. | Peter Schneider-Kamp, Anton Danholt Lautrup, Tobias Hyrup |
| 2024 | LPAR | Minimizing Sorting Networks at the Sub-Comparator Level. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2022 | CIKM | A Simple Meta-path-free Framework for Heterogeneous Network Embedding. | Rui Zhang, Arthur Zimek, Peter Schneider-Kamp |
| 2022 | CIKM | Unsupervised Representation Learning on Attributed Multiplex Network. | Rui Zhang, Arthur Zimek, Peter Schneider-Kamp |
| 2022 | CVPR | DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging. | Juan Marn-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Rttger |
| 2022 | CVPR | NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results. | Eduardo Prez-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 Marn-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Rttger, 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, Sai Ma, 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 C. Holston, Sheir Zaheer, Chan Y. Park |
| 2022 | ECCV | Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report. | Marcos V. Conde, Radu Timofte, Yibin Huang, Jingyang Peng, Chang Chen, Cheng Li, Eduardo Prez-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 Marn-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Rttger, Furkan Kinli, Baris zcan, Furkan Kira, Li Leyi, S. M. Nadim Uddin, Dipon Kumar Ghosh, Yong Ju Jung |
| 2022 | ICSoft | Approximate Dictionary Searching at a Scale using Ternary Search Trees and Implicit Levenshtein Automata. | Peter Schneider-Kamp |
| 2020 | ICAART | Improving Semantic Similarity of Words by Retrofitting Word Vectors in Sense Level. | Rui Zhang, Peter Schneider-Kamp, Arthur Zimek |
| 2019 | DSD | System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application. | Golizheh Mehrooz, Emad Ebeid, Peter Schneider-Kamp |
| 2019 | IC3K | A Mixed Neural Network and Support Vector Machine Model for Tender Creation in the European Union TED Database. | Sangramsing Kayte, Peter Schneider-Kamp |
| 2017 | CADE | Efficient Certified RAT Verification. | Lus Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp |
| 2017 | ITP | How to Get More Out of Your Oracles. | Lus Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp |
| 2017 | LPAR | Formally Proving the Boolean Pythagorean Triples Conjecture. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2017 | TACAS | Efficient Certified Resolution Proof Checking. | Lus Cruz-Filipe, Joo Marques-Silva, Peter Schneider-Kamp |
| 2016 | EKAW | Active Integrity Constraints for Multi-context Systems. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | repAIrC: A Tool for Ensuring Data Consistency. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | Active Integrity Constraints: From Theory to Implementation. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | ITP | Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | LATA | Sorting Networks: The End Game. | Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | LOPSTR | Applying Sorting Networks to Synthesize Optimized Sorting Libraries. | Michael Codish, Lus Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp |
| 2014 | CADE | Proving Termination of Programs Automatically with AProVE. | Jrgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plcker, Peter Schneider-Kamp, Thomas Strder, Stephanie Swiderski, Ren Thiemann |
| 2014 | CADE | Proving Termination and Memory Safety for Programs with Pointer Arithmetic. | Thomas Strder, Jrgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp |
| 2014 | ICFP | Group communication patterns for high performance computing in scala. | Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp |
| 2014 | ICTAI | Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). | Michael Codish, Lus Cruz-Filipe, Michael Frank, Peter Schneider-Kamp |
| 2014 | SYNASC | The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. | Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2012 | LOPSTR | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | PPDP | Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2011 | LOPSTR | A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. | Thomas Strder, Fabian Emmes, Peter Schneider-Kamp, Jrgen Giesl, Carsten Fuhs |
| 2011 | TACAS | Optimal Base Encodings for Pseudo-Boolean Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp |
| 2010 | LOPSTR | Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. | Thomas Strder, Peter Schneider-Kamp, Jrgen Giesl |
| 2010 | LPAR | Lazy Abstraction for Size-Change Termination. | Michael Codish, Carsten Fuhs, Jrgen Giesl, Peter Schneider-Kamp |
| 2010 | LPAR | Optimizing the AES S-Box using SAT. | Carsten Fuhs, Peter Schneider-Kamp |
| 2010 | SAT | Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT. | Carsten Fuhs, Peter Schneider-Kamp |
| 2009 | CADE | Termination Analysis by Dependency Pairs and Inductive Theorem Proving. | Stephan Swiderski, Michael Parting, Jrgen Giesl, Carsten Fuhs, Peter Schneider-Kamp |
| 2009 | LOPSTR | The Dependency Triple Framework for Termination of Logic Programs. | Peter Schneider-Kamp, Jrgen Giesl, Manh Thang Nguyen |
| 2008 | AISC | Search Techniques for Rational Polynomial Orders. | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jrgen Giesl, Salvador Lucas, Peter Schneider-Kamp |
| 2008 | LPAR | Improving Context-Sensitive Dependency Pairs. | Beatriz Alarcn, Fabian Emmes, Carsten Fuhs, Jrgen Giesl, Ral Gutirrez, Salvador Lucas, Peter Schneider-Kamp, Ren Thiemann |
| 2007 | CADE | Proving Termination by Bounded Increase. | Jrgen Giesl, Ren Thiemann, Stephan Swiderski, Peter Schneider-Kamp |
| 2007 | LOPSTR | Termination Analysis of Logic Programs Based on Dependency Graphs. | Manh Thang Nguyen, Jrgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
| 2007 | SAT | SAT Solving for Termination Analysis with Polynomial Interpretations. | Carsten Fuhs, Jrgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, Ren Thiemann, Harald Zankl |
| 2006 | CADE | Automatic Termination Proofs in the Dependency Pair Framework. | Jrgen Giesl, Peter Schneider-Kamp, Ren Thiemann |
| 2006 | LOPSTR | Automated Termination Analysis for Logic Programs by Term Rewriting. | Peter Schneider-Kamp, Jrgen Giesl, Alexander Serebrenik, Ren Thiemann |
| 2006 | LPAR | SAT Solving for Argument Filterings. | Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, Ren Thiemann, Jrgen Giesl |
| 2004 | CADE | Improved Modular Termination Proofs Using Dependency Pairs. | Ren Thiemann, Jrgen Giesl, Peter Schneider-Kamp |
| 2004 | LPAR | The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs. | Jrgen Giesl, Ren Thiemann, Peter Schneider-Kamp |
| 2003 | LPAR | Improving Dependency Pairs. | Jrgen Giesl, Ren Thiemann, Peter Schneider-Kamp, Stephan Falke |