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

Login

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,

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,

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,

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,

MWeb: A principled framework for modular web rule bases and its semantics.

Published in 01/01/2011

Authors

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio,

Unbalanced tree search on a manycore system using the GPI programming model

Published in 01/01/2011

Authors

Rui Machado, Carsten Lojewski, Salvador Abreu, Franz-Josef Pfreundt,

Incipient Cognition Solves the Spatial Reciprocity Conundrum of Cooperation

Published in 01/01/2011

Authors

Jeromos Vukov, Francisco Santos, Jorge M. Pacheco,

The universal set and diagonalization in Frege structures

Published in 01/01/2011

Authors

Reinhard Kahle,