Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



31
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
INDEXED IN: CrossRef: 3
IN MY: CIÊNCIAVITAE
32
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: WOS DBLP
IN MY: DBLP
33
TITLE: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTHORS: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR; Manquinho, V;
PUBLISHED: 2019, SOURCE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
34
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 1
IN MY: CIÊNCIAVITAE
35
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 | CIÊNCIAVITAE
36
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
37
TITLE: Reflections on "Incremental Cardinality Constraints for MaxSAT" PDF
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.04643
INDEXED IN: DBLP arXiv
IN MY: DBLP
38
TITLE: Repairing Boolean logical models from time-series data using Answer Set Programming  Full Text
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: ORCID | DBLP | CIÊNCIAVITAE
39
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
40
Page 4 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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