Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lourenço, Diogo M
118  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

GOCRGO and GOGO : Two Minimal Communication Topologies f..:

, In: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services,
Teófilo, António ; Remédios, Diogo ; Lourenço, João M.. - p. 232-241 , 2017
Link: https://dl.acm.org/doi/1..
 
?
2

Using program closures to make an application programming i..:

, In: Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging,
Farchi, Eitan ; Segall, Itai ; Lourenço, João M.. - p. 18-24 , 2012
Link: https://dl.acm.org/doi/1..
 
?
3

Practical verification of high-level dataraces in transacti..:

, In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging,
Pessanha, Vasco ; Dias, Ricardo J. ; Lourenço, João M... - p. 26-34 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

Contributors:

, In: Dynamics of Plate Tectonics and Mantle Convection,
Bercovici, David ; Billen, Magali I. ; Breuer, Doris... - p. xi-xii , 2023
Link: https://doi.org/10.1016/..
 
?
5

Contributors:

, In: Heterogeneous Catalysis,
Abi-Aad, Edmond ; Aouad, Samer ; Araújo, Allan J.M.... - p. ix-xi , 2022
Link: https://doi.org/10.1016/..
 
?
6

List of contributors:

, In: Bioengineered Nanomaterials for Wound Healing and Infection Control,
Abazari, Morteza ; Abdel-Ghany, Shaimaa ; Abdel-Hakeem, Mohamed... - p. xv-xviii , 2023
Link: https://doi.org/10.1016/..
 
?
7

Bacteria-derived nanobiomaterials: exploration of their wou..:

, In: Bioengineered Nanomaterials for Wound Healing and Infection Control,
Pieretti, Joana C. ; Lourenço, Isabella M. ; Tortella, Gonzalo R.... - p. 287-323 , 2023
Link: https://doi.org/10.1016/..
 
?
8

Teste Geométrico no Processamento de Erros da Estimação de ..:

, In: 2021 14th IEEE International Conference on Industry Applications (INDUSCON),
Monteiro, Andressa L. ; Nogueira, Ellen M. ; Lourenco, Elizete M.. - p. 575-581 , 2021
Link: https://doi.org/10.1109/..
 
?
9

RedMesh: A WiFi-Direct Network Formation Algorithm for Larg..:

, In: MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services,
Teófilo, António ; Lourenço, João M. ; Paulino, Hervé - p. 147-157 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Sampling Methods for Butterflies (Lepidoptera):

, In: Measuring Arthropod Biodiversity,
Freitas, André V. L. ; Santos, Jessie P. ; Rosa, Augusto H. B.... - p. 101-123 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Severe Hypertension After Cardiac Transplantation:

, In: Difficult Decisions in Surgery: An Evidence-Based Approach; Difficult Decisions in Cardiothoracic Critical Care Surgery,
Lourenço, Laura M. ; Kim, Gene - p. 331-349 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Time-aware reactive storage in wireless edge environments:

, In: Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services,
Silva, João A. ; Paulino, Hervé ; Lourenço, João M... - p. 238-247 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Characterization of a dance movement using a Kinetic camera:

, In: 2019 IEEE 6th Portuguese Meeting on Bioengineering (ENBENG),
Barbosa, Ines C. J. ; Milho, Joao ; Lourenco, Ines M.... - p. 1-4 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Power flow in networks modeled at substation level in two s..:

, In: 2018 Simposio Brasileiro de Sistemas Eletricos (SBSE),
Foletto, T. P. ; Lourenco, E. M. ; Tortelli, O. L. - p. 1-6 , 2018
Link: https://doi.org/10.1109/..
 
?
15

Verifying Real-World Software with Contracts for Concurrenc:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Lourenço, João M. - p. 70-73 , 2018
Link: https://doi.org/10.1007/..
 
1-15