Jorge, Tiago
2733  Ergebnisse:
Personensuche X
?
1

Exploration of Synthesis Methods from Simulink Models to FP..:

, In: Proceedings of the 20th ACM International Conference on Computing Frontiers,
 
?
3

Model-checking of space systems designed with TASTE/SDL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Dragomir, Iulia ; Redondo, Carlos ; Jorge, Tiago... - p. 237-246 , 2022
 
?
5

Prospects for the Improvement of Energy Performance in Agro..:

, In: IFIP Advances in Information and Communication Technology; Technological Innovation for Life Improvement,
Simão, Carlos ; Murta-Pina, João ; Coelho, Luís... - p. 277-289 , 2020
 
?
6

Formal Methods Applicability on Space Applications Specific..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
 
?
7

A Feature-Based Classification of Model Repair Approaches:

Macedo, Nuno ; Jorge, Tiago ; Cunha, Alcino
IEEE Transactions on Software Engineering.  43 (2017)  7 - p. 615-640 , 2017
 
?
8

Molecular Recognition of Rosmarinic Acid from Salvia sclare..:

Marcelo, Filipa ; Dias, Catarina ; Martins, Alice...
Chemistry – A European Journal.  19 (2013)  21 - p. 6641-6649 , 2013
 
?
9

Effects of maternal anxiety on fetal and maternal circulati..:

Jorge, Tiago Ferreira ; Nomura, Roseli Mieko Yamamoto
Revista da Associação Médica Brasileira.  69 (2023)  3 - p. 410-414 , 2023
 
?
12

Salt-stress secondary metabolite signatures involved in the..:

Jorge, Tiago F. ; Tohge, Takayuki ; Wendenburg, Regina...
Environmental and Experimental Botany.  166 (2019)  - p. 103808 , 2019
 
?
 
1-15