Machado, T. J.
7176  results:
Search for persons X
?
2

Investigating the Diurnal Radiative, Turbulent, and Biophys..:

Pedruzo‐Bagazgoitia, X. ; Patton, E. G. ; Moene, A. F....
Journal of Advances in Modeling Earth Systems.  15 (2023)  2 - p. , 2023
 
?
4

Envelopes and waves: safe multivehicle collision avoidance ..:

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel...
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 371-394 , 2022
 
?
6

Good Fences Make Good Neighbors: Using Formally Verified Sa..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kouskoulas, Yanni ; Wu, Rosa ; Brulé, Joshua... - p. 214-230 , 2021
 
?
9

Correction to: Formally Verified Timing Computation for Non..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
 
?
10

Numerical solution of variable-order fractional integro-par..:

Babaei, A. ; Moghaddam, B.P. ; Banihashemi, S..
Communications in Nonlinear Science and Numerical Simulation.  82 (2020)  - p. 104985 , 2020
 
?
12

Dermatological adverse events associated with use of oral m..:

Pithadia, D.J. ; Treichel, A.M. ; Jones, A.M....
British Journal of Dermatology.  183 (2020)  3 - p. 588-589 , 2020
 
?
13

A combined measure to differentiate EEG signals using fract..:

David, S.A. ; Machado, J.A.T. ; Inácio, C.M.C..
Communications in Nonlinear Science and Numerical Simulation.  84 (2020)  - p. 105170 , 2020
 
?
14

Formally Verified Timing Computation for Non-deterministic ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
 
1-15