I agree that this site is using cookies. You can find further informations here.
X
Lima, Lucas
200  results:
Bookchapter (Online) X
Search for persons X
?
1

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/..
 
?
2

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/..
 
?
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

Visual Specification of Properties for Robotic Designs:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Lindoso Jr., Waldeck ; Nogueira, Sidney C. ; Domingues, Renato. - p. 34-52 , 2021
Link: https://doi.org/10.1007/..
 
?
5

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..
 
?
6

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..
 
?
7

Verifying deadlock and nondeterminism in activity diagrams:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,
Lima, Lucas ; Tavares, Amaury - p. 764-768 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Verifying Deadlock and Nondeterminism in Activity Diagrams:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Lima, Lucas ; Tavares, Amaury - p. 764-768 , 2019
Link: https://doi.org/10.1109/..
 
?
9

Efficient Hyperparameter Optimization of Convolutional Neur..:

, In: 2019 IEEE 32nd International Symposium on Computer-Based Medical Systems (CBMS),
Lima, Lucas L. ; Ferreira, Jose R. ; Oliveira, Marcelo C. - p. 144-149 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Initial findings on the evaluation of a model-based testing..:

, In: 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM),
Ferreira, Larissa ; Nogueira, Sidney ; Lima, Lucas.. - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
?
11

A Deep Learning Approach to Detect Hyoid Bone in Ultrasound..:

, In: 2019 8th Brazilian Conference on Intelligent Systems (BRACIS),
Lopes, Marilia ; Santos, Ary ; Silva, Cecilia... - p. 551-555 , 2019
Link: https://doi.org/10.1109/..
 
?
12

Safe and Constructive Design with UML Components:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto - p. 234-251 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Inside the right-leaning echo chambers : characterizing ..:

, In: Proceedings of the 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
Lima, Lucas ; Reis, Julio C. S. ; Melo, Philipe... - p. 515-522 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

PERSEU : ferramenta de profilaxia ao DORT:

, In: Proceedings of VII Brazilian symposium on Human factors in computing systems,
Neto, Waldemar P. F. ; Barbosa, Ana Esther V. ; de Lima, Lucas A.. - p. 37-40 , 2006
Link: https://dl.acm.org/doi/1..
 
?
15

Analysis of the Influence of the MVDR Filter Parameters on ..:

, In: Intelligent Systems; Lecture Notes in Computer Science,
Lima, Lucas Brazzarola ; Viana, Ramon Fernandes ; Rosa-, José Martins... - p. 313-324 , 2022
Link: https://doi.org/10.1007/..
 
1-15