Jan Gunnar Cederquist
AuthID: R-000-HZQ
1
TÃTULO: Sound Atomicity Inference for Data-Centric Synchronization
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Information flow in a distributed security setting PDF
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.01111
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.01111
INDEXADO EM: DBLP 
arXiv
DBLP arXiv3
TÃTULO: Distributed Noninterference
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2014, FONTE: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014)
AUTORES: Ana Almeida Matos ; Jan Cederquist;
PUBLICAÇÃO: 2014, FONTE: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014)
4
TÃTULO: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, VOLUME: 3097
INDEXADO EM: DBLP
DBLP