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

Login

Why logical clocks are easy

Published in 01/04/2016

Authors

Carlos Baquero, Nuno Preguiça,

Dynamic Role Authorization in Multiparty Conversations

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

Published in 01/03/2016

Authors

Luis Caires, Frank Pfenning, Bernardo Toninho,

Geo-Replication: Fast If Possible, Consistent If Necessary

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

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

Published in 01/03/2016

Authors

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

Video Editing with Pen-based Technology

Published in 01/02/2016

Authors

Diogo Cabral, Nuno Correia,

Abduction and Beyond in Logic Programming with Application to Morality

Published in 01/01/2016

Authors

Luís Moniz Pereira, Ari Saptawijaya,

From phenotype to genotype in complex brain networks

Published in 01/01/2016

Authors

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

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

Published in 01/01/2016

Authors

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