Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



41
TITLE: Virtual machine consolidation using constraint-based multi-objective optimization  Full Text
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
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
43
TITLE: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTHORS: Filipe Gouveia ; Inês Lynce ; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64
INDEXED IN: Scopus DBLP
IN MY: DBLP | CIÊNCIAVITAE
44
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 2
IN MY: CIÊNCIAVITAE
45
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 | CIÊNCIAVITAE
46
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 2
IN MY: CIÊNCIAVITAE
47
TITLE: Introducing Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
48
TITLE: Logic-Based Encodings for Ricochet Robots
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
49
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2016, SOURCE: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
TITLE: Algorithms for computing backbones of propositional formulae  Full Text
AUTHORS: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 5 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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