BibTeX records: Mohamed Yousri Mahmoud

download as .bib file

@article{DBLP:journals/fac/BeillahiMT19,
  author       = {Sidi Mohamed Beillahi and
                  Mohamed Yousri Mahmoud and
                  Sofi{\`{e}}ne Tahar},
  title        = {A modeling and verification framework for optical quantum circuits},
  journal      = {Formal Aspects Comput.},
  volume       = {31},
  number       = {3},
  pages        = {321--351},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00165-019-00480-5},
  doi          = {10.1007/S00165-019-00480-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BeillahiMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/MahmoudF19,
  author       = {Mohamed Yousri Mahmoud and
                  Amy P. Felty},
  title        = {Formalization of Metatheory of the Quipper Quantum Programming Language
                  in a Linear Logic},
  journal      = {J. Autom. Reason.},
  volume       = {63},
  number       = {4},
  pages        = {967--1002},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10817-019-09527-x},
  doi          = {10.1007/S10817-019-09527-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/MahmoudF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/SiddiqueMT18,
  author       = {Umair Siddique and
                  Mohamed Yousri Mahmoud and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Analysis of Discrete-Time Systems using z-Transform},
  journal      = {{FLAP}},
  volume       = {5},
  number       = {4},
  pages        = {875--906},
  year         = {2018},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/SiddiqueMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1812-03624,
  author       = {Mohamed Yousri Mahmoud and
                  Amy P. Felty},
  title        = {Formalization of Metatheory of the Quipper Quantum Programming Language
                  in a Linear Logic},
  journal      = {CoRR},
  volume       = {abs/1812.03624},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.03624},
  eprinttype    = {arXiv},
  eprint       = {1812.03624},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-03624.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MahmoudF18,
  author       = {Mohamed Yousri Mahmoud and
                  Amy P. Felty},
  editor       = {Sandra Alves and
                  Renata Wasserman},
  title        = {Formal Meta-level Analysis Framework for Quantum Programming Languages},
  booktitle    = {12th Workshop on Logical and Semantic Frameworks, with Applications,
                  {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {338},
  pages        = {185--201},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.10.012},
  doi          = {10.1016/J.ENTCS.2018.10.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MahmoudF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BeillahiMT16,
  author       = {Sidi Mohamed Beillahi and
                  Mohamed Yousri Mahmoud and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Sanjai Rayadurgam and
                  Oksana Tkachuk},
  title        = {Hierarchical Verification of Quantum Circuits},
  booktitle    = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
                  MN, USA, June 7-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {344--352},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40648-0\_26},
  doi          = {10.1007/978-3-319-40648-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BeillahiMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MahmoudPT15,
  author       = {Mohamed Yousri Mahmoud and
                  Prakash Panangaden and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Matthias G{\"{u}}demann},
  title        = {On the Formal Verification of Optical Quantum Gates in {HOL}},
  booktitle    = {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},
  pages        = {198--211},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19458-5\_13},
  doi          = {10.1007/978-3-319-19458-5\_13},
  timestamp    = {Mon, 03 Jan 2022 22:35:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/MahmoudPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mics/AfsharSMASHT14,
  author       = {Sanaz Khan Afshar and
                  Umair Siddique and
                  Mohamed Yousri Mahmoud and
                  Vincent Aravantinos and
                  Ons Seddiki and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Analysis of Optical Systems},
  journal      = {Math. Comput. Sci.},
  volume       = {8},
  number       = {1},
  pages        = {39--70},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11786-014-0175-z},
  doi          = {10.1007/S11786-014-0175-Z},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/AfsharSMASHT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/MahmoudAT14,
  author       = {Mohamed Yousri Mahmoud and
                  Vincent Aravantinos and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Gerwin Klein and
                  Ruben Gamboa},
  title        = {Formal Verification of Optical Quantum Flip Gate},
  booktitle    = {Interactive Theorem Proving - 5th International Conference, {ITP}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8558},
  pages        = {358--373},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08970-6\_23},
  doi          = {10.1007/978-3-319-08970-6\_23},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/MahmoudAT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/SiddiqueMT14,
  author       = {Umair Siddique and
                  Mohamed Yousri Mahmoud and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Gerwin Klein and
                  Ruben Gamboa},
  title        = {On the Formalization of Z-Transform in {HOL}},
  booktitle    = {Interactive Theorem Proving - 5th International Conference, {ITP}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8558},
  pages        = {483--498},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08970-6\_31},
  doi          = {10.1007/978-3-319-08970-6\_31},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/SiddiqueMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MahmoudT14,
  author       = {Mohamed Yousri Mahmoud and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {On the Quantum Formalization of Coherent Light in {HOL}},
  booktitle    = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
                  TX, USA, April 29 - May 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8430},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06200-6\_10},
  doi          = {10.1007/978-3-319-06200-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MahmoudT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AfsharSMASHT14,
  author       = {Sanaz Khan Afshar and
                  Umair Siddique and
                  Mohamed Yousri Mahmoud and
                  Vincent Aravantinos and
                  Ons Seddiki and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Analysis of Optical Systems},
  journal      = {CoRR},
  volume       = {abs/1403.3039},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.3039},
  eprinttype    = {arXiv},
  eprint       = {1403.3039},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AfsharSMASHT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MahmoudAT13,
  author       = {Mohamed Yousri Mahmoud and
                  Vincent Aravantinos and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Guillaume Brat and
                  Neha Rungta and
                  Arnaud Venet},
  title        = {Formalization of Infinite Dimension Linear Spaces with Application
                  to Quantum Theory},
  booktitle    = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
                  Field, CA, USA, May 14-16, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7871},
  pages        = {413--427},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38088-4\_28},
  doi          = {10.1007/978-3-642-38088-4\_28},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MahmoudAT13.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.