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.
6387 Publications
2016 | Published | Journal Article | IST-REx-ID: 10376 | 
Šarić, A., Michaels, T. C. T., Zaccone, A., Knowles, T. P. J., & Frenkel, D. (2016). Kinetics of spontaneous filament nucleation via oligomers: Insights from theory and simulation. The Journal of Chemical Physics. American Institute of Physics. https://doi.org/10.1063/1.4965040
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 10377 |
van der Wel, C., Vahid, A., Šarić, A., Idema, T., Heinrich, D., & Kraft, D. J. (2016). Lipid membrane-mediated attraction between curvature inducing objects. Scientific Reports. Springer Nature. https://doi.org/10.1038/srep32825
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 10378 |
Šarić, A., Buell, A. K., Meisl, G., Michaels, T. C. T., Dobson, C. M., Linse, S., … Frenkel, D. (2016). Physical determinants of the self-replication of protein fibrils. Nature Physics. Springer Nature. https://doi.org/10.1038/nphys3828
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 10380 |
Wirnsberger, P., Fijan, D., Šarić, A., Neumann, M., Dellago, C., & Frenkel, D. (2016). Non-equilibrium simulations of thermally induced electric fields in water. The Journal of Chemical Physics. American Institute of Physics. https://doi.org/10.1063/1.4953036
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 10381 |
Bachmann, S. J., Kotar, J., Parolini, L., Šarić, A., Cicuta, P., Di Michele, L., & Mognetti, B. M. (2016). Melting transition in lipid vesicles functionalised by mobile DNA linkers. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c6sm01515h
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1069 |
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 10746 |
Polshyn, H., Naibert, T., Chua, V., & Budakian, R. (2016). Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. In APS March Meeting 2016 (Vol. 61). Baltimore, MD, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 10747 |
Naibert, T., Polshyn, H., Wolin, B., Durkin, M., Garrido Menacho, R., Shem, I. M., … Budakian, R. (2016). Stochastic resonance magnetic force microscopy imaging of Josephson arrays. In APS March Meeting 2016 (Vol. 61). Baltimore, MD, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11069 |
Hatch, E. M., & Hetzer, M. (2016). Nuclear envelope rupture is induced by actin-based nucleus confinement. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201603053
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11071 |
Franks, T. M., Benner, C., Narvaiza, I., Marchetto, M. C. N., Young, J. M., Malik, H. S., … Hetzer, M. (2016). Evolution of a transcriptional regulator from a transmembrane nucleoporin. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.280941.116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11070 |
Ibarra, A., Benner, C., Tyagi, S., Cool, J., & Hetzer, M. (2016). Nucleoporin-mediated regulation of cell identity genes. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.287417.116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11578 |
Matthee, J. J., Sobral, D., Oteo, I., Best, P., Smail, I., Röttgering, H., & Paulino-Afonso, A. (2016). The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw322
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1705 |
Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-015-0393-y
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. https://doi.org/10.1007/978-3-319-48989-6_47
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1227 |
Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. https://doi.org/10.1007/978-3-319-47151-8_9
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1095 |
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
[Published Version]
View
| Files available
| DOI