E-LIB Suche - Ergebnisse für: Oliveira Vale, Arthur

1

A Compositional Theory of Linearizability:

Oliveira Vale, Arthur ; Shao, Zhong ; Chen, Yixuan
Journal of the ACM. 71 (2024) 2 - p. 1-107 , 2024

2

A Compositional Theory of Linearizability:

Oliveira Vale, Arthur ; Shao, Zhong ; Chen, Yixuan
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1089-1120 , 2023

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

3

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

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

4

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

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

5

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://hal.inria.fr/hal..

6

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://inria.hal.scienc..

7

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://inria.hal.scienc..

8

Height and number of shoots on the survival and development..:

Vale, Paulo Arthur Almeida do ; Oliveira Júnior, João Bosco de ; Costa, Frederico Henrique da Silva.
Pesquisa Agropecuária Tropical. 49 (2019) - p. , 2019

Link: https://doi.org/10.1590/..

9

Height and number of shoots on the survival and development..:

Vale, Paulo Arthur Almeida do ; Oliveira Júnior, João Bosco de ; Costa, Frederico Henrique da Silva.
10.1590/1983-40632019v4953751. , 2019

Link: http://www.scielo.br/sci..

10

Reproducibility of an effort protocol during deep-water run..:

Iana Rafaella Santiago da Silva ; Leonardo dos Santos Oliveira ; Mariana de Freitas Berenguer...
http://revistas.rcaap.pt/motricidade/article/view/137. , 2010

Link: https://doi.org/10.6063/..

11

Reproducibility of an effort protocol during deep-water run..:

Silva, Iana Rafaella Santiago da ; Oliveira, Leonardo dos Santos ; Berenguer, Mariana de Freitas...
https://revistas.rcaap.pt/motricidade/article/view/137/126. , 2010

Link: https://revistas.rcaap.p..

12

Tratamento cirúrgico dos pacientes com queimaduras elétrica:

Silva, Pedro Augusto Barbosa ; Gualberto, Ana Luiza Veloso ; Kanada, Paula Késsia...
CONTRIBUCIONES A LAS CIENCIAS SOCIALES. 17 (2024) 6 - p. e7942 , 2024

Link: https://doi.org/10.55905..

13

Citral and linalool content has been correlated to DNA cont..:

Viccini, Lyderson Facio ; Silveira, Romena Sanglard ; do Vale, Aline Amália...
Industrial Crops and Products. 59 (2014) - p. 14-19 , 2014

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

14

Molecular Docking and ADME-TOX Profiling of Moringa oleifer..:

Souza, Hellen Cris Araújo ; Souza, Maycon Douglas Araújo ; Sousa, Cássio Silva...
Advances in Respiratory Medicine. 91 (2023) 6 - p. 464-485 , 2023

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

15

Powered Smart Textile-Based Exoskeleton for Human Support M..:

, In: Proceedings of the 9th International Ergonomics Conference; Lecture Notes in Networks and Systems,

Ferreira, César ; Fertuzinhos, Aureliano ; Silva, Ricardo... - p. 113-121 , 2023

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