Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9237 Publications
2019 |Published| Thesis | IST-REx-ID: 6371 | 
Igler, C. (2019). On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6371
[Published Version]
View
| Files available
| DOI
2019 |Published| Journal Article | IST-REx-ID: 6189 |
Agrawal, N., Choueiri, G. H., & Hof, B. (2019). Transition to turbulence in particle laden flows. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.122.114502
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 5949 |
Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. Wiley. https://doi.org/10.1002/hipo.23076
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Thesis | IST-REx-ID: 6825 |
Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6825
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6780 |
Huang, M., Fu, H., Chatterjee, K., & Goharshady, A. K. (2019). Modular verification for almost-sure termination of probabilistic programs. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360555
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6380 |
Chatterjee, K., Goharshady, A. K., Okati, N., & Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. ACM. https://doi.org/10.1145/3290366
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6056 |
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency. Seoul, Korea: IEEE. https://doi.org/10.1109/BLOC.2019.8751326
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6378 |
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 374–381). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297319
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6175 |
Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7158 |
Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3363525
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 7014 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3339984
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6490 |
Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (2019). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 10286 |
Allini, E. N., Skórski, M., Petura, O., Bernard, F., Laban, M., & Fischer, V. (2018). Evaluation and monitoring of free running oscillators serving as source of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems. International Association for Cryptologic Research. https://doi.org/10.13154/tches.v2018.i3.214-242
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 10362
Fisher, P. D. E., Shen, Q., Akpinar, B., Davis, L. K., Chung, K. K. H., Baddeley, D., … Lusk, C. P. (2018). A Programmable DNA origami platform for organizing intrinsically disordered nucleoporins within nanopore confinement. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.7b08044
View
| DOI
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 10360
Cohen, S. I. A., Cukalevski, R., Michaels, T. C. T., Šarić, A., Törnquist, M., Vendruscolo, M., … Linse, S. (2018). Distinct thermodynamic signatures of oligomer generation in the aggregation of the amyloid-β peptide. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-018-0023-x
View
| DOI
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 10357
Dear, A. J., Šarić, A., Michaels, T. C. T., Dobson, C. M., & Knowles, T. P. J. (2018). Statistical mechanics of globular oligomer formation by protein molecules. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/acs.jpcb.8b07805
View
| DOI
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 10359 |
Curk, T., Wirnsberger, P., Dobnikar, J., Frenkel, D., & Šarić, A. (2018). Controlling cargo trafficking in multicomponent membranes. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.8b00786
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 10358 |
Michaels, T. C. T., Liu, L. X., Curk, S., Bolhuis, P. G., Šarić, A., & Knowles, T. P. J. (2018). Reaction rate theory for supramolecular kinetics: application to protein aggregation. Molecular Physics. Taylor & Francis. https://doi.org/10.1080/00268976.2018.1474280
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 10361
Michaels, T. C. T., Šarić, A., Habchi, J., Chia, S., Meisl, G., Vendruscolo, M., … Knowles, T. P. J. (2018). Chemical kinetics for bridging molecular mechanisms and macroscopic measurements of amyloid fibril formation. Annual Review of Physical Chemistry. Annual Reviews. https://doi.org/10.1146/annurev-physchem-050317-021322
View
| DOI
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 10626 |
Polshyn, H., Zhou, H., Spanton, E. M., Taniguchi, T., Watanabe, K., & Young, A. F. (2018). Quantitative transport measurements of fractional quantum Hall energy gaps in edgeless graphene devices. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.121.226801
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv