Arquivo de Articles - Page 50 of 67 - NOVA LINCS NOVA LINCS

Login

Typing the Behavior of Objects and Components using Session Types

Published in 01/01/2006

Authors

Antonio Vallecillo, Vasco Vasconcelos, António Ravara,

On the Structure of Rational Acceptance

Published in 01/01/2006

Authors

Gregory Wheeler,

Synechocystis ferredoxin/ferredoxin-NADP(+)-reductase/NADP+ complex: Structural model obtained by NMR-restrained docking

Published in 01/08/2005

Authors

Palma PN, Lagoutte B, Ludwig Krippahl, Moura JJ, Guerlesquin F,

Constraint Reasoning in Deep Biomedical Models

Published in 01/05/2005

Authors

Jorge Cruz, Pedro Barahona,

Precise modelling of compensating business transactions and its application to BPEL

Published in 01/05/2005

Authors

Carla Ferreira, Michael Butler, Muan Yong Ng,

Future Trends in Distributed Applications and Problem-Solving Environments

Published in 01/04/2005

Authors

José Cardoso e Cunha, Omer Rana, Pedro Medeiros,

Validação Cruzada de Métricas para Componentes

Published in 01/03/2005

Authors

Miguel Goulão, Fernando Brito e Abreu,

VideoZapper: A System for Delivering Personalized Video Content

Published in 01/03/2005

Authors

Miguel Boavida, Nuno Correia,

On the Structure of Rational Acceptance: Comments on Hawthorne and Bovens

Published in 01/01/2005

Authors

Gregory Wheeler,

An encompassing framework for Paraconsistent Logic Programs

Published in 01/01/2005

Authors

Carlos Viegas Damásio, Carlos Viegas Damásio, Luís Moniz Pereira, Luís Moniz Pereira,