E-LIB Suche - Ergebnisse für: Castro-Perez, David

1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024

Link: https://doi.org/10.1007/..

2

Zooid: a DSL for certified multiparty computation: from mec..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo. - p. 237-251 , 2021

Link: https://dl.acm.org/doi/1..

3

Compiling first-order functions to session-typed parallel c..:

, In: Proceedings of the 29th International Conference on Compiler Construction,

Castro-Perez, David ; Yoshida, Nobuko - p. 143-154 , 2020

Link: https://dl.acm.org/doi/1..

4

CAMP: cost-aware multiparty session protocols:

Castro-Perez, David ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

5

CAMP: cost-aware multiparty session protocols:

Castro-Perez, David ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

6

Dynamically Updatable Multiparty Session Protocols:

Castro-Perez, David ; Yoshida, Nobuko
https://kar.kent.ac.uk/100746/1/Castro-Perez_Dynamically%20Updatable%20MultipartyPDF.pdf. , 2023

Link: https://kar.kent.ac.uk/1..

7

Zooid: a DSL for Certified Multiparty Computation:

Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo.
http://arxiv.org/abs/2103.10269. , 2021

Link: http://arxiv.org/abs/210..

8

Zooid: A DSL for Certified Multiparty Computation:

Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo.
https://kar.kent.ac.uk/88249/1/main.pdf. , 2021

Link: https://kar.kent.ac.uk/8..

9

CAMP: Cost-Aware Multiparty Session Protocols:

Castro-Perez, David ; Yoshida, Nobuko
http://arxiv.org/abs/2010.04449. , 2020

Link: http://arxiv.org/abs/201..

10

CAMP: Cost-Aware Multiparty Session Protocols (artifact):

Castro-Perez, David ; Yoshida, Nobuko
info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FL00058X%2F1/. , 2020

Link: https://zenodo.org/recor..

11

Sex differences in cardiovascular and disease-related featu..:

Ferraz-Amaro, Iván ; Genre, Fernanda ; Blanco, Ricardo...
Seminars in Arthritis and Rheumatism. 60 (2023) - p. 152198 , 2023

Link: https://doi.org/10.1016/..

12

Efficacy and Safety of the Hexanic Extract of Serenoa repen..:

Alcaraz, Antonio ; Gacci, Mauro ; Ficarra, Vincenzo...
Journal of Clinical Medicine. 11 (2022) 4 - p. 967 , 2022

Link: https://doi.org/10.3390/..

13

Cardiovascular and disease-related features associated with..:

Rueda-Gotor, Javier ; Ferraz-Amaro, Iván ; Genre, Fernanda...
Seminars in Arthritis and Rheumatism. 57 (2022) - p. 152096 , 2022

Link: https://doi.org/10.1016/..

14

Human CD4+CD45RA+ T Cells Behavior after In Vitro Activatio..:

Villanueva-Romero, Raúl ; Cabrera-Martín, Alicia ; Álvarez-Corrales, Emigdio...
International Journal of Molecular Sciences. 23 (2022) 4 - p. 2346 , 2022

Link: https://doi.org/10.3390/..

15

Irisin as a Novel Biomarker of Subclinical Atherosclerosis,..:

Remuzgo-Martínez, Sara ; Rueda-Gotor, Javier ; Pulito-Cueto, Verónica...
Frontiers in Immunology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..