Percorrer por autor 1936 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 24-43 de um total de 77 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2006A framework for point-free program transformationCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaArtigo em ata de conferênciaAcesso aberto
Mai-2005Functional programming and program transformation with interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelRelatórioAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2011GammaPolarSlicerAreias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019A generalized program verification workflow based on loop elimination and SA formBelo Lourenco, Claudio; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Generalizing Hylo-shiftPinto, Jorge SousaRelatórioAcesso aberto
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
2007A higher-order calculus for graph transformationFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
2009Iterators and interactionMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
1-Jan-2018K-Taint: an executable rewriting logic semantics for taint analysis in the K frameworkAlam, Md. Imran; Halder, Raju; Goswami, Harshita, et al.Artigo em ata de conferênciaAcesso aberto
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de, et al.Poster em conferênciaAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso 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
2015Logic-based schedulability analysis for compositional hard real-time embedded systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.ArtigoAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 24-43 de um total de 77 resultados. < anterior   próximo >