Inês Lynce - Publications, H-index & Citations

Inês Lynce

inesc-id

27H指数

158论文数

2.7K被引数

收录论文 8

发表时间

Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization 基于不可满足性的多目标组合优化算法

Journal of Automated Reasoning

IF0.8

2026-02-16

OAAI

Cortes, Joao; Lynce, Ines; Manquinho, Vasco

BatFix: Repairing Language Model-based Transpilation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-06-27

OAAI

Ramos, Daniel; Lynce, Ines; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire

Exact and approximate determination of the Pareto front using Minimal Correction Subsets

COMPUTERS & OPERATIONS RESEARCH

IF4.3

2023-05-01

OAAI

Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V; Figueira, J. R.

DeepData: Machine learning in the marine ecosystems

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2022-11-01

OAAI

Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena; Manquinho, Vasco; Lynce, Ines

Room usage optimization in timetabling: A case study at Universidade de Lisboa

OPERATIONS RESEARCH PERSPECTIVES

IF3.7

2019-01-01

OAAI

Lemos, Alexandre; Melo, Francisco S.; Monteiro, Pedro T.; Lynce, Ines

Algorithms for computing minimal equivalent subformulas

artificial intelligence review

IF4.6

2014-11-01

OAAI

Belov, Anton; Janota, Mikolas; Lynce, Ines; Marques-Silva, Joao

An ontology-based approach to conflict resolution in Home and Building Automation Systems

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2014-10-01

PREAI

Camacho, Rui; Carreira, Paulo; Lynce, Ines; Resendes, Silvia

Haplotype inference with pseudo-Boolean optimization 基于伪布尔优化的单倍型推断

ANNALS OF OPERATIONS RESEARCH

IF4.5

2009-12-09

PREAI

Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.

研究方向