BibTeX records: Elena Tsanko

download as .bib file

@inproceedings{DBLP:conf/date/KolanMSDTAHFTLC21,
  author       = {Tom Kolan and
                  Hillel Mendelson and
                  Vitali Sokhin and
                  Shai Doron and
                  Hernan Theiler and
                  Shay Aviv and
                  Hagai Hadad and
                  Natalia Freidman and
                  Elena Tsanko and
                  John M. Ludden and
                  Bryant Cockcroft},
  title        = {Post Silicon Validation of the {MMU}},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {212--217},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9474095},
  doi          = {10.23919/DATE51398.2021.9474095},
  timestamp    = {Wed, 21 Jul 2021 10:04:34 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KolanMSDTAHFTLC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KolanMSRTW20,
  author       = {Tom Kolan and
                  Hillel Mendelson and
                  Vitali Sokhin and
                  Kevin Reick and
                  Elena Tsanko and
                  Greg Wetli},
  title        = {Post-Silicon Validation of the {IBM} {POWER9} Processor},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {999--1002},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116491},
  doi          = {10.23919/DATE48585.2020.9116491},
  timestamp    = {Thu, 25 Jun 2020 12:55:44 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KolanMSRTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AharoniBDKTV16,
  author       = {Merav Aharoni and
                  Yael Ben{-}Haim and
                  Shai Doron and
                  Anatoly Koyfman and
                  Elena Tsanko and
                  Michael Veksler},
  editor       = {Michel Rueher},
  title        = {Using Graph-Based {CSP} to Solve the Address Translation Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {843--858},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_53},
  doi          = {10.1007/978-3-319-44953-1\_53},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AharoniBDKTV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AdirGHHHHKKLMNPSOTTZ14,
  author       = {Allon Adir and
                  Dave Goodman and
                  Daniel Hershcovich and
                  Oz Hershkovitz and
                  Bryan G. Hickerson and
                  Karen Holtz and
                  Wisam Kadry and
                  Anatoly Koyfman and
                  John M. Ludden and
                  Charles Meissner and
                  Amir Nahir and
                  Randall R. Pratt and
                  Mike Schiffli and
                  Brett St. Onge and
                  Brian W. Thompto and
                  Elena Tsanko and
                  Avi Ziv},
  title        = {Verification of Transactional Memory in {POWER8}},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {58:1--58:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2593241},
  doi          = {10.1145/2593069.2593241},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirGHHHHKKLMNPSOTTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KortsarzMNT11,
  author       = {Guy Kortsarz and
                  Vahab S. Mirrokni and
                  Zeev Nutov and
                  Elena Tsanko},
  title        = {Approximating Minimum-Power Degree and Connectivity Problems},
  journal      = {Algorithmica},
  volume       = {60},
  number       = {4},
  pages        = {735--742},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00453-009-9365-5},
  doi          = {10.1007/S00453-009-9365-5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/KortsarzMNT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BinGHMMPRST10,
  author       = {Eyal Bin and
                  Alaa Ghanayim and
                  Karen Holtz and
                  Eitan Marcus and
                  Ronny Morad and
                  Ofer Peled and
                  Michal Rimon and
                  Gil Shurek and
                  Elena Tsanko},
  title        = {Ontology-Based Tools in the Service of Hardware Verification},
  booktitle    = {Proceedings of the 22nd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
                  Bay, CA, USA, July 1 - July 3, 2010},
  pages        = {303--308},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2010},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BinGHMMPRST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/KortsarzMNT08,
  author       = {Guy Kortsarz and
                  Vahab S. Mirrokni and
                  Zeev Nutov and
                  Elena Tsanko},
  editor       = {Eduardo Sany Laber and
                  Claudson F. Bornstein and
                  Loana Tito Nogueira and
                  Lu{\'{e}}rbio Faria},
  title        = {Approximating Minimum-Power Degree and Connectivity Problems},
  booktitle    = {{LATIN} 2008: Theoretical Informatics, 8th Latin American Symposium,
                  B{\'{u}}zios, Brazil, April 7-11, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4957},
  pages        = {423--435},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78773-0\_37},
  doi          = {10.1007/978-3-540-78773-0\_37},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/KortsarzMNT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics