Vitor Machado

According to our database, Vitor Machado authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Temporal logic for social networks.

Vitor Machado, Mario R. F. Benevides

J. Log. Comput., 2022

2019

Populational Announcement Logic (PPAL).

Vitor Machado, Mario R. F. Benevides

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2018

Codon Context Optimization in Synthetic Gene Design.

Dimitris P. Papamichail, Hongmei Liu, Vitor Machado, Nathan Gould, J. Robert Coleman, Georgios Papamichail

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

2017

Picture-Based Task Definition and Parameterization Support System.

Vitor Machado, Nuno Lopes, João Carlos Silva, José Luís Silva

Proceedings of the Recent Advances in Information Systems and Technologies, 2017