Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 37 resultados (tempo de pesquisa: 0.344 segundos).
DataTítuloAutor(es)TipoAcesso
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigo em ata de conferênciaAcesso aberto
2009Code analysis: past and presentCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2008Properties preservation during transformationCruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
2006A local graph-rewriting system for deciding equality in sum-product theoriesPinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2003Weak reduction and garbage collection in interaction netsPinto, Jorge SousaArtigoAcesso aberto
1-10 de um total de 37 resultados (tempo de pesquisa: 0.344 segundos).

Descobrir