Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christoph M. Wintersteiger
@article{DBLP:journals/jcb/YordanovDGAKW23,
author = {Boyan Yordanov and
Sara{-}Jane Dunn and
Colin Gravill and
Himanshu Arora and
Hillel Kugler and
Christoph M. Wintersteiger},
title = {The Reasoning Engine: {A} Satisfiability Modulo Theories-Based Framework
for Reasoning About Discrete Biological Models},
journal = {J. Comput. Biol.},
volume = {30},
number = {9},
pages = {1046--1058},
year = {2023},
url = {https://doi.org/10.1089/cmb.2023.0117},
doi = {10.1089/CMB.2023.0117},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcb/YordanovDGAKW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/HowardAACCCDFJK23,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {2},
pages = {225--240},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p225-howard.pdf},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/HowardAACCCDFJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03976,
author = {Matthew A. Johnson and
Stavros Volos and
Ken Gordon and
Sean T. Allen and
Christoph M. Wintersteiger and
Sylvan Clebsch and
John Starks and
Manuel Costa},
title = {{COCOAEXPO:} Confidential Containers via Attested Execution Policies},
journal = {CoRR},
volume = {abs/2302.03976},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03976},
doi = {10.48550/ARXIV.2302.03976},
eprinttype = {arXiv},
eprint = {2302.03976},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-11559,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {CoRR},
volume = {abs/2310.11559},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.11559},
doi = {10.48550/ARXIV.2310.11559},
eprinttype = {arXiv},
eprint = {2310.11559},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-11559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbra/YordanovDGKW22,
author = {Boyan Yordanov and
Sara{-}Jane Dunn and
Colin Gravill and
Hillel Kugler and
Christoph M. Wintersteiger},
editor = {Mukul S. Bansal and
Zhipeng Cai and
Serghei Mangul},
title = {An SMT-Based Framework for Reasoning About Discrete Biological Models},
booktitle = {Bioinformatics Research and Applications - 18th International Symposium,
{ISBRA} 2022, Haifa, Israel, November 14-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13760},
pages = {114--125},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23198-8\_11},
doi = {10.1007/978-3-031-23198-8\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isbra/YordanovDGKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ShamisPC0FACCDK22,
author = {Alex Shamis and
Peter R. Pietzuch and
Burcu Canakci and
Miguel Castro and
C{\'{e}}dric Fournet and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Antoine Delignat{-}Lavaud and
Matthew Kerner and
Julien Maffre and
Olga Vrousgou and
Christoph M. Wintersteiger and
Manuel Costa and
Mark Russinovich},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {{IA-CCF:} Individual Accountability for Permissioned Ledgers},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {467--491},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/shamis},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/ShamisPC0FACCDK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/OcchipintiHKWYA21,
author = {Annalisa Occhipinti and
Youssef Hamadi and
Hillel Kugler and
Christoph M. Wintersteiger and
Boyan Yordanov and
Claudio Angione},
title = {Discovering Essential Multiple Gene Effects Through Large Scale Optimization:
An Application to Human Cancer Metabolism},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {18},
number = {6},
pages = {2339--2352},
year = {2021},
url = {https://doi.org/10.1109/TCBB.2020.2973386},
doi = {10.1109/TCBB.2020.2973386},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/OcchipintiHKWYA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Natalia Kulatova and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {983--1002},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00114},
doi = {10.1109/SP40000.2020.00114},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/LietarBCDFPSWC19,
author = {Paul Li{\'{e}}tar and
Theodore Butler and
Sylvan Clebsch and
Sophia Drossopoulou and
Juliana Franco and
Matthew J. Parkinson and
Alex Shamis and
Christoph M. Wintersteiger and
David Chisnall},
editor = {Jeremy Singer and
Harry Xu},
title = {snmalloc: a message passing allocator},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on
Memory Management, {ISMM} 2019, Phoenix, AZ, USA, June 23-23, 2019},
pages = {122--135},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315573.3329980},
doi = {10.1145/3315573.3329980},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/LietarBCDFPSWC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ProtzenkoPFHPBB19,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {757},
year = {2019},
url = {https://eprint.iacr.org/2019/757},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/WoodhousePWGF18,
author = {Steven Woodhouse and
Nir Piterman and
Christoph M. Wintersteiger and
Berthold G{\"{o}}ttgens and
Jasmin Fisher},
title = {{SCNS:} a graphical tool for reconstructing executable regulatory
networks from single-cell genomic data},
journal = {{BMC} Syst. Biol.},
volume = {12},
number = {1},
pages = {59:1--59:7},
year = {2018},
url = {https://doi.org/10.1186/s12918-018-0581-y},
doi = {10.1186/S12918-018-0581-Y},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/WoodhousePWGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZeljicBWR18,
author = {Aleksandar Zeljic and
Peter Backeman and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Exploring Approximations for Floating-Point Arithmetic Using UppSAT},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {246--262},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_17},
doi = {10.1007/978-3-319-94205-6\_17},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZeljicBWR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZulkoskiMWLCG18,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Jia Hui Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
editor = {John N. Hooker},
title = {The Effect of Structural Measures and Merges on {SAT} Solver Performance},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {436--452},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_29},
doi = {10.1007/978-3-319-98334-9\_29},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWLCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZulkoskiMWRLCG18,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Robert Robere and
Jia Hui Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
editor = {John N. Hooker},
title = {Learning-Sensitive Backdoors with Restarts},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {453--469},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_30},
doi = {10.1007/978-3-319-98334-9\_30},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWRLCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/BjornerMNW18,
author = {Nikolaj S. Bj{\o}rner and
Leonardo de Moura and
Lev Nachmanson and
Christoph M. Wintersteiger},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Programming {Z3}},
booktitle = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
pages = {148--201},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17601-3\_4},
doi = {10.1007/978-3-030-17601-3\_4},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/BjornerMNW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/LiivaJPW18,
author = {Kristjan Liiva and
Paul B. Jackson and
Grant O. Passmore and
Christoph M. Wintersteiger},
title = {Compositional Taylor Model Based Validated Integration},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {45--52},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00020},
doi = {10.1109/SYNASC.2018.00020},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/synasc/LiivaJPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/HyvarinenW18,
author = {Antti E. J. Hyv{\"{a}}rinen and
Christoph M. Wintersteiger},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Parallel Satisfiability Modulo Theories},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {141--178},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_5},
doi = {10.1007/978-3-319-63516-3\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/HyvarinenW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2018,
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8},
doi = {10.1007/978-3-319-94144-8},
isbn = {978-3-319-94143-1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HamadiAKWY18,
author = {Youssef Hamadi and
Claudio Angione and
Hillel Kugler and
Christoph M. Wintersteiger and
Boyan Yordanov},
title = {Large-scale Genetic Exploration of Genome-wide Models: an Application
to Human Cancer Metabolism},
publisher = {{IEEE} DataPort},
year = {2018},
month = nov,
howpublished = {\url{https://doi.org/10.21227/yegx-4z80}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/yegx-4z80},
doi = {10.21227/YEGX-4Z80},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/HamadiAKWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZeljicWR17,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
title = {An Approximation Framework for Solvers and Decision Procedures},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {127--147},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9393-1},
doi = {10.1007/S10817-016-9393-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZeljicWR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZulkoskiMWRLCG17,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Robert Robere and
Jia Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
title = {Relating Complexity-theoretic Parameters with {SAT} Solver Performance},
journal = {CoRR},
volume = {abs/1706.08611},
year = {2017},
url = {http://arxiv.org/abs/1706.08611},
eprinttype = {arXiv},
eprint = {1706.08611},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZulkoskiMWRLCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08859,
author = {Aleksandar Zeljic and
Peter Backeman and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
title = {Exploring Approximations for Floating-Point Arithmetic using UppSAT},
journal = {CoRR},
volume = {abs/1711.08859},
year = {2017},
url = {http://arxiv.org/abs/1711.08859},
eprinttype = {arXiv},
eprint = {1711.08859},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/ShavitYDWOHLK16,
author = {Yoli Shavit and
Boyan Yordanov and
Sara{-}Jane Dunn and
Christoph M. Wintersteiger and
Tomoki Otani and
Youssef Hamadi and
Frederick J. Livesey and
Hillel Kugler},
title = {Automated Synthesis and Analysis of Switching Gene Regulatory Networks},
journal = {Biosyst.},
volume = {146},
pages = {26--34},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.03.012},
doi = {10.1016/J.BIOSYSTEMS.2016.03.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/ShavitYDWOHLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BackemanWYD16,
author = {Peter Backeman and
Christoph M. Wintersteiger and
Boyan Yordanov and
Sara{-}Jane Dunn},
editor = {Tim King and
Ruzica Piskac},
title = {Algebraic Polynomial-based Synthesis for Abstract Boolean Network
Analysis},
booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo
Theories affiliated with the International Joint Conference on Automated
Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1617},
pages = {41--50},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1617/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BackemanWYD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JanotaW16,
author = {Mikol{\'{a}}s Janota and
Christoph M. Wintersteiger},
editor = {Tim King and
Ruzica Piskac},
title = {On Intervals and Bounds in Bit-vector Arithmetic},
booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo
Theories affiliated with the International Joint Conference on Automated
Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1617},
pages = {81--84},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1617/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/JanotaW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ZeljicWR16,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Deciding Bit-Vector Formulas with mcSAT},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {249--266},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_16},
doi = {10.1007/978-3-319-40970-2\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ZeljicWR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2016cstva,
editor = {Omer Tripp and
Christoph M. Wintersteiger},
title = {Proceedings of the 7th Workshop on Constraint Solvers in Testing,
Verification, and Analysis co-located with The International Symposium
on Software Testing and Analysis {(ISSTA} 2016), Saarbr{\"{u}}cken,
Germany, July 17th, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1639},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1639},
urn = {urn:nbn:de:0074-1639-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2016cstva.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FrohlichBWH15,
author = {Andreas Fr{\"{o}}hlich and
Armin Biere and
Christoph M. Wintersteiger and
Youssef Hamadi},
editor = {Blai Bonet and
Sven Koenig},
title = {Stochastic Local Search for Satisfiability Modulo Theories},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1136--1143},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9372},
doi = {10.1609/AAAI.V29I1.9372},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FrohlichBWH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipcat/ShavitYDWHK15,
author = {Yoli Shavit and
Boyan Yordanov and
Sara{-}Jane Dunn and
Christoph M. Wintersteiger and
Youssef Hamadi and
Hillel Kugler},
editor = {Michael A. Lones and
Andy M. Tyrrell and
Stephen L. Smith and
Gary B. Fogel},
title = {Switching Gene Regulatory Networks},
booktitle = {Information Processing in Cells and Tissues - 10th International Conference,
{IPCAT} 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9303},
pages = {131--144},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23108-2\_11},
doi = {10.1007/978-3-319-23108-2\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipcat/ShavitYDWHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZeljicWR14,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Approximations for Model Construction},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {344--359},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_26},
doi = {10.1007/978-3-319-08587-6\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZeljicWR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PaolettiYHWK14,
author = {Nicola Paoletti and
Boyan Yordanov and
Youssef Hamadi and
Christoph M. Wintersteiger and
Hillel Kugler},
editor = {Armin Biere and
Roderick Bloem},
title = {Analyzing and Synthesizing Genomic Logic Functions},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {343--357},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_23},
doi = {10.1007/978-3-319-08867-9\_23},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/PaolettiYHWK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RabeWKYH14,
author = {Markus N. Rabe and
Christoph M. Wintersteiger and
Hillel Kugler and
Boyan Yordanov and
Youssef Hamadi},
editor = {Gethin Norman and
William H. Sanders},
title = {Symbolic Approximation of the Bounded Reachability Probability in
Large Markov Chains},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {388--403},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_30},
doi = {10.1007/978-3-319-10696-0\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/RabeWKYH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2014,
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163},
urn = {urn:nbn:de:0074-1163-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/HamadiW13,
author = {Youssef Hamadi and
Christoph M. Wintersteiger},
title = {Seven Challenges in Parallel {SAT} Solving},
journal = {{AI} Mag.},
volume = {34},
number = {2},
pages = {99--106},
year = {2013},
url = {https://doi.org/10.1609/aimag.v34i2.2450},
doi = {10.1609/AIMAG.V34I2.2450},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/HamadiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WintersteigerHM13,
author = {Christoph M. Wintersteiger and
Youssef Hamadi and
Leonardo Mendon{\c{c}}a de Moura},
title = {Efficiently solving quantified bit-vector formulas},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {1},
pages = {3--23},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0156-2},
doi = {10.1007/S10703-012-0156-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WintersteigerHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KroeningSTTW13,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
title = {Loop summarization using state and transition invariants},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {3},
pages = {221--261},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0176-y},
doi = {10.1007/S10703-012-0176-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KroeningSTTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKRW13,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Ranking function synthesis for bit-vector relations},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {1},
pages = {93--120},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0186-4},
doi = {10.1007/S10703-013-0186-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookKRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/YordanovWHPK13,
author = {Boyan Yordanov and
Christoph M. Wintersteiger and
Youssef Hamadi and
Andrew Phillips and
Hillel Kugler},
editor = {David Soloveichik and
Bernard Yurke},
title = {Functional Analysis of Large-Scale {DNA} Strand Displacement Circuits},
booktitle = {{DNA} Computing and Molecular Programming - 19th International Conference,
{DNA} 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8141},
pages = {189--203},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-01928-4\_14},
doi = {10.1007/978-3-319-01928-4\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/YordanovWHPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BerdineBIKW13,
author = {Josh Berdine and
Nikolaj S. Bj{\o}rner and
Samin Ishtiaq and
Jael E. Kriener and
Christoph M. Wintersteiger},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Resourceful Reachability as {HORN-LA}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {137--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_10},
doi = {10.1007/978-3-642-45221-5\_10},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BerdineBIKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/YordanovWHK13,
author = {Boyan Yordanov and
Christoph M. Wintersteiger and
Youssef Hamadi and
Hillel Kugler},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {SMT-Based Analysis of Biological Computation},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {78--92},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_6},
doi = {10.1007/978-3-642-38088-4\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/YordanovWHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HamadiW12,
author = {Youssef Hamadi and
Christoph M. Wintersteiger},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Seven Challenges in Parallel {SAT} Solving},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {2120--2125},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8438},
doi = {10.1609/AAAI.V26I1.8438},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HamadiW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCIW12,
author = {Josh Berdine and
Arlen Cox and
Samin Ishtiaq and
Christoph M. Wintersteiger},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Diagnosing Abstraction Failure for Separation Logic-Based Analyses},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {155--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_16},
doi = {10.1007/978-3-642-31424-7\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineCIW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Wintersteiger11,
author = {Christoph M. Wintersteiger},
title = {Termination Analysis for Bit-Vector Programs},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {2011},
url = {https://hdl.handle.net/20.500.11850/72785},
doi = {10.3929/ETHZ-A-006707337},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Wintersteiger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsitovichSWK11,
author = {Aliaksei Tsitovich and
Natasha Sharygina and
Christoph M. Wintersteiger and
Daniel Kroening},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Loop Summarization and Termination Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {81--95},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_9},
doi = {10.1007/978-3-642-19835-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TsitovichSWK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0371,
author = {Youssef Hamadi and
Jo{\~{a}}o Marques{-}Silva and
Christoph M. Wintersteiger},
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Lazy Decomposition for Distributed Decision Procedures},
booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
pages = {43--54},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72.5},
doi = {10.4204/EPTCS.72.5},
timestamp = {Fri, 09 Apr 2021 18:27:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0371.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KroeningSTTW10,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Loopfrog - loop summarization for static analysis},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {130--131},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/g3fd},
doi = {10.29007/G3FD},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KroeningSTTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KroeningSTW10,
author = {Daniel Kroening and
Natasha Sharygina and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Termination Analysis with Compositional Transition Invariants},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {89--103},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_9},
doi = {10.1007/978-3-642-14295-6\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KroeningSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WintersteigerHM10,
author = {Christoph M. Wintersteiger and
Youssef Hamadi and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Efficiently solving quantified bit-vector formulas},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {239--246},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770955/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WintersteigerHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKRW10,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Ranking Function Synthesis for Bit-Vector Relations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {236--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_19},
doi = {10.1007/978-3-642-12002-2\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WintersteigerHM09,
author = {Christoph M. Wintersteiger and
Youssef Hamadi and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {A Concurrent Portfolio Approach to {SMT} Solving},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {715--720},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_60},
doi = {10.1007/978-3-642-02658-4\_60},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WintersteigerHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KroeningSTTW09,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
title = {Loopfrog: {A} Static Analyzer for {ANSI-C} Programs},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {668--670},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.35},
doi = {10.1109/ASE.2009.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KroeningSTTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KroeningSTTW08,
author = {Daniel Kroening and
Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich and
Christoph M. Wintersteiger},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Loop Summarization Using Abstract Transformers},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {111--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_10},
doi = {10.1007/978-3-540-88387-6\_10},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/KroeningSTTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JussilaBSKW07,
author = {Toni Jussila and
Armin Biere and
Carsten Sinz and
Daniel Kr{\"{o}}ning and
Christoph M. Wintersteiger},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {A First Step Towards a Unified Proof Checker for {QBF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {201--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_21},
doi = {10.1007/978-3-540-72788-0\_21},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/JussilaBSKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
