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.
5772 Publications
2017 | Journal Article | IST-REx-ID: 7360 |
A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
2017 | Journal Article | IST-REx-ID: 7733 |
Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort
Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics & Genomic Medicine. 5(4), 418–428.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics & Genomic Medicine. 5(4), 418–428.
2017 | Journal Article | IST-REx-ID: 7755 |
Deformation of crystals: Connections with statistical physics
J.P. Sethna, M.K. Bierbaum, K.A. Dahmen, C.P. Goodrich, J.R. Greer, L.X. Hayden, J.P. Kent-Dobias, E.D. Lee, D.B. Liarte, X. Ni, K.N. Quinn, A. Raju, D.Z. Rocklin, A. Shekhawat, S. Zapperi, Annual Review of Materials Research 47 (2017) 217–246.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.P. Sethna, M.K. Bierbaum, K.A. Dahmen, C.P. Goodrich, J.R. Greer, L.X. Hayden, J.P. Kent-Dobias, E.D. Lee, D.B. Liarte, X. Ni, K.N. Quinn, A. Raju, D.Z. Rocklin, A. Shekhawat, S. Zapperi, Annual Review of Materials Research 47 (2017) 217–246.
2017 | Conference Paper | IST-REx-ID: 788 |
Robust detection in leak-prone population protocols
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
View
| DOI
| Download None (ext.)
| arXiv
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
2017 | Conference Paper | IST-REx-ID: 787 |
Time-space trade-offs in population protocols
D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, R. Gelashvili, in:, SIAM, 2017, pp. 2560–2579.
View
| DOI
| Download None (ext.)
D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, R. Gelashvili, in:, SIAM, 2017, pp. 2560–2579.
2017 | Journal Article | IST-REx-ID: 795 |
Unified Hanani Tutte theorem
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
[Published Version]
View
| Files available
| DOI
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
2017 | Journal Article | IST-REx-ID: 7981 |
Singulett-Sauerstoff in der aprotischen Natrium-O2-Batterie
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie 129 (2017) 15934–15938.
[Published Version]
View
| Files available
| DOI
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie 129 (2017) 15934–15938.
2017 | Book Chapter | IST-REx-ID: 7980 |
Polysaccharides in supercapacitors
S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk, in:, S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk (Eds.), Polysaccharide Based Supercapacitors, Springer Nature, 2017, pp. 15–53.
[Submitted Version]
View
| Files available
| DOI
S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk, in:, S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk (Eds.), Polysaccharide Based Supercapacitors, Springer Nature, 2017, pp. 15–53.
2017 | Journal Article | IST-REx-ID: 7982 |
True performance metrics in beyond-intercalation batteries
S.A. Freunberger, Nature Energy 2 (2017).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
S.A. Freunberger, Nature Energy 2 (2017).
2017 | Journal Article | IST-REx-ID: 7986 |
Singlet oxygen generation as a major cause for parasitic reactions during cycling of aprotic lithium–oxygen batteries
N. Mahne, B. Schafzahl, C. Leypold, M. Leypold, S. Grumm, A. Leitgeb, G.A. Strohmeier, M. Wilkening, O. Fontaine, D. Kramer, C. Slugovc, S.M. Borisov, S.A. Freunberger, Nature Energy 2 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Mahne, B. Schafzahl, C. Leypold, M. Leypold, S. Grumm, A. Leitgeb, G.A. Strohmeier, M. Wilkening, O. Fontaine, D. Kramer, C. Slugovc, S.M. Borisov, S.A. Freunberger, Nature Energy 2 (2017).
2017 | Journal Article | IST-REx-ID: 8016 |
Synaptic transmission optimization predicts expression loci of long-term plasticity
R.P. Costa, Z. Padamsey, J.A. D’Amour, N.J. Emptage, R.C. Froemke, T.P. Vogels, Neuron 96 (2017) 177–189.e7.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
R.P. Costa, Z. Padamsey, J.A. D’Amour, N.J. Emptage, R.C. Froemke, T.P. Vogels, Neuron 96 (2017) 177–189.e7.
2017 | Journal Article | IST-REx-ID: 8018 |
Inhibitory engrams in perception and memory
H.C. Barron, T.P. Vogels, T.E. Behrens, M. Ramaswami, Proceedings of the National Academy of Sciences 114 (2017) 6666–6674.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H.C. Barron, T.P. Vogels, T.E. Behrens, M. Ramaswami, Proceedings of the National Academy of Sciences 114 (2017) 6666–6674.
2017 | Journal Article | IST-REx-ID: 8075 |
Mapping the function of neuronal ion channels in model and experiment
W.F. Podlaski, A. Seeholzer, L.N. Groschner, G. Miesenböck, R. Ranjan, T.P. Vogels, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
W.F. Podlaski, A. Seeholzer, L.N. Groschner, G. Miesenböck, R. Ranjan, T.P. Vogels, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 807 |
Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
[Published Version]
View
| Files available
| DOI
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
2017 | Conference Paper | IST-REx-ID: 8129 |
Cortical microcircuits as gated-recurrent neural networks
R.P. Costa, Y.M. Assael, B. Shillingford, N. de Freitas, T.P. Vogels, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2017, pp. 272–283.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
R.P. Costa, Y.M. Assael, B. Shillingford, N. de Freitas, T.P. Vogels, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2017, pp. 272–283.
2017 | Journal Article | IST-REx-ID: 817 |
Efficient 3D-CTF correction for cryo-electron tomography using NovaCTF improves subtomogram averaging resolution to 3.4Å
B. Turoňová, F.K. Schur, W. Wan, J. Briggs, Journal of Structural Biology 199 (2017) 187–195.
[Published Version]
View
| Files available
| DOI
B. Turoňová, F.K. Schur, W. Wan, J. Briggs, Journal of Structural Biology 199 (2017) 187–195.
2017 | Journal Article | IST-REx-ID: 8237 |
Functionally active Fc mutant antibodies recognizing cancer antigens generated rapidly at high yields
K.M. Ilieva, J. Singer, D.Y. Achkova, T.S. Dodev, S. Mele, S. Crescioli, H.J. Bax, A. Cheung, P. Karagiannis, I. Correa, M. Figini, R. Marlow, D.H. Josephs, A.J. Beavil, J. Maher, J.F. Spicer, E. Jensen-Jarolim, A.N. Tutt, S.N. Karagiannis, Frontiers in Immunology 8 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
K.M. Ilieva, J. Singer, D.Y. Achkova, T.S. Dodev, S. Mele, S. Crescioli, H.J. Bax, A. Cheung, P. Karagiannis, I. Correa, M. Figini, R. Marlow, D.H. Josephs, A.J. Beavil, J. Maher, J.F. Spicer, E. Jensen-Jarolim, A.N. Tutt, S.N. Karagiannis, Frontiers in Immunology 8 (2017).
2017 | Journal Article | IST-REx-ID: 8236 |
AllergoOncology - the impact of allergy in oncology: EAACI position paper
Jensen-Jarolim E, Bax HJ, Bianchini R, Capron M, Corrigan C, Castells M, Dombrowicz D, Daniels-Wells TR, Singer J, Fiebiger E, Gatault S, Gould HJ, Janda J, Josephs DH, Karagiannis P, Levi-Schaffer F, Meshcheryakova A, Mechtcheriakova D, Mekori Y, Mungenast F, Nigro EA, Penichet ML, Redegeld F, Saul L, Singer J, Spicer JF, Siccardi AG, Spillner E, Turner MC, Untersmayr E, Vangelista L, Karagiannis SN. 2017. AllergoOncology - the impact of allergy in oncology: EAACI position paper. Allergy. 72(6), 866–887.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Jensen-Jarolim E, Bax HJ, Bianchini R, Capron M, Corrigan C, Castells M, Dombrowicz D, Daniels-Wells TR, Singer J, Fiebiger E, Gatault S, Gould HJ, Janda J, Josephs DH, Karagiannis P, Levi-Schaffer F, Meshcheryakova A, Mechtcheriakova D, Mekori Y, Mungenast F, Nigro EA, Penichet ML, Redegeld F, Saul L, Singer J, Spicer JF, Siccardi AG, Spillner E, Turner MC, Untersmayr E, Vangelista L, Karagiannis SN. 2017. AllergoOncology - the impact of allergy in oncology: EAACI position paper. Allergy. 72(6), 866–887.
2017 | Journal Article | IST-REx-ID: 8239 |
Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Foxp3+ cells: Mouse model for passive respiratory exposure
F. Roth-Walter, C. Bergmayr, S. Meitz, S. Buchleitner, C. Stremnitzer, J. Singer, A. Moskovskich, M.A. Müller, G.A. Roth, K. Manzano-Szalai, Z. Dvorak, A. Neunkirchner, E. Jensen-Jarolim, Scientific Reports 7 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Roth-Walter, C. Bergmayr, S. Meitz, S. Buchleitner, C. Stremnitzer, J. Singer, A. Moskovskich, M.A. Müller, G.A. Roth, K. Manzano-Szalai, Z. Dvorak, A. Neunkirchner, E. Jensen-Jarolim, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 8240 |
Long term storage in liquid nitrogen leads to only minor phenotypic and gene expression changes in the mammary carcinoma model cell line BT474
J. Singer, T.W. Grunt, E. Jensen-Jarolim, J. Singer, Oncotarget 8 (2017) 35076–35087.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Singer, T.W. Grunt, E. Jensen-Jarolim, J. Singer, Oncotarget 8 (2017) 35076–35087.
2017 | Journal Article | IST-REx-ID: 8235 |
Development of a radiolabeled caninized anti-EGFR antibody for comparative oncology trials
J. Singer, N. Berroterán-Infante, C. Rami-Mark, M. Dumanic, M. Matz, M. Willmann, F. Andreae, J. Singer, W. Wadsak, M. Mitterhauser, E. Jensen-Jarolim, Oncotarget 8 (2017) 83128–83141.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Singer, N. Berroterán-Infante, C. Rami-Mark, M. Dumanic, M. Matz, M. Willmann, F. Andreae, J. Singer, W. Wadsak, M. Mitterhauser, E. Jensen-Jarolim, Oncotarget 8 (2017) 83128–83141.
2017 | Journal Article | IST-REx-ID: 825 |
Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
[Published Version]
View
| Files available
| DOI
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
2017 | Conference Paper | IST-REx-ID: 8306 |
Scalable bias-resistant distributed randomness
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
2017 | Conference Paper | IST-REx-ID: 8301 |
CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
[Published Version]
View
| Download Published Version (ext.)
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
2017 | Journal Article | IST-REx-ID: 9190 |
Control of plant cell fate transitions by transcriptional and hormonal signals
C. Gaillochet, T. Stiehl, C. Wenzl, J.-J. Ripoll, L.J. Bailey-Steinitz, L. Li, A. Pfeiffer, A. Miotk, J.P. Hakenjos, J. Forner, M.F. Yanofsky, A. Marciniak-Czochra, J.U. Lohmann, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Gaillochet, T. Stiehl, C. Wenzl, J.-J. Ripoll, L.J. Bailey-Steinitz, L. Li, A. Pfeiffer, A. Miotk, J.P. Hakenjos, J. Forner, M.F. Yanofsky, A. Marciniak-Czochra, J.U. Lohmann, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 93 |
Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device
T. Menke, P. Burns, A.P. Higginbotham, N.S. Kampel, R. Peterson, K. Cicak, R. Simmonds, C. Regal, K. Lehnert, Review of Scientific Instruments 88 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
T. Menke, P. Burns, A.P. Higginbotham, N.S. Kampel, R. Peterson, K. Cicak, R. Simmonds, C. Regal, K. Lehnert, Review of Scientific Instruments 88 (2017).
2017 | Journal Article | IST-REx-ID: 94 |
Breaking Lorentz reciprocity with frequency conversion and delay
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
2017 | Journal Article | IST-REx-ID: 9445 |
DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.B. Lyons, D. Zilberman, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 9574 |
Resilience for the Littlewood-Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.
2017 | Journal Article | IST-REx-ID: 9590 |
Bounded-degree spanning trees in randomly perturbed graphs
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.
2017 | Journal Article | IST-REx-ID: 9588 |
Resilience for the Littlewood–Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.
2017 | Journal Article | IST-REx-ID: 9589 |
The average number of spanning trees in sparse graphs with given degrees
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.
2017 | Conference Paper | IST-REx-ID: 963 |
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Research Data Reference | IST-REx-ID: 9709 |
Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).
2017 | Journal Article | IST-REx-ID: 541 |
Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).
[Published Version]
View
| Files available
| DOI
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).
2017 | Research Data Reference | IST-REx-ID: 9847 |
Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Pleska, C.C. Guet, (2017).
2017 | Journal Article | IST-REx-ID: 680 |
Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
[Published Version]
View
| Files available
| DOI
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
2017 | Journal Article | IST-REx-ID: 8423 |
On the marked length spectrum of generic strictly convex billiard tables
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.
2017 | Journal Article | IST-REx-ID: 8427 |
Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.
2017 | Journal Article | IST-REx-ID: 9137 |
A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.
2017 | Journal Article | IST-REx-ID: 9138 |
Observing convective aggregation
C.E. Holloway, A.A. Wing, S. Bony, C.J. Muller, H. Masunaga, T.S. L’Ecuyer, D.D. Turner, P. Zuidema, Surveys in Geophysics 38 (2017) 1199–1236.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.E. Holloway, A.A. Wing, S. Bony, C.J. Muller, H. Masunaga, T.S. L’Ecuyer, D.D. Turner, P. Zuidema, Surveys in Geophysics 38 (2017) 1199–1236.
2017 | Journal Article | IST-REx-ID: 9152 |
Impact of a mean current on the internal tide energy dissipation at the critical latitude
O. Richet, C.J. Muller, J.-M. Chomaz, Journal of Physical Oceanography 47 (2017) 1457–1472.
[Published Version]
View
| DOI
| Download Published Version (ext.)
O. Richet, C.J. Muller, J.-M. Chomaz, Journal of Physical Oceanography 47 (2017) 1457–1472.
2017 | Journal Article | IST-REx-ID: 9506 |
An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Zilberman, Genome Biology 18 (2017).
2017 | Journal Article | IST-REx-ID: 9660 |
The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit
B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).
2017 | Journal Article | IST-REx-ID: 9661 |
Bridging the gap between atomistic and macroscopic models of homogeneous nucleation
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).
2017 | Research Data Reference | IST-REx-ID: 9707 |
Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
2017 | Journal Article | IST-REx-ID: 12612 |
Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013
E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.
2017 | Journal Article | IST-REx-ID: 12610 |
Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
2017 | Journal Article | IST-REx-ID: 12609 |
Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile
A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.
2017 | Journal Article | IST-REx-ID: 12608 |
Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations
T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.
2017 | Conference Abstract | IST-REx-ID: 12905 |
Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
2017 | Conference Paper | IST-REx-ID: 13160 |
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 | Journal Article | IST-REx-ID: 13381 |
Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.
2017 | Journal Article | IST-REx-ID: 13382 |
Chemical systems out of equilibrium
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.
2017 | Journal Article | IST-REx-ID: 13477 |
Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy & Astrophysics 601 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy & Astrophysics 601 (2017).
2017 | Journal Article | IST-REx-ID: 13476 |
Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy & Astrophysics 608 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy & Astrophysics 608 (2017).
2017 | Journal Article | IST-REx-ID: 14031 |
Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
2017 | Journal Article | IST-REx-ID: 14004 |
Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
2017 | Journal Article | IST-REx-ID: 14005 |
Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 14007 |
Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
2017 | Conference Paper | IST-REx-ID: 950 |
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 683 |
A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Thesis | IST-REx-ID: 1155 |
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 6291 |
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
2017 | Journal Article | IST-REx-ID: 561 |
Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
2017 | Thesis | IST-REx-ID: 818 |
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
2017 | Journal Article | IST-REx-ID: 666 |
Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
[Published Version]
View
| Files available
| DOI
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
2017 | Thesis | IST-REx-ID: 821 |
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 820 |
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 838 |
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.
2017 | Journal Article | IST-REx-ID: 6196 |
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
[Published Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
2017 | Thesis | IST-REx-ID: 837 |
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 938 |
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 992 |
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.
2017 | Journal Article | IST-REx-ID: 718 |
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
2017 | Conference Paper | IST-REx-ID: 559 |
Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
2017 | Journal Article | IST-REx-ID: 550 |
Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
[Published Version]
View
| Files available
| DOI
J. Alt, Electronic Communications in Probability 22 (2017).
2017 | Conference Paper | IST-REx-ID: 647 |
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
2017 | Conference Paper | IST-REx-ID: 631 |
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
2017 | Journal Article | IST-REx-ID: 1144 |
Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
[Published Version]
View
| Files available
| DOI
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
2017 | Journal Article | IST-REx-ID: 486 |
Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
[Submitted Version]
View
| Files available
| DOI
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).
2017 | Conference Paper | IST-REx-ID: 637 |
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
2017 | Research Data Reference | IST-REx-ID: 9842 |
Data for: Establishment in a new habitat by polygenic adaptation
A. Etheridge, N.H. Barton, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Etheridge, N.H. Barton, (2017).
2017 | Conference Paper | IST-REx-ID: 14206 |
Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
2017 | Conference Paper | IST-REx-ID: 14205 |
A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
2017 | Thesis | IST-REx-ID: 202 |
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 6287 |
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
2017 | Thesis | IST-REx-ID: 1127 |
Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.
2017 | Journal Article | IST-REx-ID: 2016 |
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
2017 | Journal Article | IST-REx-ID: 1528 |
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
2017 | Journal Article | IST-REx-ID: 1433 |
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
2017 | Journal Article | IST-REx-ID: 1407 |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Journal Article | IST-REx-ID: 1367 |
Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
2017 | Journal Article | IST-REx-ID: 1338 |
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version]
View
| Files available
| DOI
| WoS
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
2017 | Journal Article | IST-REx-ID: 1351 |
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
[Published Version]
View
| Files available
| DOI
| WoS
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
2017 | Journal Article | IST-REx-ID: 1336 |
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
[Published Version]
View
| Files available
| DOI
| WoS
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 | Journal Article | IST-REx-ID: 1294 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
[Published Version]
View
| Files available
| DOI
| WoS
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
2017 | Journal Article | IST-REx-ID: 1228 |
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
2017 | Journal Article | IST-REx-ID: 1198 |
Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
[Published Version]
View
| Files available
| DOI
| WoS
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.