153 citations
- Centrum Wiskunde & InformaticaNL2 papers
- Sobolev Institute of MathematicsRU2 papers
- Alexandru Ioan Cuza UniversityRO1 paper
- Arizona State UniversityUS1 paper
- Boston UniversityUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chalmers University of TechnologySE1 paper
- Délégation Paris 7FR1 paper
- DePaul UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- INESC TECPT1 paper
- Institute of Mathematics and InformaticsBG1 paper
4 papers · 1 filter
Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
Peter Giesl, Sigurdur Hafstein
A Riemannian metric with a local contraction property can be used to prove existence and uniqueness of a periodic orbit and determine a subset of its basin of attraction. While the…
Wireless Network Stability in the SINR Model
Eyjolfur I. Asgeirsson, Magnus M. Halldorsson, Pradipta Mitra
We study the stability of wireless networks under stochastic arrival processes of packets, and design efficient, distributed algorithms that achieve stability in the SINR (Signal t…
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…
Towards Tight Bounds for Local Broadcasting
Magnus M. Halldorsson, Pradipta Mitra
We consider the local broadcasting problem in the SINR model, which is a basic primitive for gathering initial information among wireless nodes. Assuming that nodes can measure…