Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

Ana Viana holds a PhD in Electrical and Computers Engineering (University of Porto, 2004).

She is Coordinator Researcher of the Centre for Industrial Engineering and Management of INESC TEC and Coordinator Professor at the Polytechnic of Porto, School of Engineering.

Her research interests focus on Combinatorial Optimisation, both on the development of exact and (meta-)heuristics approaches.

She led several research projects with public funding and publishes regularly in reference scientific journals of her area of activity.

Interest
Topics
Details

Details

  • Name

    Ana Viana
  • Role

    Research Coordinator
  • Since

    09th December 1997
014
Publications

2025

Local stability in kidney exchange programs

Authors
Baratto, M; Crama, Y; Pedroso, JP; Viana, A;

Publication
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
When each patient of a kidney exchange program has a preference ranking over its set of compatible donors, questions naturally arise surrounding the stability of the proposed exchanges. We extend recent work on stable exchanges by introducing and underlining the relevance of a new concept of locally stable, or L-stable, exchanges. We show that locally stable exchanges in a compatibility digraph are exactly the so-called local kernels (L-kernels) of an associated blocking digraph (whereas the stable exchanges are the kernels of the blocking digraph), and we prove that finding a nonempty L-kernel in an arbitrary digraph is NP-complete. Based on these insights, we propose several integer programming formulations for computing an L-stable exchange of maximum size. We conduct numerical experiments to assess the quality of our formulations and to compare the size of maximum L-stable exchanges with the size of maximum stable exchanges. It turns out that nonempty L-stable exchanges frequently exist in digraphs which do not have any stable exchange. All the above results and observations carry over when the concept of (locally) stable exchanges is extended to the concept of (locally) strongly stable exchanges.

2024

Shapley-Scarf Housing Markets: Respecting Improvement, Integer Programming, and Kidney Exchange

Authors
Biró, P; Klijn, F; Klimentova, X; Viana, A;

Publication
MATHEMATICS OF OPERATIONS RESEARCH

Abstract
In a housing market of Shapley and Scarf, each agent is endowed with one indivisible object and has preferences over all objects. An allocation of the objects is in the (strong) core if there exists no (weakly) blocking coalition. We show that, for strict preferences, the unique strong core allocation respects improvement-if an agent's object becomes more desirable for some other agents, then the agent's allotment in the unique strong core allocation weakly improves. We extend this result to weak preferences for both the strong core (conditional on nonemptiness) and the set of competitive allocations (using probabilistic allocations and stochastic dominance). There are no counterparts of the latter two results in the two-sided matching literature. We provide examples to show how our results break down when there is a bound on the length of exchange cycles. Respecting improvements is an important property for applications of the housing markets model, such as kidney exchange: it incentivizes each patient to bring the best possible set of donors to the market. We conduct computer simulations using markets that resemble the pools of kidney exchange programs. We compare the game-theoretical solutions with current techniques (maximum size and maximum weight allocations) in terms of violations of the respecting improvement property. We find that game-theoretical solutions fare much better at respecting improvements even when exchange cycles are bounded, and they do so at a low efficiency cost. As a stepping stone for our simulations, we provide novel integer programming formulations for computing core, competitive, and strong core allocations.

2023

Stochastic crowd shipping last-mile delivery with correlated marginals and probabilistic constraints

Authors
Silva, M; Pedroso, JP; Viana, A;

Publication
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
In this work, we study last-mile delivery with the option of crowd shipping. A company uses occasional drivers to complement its fleet in the activity of delivering products to its customers. We model it as a variant of the stochastic capacitated vehicle routing problem. Our approach is data-driven, where not only customer orders but also the availability of occasional drivers are uncertain. It is assumed that marginal distributions of the uncertainty vector are known, but the joint distribution is difficult to estimate. We optimize considering a worst-case joint distribution and model with a strategic planning perspective, where we calculate an optimal a priori solution before the uncertainty is revealed. A limit on the infea-sibility of the routes due to the capacity is imposed using probabilistic constraints. We propose an extended formulation for the problem using column-dependent rows and implement a branch-price-and-cut algorithm to solve it. We also develop a heuristic approximation to cope with larger instances of the problem. Through computational experiments, we analyze the solution and performance of the implemented algorithms.

2023

Preface to the Special Issue on Operations Research in Healthcare

Authors
Viana, A; Marques, I; Dias, JM;

Publication
INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH

Abstract

2023

A data-driven compensation scheme for last-mile delivery with crowdsourcing

Authors
Barbosa, M; Pedroso, JP; Viana, A;

Publication
COMPUTERS & OPERATIONS RESEARCH

Abstract
A recent relevant innovation in last-mile delivery is to consider the possibility of goods being delivered by couriers appointed through crowdsourcing. In this paper we focus on the setting of in-store customers delivering goods, ordered by online customers, on their way home. We assume that not all the proposed delivery tasks will necessarily be accepted, and use logistic regression to model the crowd agents' willingness to undertake a delivery. This model is then used to build a novel compensation scheme that determines reward values, based on the current plan for the professional fleet's routes and on the couriers' probabilities of acceptance, by employing a direct search algorithm that seeks to minimise the expected cost.

Supervised
thesis

2023

Implementação de um sistema fotovoltaico para autoconsumo

Author
SOFIA MENDES FERREIRA

Institution
IPP-ISEP

2021

Production Planning and scheduling in the Footwear Industry

Author
CARLOS ANDRÉ VAZ MOREIRA

Institution
IPP-ISEP

2019

A data-driven compensation scheme for last-mile delivery with crowdsourcing

Author
Miguel Moreira da Silva Lima Barbosa

Institution
IPP-ISEP

2018

ANÁLISE DA REDE LOGÍSTICA E POLÍTICAS DE APROVISIONAMENTO NUMA EMPRESA DE DISTRIBUIÇÃO DE CONTADORES ELÉTRICOS

Author
VÍTOR NETO MAGALHÃES

Institution
IPP-ISEP

2017

Otimização do posicionamento de PMUs numa rede elétrica

Author
TIAGO RAFAEL PINTO MONTEIRO

Institution
IPP-ISEP