Login

articles

Event-Based Run-time Adaptation in Communication-Centric Systems

Article

Published in 01/05/2016

Authors

Cinzia Di Giusto, Jorge A Pérez,

Self-Adaptation and Secure Information Flow in Multiparty Communications

Article

Published in 01/05/2016

Authors

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A Pérez,

Why logical clocks are easy

Article

Published in 01/04/2016

Authors

Carlos Baquero, Nuno Preguiça,

Evaluating Refactorings for Spreadsheet Models

Article

Published in 01/04/2016

Authors

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

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,

Time and space for segmenting personal photo sets

Article

Published in 01/03/2016

Authors

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

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,

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,

Linear logic propositions as session types

Article

Published in 01/03/2016

Authors

Luis Caires, Frank Pfenning, Bernardo Toninho,