211 Publications (Page 3 of 9)
2018
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 ComputationZhu, Ruiyu⋅Cassel, Darion⋅Sabry, Amr and Huang, YanACM.
| Conference Proceeding
Quantum interval-valued probability: Contextuality and the Born ruleTai, 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, AmrPhysical Review A, vol. 97, (no. 5), 2018-05-00.
| Journal Article
2017
Embracing the laws of Physics in the foundations of computationSabry, Amr(pp. 1). IEEE
From reversible programs to univalent universes and backCarette, J.⋅Chen, C.-H.⋅Choudhury, V. and Sabry, A.
From Reversible Programs to Univalent Universes and BackCarette, Jacques⋅Chen, Chao-Hong⋅Choudhury, Vikraman and Sabry, AmrCoRR, vol. abs/1708.02710.
| Journal Article
From Reversible Programs to Univalent Universes and BackCarette, Jacques⋅Chen, Chao-Hong⋅Choudhury, Vikraman and Sabry, Amr
Quantum interval-valued probability: Contextuality and the born ruleTai, Y.-T.⋅Hanson, A.J.⋅Ortiz, G. and Sabry, A.
2016
Computing with Semirings and Weak Rig GroupoidsCarette, Jacques and Sabry, AmrSpringer.
| Conference Proceeding
Corrigendum: Geometry of discrete quantum computingHanson, Andrew J⋅Hanson, Andrew J⋅Ortiz, Gerardo⋅Ortiz, Gerardo⋅Sabry, Amr⋅Sabry, Amr⋅Tai, Yu-Tsung and Tai, Yu-TsungJournal of Physics A: Mathematical and Theoretical, vol. 49, (no. 3), pp. 39501, 2016-01-22.
| Journal Article
Reversible Communicating Processes
Reversible Communicating ProcessesBrown, Geoffrey⋅Brown, Geoffrey⋅Sabry, Amr and Sabry, AmrElectronic 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 communicationSwords, Cameron⋅Swords, Cameron⋅Sabry, Amr⋅Sabry, Amr⋅Tobin-Hochstadt, Sam and Tobin Hochstadt, SamACM SIGPLAN Notices, vol. 50, (no. 9), pp. 399, 2015-08-29.
| Journal Article
Expressing contract monitors as patterns of communicationSwords, Cameron⋅Sabry, Amr and Tobin-Hochstadt, SamACM.
| Conference Proceeding
2014
Discrete quantum theoriesHanson, 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-TsungJournal of Physics A: Mathematical and Theoretical, vol. 47, (no. 11), pp. 115305, 2014-03-21.
| Journal Article
Extensible effectsKiselyov, Oleg⋅Sabry, Amr and Swords, CameronACM SIGPLAN Notices, vol. 48, (no. 12), pp. 70, 2014-01-31.
| Journal Article
Extensible effects: An alternative to monad transformersKiselyov, 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 HaskellHassan, Doaa and Sabry, AmrACM.
| Conference Proceeding
Extensible effects: an alternative to monad transformersKiselyov, Oleg⋅Sabry, Amr and Swords, CameronACM.
| Conference Proceeding
Geometry of discrete quantum computingHanson, 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-TsungJournal of Physics A: Mathematical and Theoretical, vol. 46, (no. 18), pp. 185301, 2013-05-10.
| Journal Article
Geometry of discrete quantum computing
2012
Information effectsJames, Roshan P. and Sabry, AmrACM.
| Conference Proceeding
Information effectsJames, Roshan P. and Sabry, Amr(pp. 73–84). ACM