Percorrer por autor 1171 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 1-20 de um total de 25 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2009Bidirectional data-flow analyses, type-systematicallyFrade, M. J.; Saabas, Ando; Uustalu, TarmoArtigo em ata de conferênciaAcesso restrito UMinho
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1995Comportamento e estadoFrade, M. J.Dissertação de mestrado Acesso aberto
Jan-1995Comunicação, concorrência e processosMiranda, José Eduardo Pina; Frade, M. J.OutroAcesso aberto
1999Constructor subtypingBarthe, Gilles Jacques Denis; Frade, M. J.Artigo em ata de conferênciaAcesso aberto
Jun-1999Constructor subtyping: extended versionFrade, M. J.; Barthe, Gilles Jacques DenisRelatórioAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.Resumo em ata de conferência Acesso aberto
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
6-Ago-2007Foundational certification of data-flow analysesFrade, M. J.; Saabas, Ando; Uustalu, TarmoArtigo em ata de conferênciaAcesso 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
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
Out-1994Navegar é preciso...Miranda, José Eduardo Pina; Frade, M. J.OutroAcesso aberto
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.OutroAcesso aberto
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.Resumo em ata de conferência Acesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Artigo em ata de conferênciaAcesso aberto
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al.ArtigoAcesso aberto
Mostrar 1-20 de um total de 25 resultados.  próximo >