Total Projects: 48
International Projects
- QUALICHAIN - IDSS - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
National Technical University of Athens, European Commission, , 2019-01-01 - 2021-12-31 - DependableCloud - Towards the dependable cloud: Building the foundations for tomorrow
INESC-ID Lisboa, European Research Council, , 2015-05-01 - 2017-09-05 - MANCOOSI - Managing the Complexity of the Open Source Infrastructure
Universite Paris Diderot, European Commission, , 2008-02-01 - 2011-01-31 - - SAT
Instituto Superior Técnico, TransEDA, , 2002-09-01 - 2004-12-01 - - SYMBAD
TNI-Valiosys, European Commission - 5th Framework Program, , 2002-03-01 - 2004-11-01
National Projects
- RIGA - Reasoning over Indirect Discrimination
INESC-ID Lisboa, FCT, Societal Digital Transformation, 2023-03-12 - 2024-09-11 - Smart Retail - PRR Agenda Smart Retail
Sensei, IAPMEI, Societal Digital Transformation, 2022-10-01 - 2024-12-31 - DIVINA - Detecting Injection Vulnerabilities In Node.js Applications
INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-03-27 - 2023-06-26 - Dacomico - Data Consistency in Microservices Compositions
INESC-ID Lisboa, FCT, Societal Digital Transformation, 2022-01-15 - 2025-01-14 - PassCert - Exploring the Impact of Formal Verification on the Adoption of Password Security Software
INESC-ID Lisboa, FCT Carnegie Mellon, Security and Privacy, 2021-02-01 - 2022-04-30 - SecurityAware - Abordagem refinada para detectar e corrigir vulnerabilidades
INESC-ID Lisboa, FCT, Security and Privacy, 2020-11-01 - 2022-01-31 - GOLEM - Automated Programming to Revolutionize App Development
OutSystems, FCT, Societal Digital Transformation, 2020-04-01 - 2023-06-30 - LAIfeBlood - Artificial Intelligence for Blood Management
INESC-ID Lisboa, FCT, , 2020-01-01 - 2023-06-30 - DATAHELP - Data2Help: Data Science for Optimization of Emergency Medical Services
INESC-ID Lisboa, FCT, , 2019-01-01 - 2022-06-30 - DOME - Métodos de Optimização Discreta para Gestão Energética
INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-06-30 - INFOCOS - Feedback Inteligente para alunos contentes
INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-09-30 - MIXEDUP - Inibição da patogénese e construção de fábricas celulares: por desenvolvimento de modelos regulatórios-metabólicos mistos à escala do genoma em leveduras
IST-ID, FCT, , 2018-10-01 - 2022-09-30 - NGPHYLO - Ferramentas para análise filogenetica em larga escala
INESC-ID Lisboa, FCT, , 2018-10-01 - 2022-09-30 - DeepData - DeepData: Data Science in the Azores Deep Sea
INESC-ID Lisboa, FCT, , 2018-09-01 - 2019-08-09 - FaultLocker - FAULT LOCalization and repair tooKit for dEpendable softwaRe
INESC-ID Lisboa, FCT, , 2018-09-01 - 2022-03-31 - BioData - Portuguese Biological Data Network
F - Fundação Calouste Gulbenkian, P2020, , 2017-01-01 - 2021-06-17 - BacGenTrack - BacGenTrack - An integrated system for Bacterial Genome Tracking using high throughput sequencing technology: from identification to visualization
Instituto de Medicina Molecular, FCT, , 2016-12-01 - 2019-11-30 - ERGODiC - Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs
INESC-ID Lisboa, FCT (PTDC/EEICTP/2914/2014), , 2016-07-01 - 2019-06-30 - CoMEDy - A COmputational Modelling platform for Epithelial DYnamics to explore the role of epithelial-mesenchymal transition and stemness acquisition in cancer recurrence
F - Fundação Calouste Gulbenkian, FCT, , 2016-07-01 - 2019-06-30 - CANTROL - Deciphering the mechanisms of transcriptional regulation that control antifungal drug resistance in pathogenic yeast Candida glabrata: aiming at the development of improved diagnosis and therapeutic
IST-ID, FCT, , 2016-03-01 - 2019-02-28 - AMOS - Algorithms for Massive Online Courses
INESC-ID Lisboa, FCT, , 2015-01-01 - 2015-12-01 - IFCT - Towards a semi-automatic model revision of logical regulatory network
IF/01333/2013/CP1 204/CT0001, FCT, , 2015-01-01 - 2018-12-31 - eTEAM - Electronic Timetable Equipment and Staff Management
SISCOG, QREN, , 2014-01-05 - 2015-04-01 - DataStorm - Large-Scale Data Management in Cloud Environments
INESC-ID Lisboa, FCT, , 2013-07-01 - 2016-06-30 - POLARIS - POLynomial hierARchy algorIthms and applicationS
INESC-ID Lisboa, FCT, , 2012-01-01 - 2015-02-28 - NetDyn - NetDyn: Understanding real large networks, from structure to dynamics
INESC-ID Lisboa, FCT (PTDC/EIA-EIA/118533/2010), , 2012-01-01 - 2014-06-30 - ASPEN - Answer Set Programming with Boolean Satisfiability
INESC-ID Lisboa, FCT, , 2011-03-01 - 2014-02-28 - ATTEST - AlgoriThms and Tolls for reasoning about dEpendable SysTems
INESC-ID Lisboa, FCT, , 2010-10-01 - 2013-10-31 - ParSat - Parallel Satisfiability Algorithms and its Applications
INESC-ID Lisboa, FCT (PTDC/EIA-EIA/103532/2008), , 2010-04-04 - 2013-04-04 - iExplain - iExplain - Reasoning About Unsatisfiability
INESC-ID Lisboa, FCT, , 2010-04-01 - 2013-03-31 - BSOLO - BSOLO - Satisfação e optimização com restrições Booleanas
INESC-ID Lisboa, FCT, , 2008-01-01 - 2011-08-31 - SHIPs - Sat-based Haplotype Inference by Pure Parsimony
INESC-ID Lisboa, FCT, , 2007-12-31 - 2010-12-31 - DYABLO - Models for the Dynamic Behavior of Biological Networks
INESC-ID Lisboa, FCT, , 2007-12-30 - 2010-12-30 - PRIVATO - Privacy Aware Trusted Computing
INESC-ID Lisboa, FCT, , 2007-12-01 - 2010-12-01 - STRESSE - Insights into the complex regulatory networks acting in yeast cells changed with drugs/chemical stresses: genome wide expressions approaches supported by bioinformatics
Instituto Superior Técnico, FCT, , 2006-01-02 - 2007-12-31 - SATPot: Algoritmos de satisfação, aplicações e ext - SATPOT
INESC-ID Lisboa, FCT, , 2005-03-01 - 2008-02-28 - BioGrid - BioGrid - Parallel Algorithms for Gene Annotation
INESC-ID Lisboa, FCT, , 2004-02-01 - 2007-06-30 - - PRACTIC
Universidade Nova de Lisboa, FCT, , 2004-01-01 - 2006-12-31 - - ADEPT
INESC-ID Lisboa, FCT, , 2001-01-01 - 2005-06-30 - - TGV - Techniques for Global Functional Verification of Complex Digital Systems
INESC-ID Lisboa, FCT, , 1999-06-01 - 2003-12-31
Conferences
- ICST 2020 - IEEE International Conference on Software Testing, Verification and Validation
INESC-ID Lisboa, Conference Registration, , 2019-07-01 - 2022-12-31 - DILS 2014 - 10th International Conference on Data Integration in the Life Sciences
INESC-ID Lisboa, Other, , 2014-03-01 - 2014-12-31
Internal Projects
- Sat-based Haplotype Inference by Pure Parsimony - SHIPs
INESC-ID Lisboa, INESC-ID, , 2006-01-03 - 2007-12-31