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 systemsCaires, Luís; Silva, Ricardo João Besteiro e
2010A calculus for modeling and analyzing conversations in service-oriented computingCaires, Luís; Vieira, Hugo Filipe Mendes Torres
2008Design and implementation of a behaviorally typed programming system for web servicesCaires, Luís; Militão, Filipe David Oliveira
2010Linguagem de especificação leve Hoare-separação para javaCaires, Luís; Santos, Tiago Vieira Correia dos
2009A Logic and tool for local reasoning about security protocolsCaires, Luís; Toninho, Bernardo Parente Coutinho Fernandes
2011Optimizações guiadas por dados reais em linguagens de domínio específico para a webCaires, Luís; Ferrão, Lúcio; Rebelo, Miguel Alexandre Figueira
2009Optimizações numa linguagem para desenvolvimento de aplicações webCaires, Luís; Ferrão, Lúcio; Dolores, Hélio
2009Type inference for conversation typesCaires, Luís; Lourenço, Maria Luísa Sobreira Gouveia
2009A type system for access control in an object-oriented languageCaires, Luís; Pires, Mário Rui Dias
Showing results 1 to 9 of 9

 

Universidade Nova de Lisboa  - Feedback
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia