Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1953 Publications
2014 |Published| Conference Paper | IST-REx-ID: 5810
On Finding Spherical Geodesic Paths and Circles in ℤ3
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
View
| DOI
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
2014 |Published| Conference Paper | IST-REx-ID: 6740 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How to achieve the capacity of asymmetric channels
M. Mondelli, R. Urbanke, H. Hassani, in:, 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, R. Urbanke, H. Hassani, in:, 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–796.
2014 |Published| Journal Article | IST-REx-ID: 6744
Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications
M. Mondelli, Q. Zhou, V. Lottici, X. Ma, IEEE Transactions on Wireless Communications 13 (2014) 1397–1409.
View
| DOI
M. Mondelli, Q. Zhou, V. Lottici, X. Ma, IEEE Transactions on Wireless Communications 13 (2014) 1397–1409.
2014 |Published| Conference Paper | IST-REx-ID: 10885
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
2014 |Published| Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View
| Files available
| DOI
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
2014 |Published| Journal Article | IST-REx-ID: 7301
Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent
C. Li, O. Fontaine, S.A. Freunberger, L. Johnson, S. Grugeon, S. Laruelle, P.G. Bruce, M. Armand, The Journal of Physical Chemistry C 118 (2014) 3393–3401.
View
| DOI
C. Li, O. Fontaine, S.A. Freunberger, L. Johnson, S. Grugeon, S. Laruelle, P.G. Bruce, M. Armand, The Journal of Physical Chemistry C 118 (2014) 3393–3401.
2014 |Published| Journal Article | IST-REx-ID: 7455
Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS)
T. Costanzo, F. Benzi, P. Ghigna, S. Pin, G. Spinolo, F. d’Acapito, Journal of Synchrotron Radiation 21 (2014) 395–400.
View
| DOI
T. Costanzo, F. Benzi, P. Ghigna, S. Pin, G. Spinolo, F. d’Acapito, Journal of Synchrotron Radiation 21 (2014) 395–400.
2014 |Published| Conference Paper | IST-REx-ID: 773
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
2014 |Published| Journal Article | IST-REx-ID: 9594 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the number of spanning trees in random regular graphs
C. Greenhill, M.A. Kwan, D. Wind, The Electronic Journal of Combinatorics 21 (2014).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Greenhill, M.A. Kwan, D. Wind, The Electronic Journal of Combinatorics 21 (2014).
2014 |Published| Journal Article | IST-REx-ID: 12634
Changes of glaciers in the Andes of Chile and priorities for future work
F. Pellicciotti, S. Ragettli, M. Carenzo, J. McPhee, Science of The Total Environment 493 (2014) 1197–1210.
View
| DOI
F. Pellicciotti, S. Ragettli, M. Carenzo, J. McPhee, Science of The Total Environment 493 (2014) 1197–1210.
2014 |Published| Journal Article | IST-REx-ID: 14020 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 10886
Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
View
| DOI
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
2014 |Published| Book Chapter | IST-REx-ID: 10817
Notes on the simplification of the Morse-Smale complex
D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
View
| DOI
D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
2014 |Published| Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.
View
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.
2014 |Published| Journal Article | IST-REx-ID: 2255 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 |Published| Conference Paper | IST-REx-ID: 2159 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 |Published| Conference Paper | IST-REx-ID: 2218 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
2014 |Published| Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
2014 |Published| Conference Paper | IST-REx-ID: 2082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 |Published| Conference Paper | IST-REx-ID: 2157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.