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

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

Populational Announcement Logic (PPAL).

Vitor Machado, Mario R. F. Benevides

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017