Login

In Proceedings

A Time-Segmented Consortium Blockchain for Robotic Event Registration

InProceedings

Published in 26/03/2021

Authors

Vasco Lopes, Miguel Fernandes, Nuno Pereira, Luís A Alexandre,

Refinement kinds: type-safe programming with practical type-level computation

InProceedings

Published in 17/02/2021

Authors

Luis Caires, Bernardo Toninho,

Causality Tracking Trade-offs for Distributed Storage

InProceedings

Published in 05/01/2021

Authors

Hugo Guerreiro, Luís Rodrigues, Nuno Preguiça, Nivia Quental,

Overlay Networks for Edge Management

InProceedings

Published in 05/01/2021

Authors

Pedro Ákos Costa, Pedro Fouto, João Leitão,

Dynamic Task Allocation for Robotic Network Cloud Systems

InProceedings

Published in 17/12/2020

Authors

Saeid Alirezazadeh, Luís A Alexandre,

MaskedFusion: Mask-based 6D Object Pose Estimation

InProceedings

Published in 14/12/2020

Authors

Nuno Pereira, Luís A Alexandre,

Unsupervised Approach to Detect Extreme Sentiments on Social Networks

InProceedings

Published in 10/12/2020

Authors

Sebastião Pais, Irfan Khan Tanoli, Miguel Albardeiro, Joao Cordeiro,

RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios

InProceedings

Published in 01/12/2020

Authors

António Teófilo, Hervé Paulino, João Lourenço,

Mediating Artificial Intelligence Developments through Negative and Positive Incentives

InProceedings

Published in 01/12/2020

Authors

Han The Anh, Luís Moniz Pereira, Tom Lenaerts, Francisco Santos,

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

InProceedings

Published in 24/11/2020

Authors

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara,