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
2016 |Published| Journal Article | IST-REx-ID: 122 | 
Origami building blocks: Generic and special four-vertices
S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1222 |
Optimal packings of congruent circles on a square flat torus
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 |Published| Conference Paper | IST-REx-ID: 1227 |
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 |Published| Conference Paper | IST-REx-ID: 1231 |
On the complexity of scrypt and proofs of space in the parallel random oracle model
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
2016 |Published| Conference Paper | IST-REx-ID: 1233 |
Standard security does imply security against selective opening for markov distributions
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 |Published| Conference Paper | IST-REx-ID: 1237
Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
View
| DOI
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.
2016 |Published| Journal Article | IST-REx-ID: 1247 |
ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.
2016 |Published| Journal Article | IST-REx-ID: 1264 |
Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
2016 |Published| Journal Article | IST-REx-ID: 1272 |
Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
[Published Version]
View
| Files available
| DOI
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
2016 |Published| Journal Article | IST-REx-ID: 1291 |
Periodic striped ground states in Ising models with competing interactions
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.
[Published Version]
View
| Files available
| DOI
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.
2016 |Published| Journal Article | IST-REx-ID: 1292 |
Computing the Thurston–Bennequin invariant in open books
S. Durst, M. Kegel, M.D. Klukas, Acta Mathematica Hungarica 150 (2016) 441–455.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Durst, M. Kegel, M.D. Klukas, Acta Mathematica Hungarica 150 (2016) 441–455.
2016 |Published| Journal Article | IST-REx-ID: 1317
Behaviour of free boundaries in thin-film flow: The regime of strong slippage and the regime of very weak slippage
J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 33 (2016) 1301–1327.
View
| DOI
J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 33 (2016) 1301–1327.
2016 |Published| Conference Paper | IST-REx-ID: 1325 |
Stability in graphs and games
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1326 |
Optimizing the expected mean payoff in Energy Markov Decision Processes
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
2016 |Published| Journal Article | IST-REx-ID: 1331 |
Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress
P. Zwack, I. De Clercq, T. Howton, H.T. Hallmark, A. Hurny, E. Keshishian, A. Parish, E. Benková, M.S. Mukhtar, F. Van Breusegem, A. Rashotte, Plant Physiology 172 (2016) 1249–1258.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Zwack, I. De Clercq, T. Howton, H.T. Hallmark, A. Hurny, E. Keshishian, A. Parish, E. Benková, M.S. Mukhtar, F. Van Breusegem, A. Rashotte, Plant Physiology 172 (2016) 1249–1258.
2016 |Published| Conference Paper | IST-REx-ID: 1335 |
Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
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.