212 Publications (Page 3 of 9)
2018
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
Sabry, Amr⋅Valiron, Benoît and Vizzotto, Juliana Kaizer
2018-04-03. | Journal Article
 
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
Sabry, Amr⋅Valiron, Benoı̂t and Vizzotto, Juliana Kaizer
 
NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation
Zhu, Ruiyu⋅Cassel, Darion⋅Sabry, Amr and Huang, Yan
ACM. | Conference Proceeding
 
Quantum interval-valued probability: Contextuality and the Born rule
Tai, Yu-Tsung⋅Tai, Yu-Tsung⋅Tai, Yu-Tsung⋅Hanson, Andrew J⋅Hanson, Andrew J⋅Hanson, Andrew J⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Sabry, Amr⋅Sabry, Amr and Sabry, Amr
Physical Review A, vol. 97, (no. 5), 2018-05-00. | Journal Article
2017
Embracing the laws of Physics in the foundations of computation
Sabry, Amr
(pp. 1). IEEE
 
From reversible programs to univalent universes and back
Carette, J.⋅Chen, C.-H.⋅Choudhury, V. and Sabry, A.
 
From Reversible Programs to Univalent Universes and Back
Carette, Jacques⋅Chen, Chao-Hong⋅Choudhury, Vikraman and Sabry, Amr
CoRR, vol. abs/1708.02710. | Journal Article
 
From Reversible Programs to Univalent Universes and Back
Carette, Jacques⋅Chen, Chao-Hong⋅Choudhury, Vikraman and Sabry, Amr
 
Quantum interval-valued probability: Contextuality and the born rule
Tai, Y.-T.⋅Hanson, A.J.⋅Ortiz, G. and Sabry, A.
2016
Computing with Semirings and Weak Rig Groupoids
Carette, Jacques⋅Carette, Jacques⋅Sabry, Amr and Sabry, Amr
(pp. 123–148). Springer
 
Computing with Semirings and Weak Rig Groupoids
Carette, Jacques and Sabry, Amr
Springer. | Conference Proceeding
 
Corrigendum: Geometry of discrete quantum computing
Hanson, Andrew J⋅Hanson, Andrew J⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Sabry, Amr⋅Sabry, Amr⋅Tai, Yu-Tsung and Tai, Yu-Tsung
Journal of Physics A: Mathematical and Theoretical, vol. 49, (no. 3), pp. 39501, 2016-01-22. | Journal Article
 
Reversible Communicating Processes
 
Reversible Communicating Processes
Brown, Geoffrey⋅Brown, Geoffrey⋅Sabry, Amr and Sabry, Amr
Electronic Proceedings in Theoretical Computer Science, vol. 203, (no. Proc. PLACES 2015), pp. 59, 2016-02-10. | Journal Article
2015
Expressing contract monitors as patterns of communication
Swords, Cameron⋅Sabry, Amr and Tobin-Hochstadt, Sam
ACM. | Conference Proceeding
 
Expressing contract monitors as patterns of communication
Swords, Cameron⋅Swords, Cameron⋅Sabry, Amr⋅Sabry, Amr⋅Tobin-Hochstadt, Sam and Tobin Hochstadt, Sam
ACM SIGPLAN Notices, vol. 50, (no. 9), pp. 399, 2015-08-29. | Journal Article
2014
Discrete quantum theories
Hanson, Andrew J⋅Hanson, Andrew J⋅Hanson, Andrew J⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Sabry, Amr⋅Sabry, Amr⋅Sabry, Amr⋅Tai, Yu-Tsung⋅Tai, Yu-Tsung and Tai, Yu-Tsung
Journal of Physics A: Mathematical and Theoretical, vol. 47, (no. 11), pp. 115305, 2014-03-21. | Journal Article
 
Extensible effects
Kiselyov, Oleg⋅Sabry, Amr and Swords, Cameron
ACM SIGPLAN Notices, vol. 48, (no. 12), pp. 70, 2014-01-31. | Journal Article
 
Extensible effects: An alternative to monad transformers
Kiselyov, O.⋅Sabry, A. and Swords, C.
ACM SIGPLAN Notices, vol. 48, pp. 59-70. | Journal Article
 
Journal of Physics A: Mathematical and Theoretical J. Phys. A: Math. Theor. 47 (2014) 115305 (20pp) doi:10.1088/1751-8113/47/11/115305 Discrete quantum theories
2013
Encoding secure information flow with restricted delegation and revocation in Haskell
Hassan, Doaa and Sabry, Amr
ACM. | Conference Proceeding
 
Extensible effects: an alternative to monad transformers
Kiselyov, Oleg⋅Sabry, Amr and Swords, Cameron
ACM. | Conference Proceeding
 
Geometry of discrete quantum computing
Hanson, Andrew J⋅Hanson, Andrew J⋅Hanson, Andrew J⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Sabry, Amr⋅Sabry, Amr⋅Sabry, Amr⋅Tai, Yu-Tsung⋅Tai, Yu-Tsung and Tai, Yu-Tsung
Journal of Physics A: Mathematical and Theoretical, vol. 46, (no. 18), pp. 185301, 2013-05-10. | Journal Article
 
Geometry of discrete quantum computing
2012
Information effects
James, Roshan P. and Sabry, Amr
(pp. 73–84). ACM