| 1. | CERIOLI, M. R. ; FERNANDES, C. G. ; LEE, O. ; LINTZMAYER, C. N. ; MOTA, G. O. ; DA SILVA, CÂNDIDA NUNES. Edge-magic labelings for constellations and armies of caterpillars. 2017. Technical Report [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | CRUZ, J. B. S. ; DA SILVA, CÂNDIDA NUNES ; ALMEIDA, S. M.. The Overfull Conjecture on Split-Comparability Graphs. 2017. Technical Report [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 3. | GARCIA, I. C. ; VIEIRA, G. M. D. ; BUZATO, L. E.. A Rollback in the History of Communication-Induced Checkpointing. 2017. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 4. | SAMBINELLI, M. ; LINTZMAYER, C. N. ; DA SILVA, CÂNDIDA NUNES ; LEE, O.. Berge's Conjecture and Aharoni-Hartman-Hoffman's Conjecture for locally in-semicomplete digraphs. 2017. Technical Report [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. The Cyan Language. 2012. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | REAL, N. F. ; TAMARIZ, A. R. ; GONZALEZ, S. M.. Uso de automatos finitos para representar o modelo reativo do agente pedagógico. Campos dos Goytacazes: Essentia Editora. 2012. Resumo de Iniciação Científica [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. Relações Interdisciplinares em Computação. 2011. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | GUIMARÃES, José de Oliveira. A Linguagem Locyan. 2011. artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | VIEIRA, G. M. D. Uma Arquitetura de Software para Replicação Baseada em Consenso. Campinas: Instituto de Computação - Unicamp. 2010. Tese de Doutorado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | VIEIRA, G. M. D.; BUZATO, L. E.. Implementation of an Object-Oriented Specification for Active Replication Using Consensus. Campinas: Instituto de Computação - Unicamp. 2010. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | da SILVA, C. N. Fluxos Inteiros e Colorações. 2009. Tese de Doutorado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | GUIMARÃES, José de Oliveira. Classes de Complexidade. 2009. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 3. | GUIMARÃES, José de Oliveira. Fundamentos Matemáticos da Complexidade de Computação. 2009. Artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. On Translation between Object-Oriented Languages. 2007. artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. Introdução à Lógica. 2006. Apostila [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. Learning Compiler Construction by Examples. 2005. Apostila [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | GUIMARÃES, José de Oliveira. The Krakatoa Language. 2005. Apostila [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 3. | GUIMARÃES, José de Oliveira. Geração de Código em C para Krakatoa. 2005. Apostila [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. Object-Oriented Programming. 2003. Apostila [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. An Algorithm to Create Dispath Tables. 1997. Artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. Object-Oriented Petri Nets. 1996. Artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 1. | GUIMARÃES, José de Oliveira. A Proposal of Support to Subroutines with Variable Numbers of Parameters and Types. 1994. Artigo não publicado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
Data de processamento: 12/10/2020 17:50:52