Login

In Proceedings

GreenHub Farmer: Real-World Data for Android Energy Mining

InProceedings

Published in 29/08/2019

Authors

Hugo Matalonga, Bruno Cabral, Fernando Castor, Marco Couto, Rui Pereira, Simão Melo de Sousa,

Coded Trace Reconstruction

InProceedings

Published in 28/08/2019

Authors

Mahdi Cheraghchi, João Ribeiro, Ryan Gabrys, Olgica Milenkovic,

Fall-Prevention Exergames Using Balance Board Systems

InProceedings

Published in 25/08/2019

Authors

Miguel Brito, Rui Nóbrega, João Jacob, Rui Rodrigues, António Coelho ,

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

InProceedings

Published in 14/08/2019

Authors

João G. Martins, André Platzer, João Leite,

A Family of Domain-Specific Languages for Integrated Modular Avionics

InProceedings

Published in 01/08/2019

Authors

Ricardo Alves, Vasco Amaral, Bruno Tavares,

Stronger Leakage-Resilient and Non-Malleable Secret Sharing Schemes for General Access Structures

InProceedings

Published in 01/08/2019

Authors

Divesh Aggarwal, Ivan Damgard, Jesper Buus Nielsen, Maciej Obremski, Erick Purwanto, João Ribeiro, Mark Simkin,

A Mobile System to Increase Efficiency of the Lecturers when Preventing Academic Dishonesty During Written Exams

InProceedings

Published in 19/07/2019

Authors

Pedro Maroco, Joao Cambeiro, Vasco Amaral,

An annotated repository for MATLAB code

InProceedings

Published in 11/07/2019

Authors

António Relvas, Nuno C Marques, Miguel Monteiro, Glauco Carneiro,

Globally Optimal Parsimoniously Lifting a Fuzzy Query Set Over a Taxonomy Tree

InProceedings

Published in 01/07/2019

Authors

Dmitry Frolov, Boris Mirkin, Susana Nascimento,

Efficient Synchronization of State-Based CRDTs

InProceedings

Published in 01/07/2019

Authors

Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão,