Login

Articles

Two Axiomatic Characterizations for the System of Spheres-based (and the Epistemic Entrenchment-based) Multiple Contractions

Article

Published in 01/04/2015

Authors

Maurício Reis, Eduardo Fermé, Pavlos Peppas,

Embedding, Evolution and Empirical Validation of Model-Driven Spreadsheets

Article

Published in 01/03/2015

Authors

Jácome Cunha, Matthew B. Dwyer, Margaret M. Burnett, Jorge Mendes,

Synergy between intention recognition and commitments in cooperation dilemmas

Article

Published in 01/03/2015

Authors

Han The Anh, Francisco Santos, Tom Lenaerts, Luís Moniz Pereira,

Avoiding or Restricting Defectors in Public Goods Games?

Article

Published in 01/02/2015

Authors

Han The Anh, Luís Moniz Pereira, Tom Lenaerts,

Protein docking with predicted constraints

Article

Published in 01/02/2015

Authors

Ludwig Krippahl, Pedro Barahona,

Early identification of crosscutting concerns with the Language Extended Lexicon

Article

Published in 01/01/2015

Authors

Leandro Antonelli, Gustavo Rossi, João Araújo,

Efficient Correction of Anomalies in Snapshot Isolation Transactions

Article

Published in 01/01/2015

Authors

Heiner Litz, Ricardo Dias, David R. Cheriton,

Towards Fast Invariant Preservation in Geo-replicated Systems

Article

Published in 01/01/2015

Authors

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh, Marc Shapiro,

Disciplined Structured Communications with Disciplined Runtime Adaptation

Article

Published in 01/01/2015

Authors

Cinzia Di Giusto, Jorge A Pérez,

Multimodal medical information retrieval with unsupervised rank fusion

Article

Published in 01/01/2015

Authors

André Mourão, Flávio Martins, João Magalhães,