Gianpaolo Gioiosa

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 3

Top Topics

Sufficient Conditions

Multiresolution

Intuitionistic Logic

Privacy Preservation

Top Venues

Arch. Formal Proofs

Proc. Priv. Enhancing Technol.

Publications

Josh Smith, Hassan Jameel Asghar, Gianpaolo Gioiosa, Sirine Mrabet, Serge Gaspers, Paul Tyler
Making the Most of Parallel Composition in Differential Privacy. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Josh Smith, Hassan Jameel Asghar, Gianpaolo Gioiosa, Sirine Mrabet, Serge Gaspers, Paul Tyler
Making the Most of Parallel Composition in Differential Privacy. CoRR (2021)
Peter Gammie, Gianpaolo Gioiosa
The Kuratowski Closure-Complement Theorem. Arch. Formal Proofs 2017 (2017)
Van Nguyen, David A. Kearney, Gianpaolo Gioiosa
An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P. J. Log. Algebraic Methods Program. 79 (6) (2010)
Van Nguyen, David A. Kearney, Gianpaolo Gioiosa
A Region-Oriented Hardware Implementation for Membrane Computing Applications. Workshop on Membrane Computing (2009)
Van Nguyen, David A. Kearney, Gianpaolo Gioiosa
An Implementation of Membrane Computing Using Reconfigurable Hardware. Comput. Informatics 27 (3+) (2008)
Van Nguyen, David A. Kearney, Gianpaolo Gioiosa
An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware. Workshop on Membrane Computing (2008)
Van Nguyen, David A. Kearney, Gianpaolo Gioiosa
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications. Workshop on Membrane Computing (2007)