2015
| 1. | RENSINK, AREND ; Zambon, Eduardo. Proceedings Graphs as Models. 2015. Prefácio, Pósfacio/Prefácio [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
2012
| 1. | Boneva, I. ; Kreiker, J. ; Kurban, M. ; RENSINK, AREND ; Zambon, Eduardo. Graph abstraction and abstract graph transformations (Amended version). Enschede: Centre for Telematics and Information Technology, University of Twente. 2012. Amended version). Enschede: Centre for Telematics and Information Technology, University of Twente, 2012 (Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
2010
| 1. | GHAMARIAN, AMIR HOSSEIN ; DE MOL, MAARTEN ; RENSINK, AREND ; Zambon, Eduardo ; ZIMAKOVA, MARIA. Modelling and Analysis Using GROOVE. Enschede: Centre for Telematics and Information Technology University of Twente. 2010. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
2009
| 1. | RENSINK, AREND ; Zambon, Eduardo. A Type Graph Model for Java Programs. Enschede: Centre for Telematics and Information Technology University of Twente. 2009. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | Zambon, Eduardo; RENSINK, AREND. Using Graph Transformations and Graph Abstractions for Software Verification. Enschede: Centre for Telematics and Information Technology University of Twente. 2009. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
*itens sem ano
| 1. | MAURI, G. R.. Metodologia híbrida para resolução do problema dial-a-ride. São José dos Campos - SP: INPE, 2006 (Proposta de tese de doutorado).. . 0. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 2. | MAURI, G. R.. Novas heurísticas para o problema de escalonamento de tripulações. São José dos Campos - SP: INPE, 2004 (Proposta de dissertação de mestrado).. . 0. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 3. | MAURI, G. R.. Projeto Pedagógico do Curso de Ciência da Computação do CCA-UFES 2008 (Projeto Pedagógico).. . 0. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 4. | MAURI, G. R.. Projeto Pedagógico do Curso de Sistemas de Informação do CCA-UFES 2008 (Projeto Pedagógico).. . 0. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |
| 5. | MAURI, G. R.. Uma nova abordagem para o problema de roteirização e programação de veículos. São José dos Campos - SP: INPE, 2006 (Monografia de exame de qualificação).. . 0. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ] |