Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 156



31
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, NÚMERO: 01
INDEXADO EM: CrossRef: 3
NO MEU: CIÊNCIAVITAE
32
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: WOS DBLP
NO MEU: DBLP
33
TÍTULO: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTORES: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
34
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 1
NO MEU: CIÊNCIAVITAE
35
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 | CIÊNCIAVITAE
36
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
37
TÍTULO: Reflections on "Incremental Cardinality Constraints for MaxSAT" PDF
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04643
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
38
TÍTULO: Repairing Boolean logical models from time-series data using Answer Set Programming  Full Text
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: ORCID | DBLP | CIÊNCIAVITAE
39
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
40
Página 4 de 16. Total de resultados: 156.

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

Links Úteis

Ajuda

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