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.
5058 Publications
2018 |Published| Journal Article | IST-REx-ID: 5914 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. 2018. Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning. eNeuro. 5(4), e0087.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1013 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics. 10(32).
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 10418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 1112
Paixao T, Pérez Heredia J. 2017. An application of stochastic differential equations to evolutionary algorithms. Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA: Foundations of Genetic Algorithms, 3–11.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 1175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen JF, De Rezende S, Nordstrom J, Vinyals M. 2017. Cumulative space in black-white pebbling and resolution. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 67, 38:1-38-21.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kollár R, Novak S. 2017. Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. 79(3), 525–559.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 1211 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Budanur NB, Cvitanović P. 2017. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 167(3–4), 636–655.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 21(1), 135–154.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger MH, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 481 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 484 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 483 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 487
Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 514 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker D. 2017. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 8, 16032.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 515 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 24(10), 800–808.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 513 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2(4), 043904.
[Preprint]
View
| DOI
| Download Preprint (ext.)