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

Back

Inês Lynce

inesc-id

27H-index

158Paper Count

2.7KCitation Count

Published Papers 8

Publication Date

Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization

Journal of Automated Reasoning

IF0.8

2026-02-16

OAAI

Cortes, Joao; Lynce, Ines; Manquinho, Vasco

Save

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

Save

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.

Save

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

Save

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

Save

Algorithms for computing minimal equivalent subformulas

artificial intelligence review

IF4.6

2014-11-01

OAAI

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

Save

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

Save

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.

Save

Research Directions