output
20042025
most citedSolving Linux Upgradeability Problems Using Boolean Optimization

46 citations

researchers with a paper here
collaborating institutions
Showing 2014Show all

2 papers · 1 filter

cs.SI2014

Synthetic Generation of Social Network Data With Endorsements

Hebert Pérez-Rosés, Francesc Sebé

In many simulation studies involving networks there is the need to rely on a sample network to perform the simulation experiments. In many cases, real network data is not available…

math.DS2014

Transversal conics and the existence of limit cycles

Héctor Giacomini, Maite Grau

This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson re…