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.
7053 Publications
2016 |Published| Technical Report | IST-REx-ID: 5445 |
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1166
A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
View
| Files available
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
2016 |Published| Technical Report | IST-REx-ID: 5449 |
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5453 |
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5451 |
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 |Published| Journal Article | IST-REx-ID: 5771 |
Retrovirus maturation—an extraordinary structural transformation
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.
[Published Version]
View
| Files available
| DOI
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.
2016 |Published| Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View
| DOI
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
2016 |Published| Book Chapter | IST-REx-ID: 5805
On some local topological properties of naive discrete sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
View
| DOI
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
2016 |Published| Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
2016 |Published| Journal Article | IST-REx-ID: 588
Measurement noise 100 times lower than the quantum-projection limit using entangled atoms
O. Hosten, N. Engelsen, R. Krishnakumar, M. Kasevich, Nature 529 (2016) 505–508.
View
| DOI
O. Hosten, N. Engelsen, R. Krishnakumar, M. Kasevich, Nature 529 (2016) 505–508.
2016 |Published| Journal Article | IST-REx-ID: 587 |
Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
View
| DOI
| Download (ext.)
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
2016 |Published| Conference Paper | IST-REx-ID: 592
Engineering spin squeezed states for quantum-enhanced atom interferometry
N. Engelsen, O. Hosten, R. Krishnakumar, M. Kasevich, in:, IEEE, 2016.
View
| Download None (ext.)
N. Engelsen, O. Hosten, R. Krishnakumar, M. Kasevich, in:, IEEE, 2016.
2016 |Published| Journal Article | IST-REx-ID: 602
Structure of transcribing mammalian RNA polymerase II
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
View
| DOI
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
2016 |Published| Journal Article | IST-REx-ID: 7141
Multipotency of adult hippocampal NSCs in vivo is restricted by Drosha/NFIB
C. Rolando, A. Erni, A. Grison, R.J. Beattie, A. Engler, P.J. Gokhale, M. Milo, T. Wegleiter, S. Jessberger, V. Taylor, Cell Stem Cell 19 (2016) 653–662.
View
| DOI
C. Rolando, A. Erni, A. Grison, R.J. Beattie, A. Engler, P.J. Gokhale, M. Milo, T. Wegleiter, S. Jessberger, V. Taylor, Cell Stem Cell 19 (2016) 653–662.
2016 |Published| Journal Article | IST-REx-ID: 7599 |
Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078
Y. Tang, C.-Y. Zhao, S. Tan, H.-W. Xue, PLOS Genetics 12 (2016).
[Published Version]
View
| Files available
| DOI
Y. Tang, C.-Y. Zhao, S. Tan, H.-W. Xue, PLOS Genetics 12 (2016).
2016 |Published| Journal Article | IST-REx-ID: 786 |
Are lock free concurrent algorithms practically wait free
D.-A. Alistarh, K. Censor Hillel, N. Shavit, Journal of the ACM 63 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, K. Censor Hillel, N. Shavit, Journal of the ACM 63 (2016).
2016 |Published| Conference Paper | IST-REx-ID: 785
Lease/Release: Architectural support for scaling contended data structures
S. Haider, W. Hasenplaugh, D.-A. Alistarh, in:, ACM, 2016.
View
| DOI
S. Haider, W. Hasenplaugh, D.-A. Alistarh, in:, ACM, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 8094 |
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
[Published Version]
View
| Files available
| DOI
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
2016 |Published| Journal Article | IST-REx-ID: 813
Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging
T. Füzik, R. Píchalová, F.K. Schur, K. Strohalmová, I. Křížová, R. Hadravová, M. Rumlová, J. Briggs, P. Ulbrich, T. Ruml, Journal of Virology 90 (2016) 4593–4603.
View
| DOI
T. Füzik, R. Píchalová, F.K. Schur, K. Strohalmová, I. Křížová, R. Hadravová, M. Rumlová, J. Briggs, P. Ulbrich, T. Ruml, Journal of Virology 90 (2016) 4593–4603.
2016 |Published| Journal Article | IST-REx-ID: 816
An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation
F.K. Schur, M. Obr, W. Hagen, W. Wan, A. Jakobi, J. Kirkpatrick, C. Sachse, H. Kraüsslich, J. Briggs, Science 353 (2016) 506–508.
View
| DOI
F.K. Schur, M. Obr, W. Hagen, W. Wan, A. Jakobi, J. Kirkpatrick, C. Sachse, H. Kraüsslich, J. Briggs, Science 353 (2016) 506–508.