Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



31
TÍTULO: Model Revision of Boolean Regulatory Networks at Stable State
AUTORES: Gouveia, F ; Lynce, I ; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
32
TÍTULO: Preface
AUTORES: Janota, M; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXADO EM: Scopus
33
TÍTULO: Repairing Boolean logical models from time-series data using Answer Set Programming
AUTORES: Lemos, A; Lynce, I ; Monteiro, PT;
PUBLICAÇÃO: 2019, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
34
TÍTULO: Room usage optimization in timetabling: A case study at Universidade de Lisboa
AUTORES: Lemos, A; Melo, FS; Monteiro, PT; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: OPERATIONS RESEARCH PERSPECTIVES, VOLUME: 6
INDEXADO EM: WOS CrossRef: 12
35
36
TÍTULO: Virtual machine consolidation using constraint-based multi-objective optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: DBLP
37
TÍTULO: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS DBLP
NO MEU: DBLP
38
TÍTULO: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTORES: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: ICLP (Technical Communications), VOLUME: 64
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
39
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
40
TÍTULO: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTORES: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
Página 4 de 14. Total de resultados: 140.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service