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.

9626 Publications


2018 | Research Data | IST-REx-ID: 5585 | OA
C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring.” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 66 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
[Published Version] View | Files available | DOI | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 311 | OA
K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.
[Published Version] View | Files available | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 5977 | OA
K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4700–4707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 6340 | OA
A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 6009 | OA
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3. Association for Computing Machinery (ACM), 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 5816 | OA
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” Review of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 1013 | OA
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 10126 | OA
A. Vahid Belarghou, A. Šarić, and T. Idema, “Curvature mediated interactions in highly curved membranes,” Biophysical Journal, vol. 112, no. 3. Elsevier , 2017.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 10175 | OA
O. Anza Hafsa, N. Clozeau, and J.-P. Mandallena, “Homogenization of nonconvex unbounded singular integrals,” Annales mathématiques Blaise Pascal, vol. 24, no. 2. Université Clermont Auvergne, pp. 135–193, 2017.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 103 | OA
S. M. Albrecht et al., “Transport signatures of quasiparticle poisoning in a majorana island,” APS Physics, Physical Review Letters, vol. 118, no. 13. American Physical Society, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10370 | OA
S. C. J. Helle et al., “Mechanical force induces mitochondrial fission,” eLife, vol. 6. eLife Sciences Publications, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10369 | OA
M. Simunovic, A. Šarić, J. M. Henderson, K. Y. C. Lee, and G. A. Voth, “Long-range organization of membrane-curving proteins,” ACS Central Science, vol. 3, no. 12. American Chemical Society, pp. 1246–1253, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10373 | OA
P. Wirnsberger, D. Fijan, R. A. Lightwood, A. Šarić, C. Dellago, and D. Frenkel, “Numerical evidence for thermally induced monopoles,” Proceedings of the National Academy of Sciences, vol. 114, no. 19. National Academy of Sciences, pp. 4911–4914, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10374 | OA
G. Meisl et al., “Scaling behaviour and rate-determining steps in filamentous self-assembly,” Chemical Science, vol. 8, no. 10. Royal Society of Chemistry, pp. 7087–7097, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10375 | OA
A. Vahid, A. Šarić, and T. Idema, “Curvature variation controls particle aggregation on fluid vesicles,” Soft Matter, vol. 13, no. 28. Royal Society of Chemistry, pp. 4924–4930, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10418 | OA
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 |Published| Thesis | IST-REx-ID: 10663 | OA
H. Polshyn, “Magnetic force microscopy studies of mesoscopic superconducting structures,” University of Illinois at Urbana-Champaign, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 10745 | OA
H. Polshyn, T. Naibert, and R. Budakian, “ Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures,” in APS March Meeting 2017, New Orleans, LA, United States, 2017, vol. 62, no. 4.
[Published Version] View | Download Published Version (ext.)
 

2017 |Published| Book Chapter | IST-REx-ID: 1075 | OA
B. Wenzl, “An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier",” in Austria and America: 20th-Century Cross-Cultural Encounters, vol. 15, J. Parker and R. Poole, Eds. LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
View | Files available
 

Search

Filter Publications