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.
7047 Publications
2017 |Published| Conference Paper | IST-REx-ID: 635 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scrypt is maximally memory hard
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
2017 |Published| Conference Paper | IST-REx-ID: 636 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
2017 |Published| Conference (Editor) | IST-REx-ID: 638
Numerical Software Verification
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
View
| DOI
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 640 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Depth-robust graphs and their cumulative memory complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
2017 |Published| Conference Paper | IST-REx-ID: 641
Graphical model parameter learning by inverse linear programming
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
View
| DOI
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
2017 |Published| Technical Report | IST-REx-ID: 6426 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
2017 |Published| Journal Article | IST-REx-ID: 643
Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
[Published Version]
View
| DOI
| PubMed | Europe PMC
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
2017 |Published| Journal Article | IST-REx-ID: 642 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
2017 |Published| Conference Paper | IST-REx-ID: 645 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
2017 |Published| Journal Article | IST-REx-ID: 644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
2017 |Published| Conference Paper | IST-REx-ID: 646 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
2017 |Published| Book Chapter | IST-REx-ID: 649
Entropic Ricci curvature for discrete spaces
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
View
| DOI
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
2017 |Published| Conference Paper | IST-REx-ID: 6519 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 6517 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 652
Dynamical self consistency leads to behavioral development and emergent social interactions in robots
R. Der, G.S. Martius, in:, IEEE, 2017.
View
| DOI
R. Der, G.S. Martius, in:, IEEE, 2017.
2017 |Published| Journal Article | IST-REx-ID: 651
Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
View
| DOI
B. Hof, Nature 541 (2017) 161–162.
2017 |Published| Journal Article | IST-REx-ID: 653 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
2017 |Published| Conference Paper | IST-REx-ID: 6527 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Practical graphs for optimal side-channel resistant memory-hard functions
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
2017 |Published| Journal Article | IST-REx-ID: 654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
[Submitted Version]
View
| Files available
| DOI
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
2017 |Published| Journal Article | IST-REx-ID: 655 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bacterial flagella grow through an injection diffusion mechanism
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).