211 Publications (Page 2 of 9)
2021
Mapping quantum chemical dynamics problems onto spin-lattice simulators
Saha, D.⋅Iyengar, S.S.⋅Richerme, P.⋅Smith, J.M. and Sabry, A.
 
Mapping quantum chemical dynamics problems onto spin-lattice simulators ...
 
Mapping Quantum Chemical Dynamics Problems to Spin-Lattice Simulators
Saha, Debadrita⋅Saha, Debadrita⋅Saha, Debadrita⋅Iyengar, Srinivasan S⋅Iyengar, Srinivasan S⋅Iyengar, Srinivasan S⋅Richerme, Philip⋅Richerme, Philip⋅Richerme, Philip⋅Smith, Jeremy M⋅Smith, Jeremy M⋅Smith, Jeremy M⋅Sabry, Amr⋅Sabry, Amr and Sabry, Amr
Journal of Chemical Theory and Computation, vol. 17, (no. 11), Nov 9, 2021. | Journal Article
 
Not by equations alone
Kiselyov, Oleg⋅Shin-Cheng, Mu and Sabry, Amr
Journal of Functional Programming, vol. 31, Jan 2021. | Journal Article
 
Symmetries in reversible programming: From symmetric rig groupoids to reversible programming languages
Choudhury, V.⋅Karwowski, J. and Sabry, A.
 
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
Choudhury, Vikraman⋅Karwowski, Jacek and Sabry, Amr
 
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages ...
. | Journal Article
2020
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
 
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
 
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
 
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
 
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types
 
A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types ...
 
Fractional Types - Expressive and Safe Space Management for Ancilla Bits
Chen, Chao-Hong⋅Chen, Chao-Hong⋅Choudhury, Vikraman⋅Choudhury, Vikraman⋅Carette, Jacques⋅Carette, Jacques⋅Sabry, Amr and Sabry, Amr
Springer. | Conference Proceeding
 
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chen, Chao-Hong⋅Choudhury, Vikraman⋅Carette, Jacques and Sabry, Amr
2020-02-17. | Journal Article
 
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chen, Chao-Hong⋅Choudhury, Vikraman⋅Carette, Jacques and Sabry, Amr
2018
A Library of Reversible Circuit Transformations (Work in Progress)
Hutslar, Christian⋅Carette, Jacques and Sabry, Amr
Springer. | Conference Proceeding
 
An extended account of contract monitoring strategies as patterns of communication
SWORDS, CAMERON⋅SWORDS, CAMERON⋅SABRY, AMR⋅Sabry, Amr⋅TOBIN-HOCHSTADT, SAM and Tobin Hochstadt, Sam
Journal of Functional Programming, vol. 28, 2018-00-00. | Journal Article
 
Embracing the laws of physics: Three reversible models of computation
Carette, J.⋅James, R.P. and Sabry, A.
 
Embracing the Laws of Physics: Three Reversible Models of Computation
Carette, Jacques⋅James, Roshan P. and Sabry, Amr
 
Embracing the Laws of Physics: Three Reversible Models of Computation
Carette, Jacques⋅James, Roshan P and Sabry, Amr
2018-11-08. | Journal Article
 
From Reversible Programs to Univalent Universes and Back
Carette, Jacques⋅Chen, Chao-Hong⋅Choudhury, Vikraman and Sabry, Amr
Electronic Notes in Theoretical Computer Science, vol. 336, pp. 25, 2018-04-16. | Journal Article
 
From Symmetric Pattern-Matching to Quantum Control
Sabry, Amr⋅Valiron, Benoı̂t and Vizzotto, Juliana Kaizer
Springer. | Conference Proceeding
 
From symmetric pattern-matching to quantum control (extended version)
Sabry, A.⋅Valiron, B. and Vizzotto, J.K.
 
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
Sabry, Amr⋅Valiron, Benoît and Vizzotto, Juliana Kaizer
2018-04-03. | Journal Article