( en | de | ru )

 

Disambiguation of "Machado, Vitor"

Author of the publication

copydeleteadd this publication to your clipboard
Populational Announcement Logic (PPAL).

, and . DARe@LPNMR, volume 1872 of CEUR Workshop Proceedings, page 2-15. CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vitor Manuel Machado Vieira

Jorgete Vitorino Clarindo dos Santos

Vítor Schwambach

Carl Machado

Alencar Machado

 

Other publications of authors with the same name

Temporal Logic for Social Networks., and . CoRR, (2021)Codon Context Optimization in Synthetic Gene Design., , , , , and . CoRR, (2015)Codon Context Optimization in Synthetic Gene Design., , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 15 (2): 452-459 (2018)Temporal logic for social networks., and . J. Log. Comput., 32 (6): 1088-1108 (2022)Populational Announcement Logic (PPAL)., and . LSFA, volume 348 of Electronic Notes in Theoretical Computer Science, page 105-123. Elsevier, (2019)Picture-Based Task Definition and Parameterization Support System., , , and . WorldCIST (2), volume 570 of Advances in Intelligent Systems and Computing, page 592-601. Springer, (2017)Populational Announcement Logic (PPAL)., and . DARe@LPNMR, volume 1872 of CEUR Workshop Proceedings, page 2-15. CEUR-WS.org, (2017)Analysis of dielectric optical ring slab waveguides with interband absorption., , and . EUROCON, page 1-3. IEEE, (2011)Development and validation of a health information system for assistance and research in gestational trophoblast disease., , , , , , , and . BMC Medical Informatics Decis. Mak., 22 (1): 173 (2022)JWN-Br - Uma API Java para a WordNet.Br (JWN-Br - an Java API for Wordnet.Br) in Portuguese., and . STIL, Brazilian Computer Society, (2013)