Login

Articles

Foundations of Session Types and Behavioural Contracts

Article

Published in 01/04/2016

Authors

António Ravara, Dimitris Mostrous, Emilio Tuosto, Gianluigi Zavattaro, Hans Huttel, Hugo Torres Vieira, Ivan Lanese, Luca Padovani, Luis Caires, Marco Carbone, Vasco Vasconcelos,

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,

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,

Video Editing with Pen-based Technology

Article

Published in 01/02/2016

Authors

Diogo Cabral, Nuno Correia,

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result

Article

Published in 01/01/2016

Authors

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

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,