BibTeX records: Mohamed Ibrahim 0002

download as .bib file

@inproceedings{DBLP:conf/asplos/WanDIQJZKRR25,
  author       = {Zishen Wan and
                  Yuhang Du and
                  Mohamed Ibrahim and
                  Jiayi Qian and
                  Jason Jabbour and
                  Yang Katie Zhao and
                  Tushar Krishna and
                  Arijit Raychowdhury and
                  Vijay Janapa Reddi},
  editor       = {Lieven Eeckhout and
                  Georgios Smaragdakis and
                  Katai Liang and
                  Adrian Sampson and
                  Martha A. Kim and
                  Christopher J. Rossbach},
  title        = {ReCA: Integrated Acceleration for Real-Time and Efficient Cooperative
                  Embodied Autonomous Agents},
  booktitle    = {Proceedings of the 30th {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, Volume 2,
                  {ASPLOS} 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025},
  pages        = {982--997},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3676641.3716016},
  doi          = {10.1145/3676641.3716016},
  timestamp    = {Sun, 14 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/WanDIQJZKRR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2508-14245,
  author       = {Shuting Du and
                  Mohamed Ibrahim and
                  Zishen Wan and
                  Luqi Zheng and
                  Boheng Zhao and
                  Zhenkun Fan and
                  Che{-}Kai Liu and
                  Tushar Krishna and
                  Arijit Raychowdhury and
                  Haitong Li},
  title        = {Cross-Layer Design of Vector-Symbolic Computing: Bridging Cognition
                  and Brain-Inspired Hardware Acceleration},
  journal      = {CoRR},
  volume       = {abs/2508.14245},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2508.14245},
  doi          = {10.48550/ARXIV.2508.14245},
  eprinttype   = {arXiv},
  eprint       = {2508.14245},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2508-14245.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcasai/WanLYRLYFWLKSLIRKR24,
  author       = {Zishen Wan and
                  Che{-}Kai Liu and
                  Hanchen Yang and
                  Ritik Raj and
                  Chaojian Li and
                  Haoran You and
                  Yonggan Fu and
                  Cheng Wan and
                  Sixu Li and
                  Youbin Kim and
                  Ananda Samajdar and
                  Yingyan Lin and
                  Mohamed Ibrahim and
                  Jan M. Rabaey and
                  Tushar Krishna and
                  Arijit Raychowdhury},
  title        = {Towards Efficient Neuro-Symbolic {AI:} From Workload Characterization
                  to Hardware Architecture},
  journal      = {{IEEE} Trans. Circuits Syst. Artif. Intell.},
  volume       = {1},
  number       = {1},
  pages        = {53--68},
  year         = {2024},
  url          = {https://doi.org/10.1109/TCASAI.2024.3462692},
  doi          = {10.1109/TCASAI.2024.3462692},
  timestamp    = {Thu, 12 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcasai/WanLYRLYFWLKSLIRKR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/codesisss/IbrahimWLPKKCR24,
  author       = {Mohamed Ibrahim and
                  Zishen Wan and
                  Haitong Li and
                  Priyadarshini Panda and
                  Tushar Krishna and
                  Pentti Kanerva and
                  Yiran Chen and
                  Arijit Raychowdhury},
  title        = {Special Session: Neuro-Symbolic Architecture Meets Large Language
                  Models: {A} Memory-Centric Perspective},
  booktitle    = {International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2024, Raleigh, NC, USA, September 29 - Oct.
                  4, 2024},
  pages        = {11--20},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/CODES-ISSS60120.2024.00012},
  doi          = {10.1109/CODES-ISSS60120.2024.00012},
  timestamp    = {Sat, 31 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codesisss/IbrahimWLPKKCR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimKR24,
  author       = {Mohamed Ibrahim and
                  Youbin Kim and
                  Jan M. Rabaey},
  title        = {Efficient Design of a Hyperdimensional Processing Unit for Multi-Layer
                  Cognition},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2024, Valencia, Spain, March 25-27, 2024},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.23919/DATE58400.2024.10546810},
  doi          = {10.23919/DATE58400.2024.10546810},
  timestamp    = {Fri, 16 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimKR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/WanLIYSKR24,
  author       = {Zishen Wan and
                  Che{-}Kai Liu and
                  Mohamed Ibrahim and
                  Hanchen Yang and
                  Samuel Spetalnick and
                  Tushar Krishna and
                  Arijit Raychowdhury},
  title        = {H3DFact: Heterogeneous 3D Integrated {CIM} for Factorization with
                  Holographic Perceptual Representations},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2024, Valencia, Spain, March 25-27, 2024},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.23919/DATE58400.2024.10546582},
  doi          = {10.23919/DATE58400.2024.10546582},
  timestamp    = {Fri, 13 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/WanLIYSKR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/WanDIZKR24,
  author       = {Zishen Wan and
                  Yuhang Du and
                  Mohamed Ibrahim and
                  Yang Katie Zhao and
                  Tushar Krishna and
                  Arijit Raychowdhury},
  editor       = {Jinjun Xiong and
                  Robert Wille},
  title        = {Thinking and Moving: An Efficient Computing Approach for Integrated
                  Task and Motion Planning in Cooperative Embodied {AI} Systems},
  booktitle    = {Proceedings of the 43rd {IEEE/ACM} International Conference on Computer-Aided
                  Design, {ICCAD} 2024, Newark Liberty International Airport Marriott,
                  NJ, USA, October 27-31, 2024},
  pages        = {2:1--2:7},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3676536.3698389},
  doi          = {10.1145/3676536.3698389},
  timestamp    = {Sun, 14 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/WanDIZKR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2404-04173,
  author       = {Zishen Wan and
                  Che{-}Kai Liu and
                  Mohamed Ibrahim and
                  Hanchen Yang and
                  Samuel Spetalnick and
                  Tushar Krishna and
                  Arijit Raychowdhury},
  title        = {H3DFact: Heterogeneous 3D Integrated {CIM} for Factorization with
                  Holographic Perceptual Representations},
  journal      = {CoRR},
  volume       = {abs/2404.04173},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.04173},
  doi          = {10.48550/ARXIV.2404.04173},
  eprinttype   = {arXiv},
  eprint       = {2404.04173},
  timestamp    = {Fri, 13 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-04173.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2409-13153,
  author       = {Zishen Wan and
                  Che{-}Kai Liu and
                  Hanchen Yang and
                  Ritik Raj and
                  Chaojian Li and
                  Haoran You and
                  Yonggan Fu and
                  Cheng Wan and
                  Sixu Li and
                  Youbin Kim and
                  Ananda Samajdar and
                  Yingyan Celine Lin and
                  Mohamed Ibrahim and
                  Jan M. Rabaey and
                  Tushar Krishna and
                  Arijit Raychowdhury},
  title        = {Towards Efficient Neuro-Symbolic {AI:} From Workload Characterization
                  to Hardware Architecture},
  journal      = {CoRR},
  volume       = {abs/2409.13153},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2409.13153},
  doi          = {10.48550/ARXIV.2409.13153},
  eprinttype   = {arXiv},
  eprint       = {2409.13153},
  timestamp    = {Fri, 13 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2409-13153.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/IbrahimZBC22,
  author       = {Mohamed Ibrahim and
                  Zhanwei Zhong and
                  Bhargab B. Bhattacharya and
                  Krishnendu Chakrabarty},
  title        = {Efficient Regulation of Synthetic Biocircuits Using Droplet-Aliquot
                  Operations on {MEDA} Biochips},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {41},
  number       = {8},
  pages        = {2490--2503},
  year         = {2022},
  url          = {https://doi.org/10.1109/TCAD.2021.3108909},
  doi          = {10.1109/TCAD.2021.3108909},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/IbrahimZBC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tbd/IbrahimCZ20,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Jun Zeng},
  title        = {BioCyBig: {A} Cyberphysical System for Integrative Microfluidics-Driven
                  Analysis of Genomic Association Studies},
  journal      = {{IEEE} Trans. Big Data},
  volume       = {6},
  number       = {4},
  pages        = {609--623},
  year         = {2020},
  url          = {https://doi.org/10.1109/TBDATA.2016.2643683},
  doi          = {10.1109/TBDATA.2016.2643683},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tbd/IbrahimCZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/TangICK20,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Synthesis of Tamper-Resistant Pin-Constrained Digital Microfluidic
                  Biochips},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {39},
  number       = {1},
  pages        = {171--184},
  year         = {2020},
  url          = {https://doi.org/10.1109/TCAD.2018.2883901},
  doi          = {10.1109/TCAD.2018.2883901},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/TangICK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/MoradiICS20,
  author       = {Yasamin Moradi and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  title        = {An Efficient Fault-Tolerant Valve-Based Microfluidic Routing Fabric
                  for Droplet Barcoding in Single-Cell Analysis},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {39},
  number       = {2},
  pages        = {359--372},
  year         = {2020},
  url          = {https://doi.org/10.1109/TCAD.2018.2889765},
  doi          = {10.1109/TCAD.2018.2889765},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/MoradiICS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/TangICK20a,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {39},
  number       = {5},
  pages        = {1003--1016},
  year         = {2020},
  url          = {https://doi.org/10.1109/TCAD.2019.2907881},
  doi          = {10.1109/TCAD.2019.2907881},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/TangICK20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tifs/IbrahimLSCK20,
  author       = {Mohamed Ibrahim and
                  Tung{-}Che Liang and
                  Kristin Scott and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Molecular Barcoding as a Defense Against Benchtop Biochemical Attacks
                  on {DNA} Fingerprinting and Information Forensics},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {15},
  pages        = {3595--3609},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIFS.2020.2994742},
  doi          = {10.1109/TIFS.2020.2994742},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tifs/IbrahimLSCK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/BhattacharjeeTP20,
  author       = {Sukanta Bhattacharjee and
                  Jack Tang and
                  Sudip Poddar and
                  Mohamed Ibrahim and
                  Ramesh Karri and
                  Krishnendu Chakrabarty},
  title        = {Bio-chemical Assay Locking to Thwart Bio-IP Theft},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {25},
  number       = {1},
  pages        = {5:1--5:20},
  year         = {2020},
  url          = {https://doi.org/10.1145/3365579},
  doi          = {10.1145/3365579},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/BhattacharjeeTP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dt/TangIC19,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Randomized Checkpoints: {A} Practical Defense for Cyber-Physical Microfluidic
                  Systems},
  journal      = {{IEEE} Des. Test},
  volume       = {36},
  number       = {1},
  pages        = {5--13},
  year         = {2019},
  url          = {https://doi.org/10.1109/MDAT.2018.2863118},
  doi          = {10.1109/MDAT.2018.2863118},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dt/TangIC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/TangICK19,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Toward Secure and Trustworthy Cyberphysical Microfluidic Biochips},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {38},
  number       = {4},
  pages        = {589--603},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCAD.2018.2855132},
  doi          = {10.1109/TCAD.2018.2855132},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/TangICK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/IbrahimCS19,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  title        = {Synthesis of a Cyberphysical Hybrid Microfluidic Platform for Single-Cell
                  Analysis},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {38},
  number       = {7},
  pages        = {1237--1250},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCAD.2018.2846662},
  doi          = {10.1109/TCAD.2018.2846662},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/IbrahimCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/IbrahimSCS19,
  author       = {Mohamed Ibrahim and
                  Aditya Sridhar and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  title        = {Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell
                  Screening},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {38},
  number       = {12},
  pages        = {2255--2270},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCAD.2018.2878159},
  doi          = {10.1109/TCAD.2018.2878159},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/IbrahimSCS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/SridharIC19,
  author       = {Aditya Sridhar and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Synterface: Efficient Chip-to-World Interfacing for Flow-Based Microfluidic
                  Biochips Using Pin-Count Minimization},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {5s},
  pages        = {54:1--54:21},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358188},
  doi          = {10.1145/3358188},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/SridharIC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimBC19,
  author       = {Mohamed Ibrahim and
                  Bhargab B. Bhattacharya and
                  Krishnendu Chakrabarty},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {BioScan: Parameter-Space Exploration of Synthetic Biocircuits Using
                  {MEDA} Biochips\({}^{\mbox{{\({_\ast}\)}}}\)},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {1519--1524},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8715282},
  doi          = {10.23919/DATE.2019.8715282},
  timestamp    = {Mon, 30 Sep 2024 15:20:52 +0200},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimBC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/IbrahimGC19,
  author       = {Mohamed Ibrahim and
                  Maria Gorlatova and
                  Krishnendu Chakrabarty},
  editor       = {David Z. Pan},
  title        = {The Internet of Microfluidic Things: Perspectives on System Architecture
                  and Design Challenges: Invited Paper},
  booktitle    = {Proceedings of the International Conference on Computer-Aided Design,
                  {ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICCAD45719.2019.8942080},
  doi          = {10.1109/ICCAD45719.2019.8942080},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/IbrahimGC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Ibrahim18,
  author       = {Mohamed Ibrahim},
  title        = {Optimization of Trustworthy Biomolecular Quantitative Analysis Using
                  Cyber-Physical Microfluidic Platforms},
  school       = {Duke University, Durham, NC, {USA}},
  year         = {2018},
  url          = {https://hdl.handle.net/10161/17449},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Ibrahim18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/IbrahimC18,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Cyber-Physical Digital-Microfluidic Biochips: Bridging the Gap Between
                  Microfluidics and Microbiology},
  journal      = {Proc. {IEEE}},
  volume       = {106},
  number       = {9},
  pages        = {1717--1743},
  year         = {2018},
  url          = {https://doi.org/10.1109/JPROC.2017.2759251},
  doi          = {10.1109/JPROC.2017.2759251},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/IbrahimC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/TangICK18,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Secure Randomized Checkpointing for Digital Microfluidic Biochips},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {37},
  number       = {6},
  pages        = {1119--1132},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCAD.2017.2748030},
  doi          = {10.1109/TCAD.2017.2748030},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/TangICK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/FirouziFIC18,
  author       = {Farshad Firouzi and
                  Bahar J. Farahani and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Keynote Paper: From {EDA} to IoT eHealth: Promises, Challenges, and
                  Solutions},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {37},
  number       = {12},
  pages        = {2965--2978},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCAD.2018.2801227},
  doi          = {10.1109/TCAD.2018.2801227},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/FirouziFIC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/TangICK18,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Tamper-resistant pin-constrained digital microfluidic biochips},
  booktitle    = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
                  2018, San Francisco, CA, USA, June 24-29, 2018},
  pages        = {67:1--67:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3195970.3196125},
  doi          = {10.1145/3195970.3196125},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/TangICK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/MoradiICS18,
  author       = {Yasamin Moradi and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {Fault-tolerant valve-based microfluidic routing fabric for droplet
                  barcoding in single-cell analysis},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {1484--1487},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8342247},
  doi          = {10.23919/DATE.2018.8342247},
  timestamp    = {Mon, 30 Sep 2024 15:20:52 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MoradiICS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ets/BhattacharjeeTI18,
  author       = {Sukanta Bhattacharjee and
                  Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Locking of biochemical assays for digital microfluidic biochips},
  booktitle    = {23rd {IEEE} European Test Symposium, {ETS} 2018, Bremen, Germany,
                  May 28 - June 1, 2018},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ETS.2018.8400686},
  doi          = {10.1109/ETS.2018.8400686},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ets/BhattacharjeeTI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vlsid/KeszoczeIWCD18,
  author       = {Oliver Kesz{\"{o}}cze and
                  Mohamed Ibrahim and
                  Robert Wille and
                  Krishnendu Chakrabarty and
                  Rolf Drechsler},
  title        = {Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways
                  on Digital Microfluidic Biochips},
  booktitle    = {31st International Conference on {VLSI} Design and 17th International
                  Conference on Embedded Systems, {VLSID} 2018, Pune, India, January
                  6-10, 2018},
  pages        = {121--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/VLSID.2018.48},
  doi          = {10.1109/VLSID.2018.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/KeszoczeIWCD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/IbrahimCS17,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Kristin Scott},
  title        = {Synthesis of Cyberphysical Digital-Microfluidic Biochips for Real-Time
                  Quantitative Analysis},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {36},
  number       = {5},
  pages        = {733--746},
  year         = {2017},
  url          = {https://doi.org/10.1109/TCAD.2016.2600626},
  doi          = {10.1109/TCAD.2016.2600626},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/IbrahimCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ats/TangICK17,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Security Implications of Cyberphysical Flow-Based Microfluidic Biochips},
  booktitle    = {26th {IEEE} Asian Test Symposium, {ATS} 2017, Taipei City, Taiwan,
                  November 27-30, 2017},
  pages        = {115--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ATS.2017.32},
  doi          = {10.1109/ATS.2017.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ats/TangICK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimCS17,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {CoSyn: Efficient single-cell analysis using a hybrid microfluidic
                  platform},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {1673--1678},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927263},
  doi          = {10.23919/DATE.2017.7927263},
  timestamp    = {Fri, 16 Jan 2026 12:32:21 +0100},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimC17,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {Digital-microfluidic biochips for quantitative analysis: Bridging
                  the Gap between microfluidics and microbiology},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {1787--1792},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927282},
  doi          = {10.23919/DATE.2017.7927282},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/IbrahimSCS17,
  author       = {Mohamed Ibrahim and
                  Aditya Sridhar and
                  Krishnendu Chakrabarty and
                  Ulf Schlichtmann},
  editor       = {Sri Parameswaran},
  title        = {Sortex: Efficient timing-driven synthesis of reconfigurable flow-based
                  biochips for scalable single-cell screening},
  booktitle    = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
  pages        = {623--630},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCAD.2017.8203835},
  doi          = {10.1109/ICCAD.2017.8203835},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/IbrahimSCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccd/TangICK17,
  author       = {Jack Tang and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Security Trade-Offs in Microfluidic Routing Fabrics},
  booktitle    = {2017 {IEEE} International Conference on Computer Design, {ICCD} 2017,
                  Boston, MA, USA, November 5-8, 2017},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCD.2017.13},
  doi          = {10.1109/ICCD.2017.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/TangICK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/IbrahimC16,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Digital-Microfluidic Biochips},
  journal      = {Computer},
  volume       = {49},
  number       = {6},
  pages        = {8--9},
  year         = {2016},
  url          = {https://doi.org/10.1109/MC.2016.187},
  doi          = {10.1109/MC.2016.187},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computer/IbrahimC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/AliIRSC16,
  author       = {Sk Subidh Ali and
                  Mohamed Ibrahim and
                  Jeyavijayan Rajendran and
                  Ozgur Sinanoglu and
                  Krishnendu Chakrabarty},
  title        = {Supply-Chain Security of Digital Microfluidic Biochips},
  journal      = {Computer},
  volume       = {49},
  number       = {8},
  pages        = {36--43},
  year         = {2016},
  url          = {https://doi.org/10.1109/MC.2016.224},
  doi          = {10.1109/MC.2016.224},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/AliIRSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcbb/AliISCK16,
  author       = {Sk Subidh Ali and
                  Mohamed Ibrahim and
                  Ozgur Sinanoglu and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Security Assessment of Cyberphysical Digital Microfluidic Biochips},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {13},
  number       = {3},
  pages        = {445--458},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCBB.2015.2509991},
  doi          = {10.1109/TCBB.2015.2509991},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/AliISCK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/biocas/AliISCK16,
  author       = {Sk Subidh Ali and
                  Mohamed Ibrahim and
                  Ozgur Sinanoglu and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Microfluidic encryption of on-chip biochemical assays},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2016, Shanghai,
                  China, October 17-19, 2016},
  pages        = {152--155},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/BioCAS.2016.7833754},
  doi          = {10.1109/BIOCAS.2016.7833754},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biocas/AliISCK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/biocas/IbrahimC16,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Cyberphysical adaptation in digital-microfluidic biochips},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2016, Shanghai,
                  China, October 17-19, 2016},
  pages        = {444--447},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/BioCAS.2016.7833827},
  doi          = {10.1109/BIOCAS.2016.7833827},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biocas/IbrahimC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cases/IbrahimBCSP16,
  author       = {Mohamed Ibrahim and
                  Craig Boswell and
                  Krishnendu Chakrabarty and
                  Kristin Scott and
                  Miroslav Pajic},
  title        = {A real-time digital-microfluidic platform for epigenetics},
  booktitle    = {2016 International Conference on Compilers, Architectures and Synthesis
                  for Embedded Systems, {CASES} 2016, Pittsburgh, Pennsylvania, USA,
                  October 1-7, 2016},
  pages        = {10:1--10:10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2968455.2968516},
  doi          = {10.1145/2968455.2968516},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/IbrahimBCSP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimCS16,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty and
                  Kristin Scott},
  editor       = {Luca Fanucci and
                  J{\"{u}}rgen Teich},
  title        = {Integrated and real-time quantitative analysis using cyberphysical
                  digital-microfluidic biochips},
  booktitle    = {2016 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  pages        = {630--635},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/document/7459387/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimCS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itc/TangKIC16,
  author       = {Jack Tang and
                  Ramesh Karri and
                  Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Securing digital microfluidic biochips by randomizing checkpoints},
  booktitle    = {2016 {IEEE} International Test Conference, {ITC} 2016, Fort Worth,
                  TX, USA, November 15-17, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/TEST.2016.7805856},
  doi          = {10.1109/TEST.2016.7805856},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itc/TangKIC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tmscs/IbrahimC15,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  title        = {Efficient Error Recovery in Cyberphysical Digital-Microfluidic Biochips},
  journal      = {{IEEE} Trans. Multi Scale Comput. Syst.},
  volume       = {1},
  number       = {1},
  pages        = {46--58},
  year         = {2015},
  url          = {https://doi.org/10.1109/TMSCS.2015.2478457},
  doi          = {10.1109/TMSCS.2015.2478457},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tmscs/IbrahimC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/biocas/HuICLCF15,
  author       = {Kai Hu and
                  Mohamed Ibrahim and
                  Liji Chen and
                  Zipeng Li and
                  Krishnendu Chakrabarty and
                  Richard B. Fair},
  title        = {Experimental demonstration of error recovery in an integrated cyberphysical
                  digital-microfluidic platform},
  booktitle    = {{IEEE} Biomedical Circuits and Systems Conference, BioCAS 2015, Atlanta,
                  GA, USA, October 22-24, 2015},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/BioCAS.2015.7348390},
  doi          = {10.1109/BIOCAS.2015.7348390},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biocas/HuICLCF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/IbrahimC15,
  author       = {Mohamed Ibrahim and
                  Krishnendu Chakrabarty},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Error recovery in digital microfluidics for personalized medicine},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {247--252},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755807},
  timestamp    = {Fri, 16 Jan 2026 12:32:21 +0100},
  biburl       = {https://dblp.org/rec/conf/date/IbrahimC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccd/AliISCK15,
  author       = {Sk Subidh Ali and
                  Mohamed Ibrahim and
                  Ozgur Sinanoglu and
                  Krishnendu Chakrabarty and
                  Ramesh Karri},
  title        = {Security implications of cyberphysical digital microfluidic biochips},
  booktitle    = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015,
                  New York City, NY, USA, October 18-21, 2015},
  pages        = {483--486},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICCD.2015.7357154},
  doi          = {10.1109/ICCD.2015.7357154},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/AliISCK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syde/IbrahimLC15,
  author       = {Mohamed Ibrahim and
                  Zipeng Li and
                  Krishnendu Chakrabarty},
  editor       = {Rolf Drechsler and
                  Ulrich K{\"{u}}hne},
  title        = {Advances in Design Automation Techniques for Digital-Microfluidic
                  Biochips},
  booktitle    = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International
                  Summer School on Methods and Tools for the Design of Digital Systems,
                  Bremen, Germany, September 2015},
  pages        = {190--223},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-658-09994-7\_7},
  doi          = {10.1007/978-3-658-09994-7\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syde/IbrahimLC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.