Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
21
TITLE: Minimal Perturbation in University Timetabling with Maximum Satisfiability
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2020, SOURCE: 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
AUTHORS: Lemos, A; Monteiro, PT; Lynce, I;
PUBLISHED: 2020, SOURCE: 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12296 LNCS
22
TITLE: ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2020, SOURCE: 18th International Conference on Computational Methods in Systems Biology, CMSB 2020 in Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, VOLUME: 12314
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2020, SOURCE: 18th International Conference on Computational Methods in Systems Biology, CMSB 2020 in Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, VOLUME: 12314
23
TITLE: UNCHARTIT: An Interactive Framework for Program Recovery from Charts
AUTHORS: Ramos, D; Pereira, J; Lynce, I; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTHORS: Ramos, D; Pereira, J; Lynce, I; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: 
Scopus 
WOS
Scopus WOS25
TITLE: UnchartIt. an interactive framework for program recovery from charts
AUTHORS: Daniel Ramos; Jorge Pereira; Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTHORS: Daniel Ramos; Jorge Pereira; Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
26
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
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
27
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
AUTHORS: Lemos, A; Lynce, I; Monteiro, PT;
PUBLISHED: 2019, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 14, ISSUE: 1
28
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
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
29
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
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
Scopus30
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
WOS