Login

Articles

Evaluating Refactorings for Spreadsheet Models

Article

Published in 01/04/2016

Authors

Jácome Cunha, Jorge Mendes, Rui Pereira, Pedro Martins,

Dynamic Role Authorization in Multiparty Conversations

Article

Published in 01/03/2016

Authors

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A Pérez, Hugo Torres Vieira,

Linear logic propositions as session types

Article

Published in 01/03/2016

Authors

Luis Caires, Frank Pfenning, Bernardo Toninho,

Geo-Replication: Fast If Possible, Consistent If Necessary

Article

Published in 01/03/2016

Authors

Valter Balegas, David Lomet, Cheng Li, Bettina Kemme, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis,

Time and space for segmenting personal photo sets

Article

Published in 01/03/2016

Authors

Nuno Datia, João Moura Pires, Nuno Correia,

Features combination for art authentication studies: brushstroke and materials analysis of Amadeo de Souza-Cardoso

Article

Published in 01/03/2016

Authors

Cristina Montagner, Nuno Correia, Rita Macedo, Rui Jesus,

Video Editing with Pen-based Technology

Article

Published in 01/02/2016

Authors

Diogo Cabral, Nuno Correia,

Preventing DDoS with Ephemeral IP Identifiers Cryptographically Generated

Article

Published in 01/01/2016

Authors

Henrique Domingos, Ricardo Paula Martins,

Abduction and Beyond in Logic Programming with Application to Morality

Article

Published in 01/01/2016

Authors

Luís Moniz Pereira, Ari Saptawijaya,

From phenotype to genotype in complex brain networks

Article

Published in 01/01/2016

Authors

Massimiliano Zanin , Marco Correia, Pedro Sousa, Jorge Cruz,