Fundamentos da Programação, Instituto Superior Técnico, Licenciatura em Engenharia de Redes de Comunicações, Licenciatura em Engenharia Informática e de Computadores, Licenciatura em Engenharia Electrónica
J. F. Santos,
T. Rezk,
A. Matos,
Modular Monitor Extensions for Information Flow Security in JavaScript,
Chapter in,
Trustworthy Global Computing - 10th International Symposium, {TGC} 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers,
Springer,
Madrid,
2015
J. F. Santos,
T. Rezk,
A. Matos,
An Information Flow Monitor for a Core of DOM,
Chapter in,
Trustworthy Global Computing,
Springer International Publishing,
Madrid,
2014
A. Matos,
J.C. Cederquist,
Informative Types and Effects for Hybrid Migration Control,
Chapter in,
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings,
Axel Legay and Saddek Bensalem,
Springer,
-,
2013
A. Matos,
Flow Policy Awareness for Distributed Mobile Code,
Chapter in,
CONCUR 2009 - Concurrency Theory,
Springer Berlin Heidelberg,
Berlin Heidelberg,
2009
A. Matos,
Non-disclosure for distributed mobile code,
Chapter in,
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, volume 3821 of Lecture Notes in Computer Science, pages 177-188,
R. Ramanujam and Sandeep Sen,
Springer,
-,
2005
Z. L. Luo,
J. F. Santos,
A. Matos,
T. Rezk,
Mashic compiler: Mashup sandboxing based on inter-frame communication,
Computers and Security,
Vol. 24,
No. 1,
pp. 91 - 136,
March,
2016
| BibTex
A. Matos,
J.C. Cederquist,
Non-disclosure for distributed mobile code,
Mathematical Structures in Computer Science,
Vol. 21,
No. 6,
pp. 1111 - 1181,
June,
2011
| BibTex
A. Matos,
G. Boudol,
On declassification and the non-disclosure policy,
Computers and Security,
Vol. 17,
No. 5,
pp. 549 - 597,
January,
2009
| BibTex
A. Matos,
G. Boudol,
I. Castellani,
Typing Noninterference for Reactive Programs,
Journal of Logic and Algebraic Programming,
Vol. 72,
No. 2,
pp. 124 - 156,
July,
2007
| BibTex
A. Matos,
Lexically scoped distribution: what you see is what you get,
Vol. 85,
No. 1,
pp. 61 - 79,
September,
2003
| BibTex
H. P. Paulino,
A. Matos,
J.C. Cederquist,
M. Giunti,
J. R. Matos,
A.R. Ravara,
AtomiS: Data-Centric Synchronization Made Practical,
ACM Object-Oriented Programming, Systems, Languages & Applications OOPSLA,
Cascais,
Portugal,
October,
2023
| BibTex
B. D. Dias,
A. Matos,
M. Souto,
Algorithm to support the definition of Portugal’s continental shelf delineation,
Inforum - Simpósio de Informática,
Porto,
Portugal,
September,
2023,
| Abstract
| BibTex
V. Cabral,
A. Matos,
P. Borges,
L. Borda ed Agua,
E. Azevedo,
Modeling the distribution of invasive species in small islands under future climates,
Inforum - Simpósio de Informática,
Porto,
Portugal,
September,
2023
| BibTex
T. Mamouros,
A. Matos,
S. Salvatore,
A. Rito Silva,
Platform for Collaborative Waste Management in an Academic Campus,
Inforum - Simpósio de Informática,
Porto,
Portugal,
September,
2023
| BibTex
D. Miranda,
A. Matos,
J.C. Cederquist,
Information Flow Security For a Concurrent Language With Lock-based Synchronization,
Inforum - Simpósio de Informática,
Porto,
Portugal,
September,
2023
| BibTex
A. Matos,
A.R. Ravara,
H. P. Paulino,
J.C. Cederquist,
J. R. Matos,
M. Giunti,
Type qualifier inference and code synthesis,
Interaction and Concurrency Experience ICE,
Lisbon,
Portugal,
June,
2023
| BibTex
B. A. Ferreira,
J.C. Cederquist,
A. Matos,
H. P. Paulino,
A.R. Ravara,
Mechanization of a Type System for Atomicity Analysis and its Type Safety,
Inforum - Simpósio de Informática,
Guimarães,
Portugal,
September,
2019
| BibTex
F. M. Marques,
J.C. Cederquist,
A. Matos,
Integrating paper-based voting and Belenios -- a hybrid voting protocol for an academic organization. To appear in the proceedings of INFORUM 2017.,
Inforum - Simpósio de Informática,
Aveiro,
Portugal,
October,
2017
| BibTex
H. P. Paulino,
D. P. Parreira,
N. Delgado,
A.R. Ravara,
A. Matos,
From atomic variables to data-centric concurrency control,
ACM/SIGAPP Symposium on Applied Computing SAC,
Pisa,
Italy,
Vol. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016,
pp. 1806 - 1811,
April,
2016
| BibTex
A. Matos,
J.C. Cederquist,
Distributed Noninterference,
Euromicro International Conf. on Parallel, Distributed and network-based Processing - PDP,
Turin,
Italy,
Vol. -,
pp. - - -,
February,
2014
| BibTex
A. Matos,
J. F. Santos,
Typing illegal information flows as program effects,
ACM SIGPLAN - Workshop on Programming Languages and Analysis for Security - PLAS,
Beijing,
China,
Vol. 1,
pp. 1 - 12,
June,
2012
| BibTex
A. Matos,
G. Boudol,
On declassification and the non-disclosure policy,
IEEE Computer Security Foundations Workshop - CSFW,
Aix-en-Provence,
France,
Vol. 00,
pp. 226 - 240,
June,
2005
| BibTex
A. Matos,
G. Boudol,
I. Castellani,
Typing Noninterference for Reactive Programs,
Workshop on Foundations of Computer Security,
Turku,
Finland,
Vol. 31,
pp. 205 - 222,
June,
2004
| BibTex