| Acronym |
Name |
Funding Agency |
Start date |
Duration |
| DeDuCe |
Distributed Data Centric Concurrency Control |
EU/H2020 |
01-01-2018 |
3 year(s) |
| DP-PMI |
Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) |
FCT |
01-01-2014 |
8 year(s) |
| MoLC |
Modular Analysis of Logical Calculli |
FCT |
01-11-2017 |
4 year(s) |
| PREDICT |
Personalized therapy for RhEumatic DIseases via machine learning methods |
FCT |
01-01-2019 |
3 year(s) |
| Q.DOT |
SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer |
P2020 |
17-07-2019 |
2 year(s) |
| QuantumMining |
Quantum Primitives for Privacy Preserving Data Mining |
FCT |
01-09-2018 |
3 year(s) |
| RECODIS |
Resilient communication services protecting end-user applications from disaster-based failures |
ESF/COST |
01-03-2016 |
4 year(s) |
| ResNeD |
Resilient Network Design - enhancing availability for critical services |
FCT |
22-06-2018 |
3 year(s) |
| Acronym |
Name |
Funding Agency |
Start date |
Duration |
| ComFormCrypt |
ComFormCrypt - Computational Semantics of Formal Methods in Cryptography |
FCT/PTDC |
01-02-2011 |
4 year(s) |
| COMPUTR |
COMPUTR : Calcul en temps continu sur les réels |
INRIA |
01-01-2010 |
1 year(s) |
| Confident |
Confident - Communication Contracts for Distributed Systems Development |
FCT |
01-05-2016 |
3 year(s) |
| CSI^2 |
Cryptographic Security of Individual Instances |
FCT/PTDC |
01-02-2010 |
4 year(s) |
| CV-Quantum |
Improving Security and Capacity Using Continuous Variables Quantum Communications |
IT/LA |
01-02-2014 |
3 year(s) |
| DITSA |
Developing an interactive tool for sports analysts |
IT/LA |
01-06-2013 |
1 year(s) |
| Elven |
Elven - Expressive Logics for VErifying the Net |
EU/H2020 |
01-07-2016 |
3 year(s) |
| EntMeso |
Entanglement and Transport Properties in Mesoscopic Systems |
FCT/GRICES, CNRS |
01-01-2007 |
2 year(s) |
| GeTFun |
GeTFun - Generalizing Truth-Functionality |
EC/FP7 |
01-01-2013 |
4 year(s) |
| HYDRA-ROF |
Hybrid Dynamic Radio Access supported by Radio over Fiber |
IT/LA |
01-02-2014 |
3 year(s) |
| IVFP |
Inspecting the variability of football players |
IT/LA |
01-10-2013 |
1 year(s) |
| LOPIX |
LOPIX - Low Power Information Exchange |
QREN |
01-08-2012 |
2 year(s) |
| MCTBFT |
Measuring collective tactical behavior of football teams |
IT/LA |
01-07-2013 |
1 year(s) |
| NAAF |
Network analysis applied on football |
IT/LA |
01-04-2013 |
1 year(s) |
| PhoTech-5G/60GHz |
Photonic Technologies to support 5G/60GHz WLANS |
IT |
01-11-2016 |
2 year(s) |
| P-Quantum |
Practical Quantum Communications |
IT/LA |
01-09-2011 |
2 year(s) |
| QbigD |
Quantum Big Data |
FEDER |
01-04-2016 |
2 year(s) |
| QuantPrivTel |
QuantPrivTel: Quantum PrivateTelecommunications |
FCT/PTDC |
01-01-2010 |
4 year(s) |
| SearchCol |
SearchCol: Meta-heuristic Search by Column generation |
FCT/PTDC |
01-04-2010 |
4 year(s) |
| TTAMA |
Towards a technological approach of the match analysis: Using tactical metrics to evaluate football teams |
IT/LA |
01-01-2013 |
1 year(s) |
| uPATO |
Ultimate Performance Analysis Tool |
IT/LA |
01-07-2016 |
2 year(s) |
