Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Schneider-Kamp
@article{DBLP:journals/corr/abs-2312-12216,
author = {Tobias Hyrup and
Anton Danholt Lautrup and
Arthur Zimek and
Peter Schneider{-}Kamp},
title = {Sharing is CAIRing: Characterizing Principles and Assessing Properties
of Universal Privacy Evaluation for Synthetic Tabular Data},
journal = {CoRR},
volume = {abs/2312.12216},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.12216},
doi = {10.48550/ARXIV.2312.12216},
eprinttype = {arXiv},
eprint = {2312.12216},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-12216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/MatlekovicJS22,
author = {Lea Matlekovic and
Filip Juric and
Peter Schneider{-}Kamp},
title = {Microservices for autonomous {UAV} inspection with {UAV} simulation
as a service},
journal = {Simul. Model. Pract. Theory},
volume = {119},
pages = {102548},
year = {2022},
url = {https://doi.org/10.1016/j.simpat.2022.102548},
doi = {10.1016/J.SIMPAT.2022.102548},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/MatlekovicJS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/0055ZS22,
author = {Rui Zhang and
Arthur Zimek and
Peter Schneider{-}Kamp},
editor = {Mohammad Al Hasan and
Li Xiong},
title = {A Simple Meta-path-free Framework for Heterogeneous Network Embedding},
booktitle = {Proceedings of the 31st {ACM} International Conference on Information
{\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022},
pages = {2600--2609},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3511808.3557223},
doi = {10.1145/3511808.3557223},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/0055ZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/0055ZS22a,
author = {Rui Zhang and
Arthur Zimek and
Peter Schneider{-}Kamp},
editor = {Mohammad Al Hasan and
Li Xiong},
title = {Unsupervised Representation Learning on Attributed Multiplex Network},
booktitle = {Proceedings of the 31st {ACM} International Conference on Information
{\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022},
pages = {2610--2619},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3511808.3557486},
doi = {10.1145/3511808.3557486},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/0055ZS22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/Marin-VegaSSR22,
author = {Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger},
title = {{DRHDR:} {A} Dual branch Residual Network for Multi-Bracket High Dynamic
Range Imaging},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition Workshops,
{CVPR} Workshops 2022, New Orleans, LA, USA, June 19-20, 2022},
pages = {843--851},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPRW56347.2022.00100},
doi = {10.1109/CVPRW56347.2022.00100},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/Marin-VegaSSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/Perez-Pellitero22,
author = {Eduardo P{\'{e}}rez{-}Pellitero and
Sibi Catley{-}Chandar and
Richard Shaw and
Ales Leonardis and
Radu Timofte and
Zexin Zhang and
Cen Liu and
Yunbo Peng and
Yue Lin and
Gaocheng Yu and
Jin Zhang and
Zhe Ma and
Hongbin Wang and
Xiangyu Chen and
Xintao Wang and
Haiwei Wu and
Lin Liu and
Chao Dong and
Jiantao Zhou and
Qingsen Yan and
Song Zhang and
Weiye Chen and
Yuhang Liu and
Zhen Zhang and
Yanning Zhang and
Javen Qinfeng Shi and
Dong Gong and
Dan Zhu and
Mengdi Sun and
Guannan Chen and
Yang Hu and
Haowei Li and
Baozhu Zou and
Zhen Liu and
Wenjie Lin and
Ting Jiang and
Chengzhi Jiang and
Xinpeng Li and
Mingyan Han and
Haoqiang Fan and
Jian Sun and
Shuaicheng Liu and
Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger and
Chunyang Li and
Long Bao and
Gang He and
Ziyao Xu and
Li Xu and
Gen Zhan and
Ming Sun and
Xing Wen and
Junlin Li and
Jinjing Li and
Chenghua Li and
Ruipeng Gang and
Fangya Li and
Chenming Liu and
Shuang Feng and
Fei Lei and
Rui Liu and
Junxiang Ruan and
Tianhong Dai and
Wei Li and
Zhan Lu and
Hengyan Liu and
Peian Huang and
Guangyu Ren and
Yonglin Luo and
Chang Liu and
Qiang Tu and
Sai Ma and
Yizhen Cao and
Steven Tel and
Barthelemy Heyrman and
Dominique Ginhac and
Chul Lee and
Gahyeon Kim and
Seonghyun Park and
An Gia Vien and
Truong Thanh Nhat Mai and
Howoon Yoon and
Tu Vo and
Alexander Holston and
Sheir Zaheer and
Chan Y. Park},
title = {{NTIRE} 2022 Challenge on High Dynamic Range Imaging: Methods and
Results},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition Workshops,
{CVPR} Workshops 2022, New Orleans, LA, USA, June 19-20, 2022},
pages = {1008--1022},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPRW56347.2022.00114},
doi = {10.1109/CVPRW56347.2022.00114},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/Perez-Pellitero22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/CondeTHPCLPSBLFWLZLJAWLCLYZLLZJKZZZLMS22,
author = {Marcos V. Conde and
Radu Timofte and
Yibin Huang and
Jingyang Peng and
Chang Chen and
Cheng Li and
Eduardo P{\'{e}}rez{-}Pellitero and
Fenglong Song and
Furui Bai and
Shuai Liu and
Chaoyu Feng and
Xiaotao Wang and
Lei Lei and
Yu Zhu and
Chenghua Li and
Yingying Jiang and
Yong A and
Peisong Wang and
Cong Leng and
Jian Cheng and
Xiaoyu Liu and
Zhicun Yin and
Zhilu Zhang and
Junyi Li and
Ming Liu and
Wangmeng Zuo and
Jun Jiang and
Jinha Kim and
Yue Zhang and
Beiji Zou and
Zhikai Zong and
Xiaoxiao Liu and
Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger and
Furkan Kinli and
Baris {\"{O}}zcan and
Furkan Kira{\c{c}} and
Li Leyi and
S. M. Nadim Uddin and
Dipon Kumar Ghosh and
Yong Ju Jung},
editor = {Leonid Karlinsky and
Tomer Michaeli and
Ko Nishino},
title = {Reversed Image Signal Processing and {RAW} Reconstruction. {AIM} 2022
Challenge Report},
booktitle = {Computer Vision - {ECCV} 2022 Workshops - Tel Aviv, Israel, October
23-27, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13803},
pages = {3--26},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25066-8\_1},
doi = {10.1007/978-3-031-25066-8\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/CondeTHPCLPSBLFWLZLJAWLCLYZLLZJKZZZLMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Schneider-Kamp22,
author = {Peter Schneider{-}Kamp},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Approximate Dictionary Searching at a Scale using Ternary Search Trees
and Implicit Levenshtein Automata},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {657--662},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011312300003266},
doi = {10.5220/0011312300003266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Schneider-Kamp22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-02342,
author = {Lea Matlekovic and
Peter Schneider{-}Kamp},
title = {From Monolith to Microservices: Software Architecture for Autonomous
{UAV} Infrastructure Inspection},
journal = {CoRR},
volume = {abs/2204.02342},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.02342},
doi = {10.48550/ARXIV.2204.02342},
eprinttype = {arXiv},
eprint = {2204.02342},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-12633,
author = {Eduardo P{\'{e}}rez{-}Pellitero and
Sibi Catley{-}Chandar and
Richard Shaw and
Ales Leonardis and
Radu Timofte and
Zexin Zhang and
Cen Liu and
Yunbo Peng and
Yue Lin and
Gaocheng Yu and
Jin Zhang and
Zhe Ma and
Hongbin Wang and
Xiangyu Chen and
Xintao Wang and
Haiwei Wu and
Lin Liu and
Chao Dong and
Jiantao Zhou and
Qingsen Yan and
Song Zhang and
Weiye Chen and
Yuhang Liu and
Zhen Zhang and
Yanning Zhang and
Javen Qinfeng Shi and
Dong Gong and
Dan Zhu and
Mengdi Sun and
Guannan Chen and
Yang Hu and
Haowei Li and
Baozhu Zou and
Zhen Liu and
Wenjie Lin and
Ting Jiang and
Chengzhi Jiang and
Xinpeng Li and
Mingyan Han and
Haoqiang Fan and
Jian Sun and
Shuaicheng Liu and
Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger and
Chunyang Li and
Long Bao and
Gang He and
Ziyao Xu and
Li Xu and
Gen Zhan and
Ming Sun and
Xing Wen and
Junlin Li and
Jinjing Li and
Chenghua Li and
Ruipeng Gang and
Fangya Li and
Chenming Liu and
Shuang Feng and
Fei Lei and
Rui Liu and
Junxiang Ruan and
Tianhong Dai and
Wei Li and
Zhan Lu and
Hengyan Liu and
Peian Huang and
Guangyu Ren and
Yonglin Luo and
Chang Liu and
Qiang Tu and
Sai Ma and
Yizhen Cao and
Steven Tel and
Barthelemy Heyrman and
Dominique Ginhac and
Chul Lee and
Gahyeon Kim and
Seonghyun Park and
An Gia Vien and
Truong Thanh Nhat Mai and
Howoon Yoon and
Tu Vo and
Alexander Holston and
Sheir Zaheer and
Chan Y. Park},
title = {{NTIRE} 2022 Challenge on High Dynamic Range Imaging: Methods and
Results},
journal = {CoRR},
volume = {abs/2205.12633},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.12633},
doi = {10.48550/ARXIV.2205.12633},
eprinttype = {arXiv},
eprint = {2205.12633},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-12633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-04124,
author = {Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger},
title = {{DRHDR:} {A} Dual branch Residual Network for Multi-Bracket High Dynamic
Range Imaging},
journal = {CoRR},
volume = {abs/2206.04124},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.04124},
doi = {10.48550/ARXIV.2206.04124},
eprinttype = {arXiv},
eprint = {2206.04124},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-04124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-11153,
author = {Marcos V. Conde and
Radu Timofte and
Yibin Huang and
Jingyang Peng and
Chang Chen and
Cheng Li and
Eduardo P{\'{e}}rez{-}Pellitero and
Fenglong Song and
Furui Bai and
Shuai Liu and
Chaoyu Feng and
Xiaotao Wang and
Lei Lei and
Yu Zhu and
Chenghua Li and
Yingying Jiang and
Yong A and
Peisong Wang and
Cong Leng and
Jian Cheng and
Xiaoyu Liu and
Zhicun Yin and
Zhilu Zhang and
Junyi Li and
Ming Liu and
Wangmeng Zuo and
Jun Jiang and
Jinha Kim and
Yue Zhang and
Beiji Zou and
Zhikai Zong and
Xiaoxiao Liu and
Juan Mar{\'{\i}}n{-}Vega and
Michael Sloth and
Peter Schneider{-}Kamp and
Richard R{\"{o}}ttger and
Furkan Kinli and
Baris {\"{O}}zcan and
Furkan Kira{\c{c}} and
Li Leyi and
S. M. Nadim Uddin and
Dipon Kumar Ghosh and
Yong Ju Jung},
title = {Reversed Image Signal Processing and {RAW} Reconstruction. {AIM} 2022
Challenge Report},
journal = {CoRR},
volume = {abs/2210.11153},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.11153},
doi = {10.48550/ARXIV.2210.11153},
eprinttype = {arXiv},
eprint = {2210.11153},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-11153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/make/SejrSA21,
author = {Jonas Herskind Sejr and
Peter Schneider{-}Kamp and
Naeem Ayoub},
title = {Surrogate Object Detection Explainer (SODEx) with YOLOv4 and {LIME}},
journal = {Mach. Learn. Knowl. Extr.},
volume = {3},
number = {3},
pages = {662--671},
year = {2021},
url = {https://doi.org/10.3390/make3030033},
doi = {10.3390/MAKE3030033},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/make/SejrSA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/MehroozS21,
author = {Golizheh Mehrooz and
Peter Schneider{-}Kamp},
title = {Web Application for Planning, Monitoring, and Controlling Autonomous
Inspection Drones},
booktitle = {10th Mediterranean Conference on Embedded Computing, {MECO} 2021,
Budva, Montenegro, June 7-10, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MECO52532.2021.9460136},
doi = {10.1109/MECO52532.2021.9460136},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/MehroozS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta2/AyoubS20,
author = {Naeem Ayoub and
Peter Schneider{-}Kamp},
editor = {Ana L. N. Fred and
Kurosh Madani},
title = {Real-time On-board Detection of Components and Faults in an Autonomous
{UAV} System for Power Line Inspection},
booktitle = {Proceedings of the 1st International Conference on Deep Learning Theory
and Applications, DeLTA 2020, Lieusaint, Paris, France, July 8-10,
2020},
pages = {68--75},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009826700680075},
doi = {10.5220/0009826700680075},
timestamp = {Mon, 31 Jul 2023 11:23:31 +0200},
biburl = {https://dblp.org/rec/conf/delta2/AyoubS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gistam/MehroozS20,
author = {Golizheh Mehrooz and
Peter Schneider{-}Kamp},
editor = {C{\'{e}}dric Grueau and
Robert Laurini and
Lemonia Ragia},
title = {Optimal Path Planning for Drone Inspections of Linear Infrastructures},
booktitle = {Proceedings of the 6th International Conference on Geographical Information
Systems Theory, Applications and Management, {GISTAM} 2020, Prague,
Czech Republic, May 7-9, 2020},
pages = {326--336},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009846703260336},
doi = {10.5220/0009846703260336},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/gistam/MehroozS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ZhangSZ20,
author = {Rui Zhang and
Peter Schneider{-}Kamp and
Arthur Zimek},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Improving Semantic Similarity of Words by Retrofitting Word Vectors
in Sense Level},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {108--119},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008953001080119},
doi = {10.5220/0008953001080119},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ZhangSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdis/SejrZS20,
author = {Jonas Herskind Sejr and
Arthur Zimek and
Peter Schneider{-}Kamp},
title = {Explainable Detection of Zero Day Web Attacks},
booktitle = {3rd International Conference on Data Intelligence and Security, {ICDIS}
2020, South Padre Island, TX, USA, June 24-26, 2020},
pages = {71--78},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICDIS50059.2020.00016},
doi = {10.1109/ICDIS50059.2020.00016},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdis/SejrZS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-05776,
author = {Andrea Lekkas and
Peter Schneider{-}Kamp and
Isabelle Augenstein},
title = {Multi-Sense Language Modelling},
journal = {CoRR},
volume = {abs/2012.05776},
year = {2020},
url = {https://arxiv.org/abs/2012.05776},
eprinttype = {arXiv},
eprint = {2012.05776},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-05776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Cruz-FilipeMS19,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Jo{\~{a}}o Marques{-}Silva and
Peter Schneider{-}Kamp},
title = {Formally Verifying the Solution to the Boolean Pythagorean Triples
Problem},
journal = {J. Autom. Reason.},
volume = {63},
number = {3},
pages = {695--722},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9490-4},
doi = {10.1007/S10817-018-9490-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Cruz-FilipeMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CodishCEMS19,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Thorsten Ehlers and
Mike M{\"{u}}ller and
Peter Schneider{-}Kamp},
title = {Sorting networks: To the end and back again},
journal = {J. Comput. Syst. Sci.},
volume = {104},
pages = {184--201},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2016.04.004},
doi = {10.1016/J.JCSS.2016.04.004},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CodishCEMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MehroozES19,
author = {Golizheh Mehrooz and
Emad Ebeid and
Peter Schneider{-}Kamp},
title = {System Design of an Open-Source Cloud-Based Framework for Internet
of Drones Application},
booktitle = {22nd Euromicro Conference on Digital System Design, {DSD} 2019, Kallithea,
Greece, August 28-30, 2019},
pages = {572--579},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSD.2019.00087},
doi = {10.1109/DSD.2019.00087},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/MehroozES19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/KayteS19,
author = {Sangramsing Kayte and
Peter Schneider{-}Kamp},
editor = {Jorge Bernardino and
Ana Salgado and
Joaquim Filipe},
title = {A Mixed Neural Network and Support Vector Machine Model for Tender
Creation in the European Union {TED} Database},
booktitle = {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},
pages = {139--145},
publisher = {ScitePress},
year = {2019},
url = {https://doi.org/10.5220/0008362701390145},
doi = {10.5220/0008362701390145},
timestamp = {Tue, 06 Jun 2023 18:24:02 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/KayteS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Cruz-FilipeGNS18,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Gra{\c{c}}a Gaspar and
Isabel Nunes and
Peter Schneider{-}Kamp},
title = {Active integrity constraints for general-purpose knowledge bases},
journal = {Ann. Math. Artif. Intell.},
volume = {83},
number = {3-4},
pages = {213--246},
year = {2018},
url = {https://doi.org/10.1007/s10472-018-9577-y},
doi = {10.1007/S10472-018-9577-Y},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Cruz-FilipeGNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CodishCNS17,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
title = {Optimizing sorting algorithms by using sorting networks},
journal = {Formal Aspects Comput.},
volume = {29},
number = {3},
pages = {559--579},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0401-3},
doi = {10.1007/S00165-016-0401-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CodishCNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslABEFFHOPSS17,
author = {J{\"{u}}rgen Giesl and
Cornelius Aschermann and
Marc Brockschmidt and
Fabian Emmes and
Florian Frohn and
Carsten Fuhs and
Jera Hensel and
Carsten Otto and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Thomas Str{\"{o}}der and
Stephanie Swiderski and
Ren{\'{e}} Thiemann},
title = {Analyzing Program Termination and Complexity Automatically with AProVE},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {3--31},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9388-y},
doi = {10.1007/S10817-016-9388-Y},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslABEFFHOPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/StroderGBFFHSA17,
author = {Thomas Str{\"{o}}der and
J{\"{u}}rgen Giesl and
Marc Brockschmidt and
Florian Frohn and
Carsten Fuhs and
Jera Hensel and
Peter Schneider{-}Kamp and
Cornelius Aschermann},
title = {Automatically Proving Termination and Memory Safety for Programs with
Pointer Arithmetic},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {33--65},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9389-x},
doi = {10.1007/S10817-016-9389-X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/StroderGBFFHSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Cruz-FilipeLS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Kim S. Larsen and
Peter Schneider{-}Kamp},
title = {Formally Proving Size Optimality of Sorting Networks},
journal = {J. Autom. Reason.},
volume = {59},
number = {4},
pages = {425--454},
year = {2017},
url = {https://doi.org/10.1007/s10817-017-9405-9},
doi = {10.1007/S10817-017-9405-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Cruz-FilipeLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BundalaCCSZ17,
author = {Daniel Bundala and
Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp and
Jakub Z{\'{a}}vodn{\'{y}}},
title = {Optimal-depth sorting networks},
journal = {J. Comput. Syst. Sci.},
volume = {84},
pages = {185--204},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.09.004},
doi = {10.1016/J.JCSS.2016.09.004},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BundalaCCSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Cruz-FilipeHHKS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Marijn J. H. Heule and
Warren A. Hunt Jr. and
Matt Kaufmann and
Peter Schneider{-}Kamp},
editor = {Leonardo de Moura},
title = {Efficient Certified {RAT} Verification},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {220--236},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_14},
doi = {10.1007/978-3-319-63046-5\_14},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Cruz-FilipeLS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Kim S. Larsen and
Peter Schneider{-}Kamp},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {How to Get More Out of Your Oracles},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {164--170},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_11},
doi = {10.1007/978-3-319-66107-0\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Cruz-FilipeLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Cruz-FilipeS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Thomas Eiter and
David Sands},
title = {Formally Proving the Boolean Pythagorean Triples Conjecture},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {509--522},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/jvdj},
doi = {10.29007/JVDJ},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Cruz-FilipeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Cruz-FilipeMS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Jo{\~{a}}o Marques{-}Silva and
Peter Schneider{-}Kamp},
editor = {Axel Legay and
Tiziana Margaria},
title = {Efficient Certified Resolution Proof Checking},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {118--135},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_7},
doi = {10.1007/978-3-662-54577-5\_7},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/Cruz-FilipeMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CodishCFS16,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Sorting nine inputs requires twenty-five comparisons},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {3},
pages = {551--563},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2015.11.014},
doi = {10.1016/J.JCSS.2015.11.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CodishCFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/Cruz-FilipeGNS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Gra{\c{c}}a Gaspar and
Isabel Nunes and
Peter Schneider{-}Kamp},
editor = {Eva Blomqvist and
Paolo Ciancarini and
Francesco Poggi and
Fabio Vitali},
title = {Active Integrity Constraints for Multi-context Systems},
booktitle = {Knowledge Engineering and Knowledge Management - 20th International
Conference, {EKAW} 2016, Bologna, Italy, November 19-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10024},
pages = {98--112},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49004-5\_7},
doi = {10.1007/978-3-319-49004-5\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/Cruz-FilipeGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Cruz-FilipeNS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Isabel Nunes and
Peter Schneider{-}Kamp},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Integrity Constraints for General-Purpose Knowledge Bases},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {235--254},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_13},
doi = {10.1007/978-3-319-30024-5\_13},
timestamp = {Sat, 09 Apr 2022 12:42:08 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Cruz-FilipeNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeNS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Isabel Nunes and
Peter Schneider{-}Kamp},
title = {Integrity Constraints for General-Purpose Knowledge Bases},
journal = {CoRR},
volume = {abs/1601.04980},
year = {2016},
url = {http://arxiv.org/abs/1601.04980},
eprinttype = {arXiv},
eprint = {1601.04980},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeGNS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Gra{\c{c}}a Gaspar and
Isabel Nunes and
Peter Schneider{-}Kamp},
title = {Active Integrity Constraints for Multi-Context Systems},
journal = {CoRR},
volume = {abs/1609.06019},
year = {2016},
url = {http://arxiv.org/abs/1609.06019},
eprinttype = {arXiv},
eprint = {1609.06019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeMS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Jo{\~{a}}o Marques{-}Silva and
Peter Schneider{-}Kamp},
title = {Efficient Certified Resolution Proof Checking},
journal = {CoRR},
volume = {abs/1610.06984},
year = {2016},
url = {http://arxiv.org/abs/1610.06984},
eprinttype = {arXiv},
eprint = {1610.06984},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeHHKS16,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Marijn Heule and
Warren A. Hunt Jr. and
Matt Kaufmann and
Peter Schneider{-}Kamp},
title = {Efficient Certified {RAT} Verification},
journal = {CoRR},
volume = {abs/1612.02353},
year = {2016},
url = {http://arxiv.org/abs/1612.02353},
eprinttype = {arXiv},
eprint = {1612.02353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeHHKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/Cruz-FilipeFHLN15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Michael Franz and
Artavazd Hakhverdyan and
Marta Ludovico and
Isabel Nunes and
Peter Schneider{-}Kamp},
editor = {Ana L. N. Fred and
Jan L. G. Dietz and
David Aveiro and
Kecheng Liu and
Joaquim Filipe},
title = {repAIrC: {A} Tool for Ensuring Data Consistency},
booktitle = {{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},
pages = {17--26},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005586400170026},
doi = {10.5220/0005586400170026},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/Cruz-FilipeFHLN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/Cruz-FilipeFHLN15a,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Michael Franz and
Artavazd Hakhverdyan and
Marta Ludovico and
Isabel Nunes and
Peter Schneider{-}Kamp},
editor = {Ana L. N. Fred and
Jan L. G. Dietz and
David Aveiro and
Kecheng Liu and
Joaquim Filipe},
title = {Active Integrity Constraints: From Theory to Implementation},
booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management
- 7th International Joint Conference, {IC3K} 2015, Lisbon, Portugal,
November 12-14, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {631},
pages = {399--420},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-52758-1\_22},
doi = {10.1007/978-3-319-52758-1\_22},
timestamp = {Tue, 16 Aug 2022 23:04:36 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/Cruz-FilipeFHLN15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Cruz-FilipeS15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Formalizing Size-Optimal Sorting Networks: Extracting a Certified
Proof Checker},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {154--169},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_10},
doi = {10.1007/978-3-319-22102-1\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Cruz-FilipeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CodishCS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Sorting Networks: The End Game},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {664--675},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_52},
doi = {10.1007/978-3-319-15579-1\_52},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CodishCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CodishCNS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
editor = {Moreno Falaschi},
title = {Applying Sorting Networks to Synthesize Optimized Sorting Libraries},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {127--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_8},
doi = {10.1007/978-3-319-27436-2\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CodishCNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Cruz-FilipeS15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated
Proof},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {55--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_4},
doi = {10.1007/978-3-319-20615-8\_4},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Cruz-FilipeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeS15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {Formalizing Size-Optimal Sorting Networks: Extracting a Certified
Proof Checker},
journal = {CoRR},
volume = {abs/1502.05209},
year = {2015},
url = {http://arxiv.org/abs/1502.05209},
eprinttype = {arXiv},
eprint = {1502.05209},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeS15a,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated
Proof},
journal = {CoRR},
volume = {abs/1502.08008},
year = {2015},
url = {http://arxiv.org/abs/1502.08008},
eprinttype = {arXiv},
eprint = {1502.08008},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCNS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
title = {Applying Sorting Networks to Synthesize Optimized Sorting Libraries},
journal = {CoRR},
volume = {abs/1505.01962},
year = {2015},
url = {http://arxiv.org/abs/1505.01962},
eprinttype = {arXiv},
eprint = {1505.01962},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCEMS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Thorsten Ehlers and
Mike M{\"{u}}ller and
Peter Schneider{-}Kamp},
title = {Sorting Networks: to the End and Back Again},
journal = {CoRR},
volume = {abs/1507.01428},
year = {2015},
url = {http://arxiv.org/abs/1507.01428},
eprinttype = {arXiv},
eprint = {1507.01428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCEMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCFS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {When Six Gates are Not Enough},
journal = {CoRR},
volume = {abs/1508.05737},
year = {2015},
url = {http://arxiv.org/abs/1508.05737},
eprinttype = {arXiv},
eprint = {1508.05737},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cruz-FilipeFHLN15,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Michael Franz and
Artavazd Hakhverdyan and
Marta Ludovico and
Isabel Nunes and
Peter Schneider{-}Kamp},
title = {repAIrC: {A} Tool for Ensuring Data Consistency by Means of Active
Integrity Constraints},
journal = {CoRR},
volume = {abs/1510.03989},
year = {2015},
url = {http://arxiv.org/abs/1510.03989},
eprinttype = {arXiv},
eprint = {1510.03989},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cruz-FilipeFHLN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslBEFFOPSSST14,
author = {J{\"{u}}rgen Giesl and
Marc Brockschmidt and
Fabian Emmes and
Florian Frohn and
Carsten Fuhs and
Carsten Otto and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Thomas Str{\"{o}}der and
Stephanie Swiderski and
Ren{\'{e}} Thiemann},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Proving Termination of Programs Automatically with AProVE},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {184--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_13},
doi = {10.1007/978-3-319-08587-6\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslBEFFOPSSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StroderGBFFHS14,
author = {Thomas Str{\"{o}}der and
J{\"{u}}rgen Giesl and
Marc Brockschmidt and
Florian Frohn and
Carsten Fuhs and
Jera Hensel and
Peter Schneider{-}Kamp},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Proving Termination and Memory Safety for Programs with Pointer Arithmetic},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {208--223},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_15},
doi = {10.1007/978-3-319-08587-6\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/StroderGBFFHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HargreavesMS14,
author = {Felix Palludan Hargreaves and
Daniel Merkle and
Peter Schneider{-}Kamp},
editor = {Jost Berthold and
Mary Sheeran and
Ryan Newton},
title = {Group communication patterns for high performance computing in scala},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} workshop on Functional high-performance
computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014},
pages = {75--85},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2636228.2636229},
doi = {10.1145/2636228.2636229},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HargreavesMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CodishCFS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine
for Ten)},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {186--193},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.36},
doi = {10.1109/ICTAI.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CodishCFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CodishCS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer
Prefixes},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {359--366},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.55},
doi = {10.1109/SYNASC.2014.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CodishCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer
Prefixes},
journal = {CoRR},
volume = {abs/1404.0948},
year = {2014},
url = {http://arxiv.org/abs/1404.0948},
eprinttype = {arXiv},
eprint = {1404.0948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCFS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine
for Ten)},
journal = {CoRR},
volume = {abs/1405.5754},
year = {2014},
url = {http://arxiv.org/abs/1405.5754},
eprinttype = {arXiv},
eprint = {1405.5754},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HargreavesMS14,
author = {Felix Palludan Hargreaves and
Daniel Merkle and
Peter Schneider{-}Kamp},
title = {Group Communication Patterns for High Performance Computing in Scala},
journal = {CoRR},
volume = {abs/1406.6163},
year = {2014},
url = {http://arxiv.org/abs/1406.6163},
eprinttype = {arXiv},
eprint = {1406.6163},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HargreavesMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCS14a,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {Sorting Networks: the End Game},
journal = {CoRR},
volume = {abs/1411.6408},
year = {2014},
url = {http://arxiv.org/abs/1411.6408},
eprinttype = {arXiv},
eprint = {1411.6408},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BundalaCCSZ14,
author = {Daniel Bundala and
Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp and
Jakub Z{\'{a}}vodn{\'{y}}},
title = {Optimal-Depth Sorting Networks},
journal = {CoRR},
volume = {abs/1412.5302},
year = {2014},
url = {http://arxiv.org/abs/1412.5302},
eprinttype = {arXiv},
eprint = {1412.5302},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BundalaCCSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CodishGST12,
author = {Michael Codish and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
title = {{SAT} Solving for Termination Proofs with Recursive Path Orders and
Dependency Pairs},
journal = {J. Autom. Reason.},
volume = {49},
number = {1},
pages = {53--93},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9211-0},
doi = {10.1007/S10817-010-9211-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CodishGST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GieslSSEF12,
author = {J{\"{u}}rgen Giesl and
Thomas Str{\"{o}}der and
Peter Schneider{-}Kamp and
Fabian Emmes and
Carsten Fuhs},
editor = {Elvira Albert},
title = {Symbolic Evaluation Graphs and Term Rewriting - {A} General Methodology
for Analyzing Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7844},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_1},
doi = {10.1007/978-3-642-38197-3\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GieslSSEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GieslSSEF12,
author = {J{\"{u}}rgen Giesl and
Thomas Str{\"{o}}der and
Peter Schneider{-}Kamp and
Fabian Emmes and
Carsten Fuhs},
editor = {Danny De Schreye and
Gerda Janssens and
Andy King},
title = {Symbolic evaluation graphs and term rewriting: a general methodology
for analyzing logic programs},
booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
pages = {1--12},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2370776.2370778},
doi = {10.1145/2370776.2370778},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/GieslSSEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FuhsGPSS11,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Michael Parting and
Peter Schneider{-}Kamp and
Stephan Swiderski},
title = {Proving Termination by Dependency Pairs and Inductive Theorem Proving},
journal = {J. Autom. Reason.},
volume = {47},
number = {2},
pages = {133--160},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9215-9},
doi = {10.1007/S10817-010-9215-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FuhsGPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GieslRSST11,
author = {J{\"{u}}rgen Giesl and
Matthias Raffelsieper and
Peter Schneider{-}Kamp and
Stephan Swiderski and
Ren{\'{e}} Thiemann},
title = {Automated termination proofs for haskell by term rewriting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {2},
pages = {7:1--7:39},
year = {2011},
url = {https://doi.org/10.1145/1890028.1890030},
doi = {10.1145/1890028.1890030},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GieslRSST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenSGS11,
author = {Manh Thang Nguyen and
Danny De Schreye and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Polytool: Polynomial interpretations as a basis for termination analysis
of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {33--63},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000025},
doi = {10.1017/S1471068410000025},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NguyenSGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/StroderESGF11,
author = {Thomas Str{\"{o}}der and
Fabian Emmes and
Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Carsten Fuhs},
editor = {Germ{\'{a}}n Vidal},
title = {A Linear Operational Semantics for Termination and Complexity Analysis
of {ISO} Prolog},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {237--252},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_16},
doi = {10.1007/978-3-642-32211-2\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/StroderESGF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CodishFFS11,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
booktitle = {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{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {189--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_16},
doi = {10.1007/978-3-642-19835-9\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CodishFFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2011,
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0776-5},
timestamp = {Tue, 18 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Schneider-Kamp10,
author = {Peter Schneider{-}Kamp},
title = {Static Termination Analysis for Prolog Using Term Rewriting and {SAT}
Solving},
journal = {K{\"{u}}nstliche Intell.},
volume = {24},
number = {1},
pages = {79--81},
year = {2010},
url = {https://doi.org/10.1007/s13218-010-0015-5},
doi = {10.1007/S13218-010-0015-5},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Schneider-Kamp10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Schneider-KampGSST10,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Thomas Str{\"{o}}der and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
title = {Automated termination analysis for logic programs with cut},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {365--381},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000165},
doi = {10.1017/S1471068410000165},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Schneider-KampGSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/StroderSG10,
author = {Thomas Str{\"{o}}der and
Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl},
editor = {Mar{\'{\i}}a Alpuente},
title = {Dependency Triples for Improving Termination Analysis of Logic Programs
with Cut},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {184--199},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_12},
doi = {10.1007/978-3-642-20551-4\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/StroderSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FuhsS10,
author = {Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Geoff Sutcliffe and
Stephan Schulz and
Eugenia Ternovska},
title = {Optimizing the {AES} S-Box using {SAT}},
booktitle = {The 8th International Workshop on the Implementation of Logics, {IWIL}
2010, Yogyakarta, Indonesia, October 9, 2011},
series = {EPiC Series in Computing},
volume = {2},
pages = {64--70},
publisher = {EasyChair},
year = {2010},
timestamp = {Wed, 10 Feb 2021 08:45:42 +0100},
biburl = {https://dblp.org/rec/conf/lpar/FuhsS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishFGS10,
author = {Michael Codish and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Lazy Abstraction for Size-Change Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {217--232},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_16},
doi = {10.1007/978-3-642-16242-8\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishFGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FuhsS10,
author = {Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Synthesizing Shortest Linear Straight-Line Programs over {GF(2)} Using
{SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {71--84},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_8},
doi = {10.1007/978-3-642-14186-7\_8},
timestamp = {Sat, 19 Oct 2019 20:28:15 +0200},
biburl = {https://dblp.org/rec/conf/sat/FuhsS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-5563,
author = {Ren{\'{e}} Thiemann and
Christian Sternagel and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Loops under Strategies ... Continued},
booktitle = {Proceedings International Workshop on Strategies in Rewriting, Proving,
and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
series = {{EPTCS}},
volume = {44},
pages = {51--65},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.44.4},
doi = {10.4204/EPTCS.44.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5563.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4908,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Thomas Str{\"{o}}der and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
title = {Automated Termination Analysis for Logic Programs with Cut},
journal = {CoRR},
volume = {abs/1007.4908},
year = {2010},
url = {http://arxiv.org/abs/1007.4908},
eprinttype = {arXiv},
eprint = {1007.4908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4935,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
Peter Schneider{-}Kamp},
title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
journal = {CoRR},
volume = {abs/1007.4935},
year = {2010},
url = {http://arxiv.org/abs/1007.4935},
eprinttype = {arXiv},
eprint = {1007.4935},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Schneider-KampGST09,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
title = {Automated termination proofs for logic programs by term rewriting},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {1},
pages = {2:1--2:52},
year = {2009},
url = {https://doi.org/10.1145/1614431.1614433},
doi = {10.1145/1614431.1614433},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Schneider-KampGST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SwiderskiPGFS09,
author = {Stephan Swiderski and
Michael Parting and
J{\"{u}}rgen Giesl and
Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Renate A. Schmidt},
title = {Termination Analysis by Dependency Pairs and Inductive Theorem Proving},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {322--338},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_25},
doi = {10.1007/978-3-642-02959-2\_25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SwiderskiPGFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Schneider-KampGN09,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Manh Thang Nguyen},
editor = {Danny De Schreye},
title = {The Dependency Triple Framework for Termination of Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {37--51},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_4},
doi = {10.1007/978-3-642-12592-8\_4},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Schneider-KampGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuhsGPSF09,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Ralf Treinen},
title = {Proving Termination of Integer Term Rewriting},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {32--47},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_3},
doi = {10.1007/978-3-642-02348-4\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuhsGPSF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FuhsGPS009,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {Termination of Integer Term Rewriting},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2423/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FuhsGPS009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SwiderskiPGFS09,
author = {Stephan Swiderski and
Michael Parting and
J{\"{u}}rgen Giesl and
Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {Inductive Theorem Proving meets Dependency Pairs},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2422/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SwiderskiPGFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4360,
author = {Manh Thang Nguyen and
Danny De Schreye and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Polytool: polynomial interpretations as a basis for termination analysis
of Logic programs},
journal = {CoRR},
volume = {abs/0912.4360},
year = {2009},
url = {http://arxiv.org/abs/0912.4360},
eprinttype = {arXiv},
eprint = {0912.4360},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Schneider-Kamp2008,
author = {Peter Schneider{-}Kamp},
title = {Static termination analysis for prolog using term rewriting and {SAT}
solving},
school = {{RWTH} Aachen University, Germany},
year = {2008},
url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2008/2630/},
urn = {urn:nbn:de:hbz:82-opus-26300},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Schneider-Kamp2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/ThiemannZGS08,
author = {Ren{\'{e}} Thiemann and
Hans Zantema and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Adding constants to string rewriting},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {19},
number = {1},
pages = {27--38},
year = {2008},
url = {https://doi.org/10.1007/s00200-008-0060-6},
doi = {10.1007/S00200-008-0060-6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/ThiemannZGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/FuhsNOGLS08,
author = {Carsten Fuhs and
Rafael Navarro{-}Marset and
Carsten Otto and
J{\"{u}}rgen Giesl and
Salvador Lucas and
Peter Schneider{-}Kamp},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Search Techniques for Rational Polynomial Orders},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {109--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_10},
doi = {10.1007/978-3-540-85110-3\_10},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/FuhsNOGLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlarconEFGGLST08,
author = {Beatriz Alarc{\'{o}}n and
Fabian Emmes and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Improving Context-Sensitive Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {636--651},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_44},
doi = {10.1007/978-3-540-89439-1\_44},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlarconEFGGLST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuhsGMSTZ08,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Aart Middeldorp and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Harald Zankl},
editor = {Andrei Voronkov},
title = {Maximal Termination},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {110--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_8},
doi = {10.1007/978-3-540-70590-1\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuhsGMSTZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ThiemannGS08,
author = {Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {Andrei Voronkov},
title = {Deciding Innermost Loops},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {366--380},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_25},
doi = {10.1007/978-3-540-70590-1\_25},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ThiemannGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-0014,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
title = {Automated Termination Proofs for Logic Programs by Term Rewriting},
journal = {CoRR},
volume = {abs/0803.0014},
year = {2008},
url = {http://arxiv.org/abs/0803.0014},
eprinttype = {arXiv},
eprint = {0803.0014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-0014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslTSS07,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Stephan Swiderski and
Peter Schneider{-}Kamp},
editor = {Frank Pfenning},
title = {Proving Termination by Bounded Increase},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {443--459},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_33},
doi = {10.1007/978-3-540-73595-3\_33},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslTSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schneider-KampTACG07,
author = {Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Elena Annov and
Michael Codish and
J{\"{u}}rgen Giesl},
editor = {Boris Konev and
Frank Wolter},
title = {Proving Termination Using Recursive Path Orders and {SAT} Solving},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {267--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_18},
doi = {10.1007/978-3-540-74621-8\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schneider-KampTACG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NguyenGSS07,
author = {Manh Thang Nguyen and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Danny De Schreye},
editor = {Andy King},
title = {Termination Analysis of Logic Programs Based on Dependency Graphs},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {8--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_2},
doi = {10.1007/978-3-540-78769-3\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NguyenGSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FuhsGMSTZ07,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Aart Middeldorp and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Harald Zankl},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {{SAT} Solving for Termination Analysis with Polynomial Interpretations},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {340--354},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_33},
doi = {10.1007/978-3-540-72788-0\_33},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FuhsGMSTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieslSTSNSS07,
author = {J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Stephan Swiderski and
Manh Thang Nguyen and
Danny De Schreye and
Alexander Serebrenik},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Termination of Programs using Term Rewriting and {SAT} Solving},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1248},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GieslSTSNSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schneider-KampFTGACMZ07,
author = {Peter Schneider{-}Kamp and
Carsten Fuhs and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Elena Annov and
Michael Codish and
Aart Middeldorp and
Harald Zankl},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Implementing {RPO} and {POLO} using {SAT}},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1249},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schneider-KampFTGACMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ThiemannGS07,
author = {Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Decision Procedures for Loop Detection},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1246},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ThiemannGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslTSF06,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
title = {Mechanizing and Improving Dependency Pairs},
journal = {J. Autom. Reason.},
volume = {37},
number = {3},
pages = {155--203},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9057-7},
doi = {10.1007/S10817-006-9057-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslTSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslST06,
author = {J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Automatic Termination Proofs in the Dependency Pair Framework},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {281--286},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_24},
doi = {10.1007/11814771\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Schneider-KampGST06,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
editor = {Germ{\'{a}}n Puebla},
title = {Automated Termination Analysis for Logic Programs by Term Rewriting},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {177--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_13},
doi = {10.1007/978-3-540-71410-1\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Schneider-KampGST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishSLTG06,
author = {Michael Codish and
Peter Schneider{-}Kamp and
Vitaly Lagoon and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl},
editor = {Miki Hermann and
Andrei Voronkov},
title = {{SAT} Solving for Argument Filterings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {30--44},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_3},
doi = {10.1007/11916277\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishSLTG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslSST06,
author = {J{\"{u}}rgen Giesl and
Stephan Swiderski and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Frank Pfenning},
title = {Automated Termination Analysis for Haskell: From Term Rewriting to
Programming Languages},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {297--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_23},
doi = {10.1007/11805618\_23},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605074,
author = {Michael Codish and
Peter Schneider{-}Kamp and
Vitaly Lagoon and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl},
title = {{SAT} Solving for Argument Filterings},
journal = {CoRR},
volume = {abs/cs/0605074},
year = {2006},
url = {http://arxiv.org/abs/cs/0605074},
eprinttype = {arXiv},
eprint = {cs/0605074},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GieslTS05,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp},
editor = {Bernhard Gramlich},
title = {Proving and Disproving Termination of Higher-Order Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {216--231},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_12},
doi = {10.1007/11559306\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GieslTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GieslTS05,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp},
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {Proving and Disproving Termination in the Dependency Pair Framework},
booktitle = {Deduction and Applications, 23.-28. October 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/509},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GieslTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ThiemannGS04,
author = {Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {Improved Modular Termination Proofs Using Dependency Pairs},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {75--90},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_4},
doi = {10.1007/978-3-540-25984-8\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ThiemannGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GieslTS04,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp},
editor = {Franz Baader and
Andrei Voronkov},
title = {The Dependency Pair Framework: Combining Techniques for Automated
Termination Proofs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {301--331},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_21},
doi = {10.1007/978-3-540-32275-7\_21},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GieslTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslTSF04,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Vincent van Oostrom},
title = {Automated Termination Proofs with AProVE},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {210--220},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_15},
doi = {10.1007/978-3-540-25979-4\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslTSF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GieslTSF03,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Improving Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {167--182},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_11},
doi = {10.1007/978-3-540-39813-4\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GieslTSF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
