Login

articles

Characteristic bisimulation for higher-order session processes

Article

Published in 01/05/2017

Authors

Dimitrios Kouzapas, Jorge A Pérez, Nobuko Yoshida,

When agreement-accepting free-riders are a necessary evil for the evolution of cooperation

Article

Published in 01/05/2017

Authors

Luis Martinez-Vaquero, Han The Anh, Luís Moniz Pereira, Tom Lenaerts,

When you must forget: Beyond strong persistence when forgetting in answer set programming

Article

Published in 10/04/2017

Authors

Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran,

Hidralerta: Coastal and Port Risk Forecast and Warning Platform

Article

Published in 01/03/2017

Authors

Armanda Rodrigues, André Sabino, C. J. E. M. Fortes, M. T. Reis, Pedro Poseiro,

Reversibility in session-based concurrency: A fresh look

Article

Published in 01/03/2017

Authors

Claudio Mezzina, Jorge A Pérez,

Cyberculture, Symbiosis and Syncretism

Article

Published in 01/03/2017

Authors

Luís Moniz Pereira,

Cultural Heritage 3D Modelling and visualisation within an Augmented Reality Environment, based on Geographic Information Technologies and mobile platforms

Article

Published in 28/02/2017

Authors

Luis Filipe Marques, Malcom Burns, Teresa Romão, Fernando Birra, Antero Pires,

A high-performance computing framework for Monte Carlo ocean color simulations

Article

Published in 01/02/2017

Authors

Tamito KAJIYAMA, Davide D'Alimonte, José Cardoso e Cunha,

Practical Privacy-Preserving Image Content-Based Retrieval

Article

Published in 01/02/2017

Authors

Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos,

On ensconcement and contraction

Article

Published in 01/01/2017

Authors

Eduardo Fermé, Marco Garapa, Maurício Reis,