BibTeX records: Martin Brain

download as .bib file

@inproceedings{DBLP:conf/vmcai/YamaguchiBRIK19,
  author    = {Tomoya Yamaguchi and
               Martin Brain and
               Chirs Ryder and
               Yosikazu Imai and
               Yoshiumi Kawamura},
  title     = {Application of Abstract Interpretation to the Automotive Electronic
               Control System},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
               Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
               Proceedings},
  pages     = {425--445},
  year      = {2019},
  crossref  = {DBLP:conf/vmcai/2019},
  url       = {https://doi.org/10.1007/978-3-030-11245-5\_20},
  doi       = {10.1007/978-3-030-11245-5\_20},
  timestamp = {Mon, 14 Jan 2019 18:17:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/YamaguchiBRIK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08775,
  author    = {Clark Barrett and
               Haniel Barbosa and
               Martin Brain and
               Duligur Ibeling and
               Tim King and
               Paul Meng and
               Aina Niemetz and
               Andres N{\"{o}}tzli and
               Mathias Preiner and
               Andrew Reynolds and
               Cesare Tinelli},
  title     = {{CVC4} at the {SMT} Competition 2018},
  journal   = {CoRR},
  volume    = {abs/1806.08775},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.08775},
  archivePrefix = {arXiv},
  eprint    = {1806.08775},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-08775},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchrammelKBMTB17,
  author    = {Peter Schrammel and
               Daniel Kroening and
               Martin Brain and
               Ruben Martins and
               Tino Teige and
               Tom Bienm{\"{u}}ller},
  title     = {Incremental bounded model checking for embedded software},
  journal   = {Formal Asp. Comput.},
  volume    = {29},
  number    = {5},
  pages     = {911--931},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00165-017-0419-1},
  doi       = {10.1007/s00165-017-0419-1},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/SchrammelKBMTB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamA0BBCDEF17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Vijay Ganesh and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler},
  title     = {SC-square: when Satisfiability Checking and Symbolic Computation join
               forces},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  pages     = {6--10},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017arcade},
  url       = {http://www.easychair.org/publications/paper/WR2g},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/AbrahamA0BBCDEF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SunBKHWSJDBB17,
  author    = {Youcheng Sun and
               Martin Brain and
               Daniel Kroening and
               Andrew Hawthorn and
               Thomas Wilson and
               Florian Schanda and
               Francisco Javier Guzman Jimenez and
               Simon Daniel and
               Chris Bryan and
               Ian Broster},
  title     = {Functional Requirements-Based Automated Testing for Avionics},
  booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
               {ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
  pages     = {170--173},
  year      = {2017},
  crossref  = {DBLP:conf/iceccs/2017},
  url       = {https://doi.org/10.1109/ICECCS.2017.18},
  doi       = {10.1109/ICECCS.2017.18},
  timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/SunBKHWSJDBB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrainDG17,
  author    = {Martin Brain and
               James H. Davenport and
               Alberto Griggio},
  title     = {Benchmarking Solvers, SAT-style},
  booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
               and Symbolic Computation co-located with the 42nd International Symposium
               on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
               Germany, July 29, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/issac/2017sc},
  url       = {http://ceur-ws.org/Vol-1974/RP3.pdf},
  timestamp = {Sun, 29 Oct 2017 17:32:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/BrainDG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SunBKHWSJDBB17,
  author    = {Youcheng Sun and
               Martin Brain and
               Daniel Kroening and
               Andrew Hawthorn and
               Thomas Wilson and
               Florian Schanda and
               Francisco Javier Guzman Jimenez and
               Simon Daniel and
               Chris Bryan and
               Ian Broster},
  title     = {Functional Requirements-Based Automated Testing for Avionics},
  journal   = {CoRR},
  volume    = {abs/1707.01466},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.01466},
  archivePrefix = {arXiv},
  eprint    = {1707.01466},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SunBKHWSJDBB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability checking and symbolic computation},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {145--147},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055285},
  doi       = {10.1145/3055282.3055285},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/AbrahamA0BBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NevilleMBK16,
  author    = {Daniel Neville and
               Andrew Malton and
               Martin Brain and
               Daniel Kroening},
  title     = {Towards Automated Bounded Model Checking of {API} Implementations},
  booktitle = {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.},
  pages     = {31--42},
  year      = {2016},
  crossref  = {DBLP:conf/issta/2016cstva},
  url       = {http://ceur-ws.org/Vol-1639/paper-06.pdf},
  timestamp = {Tue, 19 Jul 2016 18:49:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/NevilleMBK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
               - (Project Paper)},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {28--43},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4\_3},
  doi       = {10.1007/978-3-319-42547-4\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BrainKM16,
  author    = {Martin Brain and
               Daniel Kroening and
               Ryan McCleeary},
  title     = {Algebraic Techniques in Software Verification : Challenges and Opportunities},
  booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
               Computation co-located with 18th International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
               Romania, September 24, 2016.},
  pages     = {8--12},
  year      = {2016},
  crossref  = {DBLP:conf/synasc/2016sc},
  url       = {http://ceur-ws.org/Vol-1804/paper-03.pdf},
  timestamp = {Mon, 17 Apr 2017 18:31:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/BrainKM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BrainHKM16,
  author    = {Martin Brain and
               Liana Hadarean and
               Daniel Kroening and
               Ruben Martins},
  title     = {Automatic Generation of Propagation Complete {SAT} Encodings},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  pages     = {536--556},
  year      = {2016},
  crossref  = {DBLP:conf/vmcai/2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5\_26},
  doi       = {10.1007/978-3-662-49122-5\_26},
  timestamp = {Wed, 14 Nov 2018 10:59:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/BrainHKM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking and Symbolic Computation},
  journal   = {CoRR},
  volume    = {abs/1607.06945},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06945},
  archivePrefix = {arXiv},
  eprint    = {1607.06945},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
  journal   = {CoRR},
  volume    = {abs/1607.08028},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.08028},
  archivePrefix = {arXiv},
  eprint    = {1607.08028},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/McCleearyBS15,
  author    = {Ryan McCleeary and
               Martin Brain and
               Aaron Stump},
  title     = {A lazy approach to adaptive exact real arithmetic using floating-point
               operations},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {49},
  number    = {3},
  pages     = {83--86},
  year      = {2015},
  url       = {https://doi.org/10.1145/2850449.2850456},
  doi       = {10.1145/2850449.2850456},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/McCleearyBS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BrainTRW15,
  author    = {Martin Brain and
               Cesare Tinelli and
               Philipp R{\"{u}}mmer and
               Thomas Wahl},
  title     = {An Automatable Formal Semantics for {IEEE-754} Floating-Point Arithmetic},
  booktitle = {22nd {IEEE} Symposium on Computer Arithmetic, {ARITH} 2015, Lyon,
               France, June 22-24, 2015},
  pages     = {160--167},
  year      = {2015},
  crossref  = {DBLP:conf/arith/2015},
  url       = {https://doi.org/10.1109/ARITH.2015.26},
  doi       = {10.1109/ARITH.2015.26},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arith/BrainTRW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SchrammelKBMTB15,
  author    = {Peter Schrammel and
               Daniel Kroening and
               Martin Brain and
               Ruben Martins and
               Tino Teige and
               Tom Bienm{\"{u}}ller},
  title     = {Successful Use of Incremental {BMC} in the Automotive Industry},
  booktitle = {Formal Methods for Industrial Critical Systems - 20th International
               Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
  pages     = {62--77},
  year      = {2015},
  crossref  = {DBLP:conf/fmics/2015},
  url       = {https://doi.org/10.1007/978-3-319-19458-5\_5},
  doi       = {10.1007/978-3-319-19458-5\_5},
  timestamp = {Fri, 25 Aug 2017 06:45:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/SchrammelKBMTB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Brain0KS15,
  author    = {Martin Brain and
               Saurabh Joshi and
               Daniel Kroening and
               Peter Schrammel},
  title     = {Safety Verification and Refutation by k-Invariants and k-Induction},
  booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
               France, September 9-11, 2015, Proceedings},
  pages     = {145--161},
  year      = {2015},
  crossref  = {DBLP:conf/sas/2015},
  url       = {https://doi.org/10.1007/978-3-662-48288-9\_9},
  doi       = {10.1007/978-3-662-48288-9\_9},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/Brain0KS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brain0KS15,
  author    = {Martin Brain and
               Saurabh Joshi and
               Daniel Kroening and
               Peter Schrammel},
  title     = {Safety Verification and Refutation by k-invariants and k-induction
               (extended version)},
  journal   = {CoRR},
  volume    = {abs/1506.05671},
  year      = {2015},
  url       = {http://arxiv.org/abs/1506.05671},
  archivePrefix = {arXiv},
  eprint    = {1506.05671},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Brain0KS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrainDGHK14,
  author    = {Martin Brain and
               Vijay D'Silva and
               Alberto Griggio and
               Leopold Haller and
               Daniel Kroening},
  title     = {Deciding floating-point logic with abstract conflict driven clause
               learning},
  journal   = {Formal Methods in System Design},
  volume    = {45},
  number    = {2},
  pages     = {213--245},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10703-013-0203-7},
  doi       = {10.1007/s10703-013-0203-7},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BrainDGHK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BrainDKS14,
  author    = {Martin Brain and
               Cristina David and
               Daniel Kroening and
               Peter Schrammel},
  title     = {Model and Proof Generation for Heap-Manipulating Programs},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  pages     = {432--452},
  year      = {2014},
  crossref  = {DBLP:conf/esop/2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8\_23},
  doi       = {10.1007/978-3-642-54833-8\_23},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BrainDKS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchrammelKBMTB14,
  author    = {Peter Schrammel and
               Daniel Kroening and
               Martin Brain and
               Ruben Martins and
               Tino Teige and
               Tom Bienm{\"{u}}ller},
  title     = {Incremental Bounded Model Checking for Embedded Software (extended
               version)},
  journal   = {CoRR},
  volume    = {abs/1409.5872},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.5872},
  archivePrefix = {arXiv},
  eprint    = {1409.5872},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SchrammelKBMTB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrainDGHK13,
  author    = {Martin Brain and
               Vijay D'Silva and
               Alberto Griggio and
               Leopold Haller and
               Daniel Kroening},
  title     = {Interpolation-Based Verification of Floating-Point Programs with Abstract
               {CDCL}},
  booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  pages     = {412--432},
  year      = {2013},
  crossref  = {DBLP:conf/sas/2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9\_22},
  doi       = {10.1007/978-3-642-38856-9\_22},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BrainDGHK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BrainDHGK13,
  author    = {Martin Brain and
               Vijay D'Silva and
               Leopold Haller and
               Alberto Griggio and
               Daniel Kroening},
  title     = {An Abstract Interpretation of {DPLL(T)}},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
               Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  pages     = {455--475},
  year      = {2013},
  crossref  = {DBLP:conf/vmcai/2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9\_27},
  doi       = {10.1007/978-3-642-35873-9\_27},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/BrainDHGK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/BoennBVf12,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John ffitch},
  title     = {Computational Music Theory},
  booktitle = {Musical Metacreation, Papers from the 2012 {AIIDE} Workshop, October
               9, 2012, Stanford University, Palo Alto, California, {USA.}},
  year      = {2012},
  crossref  = {DBLP:conf/aiide/2012mume},
  url       = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5508},
  timestamp = {Tue, 09 Jan 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiide/BoennBVf12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HallerGBK12,
  author    = {Leopold Haller and
               Alberto Griggio and
               Martin Brain and
               Daniel Kroening},
  title     = {Deciding floating-point logic with systematic abstraction},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
               UK, October 22-25, 2012},
  pages     = {131--140},
  year      = {2012},
  crossref  = {DBLP:conf/fmcad/2012},
  url       = {http://ieeexplore.ieee.org/document/6462565/},
  timestamp = {Sat, 29 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/HallerGBK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchandaB12,
  author    = {Florian Schanda and
               Martin Brain},
  title     = {Using Answer Set Programming in the Development of Verified Software},
  booktitle = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  pages     = {72--85},
  year      = {2012},
  crossref  = {DBLP:conf/iclp/2012},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2012.72},
  doi       = {10.4230/LIPIcs.ICLP.2012.72},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/SchandaB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SeghirB12,
  author    = {Mohamed Nassim Seghir and
               Martin Brain},
  title     = {Simplifying the Verification of Quantified Array Assertions via Code
               Transformation},
  booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
               Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
               Revised Selected Papers},
  pages     = {194--212},
  year      = {2012},
  crossref  = {DBLP:conf/lopstr/2012},
  url       = {https://doi.org/10.1007/978-3-642-38197-3\_13},
  doi       = {10.1007/978-3-642-38197-3\_13},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/SeghirB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BrainS12,
  author    = {Martin Brain and
               Florian Schanda},
  title     = {A Lightweight Technique for Distributed and Incremental Program Verification},
  booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
               Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
               Proceedings},
  pages     = {114--129},
  year      = {2012},
  crossref  = {DBLP:conf/vstte/2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4\_10},
  doi       = {10.1007/978-3-642-27705-4\_10},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/BrainS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BoennBVF11,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John P. Fitch},
  title     = {Automatic music composition using answer set programming},
  journal   = {{TPLP}},
  volume    = {11},
  number    = {2-3},
  pages     = {397--427},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1471068410000530},
  doi       = {10.1017/S1471068410000530},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/BoennBVF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/BoennBVf11,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John ffitch},
  title     = {Anton - {A} Rule-Based Composition System},
  booktitle = {Proceedings of the 2011 International Computer Music Conference, {ICMC}
               2011, Huddersfield, UK, July 31 - August 5, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/icmc/2011},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2011.028},
  timestamp = {Tue, 02 Feb 2016 16:17:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/BoennBVf11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4948,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John ffitch},
  title     = {Automatic Music Composition using Answer Set Programming},
  journal   = {CoRR},
  volume    = {abs/1006.4948},
  year      = {2010},
  url       = {http://arxiv.org/abs/1006.4948},
  archivePrefix = {arXiv},
  eprint    = {1006.4948},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1006-4948},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrainV09,
  author    = {Martin Brain and
               Marina De Vos},
  title     = {The Significance of Memory Costs in Answer Set Solver Implementation},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {4},
  pages     = {615--641},
  year      = {2009},
  url       = {https://doi.org/10.1093/logcom/exn038},
  doi       = {10.1093/logcom/exn038},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/BrainV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BoennBVF09,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John ffitch},
  title     = {{ANTON:} Composing Logic and Logic Composing},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {542--547},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6\_55},
  doi       = {10.1007/978-3-642-04238-6\_55},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/BoennBVF09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CrickBVF09,
  author    = {Tom Crick and
               Martin Brain and
               Marina De Vos and
               John P. Fitch},
  title     = {Generating Optimal Code Using Answer Set Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {554--559},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6\_57},
  doi       = {10.1007/978-3-642-04238-6\_57},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/CrickBVF09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/exact/BrainV08,
  author    = {Martin Brain and
               Marina De Vos},
  title     = {Answer Set Programming ? a Domain in Need of Explanation: {A} Position
               Paper},
  booktitle = {Explanation-aware Computing, Papers from the 2008 {ECAI} Workshop,
               Patras, Greece, July 21-22, 2008. University of Patras.},
  pages     = {37--48},
  year      = {2008},
  crossref  = {DBLP:conf/exact/2008},
  timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/exact/BrainV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoennBVF08,
  author    = {Georg Boenn and
               Martin Brain and
               Marina De Vos and
               John ffitch},
  title     = {Automatic Composition of Melodic and Harmonic Music by Answer Set
               Programming},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {160--174},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_21},
  doi       = {10.1007/978-3-540-89982-2\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/BoennBVF08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CliffeVBP08,
  author    = {Owen Cliffe and
               Marina De Vos and
               Martin Brain and
               Julian A. Padget},
  title     = {{ASPVIZ:} Declarative Visualisation and Animation Using Answer Set
               Programming},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {724--728},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_65},
  doi       = {10.1007/978-3-540-89982-2\_65},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/CliffeVBP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrainGPSTW07,
  author    = {Martin Brain and
               Martin Gebser and
               J{\"{o}}rg P{\"{u}}hrer and
               Torsten Schaub and
               Hans Tompits and
               Stefan Woltran},
  title     = {Debugging {ASP} Programs by Means of {ASP}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
               {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
  pages     = {31--43},
  year      = {2007},
  crossref  = {DBLP:conf/lpnmr/2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7\_5},
  doi       = {10.1007/978-3-540-72200-7\_5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/BrainGPSTW07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrainCVF06,
  author    = {Martin Brain and
               Tom Crick and
               Marina De Vos and
               John P. Fitch},
  title     = {{TOAST:} Applying Answer Set Programming to Superoptimisation},
  booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
               WA, USA, August 17-20, 2006, Proceedings},
  pages     = {270--284},
  year      = {2006},
  crossref  = {DBLP:conf/iclp/2006},
  url       = {https://doi.org/10.1007/11799573\_21},
  doi       = {10.1007/11799573\_21},
  timestamp = {Wed, 14 Nov 2018 10:58:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/BrainCVF06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Brain06,
  author    = {Martin Brain},
  title     = {Declarative Problem Solving Using Answer Set Semantics},
  booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
               WA, USA, August 17-20, 2006, Proceedings},
  pages     = {459--460},
  year      = {2006},
  crossref  = {DBLP:conf/iclp/2006},
  url       = {https://doi.org/10.1007/11799573\_48},
  doi       = {10.1007/11799573\_48},
  timestamp = {Wed, 14 Nov 2018 10:58:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/Brain06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/BrainV05,
  author    = {Martin Brain and
               Marina De Vos},
  title     = {Debugging Logic Programs under the Answer Set Semantics},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page141.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/BrainV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/BrainWV05,
  author    = {Martin Brain and
               Richard Watson and
               Marina De Vos},
  title     = {An Interactive Approach to Answer Set Programming},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page190.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/BrainWV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/VosCPBCN05,
  author    = {Marina De Vos and
               Tom Crick and
               Julian A. Padget and
               Martin Brain and
               Owen Cliffe and
               Jonathan Needham},
  title     = {{LAIMA:} {A} Multi-agent Platform Using Ordered Choice Logic Programming},
  booktitle = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  pages     = {72--88},
  year      = {2005},
  crossref  = {DBLP:conf/dalt/2005},
  url       = {https://doi.org/10.1007/11691792\_5},
  doi       = {10.1007/11691792\_5},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/VosCPBCN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/BrainV03,
  author    = {Martin Brain and
               Marina De Vos},
  title     = {Implementing {OCLP} as a front-end for Answer Set Solvers: From Theory
               to Practice},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
               2003},
  year      = {2003},
  crossref  = {DBLP:conf/asp/2003},
  url       = {http://ceur-ws.org/Vol-78/asp03-final-brain.pdf},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/BrainV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2019,
  editor    = {Constantin Enea and
               Ruzica Piskac},
  title     = {Verification, Model Checking, and Abstract Interpretation - 20th International
               Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11388},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-11245-5},
  doi       = {10.1007/978-3-030-11245-5},
  isbn      = {978-3-030-11244-8},
  timestamp = {Mon, 14 Jan 2019 18:17:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2017arcade,
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {{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},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCADE\_2017},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017arcade},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2017,
  title     = {22nd International Conference on Engineering of Complex Computer Systems,
               {ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8270726},
  isbn      = {978-1-5386-2431-9},
  timestamp = {Tue, 20 Feb 2018 19:54:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2017sc,
  editor    = {Matthew England and
               Vijay Ganesh},
  title     = {Proceedings of the 2nd International Workshop on Satisfiability Checking
               and Symbolic Computation co-located with the 42nd International Symposium
               on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
               Germany, July 29, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1974},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1974},
  urn       = {urn:nbn:de:0074-1974-4},
  timestamp = {Sun, 29 Oct 2017 17:32:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2017sc},
  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       = {http://ceur-ws.org/Vol-1639},
  urn       = {urn:nbn:de:0074-1639-5},
  timestamp = {Tue, 19 Jul 2016 18:49:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2016cstva},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2016sc,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               James H. Davenport and
               Pascal Fontaine},
  title     = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
               Computation co-located with 18th International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
               Romania, September 24, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1804},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1804},
  urn       = {urn:nbn:de:0074-1804-0},
  timestamp = {Mon, 17 Apr 2017 18:31:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016sc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
  editor    = {Barbara Jobstmann and
               K. Rustan M. Leino},
  title     = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9583},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5},
  doi       = {10.1007/978-3-662-49122-5},
  isbn      = {978-3-662-49121-8},
  timestamp = {Wed, 14 Nov 2018 10:59:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arith/2015,
  title     = {22nd {IEEE} Symposium on Computer Arithmetic, {ARITH} 2015, Lyon,
               France, June 22-24, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7193754},
  isbn      = {978-1-4799-8664-4},
  timestamp = {Thu, 27 Aug 2015 17:03:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arith/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2015,
  editor    = {Manuel N{\'{u}}{\~{n}}ez and
               Matthias G{\"{u}}demann},
  title     = {Formal Methods for Industrial Critical Systems - 20th International
               Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9128},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19458-5},
  doi       = {10.1007/978-3-319-19458-5},
  isbn      = {978-3-319-19457-8},
  timestamp = {Fri, 25 Aug 2017 06:45:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2015,
  editor    = {Sandrine Blazy and
               Thomas Jensen},
  title     = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
               France, September 9-11, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9291},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48288-9},
  doi       = {10.1007/978-3-662-48288-9},
  isbn      = {978-3-662-48287-2},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2014,
  editor    = {Zhong Shao},
  title     = {Programming Languages and Systems - 23rd European Symposium on Programming,
               {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8410},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54833-8},
  doi       = {10.1007/978-3-642-54833-8},
  isbn      = {978-3-642-54832-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2013,
  editor    = {Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  title     = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
               WA, USA, June 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7935},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38856-9},
  doi       = {10.1007/978-3-642-38856-9},
  isbn      = {978-3-642-38855-2},
  timestamp = {Wed, 24 May 2017 08:27:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
  editor    = {Roberto Giacobazzi and
               Josh Berdine and
               Isabella Mastroeni},
  title     = {Verification, Model Checking, and Abstract Interpretation, 14th International
               Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7737},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9},
  doi       = {10.1007/978-3-642-35873-9},
  isbn      = {978-3-642-35872-2},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiide/2012mume,
  editor    = {Philippe Pasquier and
               Arne Eigenfeldt and
               Oliver Bown},
  title     = {Musical Metacreation, Papers from the 2012 {AIIDE} Workshop, October
               9, 2012, Stanford University, Palo Alto, California, {USA}},
  series    = {{AAAI} Workshops},
  volume    = {{WS-12-16}},
  publisher = {{AAAI} Press},
  year      = {2012},
  url       = {http://www.aaai.org/Library/Workshops/ws12-16.php},
  timestamp = {Tue, 09 Jan 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiide/2012mume},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2012,
  editor    = {Gianpiero Cabodi and
               Satnam Singh},
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
               UK, October 22-25, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6450168},
  isbn      = {978-1-4673-4832-4},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2012,
  editor    = {Agostino Dovier and
               V{\'{\i}}tor Santos Costa},
  title     = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  series    = {LIPIcs},
  volume    = {17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008},
  isbn      = {978-3-939897-43-9},
  timestamp = {Thu, 05 Dec 2013 17:22:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2012,
  editor    = {Elvira Albert},
  title     = {Logic-Based Program Synthesis and Transformation, 22nd International
               Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7844},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38197-3},
  doi       = {10.1007/978-3-642-38197-3},
  isbn      = {978-3-642-38196-6},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2012,
  editor    = {Rajeev Joshi and
               Peter M{\"{u}}ller and
               Andreas Podelski},
  title     = {Verified Software: Theories, Tools, Experiments - 4th International
               Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7152},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4},
  doi       = {10.1007/978-3-642-27705-4},
  isbn      = {978-3-642-27704-7},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2011,
  title     = {Proceedings of the 2011 International Computer Music Conference, {ICMC}
               2011, Huddersfield, UK, July 31 - August 5, 2011},
  publisher = {Michigan Publishing},
  year      = {2011},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2011},
  timestamp = {Tue, 02 Feb 2016 16:17:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
  editor    = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  title     = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6},
  doi       = {10.1007/978-3-642-04238-6},
  isbn      = {978-3-642-04237-9},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/exact/2008,
  editor    = {Thomas Roth{-}Berghofer and
               Stefan Schulz and
               David B. Leake and
               Daniel Bahls},
  title     = {Explanation-aware Computing, Papers from the 2008 {ECAI} Workshop,
               Patras, Greece, July 21-22, 2008. University of Patras},
  year      = {2008},
  timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/exact/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2},
  doi       = {10.1007/978-3-540-89982-2},
  isbn      = {978-3-540-89981-5},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2007,
  editor    = {Chitta Baral and
               Gerhard Brewka and
               John S. Schlipf},
  title     = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
               {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4483},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7},
  doi       = {10.1007/978-3-540-72200-7},
  isbn      = {978-3-540-72199-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2006,
  editor    = {Sandro Etalle and
               Miroslaw Truszczynski},
  title     = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
               WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4079},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11799573},
  doi       = {10.1007/11799573},
  isbn      = {3-540-36635-0},
  timestamp = {Wed, 14 Nov 2018 10:58:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2005,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {142},
  publisher = {CEUR-WS.org},
  year      = {2005},
  url       = {http://ceur-ws.org/Vol-142},
  urn       = {urn:nbn:de:0074-142-5},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2005,
  editor    = {Matteo Baldoni and
               Ulle Endriss and
               Andrea Omicini and
               Paolo Torroni},
  title     = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3904},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691792},
  doi       = {10.1007/11691792},
  isbn      = {3-540-33106-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2003,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
               2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {78},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-78},
  urn       = {urn:nbn:de:0074-78-6},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier