Percorrer por autor 1171

Í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-19 de um total de 19 resultados.
DataTítuloAutor(es)TipoAcesso
2009Bidirectional data-flow analyses, type-systematicallyFrade, M. J.; Saabas, Ando; Uustalu, TarmoconferencePaperrestrictedAccess
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaconferencePaperopenAccess
1995Comportamento e estadoFrade, M. J.masterThesisopenAccess
Jan-1995Comunicação, concorrência e processosMiranda, José Eduardo Pina; Frade, M. J.otheropenAccess
1999Constructor subtypingBarthe, Gilles Jacques Denis; Frade, M. J.conferenceObjectopenAccess
Jun-1999Constructor subtyping : extended versionFrade, M. J.; Barthe, Gilles Jacques DenisreportopenAccess
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.conferenceAbstractopenAccess
6-Ago-2007Foundational certification of data-flow analysesFrade, M. J.; Saabas, Ando; Uustalu, TarmoconferencePaperopenAccess
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaotheropenAccess
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaotheropenAccess
Out-1994Navegar é preciso...Miranda, José Eduardo Pina; Frade, M. J.otheropenAccess
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.otheropenAccess
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.conferenceAbstractopenAccess
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.conferenceObjectopenAccess
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.conferencePaperopenAccess
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al.articleopenAccess
2003Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiFrade, M. J.doctoralThesisopenAccess
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaconferencePaperrestrictedAccess
2011Verification conditions for source-level imperative programsFrade, M. J.; Pinto, Jorge SousaarticleopenAccess