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.
5694 Publications
2018 | Published | Journal Article | IST-REx-ID: 5816 | 
Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 89(11), 114701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 66 |
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118, 11.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 311 |
Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6340 |
Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain, 1343–1348.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5977 |
Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6009 |
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 542 |
Kelemen RK, Vicoso B. 2018. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. 208(1), 365–375.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 67 |
Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. 2018. Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. 2(10), 1633–1643.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Research Data | IST-REx-ID: 5585 |
Igler C, Lagator M, Tkačik G, Bollback JP, Guet CC. 2018. Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring, Institute of Science and Technology Austria, 10.15479/AT:ISTA:108.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 442 |
Li L, Krens G, Fendrych M, Friml J. 2018. Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-protocol. 8(1).
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 544 |
György A, Roblek M, Ratheesh A, Valosková K, Belyaeva V, Wachner S, Matsubayashi Y, Sanchez Sanchez B, Stramer B, Siekhaus DE. 2018. Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. G3: Genes, Genomes, Genetics. 8(3), 845–857.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 612 |
Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 223(3), 1565–1587.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 18286 |
Litany O, Remez T, Rodola E, Bronstein A, Bronstein M. 2017. Deep functional maps: Structured prediction for dense shape correspondence. 2017 IEEE International Conference on Computer Vision (ICCV). 16th IEEE International Conference on Computer Vision vol. 31, 8237865.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Thesis | IST-REx-ID: 961 |
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 938 |
Adamowski M. 2017. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 1127 |
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2017 | Published | Thesis | IST-REx-ID: 1155 |
Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 741 |
Moser T, Seiringer R. 2017. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 356(1), 329–355.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1198 |
Moser T, Seiringer R. 2017. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 107(3), 533–552.
[Published Version]
View
| Files available
| DOI
| WoS