Search results for: Alexandre Mota
Journal of Applied Entomology > 143 > 3 > 236 - 249
Nonlinear Dynamics > 2018 > 93 > 3 > 1059-1071
Information Processing Letters > 2016 > 116 > 11 > 701-705
Soft Computing > 2018 > 22 > 2 > 607-620
Information Systems Frontiers > 2016 > 18 > 5 > 967-980
Lecture Notes in Computer Science > Artificial Neural Networks - ICANN 2008 > Pattern Recognition and Data Analysis > 11-20
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Invited Papers > 20-48
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > UML > 99-114
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 323-339
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 625-639
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 123-137