Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Chris Cade"
download as .bib file
@article{DBLP:journals/icae/RodriguezRSECCBM24,
author = {Byron Guerrero Rodr{\'{\i}}guez and
Jos{\'{e}} Garc{\'{\i}}a Rodr{\'{\i}}guez and
Jaime Salvador and
Christian Mej{\'{\i}}a Escobar and
Shirley Cadena and
Jairo Cepeda and
Manuel Benavent{-}Lled{\'{o}} and
David Mulero{-}Perez},
title = {Improving landslide prediction by computer vision and deep learning},
journal = {Integr. Comput. Aided Eng.},
volume = {31},
number = {1},
pages = {77--94},
year = {2024},
url = {https://doi.org/10.3233/ICA-230717},
doi = {10.3233/ICA-230717},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/icae/RodriguezRSECCBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZuoCLBO24,
author = {Jian Zuo and
Catherine Cadet and
Zhongliang Li and
Christophe B{\'{e}}renguer and
Rachid Outbib},
title = {A deterioration-aware energy management strategy for the lifetime
improvement of a multi-stack fuel cell system subject to a random
dynamic load},
journal = {Reliab. Eng. Syst. Saf.},
volume = {241},
pages = {109660},
year = {2024},
url = {https://doi.org/10.1016/j.ress.2023.109660},
doi = {10.1016/J.RESS.2023.109660},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/ZuoCLBO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tem/SiawCMPS24,
author = {Christopher Agyapong Siaw and
Jack Cadeaux and
Dirk Meissner and
Adrian Payne and
David Sarpong},
title = {Interactions Between Traditional and Reversed {IT} Adoption: How Incumbent
Devices Affect Cross-Situational Specialization of New Entries},
journal = {{IEEE} Trans. Engineering Management},
volume = {71},
pages = {10009--10025},
year = {2024},
url = {https://doi.org/10.1109/TEM.2023.3298820},
doi = {10.1109/TEM.2023.3298820},
timestamp = {Mon, 10 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tem/SiawCMPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/CadeFNW23,
author = {Chris Cade and
Marten Folkertsma and
Ido Niesen and
Jordi Weggemans},
title = {Quantifying Grover speed-ups beyond asymptotic analysis},
journal = {Quantum},
volume = {7},
pages = {1133},
year = {2023},
url = {https://doi.org/10.22331/q-2023-10-10-1133},
doi = {10.22331/Q-2023-10-10-1133},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/CadeFNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/CadeLN23,
author = {Chris Cade and
Farrokh Labib and
Ido Niesen},
title = {Quantum Motif Clustering},
journal = {Quantum},
volume = {7},
pages = {1046},
year = {2023},
url = {https://doi.org/10.22331/q-2023-07-03-1046},
doi = {10.22331/Q-2023-07-03-1046},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/CadeLN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteQT23,
author = {Jasmin Blanchette and
Qi Qiu and
Sophie Tourret},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Verified Given Clause Procedures},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {61--77},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_4},
doi = {10.1007/978-3-031-38499-8\_4},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlanchetteQT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaGV23,
author = {Maria Paola Bonacina and
St{\'{e}}phane Graham{-}Lengrand and
Christophe Vauthier},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {{QSMA:} {A} New Algorithm for Quantified Satisfiability Modulo Theory
and Assignment},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {78--95},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_5},
doi = {10.1007/978-3-031-38499-8\_5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaGV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrombergerDW23,
author = {Martin Bromberger and
Martin Desharnais and
Christoph Weidenbach},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {An Isabelle/HOL Formalization of the {SCL(FOL)} Calculus},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {116--133},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_7},
doi = {10.1007/978-3-031-38499-8\_7},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrombergerDW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrombergerJW23,
author = {Martin Bromberger and
Chaahat Jain and
Christoph Weidenbach},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {{SCL(FOL)} Can Simulate Non-Redundant Superposition Clause Learning},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {134--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_8},
doi = {10.1007/978-3-031-38499-8\_8},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrombergerJW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KassingG23,
author = {Jan{-}Christoph Kassing and
J{\"{u}}rgen Giesl},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Using Dependency Pairs},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {344--364},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_20},
doi = {10.1007/978-3-031-38499-8\_20},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KassingG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RothgangRB23,
author = {Colin Rothgang and
Florian Rabe and
Christoph Benzm{\"{u}}ller},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Theorem Proving in Dependently-Typed Higher-Order Logic},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {438--455},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_25},
doi = {10.1007/978-3-031-38499-8\_25},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RothgangRB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/ChertiBWWIGSSJ23,
author = {Mehdi Cherti and
Romain Beaumont and
Ross Wightman and
Mitchell Wortsman and
Gabriel Ilharco and
Cade Gordon and
Christoph Schuhmann and
Ludwig Schmidt and
Jenia Jitsev},
title = {Reproducible Scaling Laws for Contrastive Language-Image Learning},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {2818--2829},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.00276},
doi = {10.1109/CVPR52729.2023.00276},
timestamp = {Mon, 28 Aug 2023 16:14:07 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/ChertiBWWIGSSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CadeFGHGMW23,
author = {Chris Cade and
Marten Folkertsma and
Sevag Gharibian and
Ryu Hayakawa and
Fran{\c{c}}ois Le Gall and
Tomoyuki Morimae and
Jordi Weggemans},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Improved Hardness Results for the Guided Local Hamiltonian Problem},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {32:1--32:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.32},
doi = {10.4230/LIPICS.ICALP.2023.32},
timestamp = {Wed, 05 Jul 2023 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CadeFGHGMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05457,
author = {Christophe Scholliers},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {WebPie: {A} Tiny Slice of Dependent Typing},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {2--27},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.2},
doi = {10.4204/EPTCS.400.2},
timestamp = {Wed, 12 Jun 2024 17:01:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-11578,
author = {Jordi Weggemans and
Marten Folkertsma and
Chris Cade},
title = {Guidable Local Hamiltonian Problems with Implications to Heuristic
Ans{\"{a}}tze State Preparation and the Quantum {PCP} Conjecture},
journal = {CoRR},
volume = {abs/2302.11578},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.11578},
doi = {10.48550/ARXIV.2302.11578},
eprinttype = {arXiv},
eprint = {2302.11578},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-11578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10246,
author = {Amartya Banerjee and
Christopher J. Hazard and
Jacob Beel and
Cade Mack and
Jack Xia and
Michael Resnick and
Will Goddin},
title = {Surprisal Driven k-NN for Robust and Interpretable Nonparametric Learning},
journal = {CoRR},
volume = {abs/2311.10246},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10246},
doi = {10.48550/ARXIV.2311.10246},
eprinttype = {arXiv},
eprint = {2311.10246},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/GyurikCD22,
author = {Casper Gyurik and
Chris Cade and
Vedran Dunjko},
title = {Towards quantum advantage via topological data analysis},
journal = {Quantum},
volume = {6},
pages = {855},
year = {2022},
url = {https://doi.org/10.22331/q-2022-11-10-855},
doi = {10.22331/Q-2022-11-10-855},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/GyurikCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/AllenCRD22,
author = {Brendon C. Allen and
Christian A. Cousin and
Courtney A. Rouse and
Warren E. Dixon},
title = {Robust Cadence Tracking for Switched FES-Cycling With an Unknown Time-Varying
Input Delay},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {30},
number = {2},
pages = {827--834},
year = {2022},
url = {https://doi.org/10.1109/TCST.2021.3070189},
doi = {10.1109/TCST.2021.3070189},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/AllenCRD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/PowellRR22,
author = {Charles E. Powell and
Christopher S. Ruf and
Anthony Russel},
title = {An Improved Blackbody Calibration Cadence for {CYGNSS}},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {60},
pages = {1--7},
year = {2022},
url = {https://doi.org/10.1109/TGRS.2022.3165001},
doi = {10.1109/TGRS.2022.3165001},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/PowellRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/ReilyCRR22,
author = {Brian Reily and
Caden Coniff and
John G. Rogers and
Christopher M. Reardon},
title = {Disruption of Connectivity Graphs in Uncertain Multi-Agent Systems},
booktitle = {{IEEE} International Conference on Omni-layer Intelligent Systems,
{COINS} 2022, Barcelona, Spain, August 1-3, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COINS54846.2022.9854963},
doi = {10.1109/COINS54846.2022.9854963},
timestamp = {Fri, 26 Aug 2022 16:30:17 +0200},
biburl = {https://dblp.org/rec/conf/coins/ReilyCRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KennedyPT22,
author = {Tiernan Kennedy and
Cadence Pearce and
Chris Thachuk},
editor = {Thomas E. Ouldridge and
Shelley F. J. Wickham},
title = {Fast and Robust Strand Displacement Cascades via Systematic Design
Strategies},
booktitle = {28th International Conference on {DNA} Computing and Molecular Programming,
{DNA} 28, August 8-12, 2022, University of New Mexico, Albuquerque,
New Mexico, {USA}},
series = {LIPIcs},
volume = {238},
pages = {1:1--1:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.DNA.28.1},
doi = {10.4230/LIPICS.DNA.28.1},
timestamp = {Thu, 04 Aug 2022 13:31:27 +0200},
biburl = {https://dblp.org/rec/conf/dna/KennedyPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/ChochliourosPBT22,
author = {Ioannis P. Chochliouros and
Daniele Porcu and
Dimitrios Brothimas and
Nikolaos Tzanis and
Nikolay Palov and
Ralitsa Rumenova and
Angelos Antonopoulos and
Nicola Cadenelli and
Markos Asprou and
Lenos Hadjidemetriou and
Sonia Castro and
Pencho Zlatev and
Bogdan Bogdanov and
Thanassis Bachoumis and
Antonello Corsi and
Helio Sime{\~{a}}o and
Michalis Rantopoulos and
Christina C. Lessi and
Pavlos I. Lazaridis and
Zaharias D. Zaharis and
Anastasia S. Spiliopoulou},
editor = {Ilias Maglogiannis and
Lazaros Iliadis and
John MacIntyre and
Paulo Cortez},
title = {5G for the Support of Smart Power Grids: Millisecond Level Precise
Distributed Generation Monitoring and Real-Time Wide Area Monitoring},
booktitle = {Artificial Intelligence Applications and Innovations. {AIAI} 2022
{IFIP} {WG} 12.5 International Workshops - {MHDW} 2022, 5G-PINE 2022,
{AIBMG} 2022, ML@HC 2022, and {AIBEI} 2022, Hersonissos, Crete, Greece,
June 17-20, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {652},
pages = {11--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08341-9\_1},
doi = {10.1007/978-3-031-08341-9\_1},
timestamp = {Wed, 05 Oct 2022 21:11:03 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/ChochliourosPBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/ChochliourosPCO22,
author = {Ioannis P. Chochliouros and
Daniele Porcu and
Sonia Castro and
Borja Otura and
Paula Encinar and
Antonello Corsi and
Irina Ciornei and
Rita Santiago and
Angelos Antonopoulos and
Nicola Cadenelli and
Nicola di Pietro and
August Betzler and
Inmaculada Prieto and
Fabrizio Batista and
Elisavet Grigoriou and
Georgios Ellinas and
Lenos Hadjidemetriou and
Dimitrios Brothimas and
Ralitsa Rumenova and
Athanasios Bachoumis and
Anastasia S. Spiliopoulou and
Michalis Rantopoulos and
Christina Lessi and
Dimitrios N. Arvanitozisis and
Pavlos I. Lazaridis},
editor = {Ilias Maglogiannis and
Lazaros Iliadis and
John MacIntyre and
Paulo Cortez},
title = {Fundamental Features of the Smart5Grid Platform Towards Realizing
5G Implementation},
booktitle = {Artificial Intelligence Applications and Innovations. {AIAI} 2022
{IFIP} {WG} 12.5 International Workshops - {MHDW} 2022, 5G-PINE 2022,
{AIBMG} 2022, ML@HC 2022, and {AIBEI} 2022, Hersonissos, Crete, Greece,
June 17-20, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {652},
pages = {134--147},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08341-9\_12},
doi = {10.1007/978-3-031-08341-9\_12},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/ChochliourosPCO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SchuhmannBVGWCC22,
author = {Christoph Schuhmann and
Romain Beaumont and
Richard Vencu and
Cade Gordon and
Ross Wightman and
Mehdi Cherti and
Theo Coombes and
Aarush Katta and
Clayton Mullis and
Mitchell Wortsman and
Patrick Schramowski and
Srivatsa Kundurthy and
Katherine Crowson and
Ludwig Schmidt and
Robert Kaczmarczyk and
Jenia Jitsev},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {{LAION-5B:} An open large-scale dataset for training next generation
image-text models},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/a1859debfb3b59d094f3504d5ebb6c25-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/SchuhmannBVGWCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08666,
author = {Konstantin F. Willeke and
Paul G. Fahey and
Mohammad Bashiri and
Laura Pede and
Max F. Burg and
Christoph Blessing and
Santiago A. Cadena and
Zhiwei Ding and
Konstantin{-}Klemens Lurz and
Kayla Ponder and
Taliah Muhammad and
Saumil S. Patel and
Alexander S. Ecker and
Andreas S. Tolias and
Fabian H. Sinz},
title = {The Sensorium competition on predicting large-scale mouse primary
visual cortex activity},
journal = {CoRR},
volume = {abs/2206.08666},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08666},
doi = {10.48550/ARXIV.2206.08666},
eprinttype = {arXiv},
eprint = {2206.08666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-10097,
author = {Chris Cade and
Marten Folkertsma and
Jordi Weggemans},
title = {Complexity of the Guided Local Hamiltonian Problem: Improved Parameters
and Extension to Excited States},
journal = {CoRR},
volume = {abs/2207.10097},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.10097},
doi = {10.48550/ARXIV.2207.10097},
eprinttype = {arXiv},
eprint = {2207.10097},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-10097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08402,
author = {Christoph Schuhmann and
Romain Beaumont and
Richard Vencu and
Cade Gordon and
Ross Wightman and
Mehdi Cherti and
Theo Coombes and
Aarush Katta and
Clayton Mullis and
Mitchell Wortsman and
Patrick Schramowski and
Srivatsa Kundurthy and
Katherine Crowson and
Ludwig Schmidt and
Robert Kaczmarczyk and
Jenia Jitsev},
title = {{LAION-5B:} An open large-scale dataset for training next generation
image-text models},
journal = {CoRR},
volume = {abs/2210.08402},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.08402},
doi = {10.48550/ARXIV.2210.08402},
eprinttype = {arXiv},
eprint = {2210.08402},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-08402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07143,
author = {Mehdi Cherti and
Romain Beaumont and
Ross Wightman and
Mitchell Wortsman and
Gabriel Ilharco and
Cade Gordon and
Christoph Schuhmann and
Ludwig Schmidt and
Jenia Jitsev},
title = {Reproducible scaling laws for contrastive language-image learning},
journal = {CoRR},
volume = {abs/2212.07143},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07143},
doi = {10.48550/ARXIV.2212.07143},
eprinttype = {arXiv},
eprint = {2212.07143},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001L21,
author = {Dohan Kim and
Christopher Lynch},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Equational Theorem Proving Modulo},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {166--182},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_10},
doi = {10.1007/978-3-030-79876-5\_10},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001L21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0007ZRRBT21,
author = {Ying Sheng and
Yoni Zohar and
Christophe Ringeissen and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Politeness and Stable Infiniteness: Stronger Together},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {148--165},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_9},
doi = {10.1007/978-3-030-79876-5\_9},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/0007ZRRBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlrabbaaBBKK21,
author = {Christian Alrabbaa and
Franz Baader and
Stefan Borgwardt and
Patrick Koopmann and
Alisa Kovtunova},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Finding Good Proofs for Description Logic Entailments using Recursive
Quality Measures},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {291--308},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_17},
doi = {10.1007/978-3-030-79876-5\_17},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AlrabbaaBBKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BentkampBTV21,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Superposition for Full Higher-order Logic},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {396--412},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_23},
doi = {10.1007/978-3-030-79876-5\_23},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BentkampBTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/EbnerBT21,
author = {Gabriel Ebner and
Jasmin Blanchette and
Sophie Tourret},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {A Unifying Splitting Framework},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {344--360},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_20},
doi = {10.1007/978-3-030-79876-5\_20},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/EbnerBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HaifaniTW21,
author = {Fajar Haifani and
Sophie Tourret and
Christoph Weidenbach},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Generalized Completeness for {SOS} Resolution and its Application
to a New Notion of Relevance},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {327--343},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_19},
doi = {10.1007/978-3-030-79876-5\_19},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HaifaniTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RabeS21,
author = {Markus N. Rabe and
Christian Szegedy},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Towards the Automatic Mathematician},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {25--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_2},
doi = {10.1007/978-3-030-79876-5\_2},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RabeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VukmirovicBBCNT21,
author = {Petar Vukmirovic and
Alexander Bentkamp and
Jasmin Blanchette and
Simon Cruanes and
Visa Nummelin and
Sophie Tourret},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Making Higher-Order Superposition Work},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {415--432},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_24},
doi = {10.1007/978-3-030-79876-5\_24},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/VukmirovicBBCNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WernhardB21,
author = {Christoph Wernhard and
Wolfgang Bibel},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Learning from {\L}ukasiewicz and Meredith: Investigations into Proof
Structures},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {58--75},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_4},
doi = {10.1007/978-3-030-79876-5\_4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WernhardB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/WillekeFBHBLBCDPMPDGZXHAFNMHFVPPNNETS21,
author = {Konstantin F. Willeke and
Paul G. Fahey and
Mohammad Bashiri and
Laura Hansel and
Christoph Blessing and
Konstantin{-}Klemens Lurz and
Max F. Burg and
Santiago A. Cadena and
Zhiwei Ding and
Kayla Ponder and
Taliah Muhammad and
Saumil S. Patel and
Kaiwen Deng and
Yuanfang Guan and
Yiqin Zhu and
Kaiwen Xiao and
Xiao Han and
Simone Azeglio and
Ulisse Ferrari and
Peter Neri and
Olivier Marre and
Adrian Hoffmann and
Kirill Fedyanin and
Kirill Vishniakov and
Maxim Panov and
Subash Prakash and
Kishan Naik and
Kantharaju Narayanappa and
Alexander S. Ecker and
Andreas S. Tolias and
Fabian H. Sinz},
editor = {Marco Ciccone and
Gustavo Stolovitzky and
Jacob Albrecht},
title = {Retrospective on the {SENSORIUM} 2022 competition},
booktitle = {NeurIPS 2022 Competition Track, November 28 - December 9, 2022, Online},
series = {Proceedings of Machine Learning Research},
volume = {220},
pages = {314--333},
publisher = {{PMLR}},
year = {2021},
url = {https://proceedings.mlr.press/v220/willeke22a.html},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/WillekeFBHBLBCDPMPDGZXHAFNMHFVPPNNETS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13222,
author = {Chris Cade and
Farrokh Labib and
Ido Niesen},
title = {Quantum Motif Clustering},
journal = {CoRR},
volume = {abs/2111.13222},
year = {2021},
url = {https://arxiv.org/abs/2111.13222},
eprinttype = {arXiv},
eprint = {2111.13222},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Cade20,
author = {Chris Cade},
title = {Quantum algorithms and complexity in non-standard models},
school = {University of Bristol, {UK}},
year = {2020},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.801651},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Cade20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/DuenasCGFD20,
author = {Victor H. Duenas and
Christian A. Cousin and
Vahideh Ghanbari and
Emily J. Fox and
Warren E. Dixon},
title = {Torque and cadence tracking in functional electrical stimulation induced
cycling using passivity-based spatial repetitive learning control},
journal = {Autom.},
volume = {115},
pages = {108852},
year = {2020},
url = {https://doi.org/10.1016/j.automatica.2020.108852},
doi = {10.1016/J.AUTOMATICA.2020.108852},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/DuenasCGFD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/CousinDRBFFD20,
author = {Christian A. Cousin and
Victor H. Duenas and
Courtney A. Rouse and
Matthew J. Bellman and
Paul Freeborn and
Emily J. Fox and
Warren E. Dixon},
title = {Closed-Loop Cadence and Instantaneous Power Control on a Motorized
Functional Electrical Stimulation Cycle},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {28},
number = {6},
pages = {2276--2291},
year = {2020},
url = {https://doi.org/10.1109/TCST.2019.2937725},
doi = {10.1109/TCST.2019.2937725},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/CousinDRBFFD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/DuenasCRFD20,
author = {Victor H. Duenas and
Christian A. Cousin and
Courtney A. Rouse and
Emily J. Fox and
Warren E. Dixon},
title = {Distributed Repetitive Learning Control for Cooperative Cadence Tracking
in Functional Electrical Stimulation Cycling},
journal = {{IEEE} Trans. Cybern.},
volume = {50},
number = {3},
pages = {1084--1095},
year = {2020},
url = {https://doi.org/10.1109/TCYB.2018.2882755},
doi = {10.1109/TCYB.2018.2882755},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcyb/DuenasCRFD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02607,
author = {Casper Gyurik and
Chris Cade and
Vedran Dunjko},
title = {Towards quantum advantage for topological data analysis},
journal = {CoRR},
volume = {abs/2005.02607},
year = {2020},
url = {https://arxiv.org/abs/2005.02607},
eprinttype = {arXiv},
eprint = {2005.02607},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09378,
author = {Alexander Millane and
Helen Oleynikova and
Christian Lanegger and
Jeffrey A. Delmerico and
Juan I. Nieto and
Roland Siegwart and
Marc Pollefeys and
Cesar Cadena},
title = {Freetures: Localization in Signed Distance Function Maps},
journal = {CoRR},
volume = {abs/2010.09378},
year = {2020},
url = {https://arxiv.org/abs/2010.09378},
eprinttype = {arXiv},
eprint = {2010.09378},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/EstayRCCD19,
author = {F. I. Esquivel Estay and
Courtney A. Rouse and
M. H. Cohen and
Christian A. Cousin and
Warren E. Dixon},
title = {Cadence and Position Tracking for Decoupled Legs during Switched Split-Crank
Motorized FES-Cycling},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {854--859},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814365},
doi = {10.23919/ACC.2019.8814365},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/EstayRCCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/RouseCAD19,
author = {Courtney A. Rouse and
Christian A. Cousin and
Brendon C. Allen and
Warren E. Dixon},
title = {Split-Crank Cadence Tracking for Switched Motorized FES-Cycling with
Volitional Pedaling},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {4393--4398},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814332},
doi = {10.23919/ACC.2019.8814332},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/RouseCAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BentkampBTVW19,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic and
Uwe Waldmann},
editor = {Pascal Fontaine},
title = {Superposition with Lambdas},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {55--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_4},
doi = {10.1007/978-3-030-29436-6\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BentkampBTVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrombergerFSW19,
author = {Martin Bromberger and
Mathias Fleury and
Simon Schwarz and
Christoph Weidenbach},
editor = {Pascal Fontaine},
title = {{SPASS-SATT} - {A} {CDCL(LA)} Solver},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {111--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_7},
doi = {10.1007/978-3-030-29436-6\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrombergerFSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FioriW19,
author = {Alberto Fiori and
Christoph Weidenbach},
editor = {Pascal Fontaine},
title = {{SCL} Clause Learning from Simple Models},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {233--249},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_14},
doi = {10.1007/978-3-030-29436-6\_14},
timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FioriW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KohlM19,
author = {Christina Kohl and
Aart Middeldorp},
editor = {Pascal Fontaine},
title = {Composing Proof Terms},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {337--353},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_20},
doi = {10.1007/978-3-030-29436-6\_20},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KohlM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SternagelW19,
author = {Christian Sternagel and
Sarah Winkler},
editor = {Pascal Fontaine},
title = {Certified Equational Reasoning via Ordered Completion},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {508--525},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_30},
doi = {10.1007/978-3-030-29436-6\_30},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SternagelW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AllenCRD19,
author = {Brendon C. Allen and
Christian A. Cousin and
Courtney A. Rouse and
Warren E. Dixon},
title = {Cadence Tracking for Switched {FES} Cycling with Unknown Input Delay},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {60--65},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029696},
doi = {10.1109/CDC40024.2019.9029696},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AllenCRD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1912-12966,
author = {Christoph Weidenbach},
editor = {Martin Suda and
Sarah Winkler},
title = {The Challenge of Unifying Semantic and Syntactic Inference Restrictions},
booktitle = {Proceedings of the Second International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE
2019, Natal, Brazil, August 26, 2019},
series = {{EPTCS}},
volume = {311},
pages = {5--10},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.311.1},
doi = {10.4204/EPTCS.311.1},
timestamp = {Sat, 09 Apr 2022 12:27:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-12966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interfaces/GonzalezRN18,
author = {Gerardo Gonzalez and
Christopher Richards and
Alexandra M. Newman},
title = {Optimal Course Scheduling for United States Air Force Academy Cadets},
journal = {Interfaces},
volume = {48},
number = {3},
pages = {217--234},
year = {2018},
url = {https://doi.org/10.1287/inte.2017.0935},
doi = {10.1287/INTE.2017.0935},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interfaces/GonzalezRN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/OliveiraBCZIFAK18,
author = {Francislon S. Oliveira and
John Brestelli and
Shon Cade and
Jie Zheng and
John Iodice and
Steve Fischer and
Cristina Aurrecoechea and
Jessica C. Kissinger and
Brian P. Brunk and
Christian J. Stoeckert Jr. and
Gabriel R. Fernandes and
David S. Roos and
Daniel P. Beiting},
title = {MicrobiomeDB: a systems biology platform for integrating, mining and
analyzing microbiome experiments},
journal = {Nucleic Acids Res.},
volume = {46},
number = {Database-Issue},
pages = {D684--D691},
year = {2018},
url = {https://doi.org/10.1093/nar/gkx1027},
doi = {10.1093/NAR/GKX1027},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/OliveiraBCZIFAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/CadeMB18,
author = {Chris Cade and
Ashley Montanaro and
Aleksandrs Belovs},
title = {Time and space efficient quantum algorithms for detecting cycles and
testing bipartiteness},
journal = {Quantum Inf. Comput.},
volume = {18},
number = {1{\&}2},
pages = {18--50},
year = {2018},
url = {https://doi.org/10.26421/QIC18.1-2-2},
doi = {10.26421/QIC18.1-2-2},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/CadeMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DuenasCGD18,
author = {Victor H. Duenas and
Christian A. Cousin and
Vahideh Ghanbari and
Warren E. Dixon},
title = {Passivity-Based Learning Control for Torque and Cadence Tracking in
Functional Electrical Stimulation {(FES)} Induced Cycling},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {3726--3731},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431421},
doi = {10.23919/ACC.2018.8431421},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DuenasCGD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/RouseCDD18,
author = {Courtney A. Rouse and
Christian A. Cousin and
Victor H. Duenas and
Warren E. Dixon},
title = {Cadence Tracking for Switched {FES} Cycling Combined with Voluntary
Pedaling and Motor Resistance},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {4558--4563},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431044},
doi = {10.23919/ACC.2018.8431044},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/RouseCDD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CousinDRD18,
author = {Christian A. Cousin and
Victor H. Duenas and
Courtney A. Rouse and
Warren E. Dixon},
title = {Cadence and Admittance Control of a Motorized Functional Electrical
Stimulation Cycle},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {6470--6475},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8618685},
doi = {10.1109/CDC.2018.8618685},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/CousinDRD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tqc/CadeM18,
author = {Chris Cade and
Ashley Montanaro},
editor = {Stacey Jeffery},
title = {The Quantum Complexity of Computing Schatten p-norms},
booktitle = {13th Conference on the Theory of Quantum Computation, Communication
and Cryptography, {TQC} 2018, July 16-18, 2018, Sydney, Australia},
series = {LIPIcs},
volume = {111},
pages = {4:1--4:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TQC.2018.4},
doi = {10.4230/LIPICS.TQC.2018.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tqc/CadeM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10010,
author = {Chris Cade},
title = {Post-selected Classical Query Complexity},
journal = {CoRR},
volume = {abs/1804.10010},
year = {2018},
url = {http://arxiv.org/abs/1804.10010},
eprinttype = {arXiv},
eprint = {1804.10010},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crl/SchaubCBK17,
author = {Gayle Schaub and
Cara Cadena and
Patricia Bravender and
Christopher Kierkus},
title = {The Language of Information Literacy: Do Students Understand?},
journal = {Coll. Res. Libr.},
volume = {78},
number = {3},
pages = {283--296},
year = {2017},
url = {https://doi.org/10.5860/crl.78.3.283},
doi = {10.5860/CRL.78.3.283},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crl/SchaubCBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/AurrecoecheaBBB17,
author = {Cristina Aurrecoechea and
Ana Barreto and
Evelina Y. Basenko and
John Brestelli and
Brian P. Brunk and
Shon Cade and
Kathryn Crouch and
Ryan Doherty and
Dave Falke and
Steve Fischer and
Bindu Gajria and
Omar S. Harb and
Mark Heiges and
Christiane Hertz{-}Fowler and
Sufen Hu and
John Iodice and
Jessica C. Kissinger and
Cris Lawrence and
Wei Li and
Deborah F. Pinney and
Jane A. Pulman and
David S. Roos and
Achchuthan Shanmugasundram and
Fatima Silva{-}Franco and
Sascha Steinbiss and
Christian J. Stoeckert Jr. and
Drew Spruill and
Haiming Wang and
Susanne Warrenfeltz and
Jie Zheng},
title = {EuPathDB: the eukaryotic pathogen genomics database resource},
journal = {Nucleic Acids Res.},
volume = {45},
number = {Database-Issue},
pages = {D581--D591},
year = {2017},
url = {https://doi.org/10.1093/nar/gkw1105},
doi = {10.1093/NAR/GKW1105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nar/AurrecoecheaBBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarbosaBF17,
author = {Haniel Barbosa and
Jasmin Christian Blanchette and
Pascal Fontaine},
editor = {Leonardo de Moura},
title = {Scalable Fine-Grained Proofs for Formula Processing},
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 = {398--412},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_25},
doi = {10.1007/978-3-319-63046-5\_25},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/BarbosaBF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckerBWW17,
author = {Heiko Becker and
Jasmin Christian Blanchette and
Uwe Waldmann and
Daniel Wand},
editor = {Leonardo de Moura},
title = {A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms},
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 = {432--453},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_27},
doi = {10.1007/978-3-319-63046-5\_27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckerBWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteF0W17,
author = {Jasmin Christian Blanchette and
Pascal Fontaine and
Stephan Schulz and
Uwe Waldmann},
editor = {Giles Reger and
Dmitriy Traytel},
title = {Towards Strong Higher-Order Automation for Fast Interactive Verification},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {16--23},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/3ngx},
doi = {10.29007/3NGX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlanchetteF0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturMR17,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Leonardo de Moura},
title = {Notions of Knowledge in Combinations of Theories Sharing Constructors},
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 = {60--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_5},
doi = {10.1007/978-3-319-63046-5\_5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorbachVW17,
author = {Matthias Horbach and
Marco Voigt and
Christoph Weidenbach},
editor = {Leonardo de Moura},
title = {On the Combination of the Bernays-Sch{\"{o}}nfinkel-Ramsey Fragment
with Simple Linear Integer Arithmetic},
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 = {77--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_6},
doi = {10.1007/978-3-319-63046-5\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorbachVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SternagelS17,
author = {Christian Sternagel and
Thomas Sternagel},
editor = {Leonardo de Moura},
title = {Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional
Term Rewrite Systems},
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 = {413--431},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_26},
doi = {10.1007/978-3-319-63046-5\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SternagelS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TeuckeW17,
author = {Andreas Teucke and
Christoph Weidenbach},
editor = {Leonardo de Moura},
title = {Decidability of the Monadic Shallow Linear First-Order Fragment with
Straight Dismatching Constraints},
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 = {202--219},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_13},
doi = {10.1007/978-3-319-63046-5\_13},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/TeuckeW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Weidenbach17,
author = {Christoph Weidenbach},
editor = {Giles Reger and
Dmitriy Traytel},
title = {Do Portfolio Solvers Harm?},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {76--81},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/vpxm},
doi = {10.29007/VPXM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Weidenbach17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CousinDRD17,
author = {Christian A. Cousin and
Victor H. Duenas and
Courtney A. Rouse and
Warren E. Dixon},
title = {Motorized functional electrical stimulation for torque and cadence
tracking: {A} switched Lyapunov approach},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {5900--5905},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264552},
doi = {10.1109/CDC.2017.8264552},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/CousinDRD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01466,
author = {Sebastian B{\"{o}}hne and
Christoph Kreitz},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Learning how to Prove: From the Coq Proof Assistant to Textbook Style},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {1--18},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.1},
doi = {10.4204/EPTCS.267.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01469,
author = {Mario Frank and
Christoph Kreitz},
editor = {Pedro Quaresma and
Walther Neuper},
title = {A Theorem Prover for Scientific and Educational Purposes},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {59--69},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.4},
doi = {10.4204/EPTCS.267.4},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01472,
author = {Wolfgang Schreiner and
Alexander Brunhuemer and
Christoph F{\"{u}}rst},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Teaching the Formalization of Mathematical Theories and Algorithms
via the Automatic Checking of Finite Models},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {120--139},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.8},
doi = {10.4204/EPTCS.267.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CadeM17,
author = {Chris Cade and
Ashley Montanaro},
title = {The Quantum Complexity of Computing Schatten {\textdollar}p{\textdollar}-norms},
journal = {CoRR},
volume = {abs/1706.09279},
year = {2017},
url = {http://arxiv.org/abs/1706.09279},
eprinttype = {arXiv},
eprint = {1706.09279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CadeM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcc/BarthCCMV16,
author = {Dominique Barth and
Christian Cad{\'{e}}r{\'{e}} and
Johanne Cohen and
Thierry Mautor and
Sandrine Vial},
title = {Learning techniques for cloud demands aggregation in cloud service
brokering},
journal = {Int. J. Cloud Comput.},
volume = {5},
number = {4},
pages = {283--308},
year = {2016},
url = {https://doi.org/10.1504/IJCC.2016.10001882},
doi = {10.1504/IJCC.2016.10001882},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcc/BarthCCMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kes/HincapieGCRD16,
author = {Mauricio Hincapi{\'{e}} and
David Guemes and
Manuel Contero and
Miguel Ram{\'{\i}}rez and
Christian Diaz},
title = {Development of a software application for machine tool reconfiguration
using a knowledge-based engineering system approach},
journal = {Int. J. Knowl. Based Intell. Eng. Syst.},
volume = {20},
number = {1},
pages = {49--63},
year = {2016},
url = {https://doi.org/10.3233/KES-160334},
doi = {10.3233/KES-160334},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kes/HincapieGCRD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/snam/KorkmazCKMVR16,
author = {Gizem Korkmaz and
Jose Cadena and
Chris J. Kuhlman and
Achla Marathe and
Anil Vullikanti and
Naren Ramakrishnan},
title = {Multi-source models for civil unrest forecasting},
journal = {Soc. Netw. Anal. Min.},
volume = {6},
number = {1},
pages = {50:1--50:25},
year = {2016},
url = {https://doi.org/10.1007/s13278-016-0355-8},
doi = {10.1007/S13278-016-0355-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/snam/KorkmazCKMVR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bhi/BissettCKKLT16,
author = {Keith Bissett and
Jose Cadena and
Maleq Khan and
Chris J. Kuhlman and
Bryan L. Lewis and
Pyrros A. Telionis},
title = {An integrated agent-based approach for modeling disease spread in
large populations to support health informatics},
booktitle = {2016 {IEEE-EMBS} International Conference on Biomedical and Health
Informatics, {BHI} 2016, Las Vegas, NV, USA, February 24-27, 2016},
pages = {629--632},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/BHI.2016.7455977},
doi = {10.1109/BHI.2016.7455977},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/bhi/BissettCKKLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/ZhengCBRSJAGDSC16,
author = {Jie Zheng and
Jashon Cade and
Brian P. Brunk and
David S. Roos and
Christian J. Stoeckert Jr. and
San James and
Emmanuel Arinaitwe and
Bryan Greenhouse and
Grant Dorsey and
Steven Sullivan and
Jane M. Carlton and
Gabriel Carrasco{-}Escobar and
Dionicia Gamboa and
Paula Maguina{-}Mercedes and
Joseph Vinetz},
editor = {Pankaj Jaiswal and
Robert Hoehndorf and
Cecilia N. Arighi and
Austin Meier},
title = {Malaria Study Data Integration and Information Retrieval Based on
{OBO} Foundry Ontologies},
booktitle = {Proceedings of the Joint International Conference on Biological Ontology
and BioCreative, Corvallis, Oregon, United States, August 1-4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1747},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1747/IT503\_ICBO2016.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/icbo/ZhengCBRSJAGDSC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CadeMB16,
author = {Chris Cade and
Ashley Montanaro and
Aleksandrs Belovs},
title = {Time and Space Efficient Quantum Algorithms for Detecting Cycles and
Testing Bipartiteness},
journal = {CoRR},
volume = {abs/1610.00581},
year = {2016},
url = {http://arxiv.org/abs/1610.00581},
eprinttype = {arXiv},
eprint = {1610.00581},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CadeMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/CadenasSHGL15,
author = {Jos{\'{e}} O. Cadenas and
Robert Simon Sherratt and
Des Howlett and
Chris G. Guy and
Karsten {\O}ster Lundqvist},
title = {Virtualization for Cost-Effective Teaching of Assembly Language Programming},
journal = {{IEEE} Trans. Educ.},
volume = {58},
number = {4},
pages = {282--288},
year = {2015},
url = {https://doi.org/10.1109/TE.2015.2405895},
doi = {10.1109/TE.2015.2405895},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/te/CadenasSHGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/KorkmazCKMVR15,
author = {Gizem Korkmaz and
Jose Cadena and
Chris J. Kuhlman and
Achla Marathe and
Anil Vullikanti and
Naren Ramakrishnan},
editor = {Jian Pei and
Fabrizio Silvestri and
Jie Tang},
title = {Combining Heterogeneous Data Sources for Civil Unrest Forecasting},
booktitle = {Proceedings of the 2015 {IEEE/ACM} International Conference on Advances
in Social Networks Analysis and Mining, {ASONAM} 2015, Paris, France,
August 25 - 28, 2015},
pages = {258--265},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808797.2808847},
doi = {10.1145/2808797.2808847},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asunam/KorkmazCKMVR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bromberger0W15,
author = {Martin Bromberger and
Thomas Sturm and
Christoph Weidenbach},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Linear Integer Arithmetic Revisited},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {623--637},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_42},
doi = {10.1007/978-3-319-21401-6\_42},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bromberger0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChocronFR15,
author = {Paula Daniela Chocron and
Pascal Fontaine and
Christophe Ringeissen},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {A Polite Non-Disjoint Combination Method: Theories with Bridging Functions
Revisited},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {419--433},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_29},
doi = {10.1007/978-3-319-21401-6\_29},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChocronFR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ReynoldsB15,
author = {Andrew Reynolds and
Jasmin Christian Blanchette},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {A Decision Procedure for (Co)datatypes in {SMT} Solvers},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {197--213},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_13},
doi = {10.1007/978-3-319-21401-6\_13},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ReynoldsB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenzmullerCS15,
author = {Christoph Benzm{\"{u}}ller and
Maximilian Claus and
Nik Sultana},
editor = {Cezary Kaliszyk and
Andrei Paskevich},
title = {Systematic Verification of the Modal Logic Cube in Isabelle/HOL},
booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving,
PxTP 2015, Berlin, Germany, August 2-3, 2015},
series = {{EPTCS}},
volume = {186},
pages = {27--41},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.186.5},
doi = {10.4204/EPTCS.186.5},
timestamp = {Wed, 16 Mar 2022 23:52:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/BenzmullerCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/RamakrishnanBMSKSWCVKKMZHCLHSTGKDAZFSFAGM14,
author = {Naren Ramakrishnan and
Patrick Butler and
Sathappan Muthiah and
Nathan Self and
Rupinder Paul Khandpur and
Parang Saraf and
Wei Wang and
Jose Cadena and
Anil Vullikanti and
Gizem Korkmaz and
Chris J. Kuhlman and
Achla Marathe and
Liang Zhao and
Ting Hua and
Feng Chen and
Chang{-}Tien Lu and
Bert Huang and
Aravind Srinivasan and
Khoa Trinh and
Lise Getoor and
Graham Katz and
Andy Doyle and
Chris Ackermann and
Ilya Zavorin and
Jim Ford and
Kristen Maria Summers and
Youssef Fayed and
Jaime Arredondo and
Dipak Gupta and
David Mares},
editor = {Sofus A. Macskassy and
Claudia Perlich and
Jure Leskovec and
Wei Wang and
Rayid Ghani},
title = {'Beating the news' with {EMBERS:} forecasting civil unrest using open
source indicators},
booktitle = {The 20th {ACM} {SIGKDD} International Conference on Knowledge Discovery
and Data Mining, {KDD} '14, New York, NY, {USA} - August 24 - 27,
2014},
pages = {1799--1808},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2623330.2623373},
doi = {10.1145/2623330.2623373},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kdd/RamakrishnanBMSKSWCVKKMZHCLHSTGKDAZFSFAGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medhocnet/PolotG14,
author = {Bartlomiej Polot and
Christian Grothoff},
title = {{CADET:} Confidential ad-hoc decentralized end-to-end transport},
booktitle = {13th Annual Mediterranean Ad Hoc Networking Workshop, {MED-HOC-NET}
2014, Piran, Slovenia, June 2-4, 2014},
pages = {71--78},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MedHocNet.2014.6849107},
doi = {10.1109/MEDHOCNET.2014.6849107},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/medhocnet/PolotG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamakrishnanBMSKSWCVKKMZHCLHSTGKDAZFSFAGM14,
author = {Naren Ramakrishnan and
Patrick Butler and
Sathappan Muthiah and
Nathan Self and
Rupinder Paul Khandpur and
Parang Saraf and
Wei Wang and
Jose Cadena and
Anil Vullikanti and
Gizem Korkmaz and
Chris J. Kuhlman and
Achla Marathe and
Liang Zhao and
Ting Hua and
Feng Chen and
Chang{-}Tien Lu and
Bert Huang and
Aravind Srinivasan and
Khoa Trinh and
Lise Getoor and
Graham Katz and
Andy Doyle and
Chris Ackermann and
Ilya Zavorin and
Jim Ford and
Kristen Maria Summers and
Youssef Fayed and
Jaime Arredondo and
Dipak Gupta and
David Mares},
title = {'Beating the news' with {EMBERS:} Forecasting Civil Unrest using Open
Source Indicators},
journal = {CoRR},
volume = {abs/1402.7035},
year = {2014},
url = {http://arxiv.org/abs/1402.7035},
eprinttype = {arXiv},
eprint = {1402.7035},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/RamakrishnanBMSKSWCVKKMZHCLHSTGKDAZFSFAGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/AurrecoecheaBBBCDFGGGGHHHIKKLPPRSSWW13,
author = {Cristina Aurrecoechea and
Ana Barreto and
John Brestelli and
Brian P. Brunk and
Shon Cade and
Ryan Doherty and
Steve Fischer and
Bindu Gajria and
Xin Gao and
Alan R. Gingle and
Gregory R. Grant and
Omar S. Harb and
Mark Heiges and
Sufen Hu and
John Iodice and
Jessica C. Kissinger and
Eileen T. Kraemer and
Wei Li and
Deborah F. Pinney and
Brian Pitts and
David S. Roos and
Ganesh Srinivasamoorthy and
Christian J. Stoeckert Jr. and
Haiming Wang and
Susanne Warrenfeltz},
title = {EuPathDB: The Eukaryotic Pathogen database},
journal = {Nucleic Acids Res.},
volume = {41},
number = {Database-Issue},
pages = {684--691},
year = {2013},
url = {https://doi.org/10.1093/nar/gks1113},
doi = {10.1093/NAR/GKS1113},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nar/AurrecoecheaBBBCDFGGGGHHHIKKLPPRSSWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AzmyW13,
author = {Noran Azmy and
Christoph Weidenbach},
editor = {Maria Paola Bonacina},
title = {Computing Tiny Clause Normal Forms},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {109--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_7},
doi = {10.1007/978-3-642-38574-2\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AzmyW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerS13,
author = {Christoph Benzm{\"{u}}ller and
Nik Sultana},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {{LEO-II} Version 1.5},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {2--10},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/lbxw},
doi = {10.29007/LBXW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Blanchette13,
author = {Jasmin Christian Blanchette},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {Redirecting Proofs by Contradiction},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {11--26},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/wm8b},
doi = {10.29007/WM8B},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Blanchette13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteP13,
author = {Jasmin Christian Blanchette and
Andrei Paskevich},
editor = {Maria Paola Bonacina},
title = {{TFF1:} The {TPTP} Typed First-Order Form with Rank-1 Polymorphism},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {414--420},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_29},
doi = {10.1007/978-3-642-38574-2\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlanchetteP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownR13,
author = {Chad E. Brown and
Christine Rizkallah},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {From Classical Extensional Higher-Order Tableau to Intuitionistic
Intentional Natural Deduction},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {27--42},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/8p9q},
doi = {10.29007/8P9Q},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrownR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEKLLMMNSS13,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Sonia Santiago and
Ralf Sasse},
editor = {Maria Paola Bonacina},
title = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
Protocol Analysis},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {231--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_16},
doi = {10.1007/978-3-642-38574-2\_16},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Maria Paola Bonacina},
title = {Hierarchical Combination},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {249--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_17},
doi = {10.1007/978-3-642-38574-2\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Filliatre13,
author = {Jean{-}Christophe Filli{\^{a}}tre},
editor = {Maria Paola Bonacina},
title = {One Logic to Use Them All},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {1--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_1},
doi = {10.1007/978-3-642-38574-2\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Filliatre13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HawblitzelKLR13,
author = {Chris Hawblitzel and
Ming Kawaguchi and
Shuvendu K. Lahiri and
Henrique Reb{\^{e}}lo},
editor = {Maria Paola Bonacina},
title = {Towards Modularly Comparing Programs Using Automated Theorem Provers},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {282--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_20},
doi = {10.1007/978-3-642-38574-2\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HawblitzelKLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SmolkaB13,
author = {Steffen Juilf Smolka and
Jasmin Christian Blanchette},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {Robust, Semi-Intelligible Isabelle Proofs from {ATP} Proofs},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {117--132},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/zbdb},
doi = {10.29007/ZBDB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SmolkaB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2013pxtp,
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/PxTP\_2013},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2013pxtp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imds/CadezG12,
author = {Simon Cadez and
Chris Guilding},
title = {Strategy, Strategic Management Accounting and Performance: a Configurational
Analysis},
journal = {Ind. Manag. Data Syst.},
volume = {112},
number = {3},
pages = {484--501},
year = {2012},
url = {https://doi.org/10.1108/02635571211210086},
doi = {10.1108/02635571211210086},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imds/CadezG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/SegoMRCFGM12,
author = {Landon H. Sego and
Andr{\'{e}}s M{\'{a}}rquez and
Andrew Rawson and
Tahir Cader and
Kevin Fox and
William I. Gustafson Jr. and
Christopher J. Mundy},
title = {Implementing the data center energy productivity metric},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {8},
number = {4},
pages = {30:1--30:22},
year = {2012},
url = {https://doi.org/10.1145/2367736.2367741},
doi = {10.1145/2367736.2367741},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/SegoMRCFGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMace/GamberiniCZPCMJTSBSA11,
author = {Luciano Gamberini and
Nicola Corradi and
Luca Zamboni and
Michela Perotti and
Camilla Cadenazzi and
Stefano Mandressi and
Giulio Jacucci and
Giovanni Tusa and
Anna Spagnolli and
Christoffer Bj{\"{o}}rkskog and
Marja Salo and
Pirkka {\AA}man},
editor = {Teresa Rom{\~{a}}o and
Nuno Correia and
Masahiko Inami and
Hirokasu Kato and
Rui Prada and
Tsutomu Terada and
A. Eduardo Dias and
Teresa Chambel},
title = {Saving is fun: designing a persuasive game for power conservation},
booktitle = {Proceedings of the 8th International Conference on Advances in Computer
Entertainment Technology, {ACE} 2011, Lisbon, Portugal, November 8-11,
2011},
pages = {16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2071423.2071443},
doi = {10.1145/2071423.2071443},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ACMace/GamberiniCZPCMJTSBSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/CadeteASC11,
author = {Daniel Cadete and
Ant{\'{o}}nio dos Anjos and
Hamid Reza Shahbazkia and
Richard Christen},
editor = {Marco Pellegrini and
Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {{CUDA} Performance in {DNA} Analysis - Analysis of Cuda Architecture
Performance in {DNA} Analysis},
booktitle = {{BIOINFORMATICS} 2011 - Proceedings of the International Conference
on Bioinformatics Models, Methods and Algorithms, Rome, Italy, 26-29
January, 2011},
pages = {253--257},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 23 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/CadeteASC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteBP11,
author = {Jasmin Christian Blanchette and
Sascha B{\"{o}}hme and
Lawrence C. Paulson},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Extending Sledgehammer with {SMT} Solvers},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {116--130},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_11},
doi = {10.1007/978-3-642-22438-6\_11},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlanchetteBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FredriksonCJ11,
author = {Matthew Fredrikson and
Mihai Christodorescu and
Somesh Jha},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Dynamic Behavior Matching: {A} Complexity Analysis and New Approximation
Algorithms},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {252--267},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_20},
doi = {10.1007/978-3-642-22438-6\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FredriksonCJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LiuL11,
author = {Zhiqiang Liu and
Christopher Lynch},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Efficient General Unification for {XOR} with Homomorphism},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {407--421},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_31},
doi = {10.1007/978-3-642-22438-6\_31},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LiuL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BorgeltYNCP11,
author = {Christian Borgelt and
Xiaoyuan Yang and
Rub{\'{e}}n Nogales{-}Cadenas and
Pedro Carmona{-}Saez and
Alberto D. Pascual{-}Montano},
editor = {Anastasia Ailamaki and
Sihem Amer{-}Yahia and
Jignesh M. Patel and
Tore Risch and
Pierre Senellart and
Julia Stoyanovich},
title = {Finding closed frequent item sets by intersecting transactions},
booktitle = {{EDBT} 2011, 14th International Conference on Extending Database Technology,
Uppsala, Sweden, March 21-24, 2011, Proceedings},
pages = {367--376},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1951365.1951410},
doi = {10.1145/1951365.1951410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/BorgeltYNCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/BarthCVV10,
author = {Dominique Barth and
Christian Cad{\'{e}}r{\'{e}} and
Dominique Verch{\`{e}}re and
Sandrine Vial},
title = {Graph Embedding to Allocate Network Resources for Service Composition},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2010, Cape Town, South Africa, 23-27 May 2010},
pages = {1--5},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICC.2010.5502596},
doi = {10.1109/ICC.2010.5502596},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/BarthCVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbsn/PerskyKMLBB09,
author = {Susan Persky and
Kimberly A. Kaphingst and
Cade McCall and
Christina Lachance and
Andrew C. Beall and
Jim Blascovich},
title = {Presence Relates to Distinct Outcomes in Two Virtual Environments
Employing Different Learning Modalities},
journal = {Cyberpsychology Behav. Soc. Netw.},
volume = {12},
number = {3},
pages = {263--268},
year = {2009},
url = {https://doi.org/10.1089/cpb.2008.0262},
doi = {10.1089/CPB.2008.0262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbsn/PerskyKMLBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaLM09,
author = {Maria Paola Bonacina and
Christopher Lynch and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Renate A. Schmidt},
title = {On Deciding Satisfiability by DPLL(G+\emph{T}) and Unsound 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 = {35--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_3},
doi = {10.1007/978-3-642-02959-2\_3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorbachW09,
author = {Matthias Horbach and
Christoph Weidenbach},
editor = {Renate A. Schmidt},
title = {Decidability Results for Saturation-Based Model Building},
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 = {404--420},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_30},
doi = {10.1007/978-3-642-02959-2\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorbachW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NicoliniRR09,
author = {Enrica Nicolini and
Christophe Ringeissen and
Micha{\"{e}}l Rusinowitch},
editor = {Renate A. Schmidt},
title = {Combinable Extensions of Abelian Groups},
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 = {51--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_4},
doi = {10.1007/978-3-642-02959-2\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NicoliniRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeBBT09,
author = {Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller and
Chad E. Brown and
Frank Theiss},
editor = {Renate A. Schmidt},
title = {Progress in the Development of Automated Theorem Proving for Higher-Order
Logic},
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 = {116--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_8},
doi = {10.1007/978-3-642-02959-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeBBT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachDFKSW09,
author = {Christoph Weidenbach and
Dilyana Dimova and
Arnaud Fietzke and
Rohit Kumar and
Martin Suda and
Patrick Wischnewski},
editor = {Renate A. Schmidt},
title = {{SPASS} Version 3.5},
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 = {140--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_10},
doi = {10.1007/978-3-642-02959-2\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachDFKSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/ParsonsCCIRO09,
author = {Thomas D. Parsons and
Christopher G. Courtney and
Louise Cosand and
Arvind Iyer and
Albert A. Rizzo and
Kelvin S. Oie},
editor = {Dylan Schmorrow and
Ivy V. Estabrooke and
Marc Grootjen},
title = {Assessment of Psychophysiological Differences of West Point Cadets
and Civilian Controls Immersed within a Virtual Environment},
booktitle = {Foundations of Augmented Cognition. Neuroergonomics and Operational
Neuroscience, 5th International Conference, {FAC} 2009 Held as Part
of {HCI} International 2009 San Diego, CA, USA, July 19-24, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5638},
pages = {514--523},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02812-0\_60},
doi = {10.1007/978-3-642-02812-0\_60},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/ParsonsCCIRO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gridnets/VerchereABCDPPPSMPTHBCRT08,
author = {Dominique Verch{\`{e}}re and
Olivier Audouin and
Bela Berde and
Agostino Chiosi and
Richard Douville and
H{\'{e}}lia Pouyllau and
Pascale Vicat{-}Blanc Primet and
Marcelo Pasin and
Sebastien Soudan and
Thierry Marcot and
Veronique Piperaud and
Remi Theillaud and
Dohy Hong and
Dominique Barth and
Christian Cad{\'{e}}r{\'{e}} and
Vincent Reinhart and
Joanna Tomasik},
editor = {Pascale Vicat{-}Blanc Primet and
Tomohiro Kudoh and
Joe Mambretti},
title = {Automatic Network Services Aligned with Grid Application Requirements
in {CARRIOCAS} Project},
booktitle = {Networks for Grid Applications, Second International Conference, GridNets
2008, Beijing, China, October 8-10, 2008, Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {2},
pages = {196--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02080-3\_20},
doi = {10.1007/978-3-642-02080-3\_20},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gridnets/VerchereABCDPPPSMPTHBCRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/FurtlerMEBNC07,
author = {Johannes F{\"{u}}rtler and
Konrad J. Mayer and
Christian Eckel and
Joerg Brodersen and
Herbert Nachtnebel and
Gerhard R. Cadek},
title = {Geometry Unit for Analysis of Warped Image Features on Programmable
Chips},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2007},
year = {2007},
url = {https://doi.org/10.1155/2007/37317},
doi = {10.1155/2007/37317},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/FurtlerMEBNC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/FurtlerRBNMCE07,
author = {Johannes F{\"{u}}rtler and
Peter R{\"{o}}ssler and
Joerg Brodersen and
Herbert Nachtnebel and
Konrad J. Mayer and
Gerhard R. Cadek and
Christian Eckel},
title = {Design Considerations for Scalable High-Performance Vision Systems
Embedded in Industrial Print Inspection Machines},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2007},
year = {2007},
url = {https://doi.org/10.1155/2007/71794},
doi = {10.1155/2007/71794},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/FurtlerRBNMCE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DeshaneHJLLM07,
author = {Todd Deshane and
Wenjin Hu and
Patty Jablonski and
Hai Lin and
Christopher Lynch and
Ralph Eric McGregor},
editor = {Frank Pfenning},
title = {Encoding First Order Proofs in {SAT}},
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 = {476--491},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_35},
doi = {10.1007/978-3-540-73595-3\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DeshaneHJLLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Lev-AmiWRS07,
author = {Tal Lev{-}Ami and
Christoph Weidenbach and
Thomas W. Reps and
Mooly Sagiv},
editor = {Frank Pfenning},
title = {Labelled Clauses},
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 = {311--327},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_21},
doi = {10.1007/978-3-540-73595-3\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Lev-AmiWRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LynchT07,
author = {Christopher Lynch and
Duc{-}Khanh Tran},
editor = {Frank Pfenning},
title = {Automatic Decidability and Combinability Revisited},
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 = {328--344},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_22},
doi = {10.1007/978-3-540-73595-3\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LynchT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PelzerW07,
author = {Bj{\"{o}}rn Pelzer and
Christoph Wernhard},
editor = {Frank Pfenning},
title = {System Description: E-KRHyper},
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 = {508--513},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_37},
doi = {10.1007/978-3-540-73595-3\_37},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PelzerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/UrbanBN07,
author = {Christian Urban and
Stefan Berghofer and
Michael Norrish},
editor = {Frank Pfenning},
title = {Barendregt's Variable Convention in Rule Inductions},
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 = {35--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_4},
doi = {10.1007/978-3-540-73595-3\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/UrbanBN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachSHRT07,
author = {Christoph Weidenbach and
Renate A. Schmidt and
Thomas Hillenbrand and
Rostislav Rusev and
Dalibor Topic},
editor = {Frank Pfenning},
title = {System Description: SpassVersion 3.0},
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 = {514--520},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_38},
doi = {10.1007/978-3-540-73595-3\_38},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachSHRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NarbouxU08,
author = {Julien Narboux and
Christian Urban},
editor = {Brigitte Pientka and
Carsten Sch{\"{u}}rmann},
title = {Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence
Checking},
booktitle = {Proceedings of the Second International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen,
Germany, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
pages = {3--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.014},
doi = {10.1016/J.ENTCS.2007.09.014},
timestamp = {Thu, 09 Feb 2023 11:15:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NarbouxU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivp/FurtlerBRMCEN06,
author = {Johannes F{\"{u}}rtler and
J{\"{o}}rg Brodersen and
Peter R{\"{o}}ssler and
Konrad J. Mayer and
Gerhard R. Cadek and
Christian Eckel and
Herbert Nachtnebel},
editor = {Nasser Kehtarnavaz and
Phillip A. Laplante},
title = {Architecture for hardware driven image inspection based on FPGAs},
booktitle = {Real-Time Image Processing 2006, San Jose, CA, USA, January 15, 2006},
series = {{SPIE} Proceedings},
volume = {6063},
pages = {60630D},
publisher = {{SPIE}},
year = {2006},
url = {https://doi.org/10.1117/12.642797},
doi = {10.1117/12.642797},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rivp/FurtlerBRMCEN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FermullerP05,
author = {Christian G. Ferm{\"{u}}ller and
Reinhard Pichler},
editor = {Robert Nieuwenhuis},
title = {Model Representation via Contexts and Implicit Generalizations},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {409--423},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_30},
doi = {10.1007/11532231\_30},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/FermullerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/UrbanT05,
author = {Christian Urban and
Christine Tasson},
editor = {Robert Nieuwenhuis},
title = {Nominal Techniques in Isabelle/HOL},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {38--53},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_4},
doi = {10.1007/11532231\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/UrbanT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SutcliffeS04,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-19} {ATP} System Competition},
journal = {{AI} Commun.},
volume = {17},
number = {3},
pages = {103--110},
year = {2004},
url = {http://content.iospress.com/articles/ai-communications/aic312},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeS04,
author = {Geoff Sutcliffe and
Christian B. Suttner},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {The {CADE} {ATP} System Competition},
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 = {490--491},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_36},
doi = {10.1007/978-3-540-25984-8\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/CadezHMSW03,
author = {Igor V. Cadez and
David Heckerman and
Christopher Meek and
Padhraic Smyth and
Steven White},
title = {Model-Based Clustering and Visualization of Navigation Patterns on
a Web Site},
journal = {Data Min. Knowl. Discov.},
volume = {7},
number = {4},
pages = {399--424},
year = {2003},
url = {https://doi.org/10.1023/A:1024992613384},
doi = {10.1023/A:1024992613384},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/datamine/CadezHMSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS03,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-18} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {31},
number = {1},
pages = {23--32},
year = {2003},
url = {https://doi.org/10.1023/A:1027302123309},
doi = {10.1023/A:1027302123309},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChoppellaH03,
author = {Venkatesh Choppella and
Christopher T. Haynes},
editor = {Franz Baader},
title = {Source-Tracking Unification},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {458--472},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_39},
doi = {10.1007/978-3-540-45085-6\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChoppellaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Lynch03,
author = {Christopher Lynch},
editor = {Franz Baader},
title = {Schematic Saturation for Decision and Unification Problems},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {427--441},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_37},
doi = {10.1007/978-3-540-45085-6\_37},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Lynch03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Ringeissen03,
author = {Christophe Ringeissen},
editor = {Franz Baader},
title = {Matching in a Class of Combined Non-disjoint Theories},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {212--227},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_17},
doi = {10.1007/978-3-540-45085-6\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Ringeissen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeS03,
author = {Geoff Sutcliffe and
Christian B. Suttner},
editor = {Franz Baader},
title = {The {CADE-19} {ATP} System Competition},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {295--296},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_25},
doi = {10.1007/978-3-540-45085-6\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WaltherS03,
author = {Christoph Walther and
Stephan Schweitzer},
editor = {Franz Baader},
title = {About VeriFun},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {322--327},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_28},
doi = {10.1007/978-3-540-45085-6\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WaltherS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/CadezSMM02,
author = {Igor V. Cadez and
Padhraic Smyth and
Geoffrey J. McLachlan and
Christine E. McLaren},
title = {Maximum Likelihood Estimation of Mixture Densities for Binned and
Truncated Multivariate Data},
journal = {Mach. Learn.},
volume = {47},
number = {1},
pages = {7--34},
year = {2002},
url = {https://doi.org/10.1023/A:1013679611503},
doi = {10.1023/A:1013679611503},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/CadezSMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LynchM02,
author = {Christopher Lynch and
Barbara Morawska},
editor = {Andrei Voronkov},
title = {Basic Syntactic Mutation},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {471--485},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_37},
doi = {10.1007/3-540-45620-1\_37},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LynchM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
author = {J{\"{o}}rg H. Siekmann and
Christoph Benzm{\"{u}}ller and
Vladimir Brezhnev and
Lassaad Cheikhrouhou and
Armin Fiedler and
Andreas Franke and
Helmut Horacek and
Michael Kohlhase and
Andreas Meier and
Erica Melis and
Markus Moschner and
Immanuel Normann and
Martin Pollet and
Volker Sorge and
Carsten Ullrich and
Claus{-}Peter Wirth and
J{\"{u}}rgen Zimmer},
editor = {Andrei Voronkov},
title = {Proof Development with {OMEGA}},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {144--149},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_12},
doi = {10.1007/3-540-45620-1\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachBHKTT02,
author = {Christoph Weidenbach and
Uwe Brahm and
Thomas Hillenbrand and
Enno Keen and
Christian Theobalt and
Dalibor Topic},
editor = {Andrei Voronkov},
title = {S {PASS} Version 2.0},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {275--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_22},
doi = {10.1007/3-540-45620-1\_22},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachBHKTT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/SoriaBCCDEHIKLLNPRV02,
author = {Claudia Soria and
Niels Ole Bernsen and
Niels Cad{\'{e}}e and
Jean Carletta and
Laila Dybkj{\ae}r and
Stefan Evert and
Ulrich Heid and
Amy Isard and
Mykola Kolodnytsky and
Christoph Lauer and
Wolfgang Lezius and
Lucas P. J. J. Noldus and
Vito Pirrelli and
Norbert Reithinger and
Andreas V{\"{o}}gele},
title = {Advanced Tools for the Study of Natural Interactivity},
booktitle = {Proceedings of the Third International Conference on Language Resources
and Evaluation, {LREC} 2002, May 29-31, 2002, Las Palmas, Canary Islands,
Spain},
publisher = {European Language Resources Association},
year = {2002},
url = {http://www.lrec-conf.org/proceedings/lrec2002/sumarios/236.htm},
timestamp = {Mon, 19 Aug 2019 15:23:48 +0200},
biburl = {https://dblp.org/rec/conf/lrec/SoriaBCCDEHIKLLNPRV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AllenCEKL00,
author = {Stuart F. Allen and
Robert L. Constable and
Richard Eaton and
Christoph Kreitz and
Lori Lorigo},
editor = {David A. McAllester},
title = {The Nuprl Open Logical Environment},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {170--176},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_12},
doi = {10.1007/10721959\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AllenCEKL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerFPZ00,
author = {Peter Baumgartner and
Christian G. Ferm{\"{u}}ller and
Nicolas Peltier and
Hantao Zhang},
editor = {David A. McAllester},
title = {Workshop: Model Computation - Principles, Algorithms, Applications},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {513},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_45},
doi = {10.1007/10721959\_45},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BaumgartnerFPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/CadezHMSW00,
author = {Igor V. Cadez and
David Heckerman and
Christopher Meek and
Padhraic Smyth and
Steven White},
editor = {Raghu Ramakrishnan and
Salvatore J. Stolfo and
Roberto J. Bayardo and
Ismail Parsa},
title = {Visualization of navigation patterns on a Web site using model-based
clustering},
booktitle = {Proceedings of the sixth {ACM} {SIGKDD} international conference on
Knowledge discovery and data mining, Boston, MA, USA, August 20-23,
2000},
pages = {280--284},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347090.347151},
doi = {10.1145/347090.347151},
timestamp = {Wed, 08 May 2024 08:22:41 +0200},
biburl = {https://dblp.org/rec/conf/kdd/CadezHMSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS99,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-15} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {23},
number = {1},
pages = {1--23},
year = {1999},
url = {https://doi.org/10.1023/A:1006285423991},
doi = {10.1023/A:1006285423991},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Benzmuller99,
author = {Christoph Benzm{\"{u}}ller},
editor = {Harald Ganzinger},
title = {Extensional Higher-Order Paramodulation and RUE-Resolution},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {399--413},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_39},
doi = {10.1007/3-540-48660-7\_39},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Benzmuller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Weidenbach99,
author = {Christoph Weidenbach},
editor = {Harald Ganzinger},
title = {Towards an Automatic Analysis of Security Protocols in First-Order
Logic},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {314--328},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_29},
doi = {10.1007/3-540-48660-7\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Weidenbach99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Weidenbach99a,
author = {Christoph Weidenbach},
editor = {Harald Ganzinger},
title = {System Description: Spass Version 1.0.0},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {378--382},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_34},
doi = {10.1007/3-540-48660-7\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Weidenbach99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/CadezMSM99,
author = {Igor V. Cadez and
Christine E. McLaren and
Padhraic Smyth and
Geoffrey J. McLachlan},
editor = {Ivan Bratko and
Saso Dzeroski},
title = {Hierarchical Models for Screening of Iron Deficiency Anemia},
booktitle = {Proceedings of the Sixteenth International Conference on Machine Learning
{(ICML} 1999), Bled, Slovenia, June 27 - 30, 1999},
pages = {77--86},
publisher = {Morgan Kaufmann},
year = {1999},
timestamp = {Tue, 03 Dec 2002 12:31:12 +0100},
biburl = {https://dblp.org/rec/conf/icml/CadezMSM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SuttnerS98,
author = {Christian B. Suttner and
Geoff Sutcliffe},
title = {The {CADE-14} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {21},
number = {1},
pages = {99--134},
year = {1998},
url = {https://doi.org/10.1023/A:1006006930186},
doi = {10.1023/A:1006006930186},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SuttnerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerK98,
author = {Christoph Benzm{\"{u}}ller and
Michael Kohlhase},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Extensional Higher-Order Resolution},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {56--71},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054248},
doi = {10.1007/BFB0054248},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerK98a,
author = {Christoph Benzm{\"{u}}ller and
Michael Kohlhase},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: {LEO} - {A} Higher-Order Theorem Prover},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {139--144},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054256},
doi = {10.1007/BFB0054256},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KreitzHH98,
author = {Christoph Kreitz and
Mark Hayden and
Jason Hickey},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {A Proof Environment for the Development of Group Communication Systems},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {317--332},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054269},
doi = {10.1007/BFB0054269},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KreitzHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NonnengartRW98,
author = {Andreas Nonnengart and
Georg Rock and
Christoph Weidenbach},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {On Generating Small Clause Normal Forms},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {397--411},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054274},
doi = {10.1007/BFB0054274},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NonnengartRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MoserILSGSM97,
author = {Max Moser and
Ortrun Ibens and
Reinhold Letz and
Joachim Steinbach and
Christoph Goller and
Johann Schumann and
Klaus Mayr},
title = {{SETHEO} and {E-SETHEO} - The {CADE-13} Systems},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {237--246},
year = {1997},
url = {https://doi.org/10.1023/A:1005808119103},
doi = {10.1023/A:1005808119103},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MoserILSGSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PelletierSS97,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe and
Christian B. Suttner},
title = {Conclusions about the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {287--296},
year = {1997},
url = {https://doi.org/10.1023/A:1005876506808},
doi = {10.1023/A:1005876506808},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PelletierSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {137--138},
year = {1997},
url = {https://doi.org/10.1023/A:1005839515219},
doi = {10.1023/A:1005839515219},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97a,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Design of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {139--162},
year = {1997},
url = {https://doi.org/10.1023/A:1005802523220},
doi = {10.1023/A:1005802523220},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97b,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Procedures of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {163--169},
year = {1997},
url = {https://doi.org/10.1023/A:1005858625038},
doi = {10.1023/A:1005858625038},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97c,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Results - of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {271--286},
year = {1997},
url = {https://doi.org/10.1023/A:1005824522737},
doi = {10.1023/A:1005824522737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97,
author = {Christoph Benzm{\"{u}}ller and
Lassaad Cheikhrouhou and
Detlef Fehrer and
Armin Fiedler and
Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Karsten Konrad and
Andreas Meier and
Erica Melis and
Wolf Schaarschmidt and
J{\"{o}}rg H. Siekmann and
Volker Sorge},
editor = {William McCune},
title = {Omega: Towards a Mathematical Assistant},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {252--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_23},
doi = {10.1007/3-540-63104-6\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GanzingerMW97,
author = {Harald Ganzinger and
Christoph Meyer and
Christoph Weidenbach},
editor = {William McCune},
title = {Soft Typing for Ordered Resolution},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {321--335},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_32},
doi = {10.1007/3-540-63104-6\_32},
timestamp = {Wed, 28 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GanzingerMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KornK97,
author = {Daniel S. Korn and
Christoph Kreitz},
editor = {William McCune},
title = {Deciding Intuitionistic Propositional Logic via Translation into Classical
Logic},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {131--145},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_15},
doi = {10.1007/3-540-63104-6\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KornK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KreitzMOS97,
author = {Christoph Kreitz and
Heiko Mantel and
Jens Otten and
Stephan Schmitt},
editor = {William McCune},
title = {Connection-Based Proof Construction in Linear Logic},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {207--221},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_20},
doi = {10.1007/3-540-63104-6\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KreitzMOS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaazFSZ96,
author = {Matthias Baaz and
Christian G. Ferm{\"{u}}ller and
Gernot Salzer and
Richard Zach},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {MUltlog 1.0: Towards an Expert System for Many-Valued Logics},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {226--230},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_84},
doi = {10.1007/3-540-61511-3\_84},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BaazFSZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Fernmuller96,
author = {Christian G. Ferm{\"{u}}ller},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Semantic Trees Revisited: Some New Completeness Results},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {568--582},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_114},
doi = {10.1007/3-540-61511-3\_114},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Fernmuller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GrafM96,
author = {Peter Graf and
Christoph Meyer},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Advanced Indexing Operations on Substitution Trees},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {553--567},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_113},
doi = {10.1007/3-540-61511-3\_113},
timestamp = {Wed, 28 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GrafM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KolbeW96,
author = {Thomas Kolbe and
Christoph Walther},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Termination of Theorem Proving by Reuse},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {106--120},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_72},
doi = {10.1007/3-540-61511-3\_72},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KolbeW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchmittK96,
author = {Stephan Schmitt and
Christoph Kreitz},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Converting Non-Classical Matrix Proofs into Sequent-Style Systems},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {418--432},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_104},
doi = {10.1007/3-540-61511-3\_104},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchmittK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SuttnerS96,
author = {Christian B. Suttner and
Geoff Sutcliffe},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {The Design of the {CADE-13} {ATP} System Competition},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {146--160},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_76},
doi = {10.1007/3-540-61511-3\_76},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SuttnerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Weidenbach96,
author = {Christoph Weidenbach},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Unification in Pseudo-Linear Sort Theories is Decidable},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {343--357},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_99},
doi = {10.1007/3-540-61511-3\_99},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Weidenbach96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachGR96,
author = {Christoph Weidenbach and
Bernd Gaede and
Georg Rock},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {{SPASS} {\&} {FLOTTER} Version 0.42},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {141--145},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_75},
doi = {10.1007/3-540-61511-3\_75},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachGR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BourelyCP94,
author = {Christophe Bourely and
Ricardo Caferra and
Nicolas Peltier},
editor = {Alan Bundy},
title = {A Method for Building Models Automatically. Experiments with an Extension
of {OTTER}},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {72--86},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_6},
doi = {10.1007/3-540-58156-1\_6},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BourelyCP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DomenjoudKR94,
author = {Eric Domenjoud and
Francis Klay and
Christophe Ringeissen},
editor = {Alan Bundy},
title = {Combination Techniques for Non-Disjoint Equational Theories},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {267--281},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_19},
doi = {10.1007/3-540-58156-1\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DomenjoudKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GollerLMS94,
author = {Christoph Goller and
Reinhold Letz and
Klaus Mayr and
Johann Schumann},
editor = {Alan Bundy},
title = {{SETHEO} {V3.2:} Recent Developments - System Abstract},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {778--782},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_59},
doi = {10.1007/3-540-58156-1\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GollerLMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Prehofer94,
author = {Christian Prehofer},
editor = {Alan Bundy},
title = {Decidable Higher-Order Unification Problems},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {635--649},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_46},
doi = {10.1007/3-540-58156-1\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Prehofer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSY94,
author = {Geoff Sutcliffe and
Christian B. Suttner and
Theodor Yemenis},
editor = {Alan Bundy},
title = {The {TPTP} Problem Library},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {252--266},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_18},
doi = {10.1007/3-540-58156-1\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BachmairGLS92,
author = {Leo Bachmair and
Harald Ganzinger and
Christopher Lynch and
Wayne Snyder},
editor = {Deepak Kapur},
title = {Basic Paramodulation and Superposition},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {462--476},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_185},
doi = {10.1007/3-540-55602-8\_185},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BachmairGLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Christian92,
author = {Jim Christian},
editor = {Deepak Kapur},
title = {Some Termination Criteria for Narrowing and E-Narrowing},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {582--588},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_193},
doi = {10.1007/3-540-55602-8\_193},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Christian92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyHHS90,
author = {Alan Bundy and
Frank van Harmelen and
Christian Horn and
Alan Smaill},
editor = {Mark E. Stickel},
title = {The Oyster-Clam System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {647--648},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_123},
doi = {10.1007/3-540-52885-7\_123},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BundyHHS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SuttnerE90,
author = {Christian B. Suttner and
Wolfgang Ertel},
editor = {Mark E. Stickel},
title = {Automatic Acquisition of Search Guiding Heuristics},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {470--484},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_108},
doi = {10.1007/3-540-52885-7\_108},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SuttnerE90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LincolnC88,
author = {Patrick Lincoln and
Jim Christian},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Adventures in Associative-Commutative Unification {(A} Summary)},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {358--367},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012843},
doi = {10.1007/BFB0012843},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/LincolnC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Walther88,
author = {Christoph Walther},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Argument-Bounded Algorithms as a Basis for Automated Termination Proofs},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {602--621},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012861},
doi = {10.1007/BFB0012861},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Walther88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeierleOV86,
author = {Christoph Beierle and
Walter G. Olthoff and
Angi Vo{\ss}},
editor = {J{\"{o}}rg H. Siekmann},
title = {Automatic Theorem Proving in the {ISDV} System},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {670--671},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_131},
doi = {10.1007/3-540-16780-3\_131},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeierleOV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiundoHHW86,
author = {Susanne Biundo and
Birgit Hummel and
Dieter Hutter and
Christoph Walther},
editor = {J{\"{o}}rg H. Siekmann},
title = {The Karlsruhe Induction Theorem Proving System},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {672--674},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_132},
doi = {10.1007/3-540-16780-3\_132},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiundoHHW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Walther86,
author = {Christoph Walther},
editor = {J{\"{o}}rg H. Siekmann},
title = {A Classification of Many-Sorted Unification Problems},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {525--537},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_117},
doi = {10.1007/3-540-16780-3\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Walther86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Goad82,
author = {Chris Goad},
editor = {Donald W. Loveland},
title = {Automatic Construction of Special Purpose Programs},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {194--208},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000060},
doi = {10.1007/BFB0000060},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Goad82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Goad80,
author = {Chris Goad},
editor = {Wolfgang Bibel and
Robert A. Kowalski},
title = {Proofs as Description of Computation},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {39--52},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10009-1\_4},
doi = {10.1007/3-540-10009-1\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Goad80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GuihoG80,
author = {G{\'{e}}rard D. Guiho and
Christian Gresse},
editor = {Wolfgang Bibel and
Robert A. Kowalski},
title = {Program Synthesis from Incomplete Specifiactions},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {53--62},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10009-1\_5},
doi = {10.1007/3-540-10009-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GuihoG80.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.
retrieved on 2024-06-14 06:54 CEST from data curated 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:
