BibTeX records: Ping Gao 0002

download as .bib file

@inproceedings{DBLP:conf/isaim/Velev016,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent
               {SAT} Problems},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016.},
  year      = {2016},
  crossref  = {DBLP:conf/isaim/2016},
  url       = {http://isaim2016.cs.virginia.edu/\#},
  timestamp = {Thu, 18 Jan 2018 13:13:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/Velev016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/VelevZ0G15,
  author    = {Miroslav N. Velev and
               Chaoqiang Zhang and
               Ping Gao and
               Alex David Groce},
  title     = {Exploiting abstraction, learning from random simulation, and {SVM}
               classification for efficient dynamic prediction of software health
               problems},
  booktitle = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
               2015, Santa Clara, CA, USA, March 2-4, 2015},
  pages     = {412--418},
  year      = {2015},
  crossref  = {DBLP:conf/isqed/2015},
  url       = {https://doi.org/10.1109/ISQED.2015.7085461},
  doi       = {10.1109/ISQED.2015.7085461},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/VelevZ0G15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/Velev014,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Efficient parallel {GPU} algorithms for {BDD} manipulation},
  booktitle = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
               2014, Singapore, January 20-23, 2014},
  pages     = {750--755},
  year      = {2014},
  crossref  = {DBLP:conf/aspdac/2014},
  url       = {https://doi.org/10.1109/ASPDAC.2014.6742980},
  doi       = {10.1109/ASPDAC.2014.6742980},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/Velev014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Velev014,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Improving the efficiency of automated debugging of pipelined microprocessors
               by symmetry breaking in modular schemes for boolean encoding of cardinality},
  booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  pages     = {676--683},
  year      = {2014},
  crossref  = {DBLP:conf/iccad/2014},
  url       = {https://doi.org/10.1109/ICCAD.2014.7001425},
  doi       = {10.1109/ICCAD.2014.7001425},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/Velev014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/Velev014,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Formal verification of safety of polymorphic heterogeneous multi-core
               architectures},
  booktitle = {Fifteenth International Symposium on Quality Electronic Design, {ISQED}
               2014, Santa Clara, CA, USA, March 3-5, 2014},
  pages     = {611--617},
  year      = {2014},
  crossref  = {DBLP:conf/isqed/2014},
  url       = {https://doi.org/10.1109/ISQED.2014.6783383},
  doi       = {10.1109/ISQED.2014.6783383},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/Velev014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/VelevG12,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Automated debugging of counterexamples in formal verification of pipelined
               microprocessors},
  booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
               {ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
  pages     = {689--694},
  year      = {2012},
  crossref  = {DBLP:conf/aspdac/2012},
  url       = {https://doi.org/10.1109/ASPDAC.2012.6165044},
  doi       = {10.1109/ASPDAC.2012.6165044},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/VelevG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/VelevG11,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Automatic formal verification of reconfigurable DSPs},
  booktitle = {Proceedings of the 16th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2011, Yokohama, Japan, January 25-27, 2011},
  pages     = {293--296},
  year      = {2011},
  crossref  = {DBLP:conf/aspdac/2011},
  url       = {https://doi.org/10.1109/ASPDAC.2011.5722201},
  doi       = {10.1109/ASPDAC.2011.5722201},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/VelevG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/VelevG11,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Automatic formal verification of multithreaded pipelined microprocessors},
  booktitle = {2011 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2011, San Jose, California, USA, November 7-10, 2011},
  pages     = {679--686},
  year      = {2011},
  crossref  = {DBLP:conf/iccad/2011},
  url       = {https://doi.org/10.1109/ICCAD.2011.6105403},
  doi       = {10.1109/ICCAD.2011.6105403},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/VelevG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VelevG11,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Exploiting Abstraction for Efficient Formal Verification of DSPs with
               Arrays of Reconfigurable Functional Units},
  booktitle = {Formal Methods and Software Engineering - 13th International Conference
               on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
               2011. Proceedings},
  pages     = {307--322},
  year      = {2011},
  crossref  = {DBLP:conf/icfem/2011},
  url       = {https://doi.org/10.1007/978-3-642-24559-6\_22},
  doi       = {10.1007/978-3-642-24559-6\_22},
  timestamp = {Thu, 15 Jun 2017 21:39:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/VelevG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VelevG11,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {{CNF} encodings of cardinality in formal methods for robustness checking
               of gate-level circuits},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
               15-19 2011, Rio de Janeiro, Brazil},
  pages     = {1479--1482},
  year      = {2011},
  crossref  = {DBLP:conf/iscas/2011},
  url       = {https://doi.org/10.1109/ISCAS.2011.5937854},
  doi       = {10.1109/ISCAS.2011.5937854},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/VelevG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Velev011,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Efficient Pseudo-Boolean Satisfiability Encodings for Routing and
               Wavelength Assignment in Optical Networks},
  booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
               and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
               Spain, July 17-18, 2011.},
  year      = {2011},
  crossref  = {DBLP:conf/sara/2011},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4254},
  timestamp = {Mon, 12 Mar 2012 10:02:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sara/Velev011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Velev011a,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality
               Constraints and Application to Error Diagnosis in Formal Verification
               of Pipelined Microprocessors},
  booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
               and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
               Spain, July 17-18, 2011.},
  year      = {2011},
  crossref  = {DBLP:conf/sara/2011},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4253},
  timestamp = {Mon, 12 Mar 2012 10:02:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sara/Velev011a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/VelevG10,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {A method for debugging of pipelined processors in formal verification
               by correspondence checking},
  booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2010, Taipei, Taiwan, January 18-21, 2010},
  pages     = {619--624},
  year      = {2010},
  crossref  = {DBLP:conf/aspdac/2010},
  url       = {https://doi.org/10.1109/ASPDAC.2010.5419811},
  doi       = {10.1109/ASPDAC.2010.5419811},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/VelevG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VelevG10,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Method for Formal Verification of Soft-Error Tolerance Mechanisms
               in Pipelined Microprocessors},
  booktitle = {Formal Methods and Software Engineering - 12th International Conference
               on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
               17-19, 2010. Proceedings},
  pages     = {355--370},
  year      = {2010},
  crossref  = {DBLP:conf/icfem/2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4\_24},
  doi       = {10.1007/978-3-642-16901-4\_24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/VelevG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Velev010,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Design of parallel portfolios for SAT-based solving of Hamiltonian
               cycle problems},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2010, Fort Lauderdale, Florida, USA, January 6-8, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/isaim/2010},
  url       = {http://gauss.ececs.uc.edu/Workshops/isaim2010/papers/velev.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/Velev010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VelevG09,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Efficient {SAT} Techniques for Relative Encoding of Permutations with
               Constraints},
  booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
               Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
  pages     = {517--527},
  year      = {2009},
  crossref  = {DBLP:conf/ausai/2009},
  url       = {https://doi.org/10.1007/978-3-642-10439-8\_52},
  doi       = {10.1007/978-3-642-10439-8\_52},
  timestamp = {Thu, 01 Jun 2017 18:58:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/VelevG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/VelevG09,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Exploiting hierarchical encodings of equality to design independent
               strategies in parallel {SMT} decision procedures for a logic of equality},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009},
  pages     = {8--13},
  year      = {2009},
  crossref  = {DBLP:conf/hldvt/2009},
  url       = {https://doi.org/10.1109/HLDVT.2009.5340184},
  doi       = {10.1109/HLDVT.2009.5340184},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/VelevG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/VelevG09,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Efficient SAT-based techniques for Design of Experiments by using
               static variable ordering},
  booktitle = {10th International Symposium on Quality of Electronic Design {(ISQED}
               2009), 16-18 March 2009, San Jose, CA, {USA}},
  pages     = {371--376},
  year      = {2009},
  crossref  = {DBLP:conf/isqed/2009},
  url       = {https://doi.org/10.1109/ISQED.2009.4810323},
  doi       = {10.1109/ISQED.2009.4810323},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/VelevG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VelevG09,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Efficient {SAT} Techniques for Absolute Encoding of Permutation Problems:
               Application to Hamiltonian Cycles},
  booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
               {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  year      = {2009},
  crossref  = {DBLP:conf/sara/2009},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/837},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/VelevG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VelevG08,
  author    = {Miroslav N. Velev and
               Ping Gao},
  title     = {Comparison of Boolean Satisfiability Encodings on {FPGA} Detailed
               Routing Problems},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  pages     = {1268--1273},
  year      = {2008},
  crossref  = {DBLP:conf/date/2008},
  url       = {https://doi.org/10.1109/DATE.2008.4484853},
  doi       = {10.1109/DATE.2008.4484853},
  timestamp = {Tue, 06 Nov 2018 16:57:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/VelevG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2016,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016},
  year      = {2016},
  timestamp = {Thu, 18 Jan 2018 13:13:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isqed/2015,
  title     = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
               2015, Santa Clara, CA, USA, March 2-4, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7080985},
  isbn      = {978-1-4799-7581-5},
  timestamp = {Fri, 17 Apr 2015 13:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2014,
  title     = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
               2014, Singapore, January 20-23, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6736726},
  isbn      = {978-1-4799-2816-3},
  timestamp = {Fri, 20 May 2016 11:02:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2014,
  editor    = {Yao{-}Wen Chang},
  title     = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6991350},
  isbn      = {978-1-4799-6277-8},
  timestamp = {Thu, 30 Apr 2015 18:34:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isqed/2014,
  title     = {Fifteenth International Symposium on Quality Electronic Design, {ISQED}
               2014, Santa Clara, CA, USA, March 3-5, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6779216},
  isbn      = {978-1-4799-3945-9},
  timestamp = {Fri, 26 Sep 2014 14:08:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2012,
  title     = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
               {ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6156603},
  isbn      = {978-1-4673-0770-3},
  timestamp = {Mon, 12 Mar 2012 12:30:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2011,
  title     = {Proceedings of the 16th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2011, Yokohama, Japan, January 25-27, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5716646},
  isbn      = {978-1-4244-7516-2},
  timestamp = {Fri, 20 May 2016 11:27:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2011,
  editor    = {Joel R. Phillips and
               Alan J. Hu and
               Helmut Graeb},
  title     = {2011 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2011, San Jose, California, USA, November 7-10, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6095474},
  isbn      = {978-1-4577-1399-6},
  timestamp = {Thu, 30 Apr 2015 18:34:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2011,
  editor    = {Shengchao Qin and
               Zongyan Qiu},
  title     = {Formal Methods and Software Engineering - 13th International Conference
               on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6991},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24559-6},
  doi       = {10.1007/978-3-642-24559-6},
  isbn      = {978-3-642-24558-9},
  timestamp = {Thu, 15 Jun 2017 21:39:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscas/2011,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
               15-19 2011, Rio de Janeiro, Brazil},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5910713},
  isbn      = {978-1-4244-9473-6},
  timestamp = {Fri, 20 May 2016 09:36:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2011,
  editor    = {Michael R. Genesereth and
               Peter Z. Revesz},
  title     = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
               and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
               Spain, July 17-18, 2011},
  publisher = {{AAAI}},
  year      = {2011},
  isbn      = {978-1-57735-543-4},
  timestamp = {Mon, 12 Mar 2012 10:02:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sara/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2010,
  title     = {Proceedings of the 15th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2010, Taipei, Taiwan, January 18-21, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5415928},
  isbn      = {978-1-60558-837-7},
  timestamp = {Fri, 20 May 2016 11:34:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2010,
  editor    = {Jin Song Dong and
               Huibiao Zhu},
  title     = {Formal Methods and Software Engineering - 12th International Conference
               on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
               17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6447},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4},
  doi       = {10.1007/978-3-642-16901-4},
  isbn      = {978-3-642-16900-7},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2010,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2010, Fort Lauderdale, Florida, USA, January 6-8, 2010},
  year      = {2010},
  url       = {http://gauss.ececs.uc.edu/Workshops/isaim2010/proceedings.html},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2009,
  editor    = {Ann E. Nicholson and
               Xiaodong Li},
  title     = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
               Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5866},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10439-8},
  doi       = {10.1007/978-3-642-10439-8},
  isbn      = {978-3-642-10438-1},
  timestamp = {Thu, 01 Jun 2017 18:58:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2009,
  title     = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5331931},
  isbn      = {978-1-4244-4823-4},
  timestamp = {Tue, 12 May 2015 17:11:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isqed/2009,
  title     = {10th International Symposium on Quality of Electronic Design {(ISQED}
               2009), 16-18 March 2009, San Jose, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4804412},
  isbn      = {978-1-4244-2952-3},
  timestamp = {Fri, 26 Sep 2014 14:08:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isqed/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2009,
  editor    = {Vadim Bulitko and
               J. Christopher Beck},
  title     = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
               {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher = {{AAAI}},
  year      = {2009},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2008,
  editor    = {Donatella Sciuto},
  title     = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1403375},
  doi       = {10.1145/1403375},
  isbn      = {978-3-9810801-3-1},
  timestamp = {Tue, 06 Nov 2018 16:57:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier