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| Journal Article | IST-REx-ID: 5995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. R. Usmanova et al., “Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation,” Bioinformatics, vol. 34, no. 21. Oxford University Press , pp. 3653–3658, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 5992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Dolati et al., “On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility,” Molecular Biology of the Cell, vol. 29, no. 22. American Society for Cell Biology , pp. 2674–2686, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 6010 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Garrido-Charad et al., ““Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network,” Proceedings of the National Academy of Sciences, vol. 115, no. 32. National Academy of Sciences, pp. E7615–E7623, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 6003 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Bickel, P. Cignoni, L. Malomo, and N. Pietroni, “State of the art on stylized fabrication,” Computer Graphics Forum, vol. 37, no. 6. Wiley, pp. 325–342, 2018.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 6002 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy functional I: Existence of minimizers and phase diagram,” Archive for Rational Mechanics and Analysis, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5996 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Vasudevan and B. Hof, “The critical point of the transition to turbulence in pipe flow,” Journal of Fluid Mechanics, vol. 839. Cambridge University Press, pp. 76–94, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5993 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2. Association for Computing Machinery (ACM), 2018.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5999 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y. Yang and G. Zhao, “The cohomological Hall algebra of a preprojective algebra,” Proceedings of the London Mathematical Society, vol. 116, no. 5. Oxford University Press, pp. 1029–1074, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5989 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Kincaid-Smith et al., “Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites,” Genome Biology and Evolution, vol. 10, no. 3. Oxford University Press, pp. 840–856, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 6031
A. Stojanov, T. M. Smith, D.-A. Alistarh, and M. Puschel, “Fast quantized arithmetic on x86: Trading compute for data movement,” in 2018 IEEE International Workshop on Signal Processing Systems, Cape Town, South Africa, 2018, vol. 2018–October.
View
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 25 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Horák, B. Bošanský, and K. Chatterjee, “Goal-HSVI: Heuristic search value iteration for goal-POMDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018–July, pp. 4764–4770.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 24 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, A. Elgyütt, P. Novotný, and O. Rouillé, “Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4692–4699.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 34 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with reachability objectives,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 18 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
V. Kolmogorov and M. Rolinek, “Superconcentrators of density 25.3,” Ars Combinatoria, vol. 141, no. 10. Charles Babbage Research Centre, pp. 269–304, 2018.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 6355 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Akopyan and S. Avvakumov, “Any cyclic quadrilateral can be inscribed in any closed convex smooth curve,” Forum of Mathematics, Sigma, vol. 6. Cambridge University Press, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 6941 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J. F. Alwen, and K. Z. Pietrzak, “SpaceMint: A cryptocurrency based on proofs of space,” in 22nd International Conference on Financial Cryptography and Data Security, Nieuwpoort, Curacao, 2018, vol. 10957, pp. 480–499.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |Published| Journal Article | IST-REx-ID: 6497 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Moalli et al., “The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells,” The Journal of Experimental Medicine, vol. 2015, no. 7. Rockefeller University Press, pp. 1869–1890, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 6499 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, and S. O. Rizzoli, “X10 expansion microscopy enables 25‐nm resolution on conventional microscopes,” EMBO reports, vol. 19, no. 9. EMBO, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 7123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D.-A. Alistarh, J. Aspnes, and R. Gelashvili, “Space-optimal majority in population protocols,” in Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2018, pp. 2221–2239.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv