Peter Schneider-Kamp

140 papers A* 1A 12B 12C 15Misc 2Journal 62Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	DeToNATION: Decoupled Torch Network-Aware Training on Interlinked Online Nodes. AAAI Mogens Henrik From, Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp
2026	J	`jnl`	FlexMoRE: A Flexible Mixture of Rank-heterogeneous Experts for Efficient Federatedly-trained Large Language Models. CoRR Annemette Brok Pirchert, Jacob Nielsen, Mogens Henrik From, Lukas Galke Poech, Peter Schneider-Kamp
2026	J	`jnl`	SDUs DAISY: A Benchmark for Danish Culture. CoRR Jacob Nielsen, Stine Lyngsø Beltoft, Peter Schneider-Kamp, Lukas Galke Poech
2026	J	`jnl`	SommBench: Assessing Sommelier Expertise of Language Models. CoRR William Brach, Tomas Bedej, Jacob Nielsen, Jacob Pichna, Juraj Bedej, Eemeli Saarensilta, Julie Dupouy, Gianluca Barmina, Andrea Blasi Núñez, Peter Schneider-Kamp, Kristián Kostál, Michal Ries, Lukas Galke Poech
2025	—	`conf`	Continual Quantization-Aware Pre-Training: When to transition from 16-bit to 1.58-bit pre-training for BitNet language models? ACL (Findings) Jacob Nielsen, Peter Schneider-Kamp, Lukas Galke
2025	J	`jnl`	Continual Quantization-Aware Pre-Training: When to transition from 16-bit to 1.58-bit pre-training for BitNet language models? CoRR Jacob Nielsen, Peter Schneider-Kamp, Lukas Galke
2025	J	`jnl`	DaLA: Danish Linguistic Acceptability Evaluation Guided by Real World Errors. CoRR Gianluca Barmina, Nathalie Carmen Hau Norman, Peter Schneider-Kamp, Lukas Galke Poech
2025	J	`jnl`	Disjoint Generative Models. CoRR Anton Danholt Lautrup, Muhammad Rajabinasab, Tobias Hyrup, Arthur Zimek, Peter Schneider-Kamp
2025	J	`jnl`	Dynaword: From One-shot to Continuously Developed Datasets. CoRR Kenneth C. Enevoldsen, Kristian Nørgaard Jensen, Jan Kostkan, Balázs Szabó, Márton Kardos, Kirten Vad, Johan Heinsen, Andrea Blasi Núñez, Gianluca Barmina, Jacob Nielsen, Rasmus Larsen, Peter Bjerregaard Vahlstrup, Per Møldrup-Dalum, Desmond Elliott, Lukas Galke, Peter Schneider-Kamp, Kristoffer L. Nielbo
2025	—	`conf`	Encoder vs Decoder: Comparative Analysis of Encoder and Decoder Language Models on Multilingual NLU Tasks. NoDaLiDa/Baltic-HLT Dan Saattrup Nielsen, Kenneth C. Enevoldsen, Peter Schneider-Kamp
2025	J	`jnl`	FlexDeMo: Decoupled Momentum Optimization for Fully and Hybrid Sharded Training. CoRR Mogens Henrik From, Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp
2025	—	`conf`	Interview Bot: Can Agentic LLM's Perform Ethnographic Interviews? ICAART (1) Stine Lyngsø Beltoft, Peter Schneider-Kamp, Søren Tollestrup Askegaard
2025	Misc	`conf`	MLDataForge: Accelerating Large-Scale Dataset Preprocessing and Access for Multimodal Foundation Model Training. RANLP Andrea Blasi Núñez, Lukas Paul Achatius Galke, Peter Schneider-Kamp
2025	J	`jnl`	Randomized PCA Forest for Outlier Detection. CoRR Muhammad Rajabinasab, Farhad Pakdaman, Moncef Gabbouj, Peter Schneider-Kamp, Arthur Zimek
2025	B	`conf`	Similarity Based on Resample Exposure. SISAP Anton Danholt Lautrup, Hafiz Saud Arshad, Tobias Hyrup, Muhammad Rajabinasab, Arthur Zimek, Peter Schneider-Kamp
2025	J	`jnl`	Syntheval: a framework for detailed utility and privacy evaluation of tabular synthetic data. Data Min. Knowl. Discov. Anton Danholt Lautrup, Tobias Hyrup, Arthur Zimek, Peter Schneider-Kamp
2025	J	`jnl`	Systematic Review of Generative Modelling Tools and Utility Metrics for Fully Synthetic Tabular Data. ACM Comput. Surv. Anton Danholt Lautrup, Tobias Hyrup, Arthur Zimek, Peter Schneider-Kamp
2025	B	`conf`	Towards Semi-supervised Subspace Learning for Outlier Detection in Big Data. SISAP Muhammad Rajabinasab, Anton Danholt Lautrup, Peter Schneider-Kamp, Arthur Zimek
2025	J	`jnl`	Training Language Models to Use Prolog as a Tool. CoRR Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke Poech
2025	—	`conf`	When Are 1.58 Bits Enough? A Bottom-up Exploration of Quantization-Aware Training with Ternary Weights. ICAART (3) Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp
2024	—	`conf`	BitNet B1.58 Reloaded: State-of-the-Art Performance Also on Smaller Networks. DeLTA (2) Jacob Nielsen, Peter Schneider-Kamp
2024	J	`jnl`	BitNet b1.58 Reloaded: State-of-the-art Performance Also on Smaller Networks. CoRR Jacob Nielsen, Peter Schneider-Kamp
2024	J	`jnl`	Encoder vs Decoder: Comparative Analysis of Encoder and Decoder Language Models on Multilingual NLU Tasks. CoRR Dan Saattrup Nielsen, Kenneth C. Enevoldsen, Peter Schneider-Kamp
2024	B	`conf`	Minimizing Sorting Networks at the Sub-Comparator Level. LPAR Luís Cruz-Filipe, Peter Schneider-Kamp
2024	J	`jnl`	SynthEval: A Framework for Detailed Utility and Privacy Evaluation of Tabular Synthetic Data. CoRR Anton Danholt Lautrup, Tobias Hyrup, Arthur Zimek, Peter Schneider-Kamp
2024	C	`conf`	Synthesizers: A Meta-Framework for Generating and Evaluating High-Fidelity Tabular Synthetic Data. ICSOFT Peter Schneider-Kamp, Anton Danholt Lautrup, Tobias Hyrup
2024	J	`jnl`	When are 1.58 bits enough? A Bottom-up Exploration of BitNet Quantization. CoRR Jacob Nielsen, Lukas Galke, Peter Schneider-Kamp
2023	J	`jnl`	Sharing is CAIRing: Characterizing Principles and Assessing Properties of Universal Privacy Evaluation for Synthetic Tabular Data. CoRR Tobias Hyrup, Anton Danholt Lautrup, Arthur Zimek, Peter Schneider-Kamp
2022	A	`conf`	A Simple Meta-path-free Framework for Heterogeneous Network Embedding. CIKM Rui Zhang, Arthur Zimek, Peter Schneider-Kamp
2022	C	`conf`	Approximate Dictionary Searching at a Scale using Ternary Search Trees and Implicit Levenshtein Automata. ICSOFT Peter Schneider-Kamp
2022	—	`conf`	DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging. CVPR Workshops Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger
2022	J	`jnl`	DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging. CoRR Juan Marín-Vega, Michael Sloth, Peter Schneider-Kamp, Richard Röttger
2022	J	`jnl`	From Monolith to Microservices: Software Architecture for Autonomous UAV Infrastructure Inspection. CoRR Lea Matlekovic, Peter Schneider-Kamp
2022	J	`jnl`	Microservices for autonomous UAV inspection with UAV simulation as a service. Simul. Model. Pract. Theory Lea Matlekovic, Filip Juric, Peter Schneider-Kamp
2022	—	`conf`	NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results. CVPR Workshops 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, 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 Holston, Sheir Zaheer, Chan Y. Park
2022	J	`jnl`	NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results. CoRR 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, 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 Holston, Sheir Zaheer, Chan Y. Park
2022	—	`conf`	Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report. ECCV Workshops (3) 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
2022	J	`jnl`	Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report. CoRR 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
2022	A	`conf`	Unsupervised Representation Learning on Attributed Multiplex Network. CIKM Rui Zhang, Arthur Zimek, Peter Schneider-Kamp
2021	J	`jnl`	Surrogate Object Detection Explainer (SODEx) with YOLOv4 and LIME. Mach. Learn. Knowl. Extr. Jonas Herskind Sejr, Peter Schneider-Kamp, Naeem Ayoub
2021	—	`conf`	Web Application for Planning, Monitoring, and Controlling Autonomous Inspection Drones. MECO Golizheh Mehrooz, Peter Schneider-Kamp
2020	—	`conf`	Explainable Detection of Zero Day Web Attacks. ICDIS Jonas Herskind Sejr, Arthur Zimek, Peter Schneider-Kamp
2020	—	`conf`	Improving Semantic Similarity of Words by Retrofitting Word Vectors in Sense Level. ICAART (2) Rui Zhang, Peter Schneider-Kamp, Arthur Zimek
2020	J	`jnl`	Multi-Sense Language Modelling. CoRR Andrea Lekkas, Peter Schneider-Kamp, Isabelle Augenstein
2020	—	`conf`	Optimal Path Planning for Drone Inspections of Linear Infrastructures. GISTAM Golizheh Mehrooz, Peter Schneider-Kamp
2020	—	`conf`	Real-time On-board Detection of Components and Faults in an Autonomous UAV System for Power Line Inspection. DeLTA Naeem Ayoub, Peter Schneider-Kamp
2019	—	`conf`	A Mixed Neural Network and Support Vector Machine Model for Tender Creation in the European Union TED Database. KMIS Sangramsing Kayte, Peter Schneider-Kamp
2019	J	`jnl`	Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. J. Autom. Reason. Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2019	J	`jnl`	Sorting networks: To the end and back again. J. Comput. Syst. Sci. Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
2019	C	`conf`	System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application. DSD Golizheh Mehrooz, Emad Ebeid, Peter Schneider-Kamp
2018	J	`jnl`	Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2017	J	`jnl`	Analyzing Program Termination and Complexity Automatically with AProVE. J. Autom. Reason. 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
2017	J	`jnl`	Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. J. Autom. Reason. Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
2017	A	`conf`	Efficient Certified RAT Verification. CADE Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
2017	—	`conf`	Efficient Certified Resolution Proof Checking. TACAS (1) Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2017	J	`jnl`	Formally Proving Size Optimality of Sorting Networks. J. Autom. Reason. Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
2017	B	`conf`	Formally Proving the Boolean Pythagorean Triples Conjecture. LPAR Luís Cruz-Filipe, Peter Schneider-Kamp
2017	B	`conf`	How to Get More Out of Your Oracles. ITP Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp
2017	J	`jnl`	Optimal-depth sorting networks. J. Comput. Syst. Sci. Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
2017	J	`jnl`	Optimizing sorting algorithms by using sorting networks. Formal Aspects Comput. Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2016	J	`jnl`	Active Integrity Constraints for Multi-Context Systems. CoRR Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016	B	`conf`	Active Integrity Constraints for Multi-context Systems. EKAW Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016	J	`jnl`	Efficient Certified RAT Verification. CoRR Luís Cruz-Filipe, Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
2016	J	`jnl`	Efficient Certified Resolution Proof Checking. CoRR Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp
2016	—	`conf`	Integrity Constraints for General-Purpose Knowledge Bases. FoIKS Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016	J	`jnl`	Integrity Constraints for General-Purpose Knowledge Bases. CoRR Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016	J	`jnl`	Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci. Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2015	C	`conf`	Active Integrity Constraints: From Theory to Implementation. IC3K Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	C	`conf`	Applying Sorting Networks to Synthesize Optimized Sorting Libraries. LOPSTR Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2015	J	`jnl`	Applying Sorting Networks to Synthesize Optimized Sorting Libraries. CoRR Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
2015	B	`conf`	Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. ITP Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. CoRR Luís Cruz-Filipe, Peter Schneider-Kamp
2015	C	`conf`	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CICM Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. CoRR Luís Cruz-Filipe, Peter Schneider-Kamp
2015	C	`conf`	Sorting Networks: The End Game. LATA Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2015	J	`jnl`	Sorting Networks: to the End and Back Again. CoRR Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
2015	J	`jnl`	When Six Gates are Not Enough. CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2015	J	`jnl`	repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	—	`conf`	repAIrC: A Tool for Ensuring Data Consistency. KMIS Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2014	J	`jnl`	Group Communication Patterns for High Performance Computing in Scala. CoRR Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp
2014	—	`conf`	Group communication patterns for high performance computing in scala. FHPC@ICFP Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp
2014	J	`jnl`	Optimal-Depth Sorting Networks. CoRR Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný
2014	A	`conf`	Proving Termination and Memory Safety for Programs with Pointer Arithmetic. IJCAR Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp
2014	A	`conf`	Proving Termination of Programs Automatically with AProVE. IJCAR 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
2014	J	`jnl`	Sorting Networks: the End Game. CoRR Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	Misc	`conf`	The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. SYNASC Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	J	`jnl`	The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. CoRR Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp
2014	B	`conf`	Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). ICTAI Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2014	J	`jnl`	Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). CoRR Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
2012	J	`jnl`	SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs. J. Autom. Reason. Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
2012	C	`conf`	Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. LOPSTR Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
2012	C	`conf`	Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. PPDP Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
2011	C	`conf`	A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. LOPSTR Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs
2011	J	`jnl`	Automated termination proofs for haskell by term rewriting. ACM Trans. Program. Lang. Syst. Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
2011	A	`conf`	Optimal Base Encodings for Pseudo-Boolean Constraints. TACAS Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
2011	J	`jnl`	Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. Theory Pract. Log. Program. Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
2011	C	`ed.`	Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark PPDP Peter Schneider-Kamp, Michael Hanus
2011	J	`jnl`	Proving Termination by Dependency Pairs and Inductive Theorem Proving. J. Autom. Reason. Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski
2010	J	`jnl`	Automated Termination Analysis for Logic Programs with Cut CoRR Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann
2010	J	`jnl`	Automated termination analysis for logic programs with cut. Theory Pract. Log. Program. Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann
2010	C	`conf`	Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. LOPSTR Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl
2010	—	`conf`	Lazy Abstraction for Size-Change Termination. LPAR (Yogyakarta) Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
2010	—	`conf`	Loops under Strategies ... Continued IWS René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp
2010	J	`jnl`	Optimal Base Encodings for Pseudo-Boolean Constraints CoRR Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
2010	—	`conf`	Optimizing the AES S-Box using SAT. IWIL@LPAR Carsten Fuhs, Peter Schneider-Kamp
2010	J	`jnl`	Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. Künstliche Intell. Peter Schneider-Kamp
2010	A	`conf`	Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT. SAT Carsten Fuhs, Peter Schneider-Kamp
2009	J	`jnl`	Automated termination proofs for logic programs by term rewriting. ACM Trans. Comput. Log. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
2009	—	`conf`	Inductive Theorem Proving meets Dependency Pairs. Interaction versus Automation: The two Faces of Deduction Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
2009	J	`jnl`	Polytool: polynomial interpretations as a basis for termination analysis of Logic programs CoRR Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp
2009	—	`conf`	Proving Termination of Integer Term Rewriting. RTA Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
2009	A	`conf`	Termination Analysis by Dependency Pairs and Inductive Theorem Proving. CADE Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
2009	—	`conf`	Termination of Integer Term Rewriting. Interaction versus Automation: The two Faces of Deduction Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
2009	C	`conf`	The Dependency Triple Framework for Termination of Logic Programs. LOPSTR Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen
2008	J	`jnl`	Adding constants to string rewriting. Appl. Algebra Eng. Commun. Comput. René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp
2008	J	`jnl`	Automated Termination Proofs for Logic Programs by Term Rewriting CoRR Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
2008	—	`conf`	Deciding Innermost Loops. RTA René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
2008	B	`conf`	Improving Context-Sensitive Dependency Pairs. LPAR Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann
2008	—	`conf`	Maximal Termination. RTA Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
2008	—	`conf`	Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp
2008	—	`—`	Static termination analysis for prolog using term rewriting and SAT solving. Peter Schneider-Kamp
2007	—	`conf`	Decision Procedures for Loop Detection. Deduction and Decision Procedures René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
2007	—	`conf`	Implementing RPO and POLO using SAT. Deduction and Decision Procedures Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl
2007	—	`conf`	Proving Termination Using Recursive Path Orders and SAT Solving. FroCoS Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl
2007	A	`conf`	Proving Termination by Bounded Increase. CADE Jürgen Giesl, René Thiemann, Stephan Swiderski, Peter Schneider-Kamp
2007	A	`conf`	SAT Solving for Termination Analysis with Polynomial Interpretations. SAT Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl
2007	C	`conf`	Termination Analysis of Logic Programs Based on Dependency Graphs. LOPSTR Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
2007	—	`conf`	Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik
2006	—	`conf`	Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages. RTA Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann
2006	C	`conf`	Automated Termination Analysis for Logic Programs by Term Rewriting. LOPSTR Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
2006	A	`conf`	Automatic Termination Proofs in the Dependency Pair Framework. IJCAR Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
2006	J	`jnl`	Mechanizing and Improving Dependency Pairs. J. Autom. Reason. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
2006	J	`jnl`	SAT Solving for Argument Filterings CoRR Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
2006	B	`conf`	SAT Solving for Argument Filterings. LPAR Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
2005	—	`conf`	Proving and Disproving Termination in the Dependency Pair Framework. Deduction and Applications Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
2005	—	`conf`	Proving and Disproving Termination of Higher-Order Functions. FroCoS Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
2004	—	`conf`	Automated Termination Proofs with AProVE. RTA Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
2004	A	`conf`	Improved Modular Termination Proofs Using Dependency Pairs. IJCAR René Thiemann, Jürgen Giesl, Peter Schneider-Kamp
2004	B	`conf`	The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs. LPAR Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
2003	B	`conf`	Improving Dependency Pairs. LPAR Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke