AtomiS: Data-Centric Synchronization Made Practical von Paulino, Hervé, Almeida Matos, Ana, Cederquist, Jan, Giunti, Marco, Matos, João, Ravara, António

Volltext

Metallopeptidase inhibitor 1 (TIMP‐1) promotes receptor tyrosine kinase c‐Kit signaling in colorectal cancer von Nordgaard, Cathrine, Doll, Sophia, Matos, Ana Laura de Souza Almeida, Høeberg, Mikkel, Uddin Kazi, Julhash, Friis, Stine, Stenvang, Jan, Rönnstrand, Lars, Mann, Matthias, Manuel Afonso Moreira, José

Volltext

Mashic compiler: Mashup sandboxing based on inter-frame communication von Luo, Zhengqin, Fragoso Santos, José, Almeida Matos, Ana, Rezk, Tamara

Volltext

Allosteric regulation of AMP-activated protein kinase by adenylate nucleotides and small-molecule drugs von de Souza Almeida Matos, Ana Laura, Oakhill, Jonathan S, Moreira, José, Loh, Kim, Galic, Sandra, Scott, John W

Volltext

Yolk Sac Tumor of the Temporal Lobe: Case Report von Machado, Ana de Almeida Matos Monteiro, Taipa, Ricardo Jorge Ferreira, Pires, Manuel Jorge Rocha Melo, Silva, Carla Maria Esteves, Gomes, Mário Augusto Cunha

Volltext

On declassification and the non-disclosure policy von Almeida Matos, Ana, Boudol, Gérard

Volltext

Informative Types and Effects for Hybrid Migration Control von Almeida Matos, Ana, Cederquist, Jan

Volltext

Flow Policy Awareness for Distributed Mobile Code von Almeida Matos, Ana

Volltext

Non-disclosure for distributed mobile code von MATOS, ANA ALMEIDA, CEDERQUIST, JAN

Volltext

An Information Flow Monitor for a Core of DOM: Introducing References and Live Primitives von Almeida-Matos, Ana, Fragoso Santos, José, Rezk, Tamara

Volltext

Typing noninterference for reactive programs von Almeida Matos, Ana, Boudol, Gérard, Castellani, Ilaria

Volltext

Sound Atomicity Inference for Data-Centric Synchronization von Paulino, Hervé, Matos, Ana Almeida, Cederquist, Jan, Giunti, Marco, Matos, João, Ravara, António

Volltext bestellen

Information flow in a distributed security setting von Matos, Ana Almeida, Cederquist, Jan

Volltext bestellen

Modular Monitor Extensions for Information Flow Security in JavaScript von Fragoso Santos, José, Rezk, Tamara, Matos, Ana Almeida

Volltext

Non-disclosure for Distributed Mobile Code von Matos, Ana Almeida

Volltext

Sound Atomicity Inference for Data-Centric Synchronization von Paulino, Hervé, Ana Almeida Matos, Cederquist, Jan, Giunti, Marco, Matos, João, Ravara, António

Volltext

Information flow in a distributed security setting von Ana Almeida Matos, Cederquist, Jan

Volltext

The Effect of Semaglutide on Mortality and COVID-19-related Deaths — A Pre-specified Analysis From the SELECT Trial von MORIN, MARIE PHILIPPE, SCIRICA, BENJAMIN M., COLHOUN, HELEN M., DEANFIELD, JOHN, JEPPESEN, OLE KLEIST, WEEKE, PETER E., LINGVAY, ILDIKO, HARDT-LINDBERG, SøREN ØSTERGAARD, RYAN, DONNA H., MATOS, ANA LAURA DE SOUZA ALMEIDA, LINCOFF, A. MICHAEL

Volltext

Measuring External Debt in a Context of Macroeconomic Imbalances von Joao Cadete de Matos Ana Margarida de Almeida Ligia Maria Nunes Daniela Black Miranda

Volltext

On declassification and the non-disclosure policy von Matos, A.A., Boudol, G.

Volltext