Sandro Stucki

Visar 6 publikationer

2023

Reconciling Shannon and Scott with a Lattice of Computable Information

Sebastian Hunt, David Sands, Sandro Stucki
Proceedings of the ACM on Programming Languages. Vol. 7, p. 1987-2016
Artikel i vetenskaplig tidskrift
2022

Precise Analysis of Purpose Limitation in Data Flow Diagrams

Hanaa Alshareef, K. Tuma, Sandro Stucki et al
ACM International Conference Proceeding Series
Paper i proceeding
2021

Transforming data flow diagrams for privacy compliance

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, p. 207-215
Paper i proceeding
2021

Gray-box monitoring of hyperproperties with an application to privacy

Sandro Stucki, César Sánchez, Gerardo Schneider et al
Formal Methods in System Design. Vol. In press
Artikel i vetenskaplig tidskrift
2021

Refining Privacy-Aware Data Flow Diagrams

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13085 LNCS, p. 121-140
Paper i proceeding
2021

A theory of higher-order subtyping with type intervals

Sandro Stucki, Paolo G. Giarrusso
Proceedings of the ACM on Programming Languages. Vol. 5 (ICFP)
Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Sandro Stucki medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.