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

Login

Hybrid assessment method for software engineering decisions

Published in 01/04/2011

Authors

Rita Ribeiro, Ana Moreira, Pim van den Broek, Rita Almeida Ribeiro, Ana Moreira, Afonso Pimentel, Pim van den Broek,

Towards a Behavioral Algebraic Theory of Logical Valuations

Published in 01/04/2011

Authors

Ricardo Gonçalves, C. Caleiro,

Hybrid assessment method for software engineering decisions

Published in 01/04/2011

Authors

Rita Ribeiro, Ana Moreira, Pim van den Broek, Rita Almeida Ribeiro, Ana Moreira, Afonso Pimentel, Pim van den Broek,

Detecting concurrency anomalies in transactional memory programs

Published in 01/04/2011

Authors

João Lourenço, Diogo Sousa, Bruno Cavaca Teixeira, Ricardo Dias,

On the Expressiveness and Decidability of Higher-Order Process Calculi

Published in 01/02/2011

Authors

Ivan Lanese, Jorge A Pérez, Davide Sangiorgi, Alan Schmitt,

Learning specifications of interaction protocols and business processes and proving their properties

Published in 01/02/2011

Authors

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari,

An Interface to Retrieve Personal Memories through an Iconic Visual Language

Published in 01/01/2011

Authors

Rui Jesus, Teresa Romão, Nuno Correia,

A Computational Logic Application Framework for Service Discovery and Contracting

Published in 01/01/2011

Authors

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni,

Selection pressure transforms the nature of social dilemmas in adaptive networks

Published in 01/01/2011

Authors

Sven Van Segbroeck, Francisco Santos, Tom Lenaerts, Jorge M. Pacheco,

Cross-site consistent in situ measurements for satellite ocean color applications: the BiOMaP radiometric dataset

Published in 01/01/2011

Authors

G. Zibordi, J.-F. Berthon, F. Melin, D. D'Alimonte,