DSpace UNL

RUN >

Browsing by Author Caires, Luís

Jump to: 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
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 9 of 9
Issue DateTitleAuthor(s)
2010A behavioral analysis tool for models of software systemsSilva, Ricardo João Besteiro e
2010A calculus for modeling and analyzing conversations in service-oriented computingVieira, Hugo Filipe Mendes Torres
2008Design and implementation of a behaviorally typed programming system for web servicesMilitão, Filipe David Oliveira
2010Linguagem de especificação leve Hoare-separação para javaSantos, Tiago Vieira Correia dos
2009A Logic and tool for local reasoning about security protocolsToninho, Bernardo Parente Coutinho Fernandes
2011Optimizações guiadas por dados reais em linguagens de domínio específico para a webRebelo, Miguel Alexandre Figueira
2009Optimizações numa linguagem para desenvolvimento de aplicações webDolores, Hélio
2009Type inference for conversation typesLourenço, Maria Luísa Sobreira Gouveia
2009A type system for access control in an object-oriented languagePires, Mário Rui Dias
Showing results 1 to 9 of 9

 

Universidade Nova de Lisboa  - Statistics  - Feedback
Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE