E-LIB Suche - Ergebnisse für: Lima, Lucas

1

Selected papers from the 25th Brazilian Symposium on Formal..:

Lima, Lucas ; Molnár, Vince
Science of Computer Programming. 238 (2024) - p. 103133 , 2024

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

2

A formal component model for UML based on CSP aiming at com..:

Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto.
Software and Systems Modeling. 23 (2023) 3 - p. 765-798 , 2023

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

3

Symbolic Reasoning for Early Decision-Making in Model-Based..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Cederbladh, Johan ; Cleophas, Loek ; Kamburjan, Eduard.. - p. 721-725 , 2023

Link: https://doi.org/10.1109/..

4

Inter-comparison of optical and SAR-based forest disturbanc..:

Doblas Prieto, Juan ; Lima, Lucas ; Mermoz, Stephane...
International Journal of Remote Sensing. 44 (2023) 1 - p. 59-77 , 2023

Link: https://doi.org/10.1080/..

5

Towards an Ontological Framework for Validity Frames:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Mittal, Rakshit ; Eslampanah, Raheleh ; Lima, Lucas.. - p. 801-805 , 2023

Link: https://doi.org/10.1109/..

6

Towards Ontology Enabled Agent-Based Twinning for Cyber-Phy..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Marah, Hussein ; Lima, Lucas ; Challenger, Moharram. - p. 444-448 , 2023

Link: https://doi.org/10.1109/..

7

Assessment of Triozoida limbata (Hemiptera: Triozidae) atta..:

Picanço, Mayara M. ; Silva, Ricardo S. ; Azevedo, Aristea A....
Austral Entomology. 61 (2022) 4 - p. 472-479 , 2022

Link: https://doi.org/10.1111/..

8

Formal Methods: Foundations and Applications: 25th Brazilia..

Lecture Notes in Computer Science, 13768

Lima, Lucas ; Molnár, Vince - 1st ed. 2022 . , 2022

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

9

Energy and Exergy Analysis of an Absorption and Mechanical ..:

Lima, Lucas ; Keutenedjian Mady, Carlos
Entropy. 23 (2021) 4 - p. 415 , 2021

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

10

Identifying and characterizing alternative news media on Fa..:

, In: Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,

Guimarães, Samuel S. ; Reis, Julio C. S. ; Lima, Lucas... - p. 448-452 , 2020

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

11

Characterizing (un)moderated textual data in social systems:

, In: Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,

Lima, Lucas ; Reis, Julio C. S. ; Melo, Philipe.. - p. 430-434 , 2020

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

12

Liberal and Restrictive Blood Transfusion Strategies in Ort..:

Pereira, Hoberdan ; Perucci, Marcelo ; de Lima, Lucas...
Infection Control & Hospital Epidemiology. 41 (2020) S1 - p. s313-s314 , 2020

Link: https://doi.org/10.1017/..

13

Toward classifying small lung nodules with hyperparameter o..:

Lima, Lucas L. ; Ferreira Junior, José R. ; Oliveira, Marcelo C.
Computational Intelligence. 37 (2020) 4 - p. 1599-1618 , 2020

Link: https://doi.org/10.1111/..

14

Extended Endoscopic Endonasal Clipping of Intracranial Aneu..:

Montaser, Alaa S. ; Prevedello, Daniel M. ; Gomez, Matias...
World Neurosurgery. 133 (2020) - p. e356-e368 , 2020

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

15

A framework for verifying deadlock and nondeterminism in UM..:

Lima, Lucas ; Tavares, Amaury ; Nogueira, Sidney C.
Science of Computer Programming. 197 (2020) - p. 102497 , 2020

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