Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5270 Publications
2018 |Published| Conference Paper | IST-REx-ID: 5977 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
2018 |Published| Conference Paper | IST-REx-ID: 6340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
2018 |Published| Journal Article | IST-REx-ID: 6009 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 |Published| Journal Article | IST-REx-ID: 5816 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
30 GHz-voltage controlled oscillator operating at 4 K
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
2017 |Published| Journal Article | IST-REx-ID: 1013 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
[Published Version]
View
| Files available
| DOI
J.M. Fink, Physics 10 (2017).
2017 |Published| Journal Article | IST-REx-ID: 10418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
2017 |Published| Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View
| DOI
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
2017 |Published| Conference Paper | IST-REx-ID: 1175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
2017 |Published| Journal Article | IST-REx-ID: 1191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
2017 |Published| Journal Article | IST-REx-ID: 1211 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
[Submitted Version]
View
| Files available
| DOI
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 |Published| Journal Article | IST-REx-ID: 1113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
2017 |Published| Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View
| DOI
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
2017 |Published| Journal Article | IST-REx-ID: 453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
[Published Version]
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 |Published| Journal Article | IST-REx-ID: 464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved algorithms for parity and Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
2017 |Published| Journal Article | IST-REx-ID: 470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version]
View
| Files available
| DOI
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
2017 |Published| Journal Article | IST-REx-ID: 471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 |Published| Journal Article | IST-REx-ID: 481 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
[Published Version]
View
| Files available
| DOI
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
2017 |Published| Journal Article | IST-REx-ID: 484 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogoliubov correction to the mean-field dynamics of interacting bosons
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
2017 |Published| Journal Article | IST-REx-ID: 483 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Universality for a class of random band matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
2017 |Published| Conference Paper | IST-REx-ID: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View
| DOI
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.