Browsing by Author "Álvarez Faura, M. del Carme"
Now showing items 21-40 of 40
-
Network formation for asymmetric players and bilateral contracting
(2016-10-01)
Article
Open AccessWe study a network formation game where players wish to send traffic to other players. Players can be seen as nodes of an undirected graph whose edges are defined by contracts between the corresponding players. Each player ... -
On the existence of Nash equilibria in strategic search games
(2011)
Conference report
Open AccessWe consider a general multi-agent framework in which a set of n agents are roaming a network where m valuable and sharable goods (resources, services, information ....) are hidden in m different vertices of the network. ... -
On the price of anarchy for high-price links
(Springer, 2019)
Conference report
Open AccessWe study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant, Luthra, Maneva, Papadimitriou and Shenker in 2003. This is a selfish network creation model where ... -
On the proper intervalization of colored caterpillar trees
(2009-11-01)
External research report
Open AccessThis paper studies the computational complexity of the Proper interval colored graph problem (picg), when the input graph is a colored caterpillar, parameterized by hair length. In order prove our result we establish a ... -
On the proper intervalization of colored caterpillar trees
(2009)
Article
Restricted access - publisher's policyThis paper studies the computational complexity of the proper interval colored graph problem (picg), when the input graph is a colored caterpillar, parameterized by hair length. In order prove our result we establish a ... -
Parallel complexity in the design and analysis of concurrent systems
(1990-10)
External research report
Open AccessWe study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ... -
Parallel complexity of partially commutative monoids
(1989-01)
External research report
Open AccessWe consider the parallel complexity of some problems issued from Petri nets, partially commutative monoids and finite automata. we prove the following: (19 The membership problem for firing sequances on Petri Nets can be ... -
PSPACE suffices for deciding nash equilibria properties for extensive games with large trees
(2005-09)
External research report
Open AccessWe study the computational complexity of deciding the existence of a Pure Nash Equilibrium or a subgame perfect equilibrium with a given payoff and other related problems in finite multi-player extensive games with perfect ... -
Pure Nash equilibria in games with a large number of actions
(2004-11)
External research report
Open AccessWe study the computational complexity of deciding the existence of a Pure Nash Equilibrium in multi-player strategic games. We address two fundamental questions: how can we represent a game?, and how can we represent a ... -
Sensor field: a computational model
(2009)
Article
Restricted access - publisher's policyWe introduce a formal model of computation for networks of tiny artifacts, the static synchronous sensor field model (SSSF) which considers that the devices communicate through a fixed communication graph and interact ... -
Sensor field: a computational model
(2009-09-23)
External research report
Open AccessWe introduce a formal model of computation for networks of tiny artifacts, the static synchronous sensor field model (SSSF) which considers that the devices communicate through a fixed communication graph and interact ... -
Sensor field: a computational model
(2009)
Conference lecture
Open AccessIn this work we introduce a formal model for studying networks of tiny artifacts, the static synchronous sensor field model (SSSF). The model consider that these devices communicate among them by means of a communication ... -
Stars and celebrities: A network creation game
(2015)
External research report
Open AccessCelebrity games, a new model of network creation games is introduced. The specific features of this model are that players have different celebrity weights and that a critical distance is taken into consideration. The aim ... -
The Complexity of deciding stability under FFS in the adversarial model
(2003-04)
External research report
Open AccessIn this paper we show the polynomial time decidability of the stability property under FFS in the case that the adversary can solve ties arbitrarily. This results follows from a characterization of the stability property ... -
The Complexity of pure Nash equilibria in weighted Max-Congestion Games
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008-03-04)
External research report
Open AccessWe study Network Max-Congestion Games (NMC games, for short), a class of network games where each player tries to minimize the most congested edge along the path he uses as strategy. We focus our study on the complexity ... -
The Hardness of intervalizing four colored caterpillars
(1998-07-02)
External research report
Open AccessThe problem of Intervalizing Colored Graphs (ICG) has received a lot of attention due to their use as a model for DNA physical mapping with ambiguous data. If k is the number of colors, the problem is known to be NP-Complete ... -
The HOM problem is decidable
(2009-06)
External research report
Open AccessWe close affirmatively a question which has been open for 35 years: decidability of the HOM problem. The HOM problem consists in deciding, given a tree homomorphism $H$ and a regular tree languagle $L$ represented by a ... -
The Proper interval colored graph problem for caterpillar trees
(1999-04)
External research report
Open AccessThis paper studies the computational complexity of the Proper Interval Colored Graph problem (PICG), when the input graph is a colored tree. We show that the problem is hard for the class of caterpillar trees. To prove ... -
The robustness of stability under link and node failures
(2007-07)
External research report
Open AccessIn the area of communication systems, stability refers to the property of keeping the amount of traffic in the system always bounded over time. Different communication system models have been proposed in order to capture ... -
Universal stability of undirected graphs in the adversarial queueing model
(2002-03)
External research report
Open AccessIn this paper we study the universal stability of undirected graphs in the adversarial queueing model for packet routing. In this setting packets must be injected in some edge and have to traverse a path before leaving ...
