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.
5735 Publications
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 | 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 | Conference Paper | IST-REx-ID: 5977 |
Chatterjee, Krishnendu, Computational approaches for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence 2018. 2018
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 5914 |
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
2018 | Published | Journal Article | IST-REx-ID: 15 |
Hons M, Kopf A, Hauschild R, Leithner AF, Gärtner FR, Abe J, Renkawitz J, Stein J, Sixt MK. 2018. Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. 19(6), 606–616.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 3 |
Deliu E, Arecco N, Morandell J, Dotter C, Contreras X, Girardot C, Käsper E, Kozlova A, Kishi K, Chiaradia I, Noh K, Novarino G. 2018. Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition. Nature Neuroscience. 21(12), 1717–1727.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 50 |
Capek D. 2018. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 47
Abualia R, Benková E, Lacombe B. 2018. Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. 87, 115–138.
View
| Files available
| DOI
| WoS
2018 | Published | Thesis | IST-REx-ID: 6263 |
Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 51 |
Case MJ. 2018. From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 412 |
Adamowski M, Narasimhan M, Kania U, Glanc M, De Jaeger G, Friml J. 2018. A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. 30(3), 700–716.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Thesis | IST-REx-ID: 6266 |
Mckenzie C. 2018. Design and characterization of methods and biological components to realize synthetic neurotransmission . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 26 |
Steinrück M. 2018. The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 402 |
Brown M, Assen FP, Leithner AF, Abe J, Schachner H, Asfour G, Bagó Horváth Z, Stein J, Uhrin P, Sixt MK, Kerjaschki D. 2018. Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. 359(6382), 1408–1411.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 422 |
Kühnen J, Scarselli D, Schaner M, Hof B. 2018. Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. 100(4), 919–942.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 461 |
Kühnen J, Song B, Scarselli D, Budanur NB, Riedl M, Willis A, Avila M, Hof B. 2018. Destabilizing turbulence in pipe flow. Nature Physics. 14, 386–390.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1367 |
Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. 2017. Adaptive physically based models in computer graphics. Computer Graphics Forum. 36(6), 312–337.
[Submitted Version]
View
| Files available
| DOI
| WoS