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.
1850 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1340 |
The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
2016 |Published| Conference Paper | IST-REx-ID: 1348 |
Bounded embeddings of graphs in the plane
R. Fulek, in:, Springer, 2016, pp. 31–42.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Fulek, in:, Springer, 2016, pp. 31–42.
2016 |Published| Conference Paper | IST-REx-ID: 1365 |
Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
2016 |Published| Conference Paper | IST-REx-ID: 1366 |
Provably robust sponge-based PRNGs and KDFs
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
2016 |Published| Journal Article | IST-REx-ID: 1372 |
Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
[Submitted Version]
View
| Files available
| DOI
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
2016 |Published| Conference Paper | IST-REx-ID: 1369 |
Seed, expand and constrain: Three principles for weakly-supervised image segmentation
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
2016 |Published| Conference Paper | IST-REx-ID: 1381 |
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
[Published Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
2016 |Published| Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View
| DOI
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 |Published| Journal Article | IST-REx-ID: 1394 |
Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1434 |
Local stability of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
2016 |Published| Journal Article | IST-REx-ID: 1478 |
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
[Published Version]
View
| Files available
| DOI
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
2016 |Published| Conference Paper | IST-REx-ID: 1524 |
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
2016 |Published| Journal Article | IST-REx-ID: 1522 |
The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
2016 |Published| Conference Paper | IST-REx-ID: 1526 |
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
2016 |Published| Conference Paper | IST-REx-ID: 1164 |
Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
2016 |Published| Journal Article | IST-REx-ID: 1608 |
Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
2016 |Published| Journal Article | IST-REx-ID: 1612 |
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Kazda, Algebra Universalis 75 (2016) 75–84.
2016 |Published| Journal Article | IST-REx-ID: 1641 |
A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
[Preprint]
View
| Files available
| DOI
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
2016 |Published| Conference Paper | IST-REx-ID: 1225 |
Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
2016 |Published| Conference Paper | IST-REx-ID: 1653 |
New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
[Submitted Version]
View
| Files available
| DOI
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.