Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/datamine/LautrupHZS25
AU - Lautrup, Anton Danholt
AU - Hyrup, Tobias
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - Syntheval: a framework for detailed utility and privacy evaluation of tabular synthetic data.
JO - Data Min. Knowl. Discov.
VL - 39
IS - 1
SP - 1
EP - 25
PY - 2025/01/
DO - 10.1007/S10618-024-01081-4
UR - https://doi.org/10.1007/s10618-024-01081-4
ER -
TY - CPAPER
ID - DBLP:conf/icsoft/Schneider-KampL24
AU - Schneider-Kamp, Peter
AU - Lautrup, Anton Danholt
AU - Hyrup, Tobias
TI - Synthesizers: A Meta-Framework for Generating and Evaluating High-Fidelity Tabular Synthetic Data.
BT - Proceedings of the 19th International Conference on Software Technologies, ICSOFT 2024, Dijon, France, July 8-10, 2024.
SP - 177
EP - 184
PY - 2024//
DO - 10.5220/0012856000003753
UR - https://doi.org/10.5220/0012856000003753
ER -
TY - CPAPER
ID - DBLP:conf/lpar/Cruz-FilipeS24
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Minimizing Sorting Networks at the Sub-Comparator Level.
BT - LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024
SP - 36
EP - 50
PY - 2024//
DO - 10.29007/LZKS
UR - https://doi.org/10.29007/lzks
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2404-15821
AU - Lautrup, Anton Danholt
AU - Hyrup, Tobias
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - SynthEval: A Framework for Detailed Utility and Privacy Evaluation of Tabular Synthetic Data.
JO - CoRR
VL - abs/2404.15821
PY - 2024//
DO - 10.48550/ARXIV.2404.15821
UR - https://doi.org/10.48550/arXiv.2404.15821
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2406-13469
AU - Nielsen, Dan Saattrup
AU - Enevoldsen, Kenneth
AU - Schneider-Kamp, Peter
TI - Encoder vs Decoder: Comparative Analysis of Encoder and Decoder Language Models on Multilingual NLU Tasks.
JO - CoRR
VL - abs/2406.13469
PY - 2024//
DO - 10.48550/ARXIV.2406.13469
UR - https://doi.org/10.48550/arXiv.2406.13469
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2407-09527
AU - Nielsen, Jacob
AU - Schneider-Kamp, Peter
TI - BitNet b1.58 Reloaded: State-of-the-art Performance Also on Smaller Networks.
JO - CoRR
VL - abs/2407.09527
PY - 2024//
DO - 10.48550/ARXIV.2407.09527
UR - https://doi.org/10.48550/arXiv.2407.09527
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2312-12216
AU - Hyrup, Tobias
AU - Lautrup, Anton Danholt
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - Sharing is CAIRing: Characterizing Principles and Assessing Properties of Universal Privacy Evaluation for Synthetic Tabular Data.
JO - CoRR
VL - abs/2312.12216
PY - 2023//
DO - 10.48550/ARXIV.2312.12216
UR - https://doi.org/10.48550/arXiv.2312.12216
ER -
TY - JOUR
ID - DBLP:journals/simpra/MatlekovicJS22
AU - Matlekovic, Lea
AU - Juric, Filip
AU - Schneider-Kamp, Peter
TI - Microservices for autonomous UAV inspection with UAV simulation as a service.
JO - Simul. Model. Pract. Theory
VL - 119
SP - 102548
PY - 2022//
DO - 10.1016/J.SIMPAT.2022.102548
UR - https://doi.org/10.1016/j.simpat.2022.102548
ER -
TY - CPAPER
ID - DBLP:conf/cikm/0055ZS22
AU - Zhang, Rui
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - A Simple Meta-path-free Framework for Heterogeneous Network Embedding.
BT - Proceedings of the 31st ACM International Conference on Information & Knowledge Management, Atlanta, GA, USA, October 17-21, 2022
SP - 2600
EP - 2609
PY - 2022//
DO - 10.1145/3511808.3557223
UR - https://doi.org/10.1145/3511808.3557223
ER -
TY - CPAPER
ID - DBLP:conf/cikm/0055ZS22a
AU - Zhang, Rui
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - Unsupervised Representation Learning on Attributed Multiplex Network.
BT - Proceedings of the 31st ACM International Conference on Information & Knowledge Management, Atlanta, GA, USA, October 17-21, 2022
SP - 2610
EP - 2619
PY - 2022//
DO - 10.1145/3511808.3557486
UR - https://doi.org/10.1145/3511808.3557486
ER -
TY - CPAPER
ID - DBLP:conf/cvpr/Marin-VegaSSR22
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
TI - DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging.
BT - IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2022, New Orleans, LA, USA, June 19-20, 2022
SP - 843
EP - 851
PY - 2022//
DO - 10.1109/CVPRW56347.2022.00100
UR - https://doi.org/10.1109/CVPRW56347.2022.00100
ER -
TY - CPAPER
ID - DBLP:conf/cvpr/Perez-Pellitero22
AU - Pérez-Pellitero, Eduardo
AU - Catley-Chandar, Sibi
AU - Shaw, Richard
AU - Leonardis, Ales
AU - Timofte, Radu
AU - Zhang, Zexin
AU - Liu, Cen
AU - Peng, Yunbo
AU - Lin, Yue
AU - Yu, Gaocheng
AU - Zhang, Jin
AU - Ma, Zhe
AU - Wang, Hongbin
AU - Chen, Xiangyu
AU - Wang, Xintao
AU - Wu, Haiwei
AU - Liu, Lin
AU - Dong, Chao
AU - Zhou, Jiantao
AU - Yan, Qingsen
AU - Zhang, Song
AU - Chen, Weiye
AU - Liu, Yuhang
AU - Zhang, Zhen
AU - Zhang, Yanning
AU - Shi, Javen Qinfeng
AU - Gong, Dong
AU - Zhu, Dan
AU - Sun, Mengdi
AU - Chen, Guannan
AU - Hu, Yang
AU - Li, Haowei
AU - Zou, Baozhu
AU - Liu, Zhen
AU - Lin, Wenjie
AU - Jiang, Ting
AU - Jiang, Chengzhi
AU - Li, Xinpeng
AU - Han, Mingyan
AU - Fan, Haoqiang
AU - Sun, Jian
AU - Liu, Shuaicheng
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
AU - Li, Chunyang
AU - Bao, Long
AU - He, Gang
AU - Xu, Ziyao
AU - Xu, Li
AU - Zhan, Gen
AU - Sun, Ming
AU - Wen, Xing
AU - Li, Junlin
AU - Li, Jinjing
AU - Li, Chenghua
AU - Gang, Ruipeng
AU - Li, Fangya
AU - Liu, Chenming
AU - Feng, Shuang
AU - Lei, Fei
AU - Liu, Rui
AU - Ruan, Junxiang
AU - Dai, Tianhong
AU - Li, Wei
AU - Lu, Zhan
AU - Liu, Hengyan
AU - Huang, Peian
AU - Ren, Guangyu
AU - Luo, Yonglin
AU - Liu, Chang
AU - Tu, Qiang
AU - Ma, Sai
AU - Cao, Yizhen
AU - Tel, Steven
AU - Heyrman, Barthelemy
AU - Ginhac, Dominique
AU - Lee, Chul
AU - Kim, Gahyeon
AU - Park, Seonghyun
AU - Vien, An Gia
AU - Mai, Truong Thanh Nhat
AU - Yoon, Howoon
AU - Vo, Tu
AU - Holston, Alexander
AU - Zaheer, Sheir
AU - Park, Chan Y.
TI - NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results.
BT - IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2022, New Orleans, LA, USA, June 19-20, 2022
SP - 1008
EP - 1022
PY - 2022//
DO - 10.1109/CVPRW56347.2022.00114
UR - https://doi.org/10.1109/CVPRW56347.2022.00114
ER -
TY - CPAPER
ID - DBLP:conf/eccv/CondeTHPCLPSBLFWLZLJAWLCLYZLLZJKZZZLMS22
AU - Conde, Marcos V.
AU - Timofte, Radu
AU - Huang, Yibin
AU - Peng, Jingyang
AU - Chen, Chang
AU - Li, Cheng
AU - Pérez-Pellitero, Eduardo
AU - Song, Fenglong
AU - Bai, Furui
AU - Liu, Shuai
AU - Feng, Chaoyu
AU - Wang, Xiaotao
AU - Lei, Lei
AU - Zhu, Yu
AU - Li, Chenghua
AU - Jiang, Yingying
AU - A, Yong
AU - Wang, Peisong
AU - Leng, Cong
AU - Cheng, Jian
AU - Liu, Xiaoyu
AU - Yin, Zhicun
AU - Zhang, Zhilu
AU - Li, Junyi
AU - Liu, Ming
AU - Zuo, Wangmeng
AU - Jiang, Jun
AU - Kim, Jinha
AU - Zhang, Yue
AU - Zou, Beiji
AU - Zong, Zhikai
AU - Liu, Xiaoxiao
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
AU - Kinli, Furkan
AU - Özcan, Baris
AU - Kiraç, Furkan
AU - Leyi, Li
AU - Uddin, S. M. Nadim
AU - Ghosh, Dipon Kumar
AU - Jung, Yong Ju
TI - Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report.
BT - Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part III
SP - 3
EP - 26
PY - 2022//
DO - 10.1007/978-3-031-25066-8_1
UR - https://doi.org/10.1007/978-3-031-25066-8_1
ER -
TY - CPAPER
ID - DBLP:conf/icsoft/Schneider-Kamp22
AU - Schneider-Kamp, Peter
TI - Approximate Dictionary Searching at a Scale using Ternary Search Trees and Implicit Levenshtein Automata.
BT - Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022.
SP - 657
EP - 662
PY - 2022//
DO - 10.5220/0011312300003266
UR - https://doi.org/10.5220/0011312300003266
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2204-02342
AU - Matlekovic, Lea
AU - Schneider-Kamp, Peter
TI - From Monolith to Microservices: Software Architecture for Autonomous UAV Infrastructure Inspection.
JO - CoRR
VL - abs/2204.02342
PY - 2022//
DO - 10.48550/ARXIV.2204.02342
UR - https://doi.org/10.48550/arXiv.2204.02342
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2205-12633
AU - Pérez-Pellitero, Eduardo
AU - Catley-Chandar, Sibi
AU - Shaw, Richard
AU - Leonardis, Ales
AU - Timofte, Radu
AU - Zhang, Zexin
AU - Liu, Cen
AU - Peng, Yunbo
AU - Lin, Yue
AU - Yu, Gaocheng
AU - Zhang, Jin
AU - Ma, Zhe
AU - Wang, Hongbin
AU - Chen, Xiangyu
AU - Wang, Xintao
AU - Wu, Haiwei
AU - Liu, Lin
AU - Dong, Chao
AU - Zhou, Jiantao
AU - Yan, Qingsen
AU - Zhang, Song
AU - Chen, Weiye
AU - Liu, Yuhang
AU - Zhang, Zhen
AU - Zhang, Yanning
AU - Shi, Javen Qinfeng
AU - Gong, Dong
AU - Zhu, Dan
AU - Sun, Mengdi
AU - Chen, Guannan
AU - Hu, Yang
AU - Li, Haowei
AU - Zou, Baozhu
AU - Liu, Zhen
AU - Lin, Wenjie
AU - Jiang, Ting
AU - Jiang, Chengzhi
AU - Li, Xinpeng
AU - Han, Mingyan
AU - Fan, Haoqiang
AU - Sun, Jian
AU - Liu, Shuaicheng
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
AU - Li, Chunyang
AU - Bao, Long
AU - He, Gang
AU - Xu, Ziyao
AU - Xu, Li
AU - Zhan, Gen
AU - Sun, Ming
AU - Wen, Xing
AU - Li, Junlin
AU - Li, Jinjing
AU - Li, Chenghua
AU - Gang, Ruipeng
AU - Li, Fangya
AU - Liu, Chenming
AU - Feng, Shuang
AU - Lei, Fei
AU - Liu, Rui
AU - Ruan, Junxiang
AU - Dai, Tianhong
AU - Li, Wei
AU - Lu, Zhan
AU - Liu, Hengyan
AU - Huang, Peian
AU - Ren, Guangyu
AU - Luo, Yonglin
AU - Liu, Chang
AU - Tu, Qiang
AU - Ma, Sai
AU - Cao, Yizhen
AU - Tel, Steven
AU - Heyrman, Barthelemy
AU - Ginhac, Dominique
AU - Lee, Chul
AU - Kim, Gahyeon
AU - Park, Seonghyun
AU - Vien, An Gia
AU - Mai, Truong Thanh Nhat
AU - Yoon, Howoon
AU - Vo, Tu
AU - Holston, Alexander
AU - Zaheer, Sheir
AU - Park, Chan Y.
TI - NTIRE 2022 Challenge on High Dynamic Range Imaging: Methods and Results.
JO - CoRR
VL - abs/2205.12633
PY - 2022//
DO - 10.48550/ARXIV.2205.12633
UR - https://doi.org/10.48550/arXiv.2205.12633
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2206-04124
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
TI - DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range Imaging.
JO - CoRR
VL - abs/2206.04124
PY - 2022//
DO - 10.48550/ARXIV.2206.04124
UR - https://doi.org/10.48550/arXiv.2206.04124
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2210-11153
AU - Conde, Marcos V.
AU - Timofte, Radu
AU - Huang, Yibin
AU - Peng, Jingyang
AU - Chen, Chang
AU - Li, Cheng
AU - Pérez-Pellitero, Eduardo
AU - Song, Fenglong
AU - Bai, Furui
AU - Liu, Shuai
AU - Feng, Chaoyu
AU - Wang, Xiaotao
AU - Lei, Lei
AU - Zhu, Yu
AU - Li, Chenghua
AU - Jiang, Yingying
AU - A, Yong
AU - Wang, Peisong
AU - Leng, Cong
AU - Cheng, Jian
AU - Liu, Xiaoyu
AU - Yin, Zhicun
AU - Zhang, Zhilu
AU - Li, Junyi
AU - Liu, Ming
AU - Zuo, Wangmeng
AU - Jiang, Jun
AU - Kim, Jinha
AU - Zhang, Yue
AU - Zou, Beiji
AU - Zong, Zhikai
AU - Liu, Xiaoxiao
AU - Marín-Vega, Juan
AU - Sloth, Michael
AU - Schneider-Kamp, Peter
AU - Röttger, Richard
AU - Kinli, Furkan
AU - Özcan, Baris
AU - Kiraç, Furkan
AU - Leyi, Li
AU - Uddin, S. M. Nadim
AU - Ghosh, Dipon Kumar
AU - Jung, Yong Ju
TI - Reversed Image Signal Processing and RAW Reconstruction. AIM 2022 Challenge Report.
JO - CoRR
VL - abs/2210.11153
PY - 2022//
DO - 10.48550/ARXIV.2210.11153
UR - https://doi.org/10.48550/arXiv.2210.11153
ER -
TY - JOUR
ID - DBLP:journals/make/SejrSA21
AU - Sejr, Jonas Herskind
AU - Schneider-Kamp, Peter
AU - Ayoub, Naeem
TI - Surrogate Object Detection Explainer (SODEx) with YOLOv4 and LIME.
JO - Mach. Learn. Knowl. Extr.
VL - 3
IS - 3
SP - 662
EP - 671
PY - 2021//
DO - 10.3390/MAKE3030033
UR - https://doi.org/10.3390/make3030033
ER -
TY - CPAPER
ID - DBLP:conf/meco/MehroozS21
AU - Mehrooz, Golizheh
AU - Schneider-Kamp, Peter
TI - Web Application for Planning, Monitoring, and Controlling Autonomous Inspection Drones.
BT - 10th Mediterranean Conference on Embedded Computing, MECO 2021, Budva, Montenegro, June 7-10, 2021
SP - 1
EP - 6
PY - 2021//
DO - 10.1109/MECO52532.2021.9460136
UR - https://doi.org/10.1109/MECO52532.2021.9460136
ER -
TY - CPAPER
ID - DBLP:conf/delta2/AyoubS20
AU - Ayoub, Naeem
AU - Schneider-Kamp, Peter
TI - Real-time On-board Detection of Components and Faults in an Autonomous UAV System for Power Line Inspection.
BT - Proceedings of the 1st International Conference on Deep Learning Theory and Applications, DeLTA 2020, Lieusaint, Paris, France, July 8-10, 2020.
SP - 68
EP - 75
PY - 2020//
DO - 10.5220/0009826700680075
UR - https://doi.org/10.5220/0009826700680075
ER -
TY - CPAPER
ID - DBLP:conf/gistam/MehroozS20
AU - Mehrooz, Golizheh
AU - Schneider-Kamp, Peter
TI - Optimal Path Planning for Drone Inspections of Linear Infrastructures.
BT - Proceedings of the 6th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2020, Prague, Czech Republic, May 7-9, 2020.
SP - 326
EP - 336
PY - 2020//
DO - 10.5220/0009846703260336
UR - https://doi.org/10.5220/0009846703260336
ER -
TY - CPAPER
ID - DBLP:conf/icaart/ZhangSZ20
AU - Zhang, Rui
AU - Schneider-Kamp, Peter
AU - Zimek, Arthur
TI - Improving Semantic Similarity of Words by Retrofitting Word Vectors in Sense Level.
BT - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020.
SP - 108
EP - 119
PY - 2020//
DO - 10.5220/0008953001080119
UR - https://doi.org/10.5220/0008953001080119
ER -
TY - CPAPER
ID - DBLP:conf/icdis/SejrZS20
AU - Sejr, Jonas Herskind
AU - Zimek, Arthur
AU - Schneider-Kamp, Peter
TI - Explainable Detection of Zero Day Web Attacks.
BT - 3rd International Conference on Data Intelligence and Security, ICDIS 2020, South Padre Island, TX, USA, June 24-26, 2020
SP - 71
EP - 78
PY - 2020//
DO - 10.1109/ICDIS50059.2020.00016
UR - https://doi.org/10.1109/ICDIS50059.2020.00016
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2012-05776
AU - Lekkas, Andrea
AU - Schneider-Kamp, Peter
AU - Augenstein, Isabelle
TI - Multi-Sense Language Modelling.
JO - CoRR
VL - abs/2012.05776
PY - 2020//
UR - https://arxiv.org/abs/2012.05776
ER -
TY - JOUR
ID - DBLP:journals/jar/Cruz-FilipeMS19
AU - Cruz-Filipe, Luís
AU - Marques-Silva, João
AU - Schneider-Kamp, Peter
TI - Formally Verifying the Solution to the Boolean Pythagorean Triples Problem.
JO - J. Autom. Reason.
VL - 63
IS - 3
SP - 695
EP - 722
PY - 2019//
DO - 10.1007/S10817-018-9490-4
UR - https://doi.org/10.1007/s10817-018-9490-4
UR - https://www.wikidata.org/entity/Q114226107
ER -
TY - JOUR
ID - DBLP:journals/jcss/CodishCEMS19
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Ehlers, Thorsten
AU - Müller, Mike
AU - Schneider-Kamp, Peter
TI - Sorting networks: To the end and back again.
JO - J. Comput. Syst. Sci.
VL - 104
SP - 184
EP - 201
PY - 2019//
DO - 10.1016/J.JCSS.2016.04.004
UR - https://doi.org/10.1016/j.jcss.2016.04.004
ER -
TY - CPAPER
ID - DBLP:conf/dsd/MehroozES19
AU - Mehrooz, Golizheh
AU - Ebeid, Emad
AU - Schneider-Kamp, Peter
TI - System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application.
BT - 22nd Euromicro Conference on Digital System Design, DSD 2019, Kallithea, Greece, August 28-30, 2019
SP - 572
EP - 579
PY - 2019//
DO - 10.1109/DSD.2019.00087
UR - https://doi.org/10.1109/DSD.2019.00087
ER -
TY - CPAPER
ID - DBLP:conf/ic3k/KayteS19
AU - Kayte, Sangramsing
AU - Schneider-Kamp, Peter
TI - A Mixed Neural Network and Support Vector Machine Model for Tender Creation in the European Union TED Database.
BT - Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, Volume 3: KMIS, Vienna, Austria, September 17-19, 2019.
SP - 139
EP - 145
PY - 2019//
DO - 10.5220/0008362701390145
UR - https://doi.org/10.5220/0008362701390145
ER -
TY - JOUR
ID - DBLP:journals/amai/Cruz-FilipeGNS18
AU - Cruz-Filipe, Luís
AU - Gaspar, Graça
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Active integrity constraints for general-purpose knowledge bases.
JO - Ann. Math. Artif. Intell.
VL - 83
IS - 3-4
SP - 213
EP - 246
PY - 2018//
DO - 10.1007/S10472-018-9577-Y
UR - https://doi.org/10.1007/s10472-018-9577-y
ER -
TY - JOUR
ID - DBLP:journals/fac/CodishCNS17
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Nebel, Markus
AU - Schneider-Kamp, Peter
TI - Optimizing sorting algorithms by using sorting networks.
JO - Formal Aspects Comput.
VL - 29
IS - 3
SP - 559
EP - 579
PY - 2017//
DO - 10.1007/S00165-016-0401-3
UR - https://doi.org/10.1007/s00165-016-0401-3
ER -
TY - JOUR
ID - DBLP:journals/jar/GieslABEFFHOPSS17
AU - Giesl, Jürgen
AU - Aschermann, Cornelius
AU - Brockschmidt, Marc
AU - Emmes, Fabian
AU - Frohn, Florian
AU - Fuhs, Carsten
AU - Hensel, Jera
AU - Otto, Carsten
AU - Plücker, Martin
AU - Schneider-Kamp, Peter
AU - Ströder, Thomas
AU - Swiderski, Stephanie
AU - Thiemann, René
TI - Analyzing Program Termination and Complexity Automatically with AProVE.
JO - J. Autom. Reason.
VL - 58
IS - 1
SP - 3
EP - 31
PY - 2017//
DO - 10.1007/S10817-016-9388-Y
UR - https://doi.org/10.1007/s10817-016-9388-y
ER -
TY - JOUR
ID - DBLP:journals/jar/StroderGBFFHSA17
AU - Ströder, Thomas
AU - Giesl, Jürgen
AU - Brockschmidt, Marc
AU - Frohn, Florian
AU - Fuhs, Carsten
AU - Hensel, Jera
AU - Schneider-Kamp, Peter
AU - Aschermann, Cornelius
TI - Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
JO - J. Autom. Reason.
VL - 58
IS - 1
SP - 33
EP - 65
PY - 2017//
DO - 10.1007/S10817-016-9389-X
UR - https://doi.org/10.1007/s10817-016-9389-x
ER -
TY - JOUR
ID - DBLP:journals/jar/Cruz-FilipeLS17
AU - Cruz-Filipe, Luís
AU - Larsen, Kim S.
AU - Schneider-Kamp, Peter
TI - Formally Proving Size Optimality of Sorting Networks.
JO - J. Autom. Reason.
VL - 59
IS - 4
SP - 425
EP - 454
PY - 2017//
DO - 10.1007/S10817-017-9405-9
UR - https://doi.org/10.1007/s10817-017-9405-9
ER -
TY - JOUR
ID - DBLP:journals/jcss/BundalaCCSZ17
AU - Bundala, Daniel
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
AU - Závodný, Jakub
TI - Optimal-depth sorting networks.
JO - J. Comput. Syst. Sci.
VL - 84
SP - 185
EP - 204
PY - 2017//
DO - 10.1016/J.JCSS.2016.09.004
UR - https://doi.org/10.1016/j.jcss.2016.09.004
ER -
TY - CPAPER
ID - DBLP:conf/cade/Cruz-FilipeHHKS17
AU - Cruz-Filipe, Luís
AU - Heule, Marijn J. H.
AU - Hunt, Warren A., Jr.
AU - Kaufmann, Matt
AU - Schneider-Kamp, Peter
TI - Efficient Certified RAT Verification.
BT - Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
SP - 220
EP - 236
PY - 2017//
DO - 10.1007/978-3-319-63046-5_14
UR - https://doi.org/10.1007/978-3-319-63046-5_14
ER -
TY - CPAPER
ID - DBLP:conf/itp/Cruz-FilipeLS17
AU - Cruz-Filipe, Luís
AU - Larsen, Kim S.
AU - Schneider-Kamp, Peter
TI - How to Get More Out of Your Oracles.
BT - Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
SP - 164
EP - 170
PY - 2017//
DO - 10.1007/978-3-319-66107-0_11
UR - https://doi.org/10.1007/978-3-319-66107-0_11
ER -
TY - CPAPER
ID - DBLP:conf/lpar/Cruz-FilipeS17
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Formally Proving the Boolean Pythagorean Triples Conjecture.
BT - LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
SP - 509
EP - 522
PY - 2017//
DO - 10.29007/JVDJ
UR - https://doi.org/10.29007/jvdj
ER -
TY - CPAPER
ID - DBLP:conf/tacas/Cruz-FilipeMS17
AU - Cruz-Filipe, Luís
AU - Marques-Silva, João
AU - Schneider-Kamp, Peter
TI - Efficient Certified Resolution Proof Checking.
BT - Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
SP - 118
EP - 135
PY - 2017//
DO - 10.1007/978-3-662-54577-5_7
UR - https://doi.org/10.1007/978-3-662-54577-5_7
ER -
TY - JOUR
ID - DBLP:journals/jcss/CodishCFS16
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Frank, Michael
AU - Schneider-Kamp, Peter
TI - Sorting nine inputs requires twenty-five comparisons.
JO - J. Comput. Syst. Sci.
VL - 82
IS - 3
SP - 551
EP - 563
PY - 2016//
DO - 10.1016/J.JCSS.2015.11.014
UR - https://doi.org/10.1016/j.jcss.2015.11.014
ER -
TY - CPAPER
ID - DBLP:conf/ekaw/Cruz-FilipeGNS16
AU - Cruz-Filipe, Luís
AU - Gaspar, Graça
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Active Integrity Constraints for Multi-context Systems.
BT - Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
SP - 98
EP - 112
PY - 2016//
DO - 10.1007/978-3-319-49004-5_7
UR - https://doi.org/10.1007/978-3-319-49004-5_7
ER -
TY - CPAPER
ID - DBLP:conf/foiks/Cruz-FilipeNS16
AU - Cruz-Filipe, Luís
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Integrity Constraints for General-Purpose Knowledge Bases.
BT - Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
SP - 235
EP - 254
PY - 2016//
DO - 10.1007/978-3-319-30024-5_13
UR - https://doi.org/10.1007/978-3-319-30024-5_13
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeNS16
AU - Cruz-Filipe, Luís
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Integrity Constraints for General-Purpose Knowledge Bases.
JO - CoRR
VL - abs/1601.04980
PY - 2016//
UR - http://arxiv.org/abs/1601.04980
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeGNS16
AU - Cruz-Filipe, Luís
AU - Gaspar, Graça
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Active Integrity Constraints for Multi-Context Systems.
JO - CoRR
VL - abs/1609.06019
PY - 2016//
UR - http://arxiv.org/abs/1609.06019
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeMS16
AU - Cruz-Filipe, Luís
AU - Marques-Silva, João
AU - Schneider-Kamp, Peter
TI - Efficient Certified Resolution Proof Checking.
JO - CoRR
VL - abs/1610.06984
PY - 2016//
UR - http://arxiv.org/abs/1610.06984
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeHHKS16
AU - Cruz-Filipe, Luís
AU - Heule, Marijn
AU - Hunt, Warren A., Jr.
AU - Kaufmann, Matt
AU - Schneider-Kamp, Peter
TI - Efficient Certified RAT Verification.
JO - CoRR
VL - abs/1612.02353
PY - 2016//
UR - http://arxiv.org/abs/1612.02353
ER -
TY - CPAPER
ID - DBLP:conf/ic3k/Cruz-FilipeFHLN15
AU - Cruz-Filipe, Luís
AU - Franz, Michael
AU - Hakhverdyan, Artavazd
AU - Ludovico, Marta
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - repAIrC: A Tool for Ensuring Data Consistency.
BT - KMIS 2015 - Proceedings of the International Conference on Knowledge Management and Information Sharing, part of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015), Volume 3, Lisbon, Portugal, November 12-14, 2015
SP - 17
EP - 26
PY - 2015//
DO - 10.5220/0005586400170026
UR - https://doi.org/10.5220/0005586400170026
ER -
TY - CPAPER
ID - DBLP:conf/ic3k/Cruz-FilipeFHLN15a
AU - Cruz-Filipe, Luís
AU - Franz, Michael
AU - Hakhverdyan, Artavazd
AU - Ludovico, Marta
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - Active Integrity Constraints: From Theory to Implementation.
BT - Knowledge Discovery, Knowledge Engineering and Knowledge Management - 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers
SP - 399
EP - 420
PY - 2015//
DO - 10.1007/978-3-319-52758-1_22
UR - https://doi.org/10.1007/978-3-319-52758-1_22
ER -
TY - CPAPER
ID - DBLP:conf/itp/Cruz-FilipeS15
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker.
BT - Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
SP - 154
EP - 169
PY - 2015//
DO - 10.1007/978-3-319-22102-1_10
UR - https://doi.org/10.1007/978-3-319-22102-1_10
ER -
TY - CPAPER
ID - DBLP:conf/lata/CodishCS15
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Sorting Networks: The End Game.
BT - Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
SP - 664
EP - 675
PY - 2015//
DO - 10.1007/978-3-319-15579-1_52
UR - https://doi.org/10.1007/978-3-319-15579-1_52
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/CodishCNS15
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Nebel, Markus
AU - Schneider-Kamp, Peter
TI - Applying Sorting Networks to Synthesize Optimized Sorting Libraries.
BT - Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
SP - 127
EP - 142
PY - 2015//
DO - 10.1007/978-3-319-27436-2_8
UR - https://doi.org/10.1007/978-3-319-27436-2_8
ER -
TY - CPAPER
ID - DBLP:conf/mkm/Cruz-FilipeS15
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.
BT - Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
SP - 55
EP - 70
PY - 2015//
DO - 10.1007/978-3-319-20615-8_4
UR - https://doi.org/10.1007/978-3-319-20615-8_4
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeS15
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker.
JO - CoRR
VL - abs/1502.05209
PY - 2015//
UR - http://arxiv.org/abs/1502.05209
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeS15a
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.
JO - CoRR
VL - abs/1502.08008
PY - 2015//
UR - http://arxiv.org/abs/1502.08008
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCNS15
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Nebel, Markus
AU - Schneider-Kamp, Peter
TI - Applying Sorting Networks to Synthesize Optimized Sorting Libraries.
JO - CoRR
VL - abs/1505.01962
PY - 2015//
UR - http://arxiv.org/abs/1505.01962
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCEMS15
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Ehlers, Thorsten
AU - Müller, Mike
AU - Schneider-Kamp, Peter
TI - Sorting Networks: to the End and Back Again.
JO - CoRR
VL - abs/1507.01428
PY - 2015//
UR - http://arxiv.org/abs/1507.01428
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCFS15
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Frank, Michael
AU - Schneider-Kamp, Peter
TI - When Six Gates are Not Enough.
JO - CoRR
VL - abs/1508.05737
PY - 2015//
UR - http://arxiv.org/abs/1508.05737
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/Cruz-FilipeFHLN15
AU - Cruz-Filipe, Luís
AU - Franz, Michael
AU - Hakhverdyan, Artavazd
AU - Ludovico, Marta
AU - Nunes, Isabel
AU - Schneider-Kamp, Peter
TI - repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints.
JO - CoRR
VL - abs/1510.03989
PY - 2015//
UR - http://arxiv.org/abs/1510.03989
ER -
TY - CPAPER
ID - DBLP:conf/cade/GieslBEFFOPSSST14
AU - Giesl, Jürgen
AU - Brockschmidt, Marc
AU - Emmes, Fabian
AU - Frohn, Florian
AU - Fuhs, Carsten
AU - Otto, Carsten
AU - Plücker, Martin
AU - Schneider-Kamp, Peter
AU - Ströder, Thomas
AU - Swiderski, Stephanie
AU - Thiemann, René
TI - Proving Termination of Programs Automatically with AProVE.
BT - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
SP - 184
EP - 191
PY - 2014//
DO - 10.1007/978-3-319-08587-6_13
UR - https://doi.org/10.1007/978-3-319-08587-6_13
ER -
TY - CPAPER
ID - DBLP:conf/cade/StroderGBFFHS14
AU - Ströder, Thomas
AU - Giesl, Jürgen
AU - Brockschmidt, Marc
AU - Frohn, Florian
AU - Fuhs, Carsten
AU - Hensel, Jera
AU - Schneider-Kamp, Peter
TI - Proving Termination and Memory Safety for Programs with Pointer Arithmetic.
BT - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
SP - 208
EP - 223
PY - 2014//
DO - 10.1007/978-3-319-08587-6_15
UR - https://doi.org/10.1007/978-3-319-08587-6_15
ER -
TY - CPAPER
ID - DBLP:conf/icfp/HargreavesMS14
AU - Hargreaves, Felix Palludan
AU - Merkle, Daniel
AU - Schneider-Kamp, Peter
TI - Group communication patterns for high performance computing in scala.
BT - Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014
SP - 75
EP - 85
PY - 2014//
DO - 10.1145/2636228.2636229
UR - https://doi.org/10.1145/2636228.2636229
ER -
TY - CPAPER
ID - DBLP:conf/ictai/CodishCFS14
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Frank, Michael
AU - Schneider-Kamp, Peter
TI - Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten).
BT - 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
SP - 186
EP - 193
PY - 2014//
DO - 10.1109/ICTAI.2014.36
UR - https://doi.org/10.1109/ICTAI.2014.36
UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.36
ER -
TY - CPAPER
ID - DBLP:conf/synasc/CodishCS14
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes.
BT - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014
SP - 359
EP - 366
PY - 2014//
DO - 10.1109/SYNASC.2014.55
UR - https://doi.org/10.1109/SYNASC.2014.55
UR - https://doi.ieeecomputersociety.org/10.1109/SYNASC.2014.55
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCS14
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes.
JO - CoRR
VL - abs/1404.0948
PY - 2014//
UR - http://arxiv.org/abs/1404.0948
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCFS14
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Frank, Michael
AU - Schneider-Kamp, Peter
TI - Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten).
JO - CoRR
VL - abs/1405.5754
PY - 2014//
UR - http://arxiv.org/abs/1405.5754
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/HargreavesMS14
AU - Hargreaves, Felix Palludan
AU - Merkle, Daniel
AU - Schneider-Kamp, Peter
TI - Group Communication Patterns for High Performance Computing in Scala.
JO - CoRR
VL - abs/1406.6163
PY - 2014//
UR - http://arxiv.org/abs/1406.6163
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/CodishCS14a
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
TI - Sorting Networks: the End Game.
JO - CoRR
VL - abs/1411.6408
PY - 2014//
UR - http://arxiv.org/abs/1411.6408
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/BundalaCCSZ14
AU - Bundala, Daniel
AU - Codish, Michael
AU - Cruz-Filipe, Luís
AU - Schneider-Kamp, Peter
AU - Závodný, Jakub
TI - Optimal-Depth Sorting Networks.
JO - CoRR
VL - abs/1412.5302
PY - 2014//
UR - http://arxiv.org/abs/1412.5302
ER -
TY - JOUR
ID - DBLP:journals/jar/CodishGST12
AU - Codish, Michael
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
AU - Thiemann, René
TI - SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs.
JO - J. Autom. Reason.
VL - 49
IS - 1
SP - 53
EP - 93
PY - 2012//
DO - 10.1007/S10817-010-9211-0
UR - https://doi.org/10.1007/s10817-010-9211-0
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/GieslSSEF12
AU - Giesl, Jürgen
AU - Ströder, Thomas
AU - Schneider-Kamp, Peter
AU - Emmes, Fabian
AU - Fuhs, Carsten
TI - Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.
BT - Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
SP - 1
PY - 2012//
DO - 10.1007/978-3-642-38197-3_1
UR - https://doi.org/10.1007/978-3-642-38197-3_1
ER -
TY - CPAPER
ID - DBLP:conf/ppdp/GieslSSEF12
AU - Giesl, Jürgen
AU - Ströder, Thomas
AU - Schneider-Kamp, Peter
AU - Emmes, Fabian
AU - Fuhs, Carsten
TI - Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs.
BT - Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012
SP - 1
EP - 12
PY - 2012//
DO - 10.1145/2370776.2370778
UR - https://doi.org/10.1145/2370776.2370778
ER -
TY - JOUR
ID - DBLP:journals/jar/FuhsGPSS11
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Parting, Michael
AU - Schneider-Kamp, Peter
AU - Swiderski, Stephan
TI - Proving Termination by Dependency Pairs and Inductive Theorem Proving.
JO - J. Autom. Reason.
VL - 47
IS - 2
SP - 133
EP - 160
PY - 2011//
DO - 10.1007/S10817-010-9215-9
UR - https://doi.org/10.1007/s10817-010-9215-9
ER -
TY - JOUR
ID - DBLP:journals/toplas/GieslRSST11
AU - Giesl, Jürgen
AU - Raffelsieper, Matthias
AU - Schneider-Kamp, Peter
AU - Swiderski, Stephan
AU - Thiemann, René
TI - Automated termination proofs for haskell by term rewriting.
JO - ACM Trans. Program. Lang. Syst.
VL - 33
IS - 2
SP - 7:1
EP - 7:39
PY - 2011//
DO - 10.1145/1890028.1890030
UR - https://doi.org/10.1145/1890028.1890030
ER -
TY - JOUR
ID - DBLP:journals/tplp/NguyenSGS11
AU - Nguyen, Manh Thang
AU - Schreye, Danny De
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Polytool: Polynomial interpretations as a basis for termination analysis of logic programs.
JO - Theory Pract. Log. Program.
VL - 11
IS - 1
SP - 33
EP - 63
PY - 2011//
DO - 10.1017/S1471068410000025
UR - https://doi.org/10.1017/S1471068410000025
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/StroderESGF11
AU - Ströder, Thomas
AU - Emmes, Fabian
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Fuhs, Carsten
TI - A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.
BT - Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
SP - 237
EP - 252
PY - 2011//
DO - 10.1007/978-3-642-32211-2_16
UR - https://doi.org/10.1007/978-3-642-32211-2_16
ER -
TY - CPAPER
ID - DBLP:conf/tacas/CodishFFS11
AU - Codish, Michael
AU - Fekete, Yoav
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Optimal Base Encodings for Pseudo-Boolean Constraints.
BT - Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
SP - 189
EP - 204
PY - 2011//
DO - 10.1007/978-3-642-19835-9_16
UR - https://doi.org/10.1007/978-3-642-19835-9_16
ER -
TY - CONF
ID - DBLP:conf/ppdp/2011
ED - Schneider-Kamp, Peter
ED - Hanus, Michael
TI - Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark
PY - 2011//
PB - ACM
SN - ISBN 978-1-4503-0776-5
ER -
TY - JOUR
ID - DBLP:journals/ki/Schneider-Kamp10
AU - Schneider-Kamp, Peter
TI - Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving.
JO - Künstliche Intell.
VL - 24
IS - 1
SP - 79
EP - 81
PY - 2010//
DO - 10.1007/S13218-010-0015-5
UR - https://doi.org/10.1007/s13218-010-0015-5
ER -
TY - JOUR
ID - DBLP:journals/tplp/Schneider-KampGSST10
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Ströder, Thomas
AU - Serebrenik, Alexander
AU - Thiemann, René
TI - Automated termination analysis for logic programs with cut.
JO - Theory Pract. Log. Program.
VL - 10
IS - 4-6
SP - 365
EP - 381
PY - 2010//
DO - 10.1017/S1471068410000165
UR - https://doi.org/10.1017/S1471068410000165
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/StroderSG10
AU - Ströder, Thomas
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
TI - Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.
BT - Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
SP - 184
EP - 199
PY - 2010//
DO - 10.1007/978-3-642-20551-4_12
UR - https://doi.org/10.1007/978-3-642-20551-4_12
ER -
TY - CPAPER
ID - DBLP:conf/lpar/FuhsS10
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Optimizing the AES S-Box using SAT.
BT - The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011
SP - 64
EP - 70
PY - 2010//
ER -
TY - CPAPER
ID - DBLP:conf/lpar/CodishFGS10
AU - Codish, Michael
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Lazy Abstraction for Size-Change Termination.
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
SP - 217
EP - 232
PY - 2010//
DO - 10.1007/978-3-642-16242-8_16
UR - https://doi.org/10.1007/978-3-642-16242-8_16
ER -
TY - CPAPER
ID - DBLP:conf/sat/FuhsS10
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT.
BT - Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
SP - 71
EP - 84
PY - 2010//
DO - 10.1007/978-3-642-14186-7_8
UR - https://doi.org/10.1007/978-3-642-14186-7_8
ER -
TY - CPAPER
ID - DBLP:journals/corr/abs-1012-5563
AU - Thiemann, René
AU - Sternagel, Christian
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Loops under Strategies ... Continued
BT - Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010.
SP - 51
EP - 65
PY - 2010//
DO - 10.4204/EPTCS.44.4
UR - https://doi.org/10.4204/EPTCS.44.4
UR - http://arxiv.org/abs/1012.5563
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1007-4908
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Ströder, Thomas
AU - Serebrenik, Alexander
AU - Thiemann, René
TI - Automated Termination Analysis for Logic Programs with Cut
JO - CoRR
VL - abs/1007.4908
PY - 2010//
UR - http://arxiv.org/abs/1007.4908
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1007-4935
AU - Codish, Michael
AU - Fekete, Yoav
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Optimal Base Encodings for Pseudo-Boolean Constraints
JO - CoRR
VL - abs/1007.4935
PY - 2010//
UR - http://arxiv.org/abs/1007.4935
ER -
TY - JOUR
ID - DBLP:journals/tocl/Schneider-KampGST09
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Serebrenik, Alexander
AU - Thiemann, René
TI - Automated termination proofs for logic programs by term rewriting.
JO - ACM Trans. Comput. Log.
VL - 11
IS - 1
SP - 2:1
EP - 2:52
PY - 2009//
DO - 10.1145/1614431.1614433
UR - https://doi.org/10.1145/1614431.1614433
ER -
TY - CPAPER
ID - DBLP:conf/cade/SwiderskiPGFS09
AU - Swiderski, Stephan
AU - Parting, Michael
AU - Giesl, Jürgen
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Termination Analysis by Dependency Pairs and Inductive Theorem Proving.
BT - Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
SP - 322
EP - 338
PY - 2009//
DO - 10.1007/978-3-642-02959-2_25
UR - https://doi.org/10.1007/978-3-642-02959-2_25
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/Schneider-KampGN09
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Nguyen, Manh Thang
TI - The Dependency Triple Framework for Termination of Logic Programs.
BT - Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
SP - 37
EP - 51
PY - 2009//
DO - 10.1007/978-3-642-12592-8_4
UR - https://doi.org/10.1007/978-3-642-12592-8_4
ER -
TY - CPAPER
ID - DBLP:conf/rta/FuhsGPSF09
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Plücker, Martin
AU - Schneider-Kamp, Peter
AU - Falke, Stephan
TI - Proving Termination of Integer Term Rewriting.
BT - Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings
SP - 32
EP - 47
PY - 2009//
DO - 10.1007/978-3-642-02348-4_3
UR - https://doi.org/10.1007/978-3-642-02348-4_3
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/FuhsGPS009
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Plücker, Martin
AU - Schneider-Kamp, Peter
AU - Falke, Stephan
TI - Termination of Integer Term Rewriting.
BT - Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
PY - 2009//
UR - http://drops.dagstuhl.de/opus/volltexte/2010/2423/
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/SwiderskiPGFS09
AU - Swiderski, Stephan
AU - Parting, Michael
AU - Giesl, Jürgen
AU - Fuhs, Carsten
AU - Schneider-Kamp, Peter
TI - Inductive Theorem Proving meets Dependency Pairs.
BT - Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
PY - 2009//
UR - http://drops.dagstuhl.de/opus/volltexte/2010/2422/
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-0912-4360
AU - Nguyen, Manh Thang
AU - Schreye, Danny De
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
JO - CoRR
VL - abs/0912.4360
PY - 2009//
UR - http://arxiv.org/abs/0912.4360
ER -
TY - THES
ID - DBLP:phd/de/Schneider-Kamp2008
AU - Schneider-Kamp, Peter
TI - Static termination analysis for prolog using term rewriting and SAT solving.
SP - 1
EP - 174
PY - 2008//
UR - http://darwin.bth.rwth-aachen.de/opus3/volltexte/2008/2630/
UR - https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-26300
UR - https://d-nb.info/992487048
UR - https://d-nb.info/1000151697
ER -
TY - JOUR
ID - DBLP:journals/aaecc/ThiemannZGS08
AU - Thiemann, René
AU - Zantema, Hans
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Adding constants to string rewriting.
JO - Appl. Algebra Eng. Commun. Comput.
VL - 19
IS - 1
SP - 27
EP - 38
PY - 2008//
DO - 10.1007/S00200-008-0060-6
UR - https://doi.org/10.1007/s00200-008-0060-6
ER -
TY - CPAPER
ID - DBLP:conf/aisc/FuhsNOGLS08
AU - Fuhs, Carsten
AU - Navarro-Marset, Rafael
AU - Otto, Carsten
AU - Giesl, Jürgen
AU - Lucas, Salvador
AU - Schneider-Kamp, Peter
TI - Search Techniques for Rational Polynomial Orders.
BT - Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
SP - 109
EP - 124
PY - 2008//
DO - 10.1007/978-3-540-85110-3_10
UR - https://doi.org/10.1007/978-3-540-85110-3_10
ER -
TY - CPAPER
ID - DBLP:conf/lpar/AlarconEFGGLST08
AU - Alarcón, Beatriz
AU - Emmes, Fabian
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Gutiérrez, Raúl
AU - Lucas, Salvador
AU - Schneider-Kamp, Peter
AU - Thiemann, René
TI - Improving Context-Sensitive Dependency Pairs.
BT - Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
SP - 636
EP - 651
PY - 2008//
DO - 10.1007/978-3-540-89439-1_44
UR - https://doi.org/10.1007/978-3-540-89439-1_44
ER -
TY - CPAPER
ID - DBLP:conf/rta/FuhsGMSTZ08
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Middeldorp, Aart
AU - Schneider-Kamp, Peter
AU - Thiemann, René
AU - Zankl, Harald
TI - Maximal Termination.
BT - Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings
SP - 110
EP - 125
PY - 2008//
DO - 10.1007/978-3-540-70590-1_8
UR - https://doi.org/10.1007/978-3-540-70590-1_8
ER -
TY - CPAPER
ID - DBLP:conf/rta/ThiemannGS08
AU - Thiemann, René
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Deciding Innermost Loops.
BT - Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings
SP - 366
EP - 380
PY - 2008//
DO - 10.1007/978-3-540-70590-1_25
UR - https://doi.org/10.1007/978-3-540-70590-1_25
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-0803-0014
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Serebrenik, Alexander
AU - Thiemann, René
TI - Automated Termination Proofs for Logic Programs by Term Rewriting
JO - CoRR
VL - abs/0803.0014
PY - 2008//
UR - http://arxiv.org/abs/0803.0014
ER -
TY - CPAPER
ID - DBLP:conf/cade/GieslTSS07
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Swiderski, Stephan
AU - Schneider-Kamp, Peter
TI - Proving Termination by Bounded Increase.
BT - Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
SP - 443
EP - 459
PY - 2007//
DO - 10.1007/978-3-540-73595-3_33
UR - https://doi.org/10.1007/978-3-540-73595-3_33
ER -
TY - CPAPER
ID - DBLP:conf/frocos/Schneider-KampTACG07
AU - Schneider-Kamp, Peter
AU - Thiemann, René
AU - Annov, Elena
AU - Codish, Michael
AU - Giesl, Jürgen
TI - Proving Termination Using Recursive Path Orders and SAT Solving.
BT - Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings
SP - 267
EP - 282
PY - 2007//
DO - 10.1007/978-3-540-74621-8_18
UR - https://doi.org/10.1007/978-3-540-74621-8_18
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/NguyenGSS07
AU - Nguyen, Manh Thang
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
AU - Schreye, Danny De
TI - Termination Analysis of Logic Programs Based on Dependency Graphs.
BT - Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
SP - 8
EP - 22
PY - 2007//
DO - 10.1007/978-3-540-78769-3_2
UR - https://doi.org/10.1007/978-3-540-78769-3_2
ER -
TY - CPAPER
ID - DBLP:conf/sat/FuhsGMSTZ07
AU - Fuhs, Carsten
AU - Giesl, Jürgen
AU - Middeldorp, Aart
AU - Schneider-Kamp, Peter
AU - Thiemann, René
AU - Zankl, Harald
TI - SAT Solving for Termination Analysis with Polynomial Interpretations.
BT - Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings
SP - 340
EP - 354
PY - 2007//
DO - 10.1007/978-3-540-72788-0_33
UR - https://doi.org/10.1007/978-3-540-72788-0_33
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/GieslSTSNSS07
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
AU - Thiemann, René
AU - Swiderski, Stephan
AU - Nguyen, Manh Thang
AU - Schreye, Danny De
AU - Serebrenik, Alexander
TI - Termination of Programs using Term Rewriting and SAT Solving.
BT - Deduction and Decision Procedures, 30.09. - 05.10.2007
PY - 2007//
UR - http://drops.dagstuhl.de/opus/volltexte/2007/1248
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/Schneider-KampFTGACMZ07
AU - Schneider-Kamp, Peter
AU - Fuhs, Carsten
AU - Thiemann, René
AU - Giesl, Jürgen
AU - Annov, Elena
AU - Codish, Michael
AU - Middeldorp, Aart
AU - Zankl, Harald
TI - Implementing RPO and POLO using SAT.
BT - Deduction and Decision Procedures, 30.09. - 05.10.2007
PY - 2007//
UR - http://drops.dagstuhl.de/opus/volltexte/2007/1249
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/ThiemannGS07
AU - Thiemann, René
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Decision Procedures for Loop Detection.
BT - Deduction and Decision Procedures, 30.09. - 05.10.2007
PY - 2007//
UR - http://drops.dagstuhl.de/opus/volltexte/2007/1246
ER -
TY - JOUR
ID - DBLP:journals/jar/GieslTSF06
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
AU - Falke, Stephan
TI - Mechanizing and Improving Dependency Pairs.
JO - J. Autom. Reason.
VL - 37
IS - 3
SP - 155
EP - 203
PY - 2006//
DO - 10.1007/S10817-006-9057-7
UR - https://doi.org/10.1007/s10817-006-9057-7
ER -
TY - CPAPER
ID - DBLP:conf/cade/GieslST06
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
AU - Thiemann, René
TI - Automatic Termination Proofs in the Dependency Pair Framework.
BT - Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
SP - 281
EP - 286
PY - 2006//
DO - 10.1007/11814771_24
UR - https://doi.org/10.1007/11814771_24
ER -
TY - CPAPER
ID - DBLP:conf/lopstr/Schneider-KampGST06
AU - Schneider-Kamp, Peter
AU - Giesl, Jürgen
AU - Serebrenik, Alexander
AU - Thiemann, René
TI - Automated Termination Analysis for Logic Programs by Term Rewriting.
BT - Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
SP - 177
EP - 193
PY - 2006//
DO - 10.1007/978-3-540-71410-1_13
UR - https://doi.org/10.1007/978-3-540-71410-1_13
ER -
TY - CPAPER
ID - DBLP:conf/lpar/CodishSLTG06
AU - Codish, Michael
AU - Schneider-Kamp, Peter
AU - Lagoon, Vitaly
AU - Thiemann, René
AU - Giesl, Jürgen
TI - SAT Solving for Argument Filterings.
BT - Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
SP - 30
EP - 44
PY - 2006//
DO - 10.1007/11916277_3
UR - https://doi.org/10.1007/11916277_3
ER -
TY - CPAPER
ID - DBLP:conf/rta/GieslSST06
AU - Giesl, Jürgen
AU - Swiderski, Stephan
AU - Schneider-Kamp, Peter
AU - Thiemann, René
TI - Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.
BT - Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
SP - 297
EP - 312
PY - 2006//
DO - 10.1007/11805618_23
UR - https://doi.org/10.1007/11805618_23
ER -
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-cs-0605074
AU - Codish, Michael
AU - Schneider-Kamp, Peter
AU - Lagoon, Vitaly
AU - Thiemann, René
AU - Giesl, Jürgen
TI - SAT Solving for Argument Filterings
JO - CoRR
VL - abs/cs/0605074
PY - 2006//
UR - http://arxiv.org/abs/cs/0605074
ER -
TY - CPAPER
ID - DBLP:conf/frocos/GieslTS05
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
TI - Proving and Disproving Termination of Higher-Order Functions.
BT - Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
SP - 216
EP - 231
PY - 2005//
DO - 10.1007/11559306_12
UR - https://doi.org/10.1007/11559306_12
ER -
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/GieslTS05
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
TI - Proving and Disproving Termination in the Dependency Pair Framework.
BT - Deduction and Applications, 23.-28. October 2005
PY - 2005//
UR - http://drops.dagstuhl.de/opus/volltexte/2006/509
ER -
TY - CPAPER
ID - DBLP:conf/cade/ThiemannGS04
AU - Thiemann, René
AU - Giesl, Jürgen
AU - Schneider-Kamp, Peter
TI - Improved Modular Termination Proofs Using Dependency Pairs.
BT - Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
SP - 75
EP - 90
PY - 2004//
DO - 10.1007/978-3-540-25984-8_4
UR - https://doi.org/10.1007/978-3-540-25984-8_4
ER -
TY - CPAPER
ID - DBLP:conf/lpar/GieslTS04
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
TI - The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs.
BT - Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
SP - 301
EP - 331
PY - 2004//
DO - 10.1007/978-3-540-32275-7_21
UR - https://doi.org/10.1007/978-3-540-32275-7_21
ER -
TY - CPAPER
ID - DBLP:conf/rta/GieslTSF04
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
AU - Falke, Stephan
TI - Automated Termination Proofs with AProVE.
BT - Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
SP - 210
EP - 220
PY - 2004//
DO - 10.1007/978-3-540-25979-4_15
UR - https://doi.org/10.1007/978-3-540-25979-4_15
ER -
TY - CPAPER
ID - DBLP:conf/lpar/GieslTSF03
AU - Giesl, Jürgen
AU - Thiemann, René
AU - Schneider-Kamp, Peter
AU - Falke, Stephan
TI - Improving Dependency Pairs.
BT - Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
SP - 167
EP - 182
PY - 2003//
DO - 10.1007/978-3-540-39813-4_11
UR - https://doi.org/10.1007/978-3-540-39813-4_11
ER -
