BibTeX records: Solaiman Rahim

download as .bib file

@inproceedings{DBLP:conf/memocode/LanikLPVRMR15,
  author    = {Jan L{\'{a}}n{\'{\i}}k and
               Julien Legriel and
               Erwan Piriou and
               Emmanuel Viaud and
               Fahim Rahim and
               Oded Maler and
               Solaiman Rahim},
  title     = {Reducing power with activity trigger analysis},
  booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages     = {169--178},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {https://doi.org/10.1109/MEMCOD.2015.7340484},
  doi       = {10.1109/MEMCOD.2015.7340484},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/memocode/LanikLPVRMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PiriouDRR13,
  author    = {Erwan Piriou and
               Rapha{\"{e}}l David and
               Fahim Rahim and
               Solaiman Rahim},
  editor    = {Enrico Macii},
  title     = {A fast and accurate methodology for power estimation and reduction
               of programmable architectures},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {1054--1055},
  publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year      = {2013},
  url       = {https://doi.org/10.7873/DATE.2013.220},
  doi       = {10.7873/DATE.2013.220},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/PiriouDRR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/RahimRT04,
  author    = {Solaiman Rahim and
               Bruno Rouzeyre and
               Lionel Torres},
  title     = {A Flip-Flop Matching Engine to Verify Sequential Optimizations},
  journal   = {Comput. Artif. Intell.},
  volume    = {23},
  number    = {5},
  pages     = {437--460},
  year      = {2004},
  url       = {http://www.sav.sk/index.php?lang=en\&\#38;charset=ascii\&\#38;doc=journal\&\#38;part=list\_articles\&\#38;journal\_issue\_no=1509\#abstract\_2722},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cai/RahimRT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/RahimRTR03,
  author    = {Solaiman Rahim and
               Bruno Rouzeyre and
               Lionel Torres and
               J{\'{e}}r{\^{o}}me Rampon},
  title     = {Matching in the presence of don't cares and redundant sequential elements
               for sequential equivalence checking},
  booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
               Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
  pages     = {129--134},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://doi.org/10.1109/HLDVT.2003.1252486},
  doi       = {10.1109/HLDVT.2003.1252486},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/hldvt/RahimRTR03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics