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.
6378 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2082 |
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 | Published | Technical Report | IST-REx-ID: 5413 |
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
2014 | Published | Technical Report | IST-REx-ID: 5412 |
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
2014 | Published | Technical Report | IST-REx-ID: 5414 |
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
2014 | Published | Technical Report | IST-REx-ID: 5417 |
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
2013 | Published | Journal Article | IST-REx-ID: 10384 |
Living clusters and crystals from low-density suspensions of active colloids
B.M. Mognetti, A. Šarić, S. Angioletti-Uberti, A. Cacciuto, C. Valeriani, D. Frenkel, Physical Review Letters 111 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B.M. Mognetti, A. Šarić, S. Angioletti-Uberti, A. Cacciuto, C. Valeriani, D. Frenkel, Physical Review Letters 111 (2013).
2013 | Published | Journal Article | IST-REx-ID: 10396 |
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
2013 | Published | Conference Paper | IST-REx-ID: 10749 |
Cantilever micro-susceptometry of mesoscopic Bi2212 samples
H. Polshyn, R. Budakian, G. Gu, in:, APS March Meeting 2013, American Physical Society, 2013.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, R. Budakian, G. Gu, in:, APS March Meeting 2013, American Physical Society, 2013.
2013 | Published | Journal Article | IST-REx-ID: 11086 |
Dynamic association of NUP98 with the human genome
Y. Liang, T.M. Franks, M.C. Marchetto, F.H. Gage, M. Hetzer, PLoS Genetics 9 (2013).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Liang, T.M. Franks, M.C. Marchetto, F.H. Gage, M. Hetzer, PLoS Genetics 9 (2013).
2013 | Published | Journal Article | IST-REx-ID: 11087 |
Identification of long-lived proteins reveals exceptional stability of essential cellular structures
B.H. Toyama, J.N. Savas, S.K. Park, M.S. Harris, N.T. Ingolia, J.R. Yates, M. Hetzer, Cell 154 (2013) 971–982.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B.H. Toyama, J.N. Savas, S.K. Park, M.S. Harris, N.T. Ingolia, J.R. Yates, M. Hetzer, Cell 154 (2013) 971–982.
2013 | Published | Journal Article | IST-REx-ID: 11085 |
Catastrophic nuclear envelope collapse in cancer cell micronuclei
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
2013 | Published | Conference Paper | IST-REx-ID: 2445 |
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 | Published | Conference Paper | IST-REx-ID: 2000 |
TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
2013 | Published | Journal Article | IST-REx-ID: 2009 |
Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
2013 | Published | Journal Article | IST-REx-ID: 2010 |
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
2013 | Published | Journal Article | IST-REx-ID: 2117 |
Poisson stochastic integration in Banach spaces
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
View
| DOI
| Download (ext.)
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
2013 | Published | Journal Article | IST-REx-ID: 2129 |
Gromov-Hausdorff convergence of discrete transportation metrics
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
View
| DOI
| Download (ext.)
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
2013 | Published | Journal Article | IST-REx-ID: 2139 |
Manipulating scattering of ultracold atoms with light-induced dissipation
M. Lemeshko, Frontiers Physics 1 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, Frontiers Physics 1 (2013).
2013 | Published | Conference Paper | IST-REx-ID: 2181 |
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
2013 | Published | Journal Article | IST-REx-ID: 2204 |
Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
View
| Files available
| DOI
| Download None (ext.)
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).