Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



31
TITLE: Model Revision of Boolean Regulatory Networks at Stable State
AUTHORS: Gouveia, F ; Lynce, I ; Monteiro, PT;
PUBLISHED: 2019, SOURCE: 15th International Symposium on Bioinformatics Research and Applications (ISBRA) in BIOINFORMATICS RESEARCH AND APPLICATIONS, ISBRA 2019, VOLUME: 11490
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
32
TITLE: Preface
AUTHORS: Janota, M; Lynce, I ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus
33
TITLE: Repairing Boolean logical models from time-series data using Answer Set Programming
AUTHORS: Lemos, A; Lynce, I ; Monteiro, PT;
PUBLISHED: 2019, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
34
TITLE: Room usage optimization in timetabling: A case study at Universidade de Lisboa
AUTHORS: Lemos, A; Melo, FS; Monteiro, PT; Lynce, I ;
PUBLISHED: 2019, SOURCE: OPERATIONS RESEARCH PERSPECTIVES, VOLUME: 6
INDEXED IN: WOS CrossRef: 12
35
36
TITLE: Virtual machine consolidation using constraint-based multi-objective optimization
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: DBLP
37
TITLE: Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: WOS DBLP
IN MY: DBLP
38
TITLE: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTHORS: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 64
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
39
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2018, SOURCE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
40
TITLE: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTHORS: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
Page 4 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service