Martti Karvonen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Quantum Computing

Limited Resources

Top Venues

Publications

Benjamin Merlin Bumpus, James Fairbanks, Martti Karvonen, Wilmer Leal, Frédéric Simard
Towards a Unified Theory of Time-varying Data. CoRR (2024)
Anne Broadbent, Martti Karvonen
Categorical composable cryptography: extended version. Log. Methods Comput. Sci. 19 (4) (2023)
Anne Broadbent, Martti Karvonen, Sébastien Lord
Uncloneable Quantum Advice. CoRR (2023)
Anne Broadbent, Martti Karvonen
Categorical composable cryptography. FoSSaCS (2022)
Anne Broadbent, Martti Karvonen
Categorical composable cryptography: extended version. CoRR (2022)
Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
Closing Bell: Boxing black box simulations in the resource theory of contextuality. CoRR (2021)
Anne Broadbent, Martti Karvonen
Categorical composable cryptography. CoRR (2021)
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
A comonadic view of simulation and quantum resources. CoRR (2019)
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
A comonadic view of simulation and quantum resources. LICS (2019)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible effects as inverse arrows. CoRR (2018)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible Effects as Inverse Arrows. MFPS (2018)
Martti Karvonen
Categories of empirical models. QPL (2018)
Chris Heunen, Martti Karvonen
Reversible Monadic Computing. MFPS (2015)
Chris Heunen, Martti Karvonen
Reversible monadic computing. CoRR (2015)