Please note that IST 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.
495 Publications
- 1
- 2 (current)
- 3
- 4
- 5
2017 | Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View
| DOI
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
2017 | Journal Article | IST-REx-ID: 744 | 
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
View
| Files available
| DOI
| PubMed | Europe PMC
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
2017 | Journal Article | IST-REx-ID: 745 |
Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
View
| DOI
| Download Submitted Version (ext.)
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
2017 | Journal Article | IST-REx-ID: 746 |
Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
View
| Files available
| DOI
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 747 |
Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
2017 | Book Chapter | IST-REx-ID: 748
'...beyond the invisible barrier at Portage and Main': Liminality in John Marlyn's Under the Ribs of Death
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
View
| DOI
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
2017 | Journal Article | IST-REx-ID: 749 |
Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
View
| Files available
| DOI
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
2017 | Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View
| DOI
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
2017 | Journal Article | IST-REx-ID: 751 |
A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
View
| Files available
| DOI
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
2017 | Journal Article | IST-REx-ID: 7725
Predation drives local adaptation of phenotypic plasticity
J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology & Evolution 2 (2017) 100–107.
View
| DOI
J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology & Evolution 2 (2017) 100–107.
2017 | Journal Article | IST-REx-ID: 7727
Major histocompatibility complex-linked social signalling affects female fertility
D. Burger, S. Thomas, H. Aepli, M. Dreyer, G. Fabre, E. Marti, H. Sieme, M.R. Robinson, C. Wedekind, Proceedings of the Royal Society B: Biological Sciences 284 (2017).
View
| DOI
| PubMed | Europe PMC
D. Burger, S. Thomas, H. Aepli, M. Dreyer, G. Fabre, E. Marti, H. Sieme, M.R. Robinson, C. Wedekind, Proceedings of the Royal Society B: Biological Sciences 284 (2017).
2017 | Journal Article | IST-REx-ID: 7728
Hidden heritability due to heterogeneity across seven populations
F.C. Tropf, S.H. Lee, R.M. Verweij, G. Stulp, P.J. van der Most, R. de Vlaming, A. Bakshi, D.A. Briley, C. Rahal, R. Hellpap, A.N. Iliadou, T. Esko, A. Metspalu, S.E. Medland, N.G. Martin, N. Barban, H. Snieder, M.R. Robinson, M.C. Mills, Nature Human Behaviour 1 (2017) 757–765.
View
| DOI
F.C. Tropf, S.H. Lee, R.M. Verweij, G. Stulp, P.J. van der Most, R. de Vlaming, A. Bakshi, D.A. Briley, C. Rahal, R. Hellpap, A.N. Iliadou, T. Esko, A. Metspalu, S.E. Medland, N.G. Martin, N. Barban, H. Snieder, M.R. Robinson, M.C. Mills, Nature Human Behaviour 1 (2017) 757–765.
2017 | Journal Article | IST-REx-ID: 7729
Detection and quantification of inbreeding depression for complex traits from SNP data
L. Yengo, Z. Zhu, N.R. Wray, B.S. Weir, J. Yang, M.R. Robinson, P.M. Visscher, Proceedings of the National Academy of Sciences 114 (2017) 8602–8607.
View
| Files available
| DOI
L. Yengo, Z. Zhu, N.R. Wray, B.S. Weir, J. Yang, M.R. Robinson, P.M. Visscher, Proceedings of the National Academy of Sciences 114 (2017) 8602–8607.
2017 | Journal Article | IST-REx-ID: 7731
Inference on the genetic basis of eye and skin color in an admixed population via Bayesian linear mixed models
L.R. Lloyd-Jones, M.R. Robinson, G. Moser, J. Zeng, S. Beleza, G.S. Barsh, H. Tang, P.M. Visscher, Genetics 206 (2017) 1113–1126.
View
| DOI
L.R. Lloyd-Jones, M.R. Robinson, G. Moser, J. Zeng, S. Beleza, G.S. Barsh, H. Tang, P.M. Visscher, Genetics 206 (2017) 1113–1126.
2017 | Journal Article | IST-REx-ID: 7733 |
Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort
F.C. Garton, B. Benyamin, Q. Zhao, Z. Liu, J. Gratten, A.K. Henders, Z.-H. Zhang, J. Edson, S. Furlong, S. Morgan, S. Heggie, K. Thorpe, C. Pfluger, K.A. Mather, P.S. Sachdev, A.F. McRae, M.R. Robinson, S. Shah, P.M. Visscher, M. Mangelsdorf, R.D. Henderson, N.R. Wray, P.A. McCombe, Molecular Genetics & Genomic Medicine 5 (2017) 418–428.
View
| DOI
| Download Published Version (ext.)
F.C. Garton, B. Benyamin, Q. Zhao, Z. Liu, J. Gratten, A.K. Henders, Z.-H. Zhang, J. Edson, S. Furlong, S. Morgan, S. Heggie, K. Thorpe, C. Pfluger, K.A. Mather, P.S. Sachdev, A.F. McRae, M.R. Robinson, S. Shah, P.M. Visscher, M. Mangelsdorf, R.D. Henderson, N.R. Wray, P.A. McCombe, Molecular Genetics & Genomic Medicine 5 (2017) 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.
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 | Journal Article | IST-REx-ID: 7756
Emergent SO(3) symmetry of the frictionless shear jamming transition
M. Baity-Jesi, C.P. Goodrich, A.J. Liu, S.R. Nagel, J.P. Sethna, Journal of Statistical Physics 167 (2017) 735–748.
View
| DOI
M. Baity-Jesi, C.P. Goodrich, A.J. Liu, S.R. Nagel, J.P. Sethna, Journal of Statistical Physics 167 (2017) 735–748.
2017 | Journal Article | IST-REx-ID: 7757
Designing allostery-inspired response in mechanical networks
J.W. Rocks, N. Pashine, I. Bischofberger, C.P. Goodrich, A.J. Liu, S.R. Nagel, Proceedings of the National Academy of Sciences 114 (2017) 2520–2525.
View
| DOI
J.W. Rocks, N. Pashine, I. Bischofberger, C.P. Goodrich, A.J. Liu, S.R. Nagel, Proceedings of the National Academy of Sciences 114 (2017) 2520–2525.
2017 | Journal Article | IST-REx-ID: 7758
Using active colloids as machines to weave and braid on the micrometer scale
C.P. Goodrich, M.P. Brenner, Proceedings of the National Academy of Sciences 114 (2017) 257–262.
View
| DOI
C.P. Goodrich, M.P. Brenner, Proceedings of the National Academy of Sciences 114 (2017) 257–262.
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 | 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.)
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
2017 | Conference Paper | IST-REx-ID: 789
Forkscan: Conservative memory reclamation for modern operating systems
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, in:, ACM, 2017, pp. 483–498.
View
| DOI
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, in:, ACM, 2017, pp. 483–498.
2017 | Conference Paper | IST-REx-ID: 790
FPGA-accelerated dense linear machine learning: A precision-convergence trade-off
K. Kara, D.-A. Alistarh, G. Alonso, O. Mutlu, C. Zhang, in:, IEEE, 2017, pp. 160–167.
View
| DOI
K. Kara, D.-A. Alistarh, G. Alonso, O. Mutlu, C. Zhang, in:, IEEE, 2017, pp. 160–167.
2017 | Conference Paper | IST-REx-ID: 791 |
The power of choice in priority scheduling
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
View
| DOI
| Download Submitted Version (ext.)
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
2017 | Journal Article | IST-REx-ID: 792 |
Relative periodic orbits form the backbone of turbulent pipe flow
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of Fluid Mechanics 833 (2017) 274–301.
View
| DOI
| Download Submitted Version (ext.)
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of Fluid Mechanics 833 (2017) 274–301.
2017 | Journal Article | IST-REx-ID: 793 |
On the existence of ordinary triangles
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.
View
| DOI
| Download Submitted Version (ext.)
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.
2017 | Journal Article | IST-REx-ID: 794 |
C-planarity of embedded cyclic c-graphs
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.
View
| Files available
| DOI
| Download Preprint (ext.)
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.
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).
View
| Files available
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
2017 | Journal Article | IST-REx-ID: 463 |
Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
View
| Files available
| DOI
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
2017 | Journal Article | IST-REx-ID: 464 |
Improved algorithms for parity and Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 465 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 466 |
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 467 |
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Journal Article | IST-REx-ID: 470 |
Water wave packets
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 36 (2017).
View
| Files available
| DOI
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 36 (2017).
2017 | Journal Article | IST-REx-ID: 471 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Journal Article | IST-REx-ID: 472
Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
View
| DOI
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
2017 | Journal Article | IST-REx-ID: 481 |
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
View
| Files available
| DOI
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
2017 | Journal Article | IST-REx-ID: 483 |
Universality for a class of random band matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
View
| DOI
| Download Submitted Version (ext.)
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
2017 | Journal Article | IST-REx-ID: 484 |
Bogoliubov correction to the mean-field dynamics of interacting bosons
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
View
| DOI
| Download Submitted Version (ext.)
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
2017 | Conference Paper | IST-REx-ID: 485
Single sideband microwave to optical photon conversion-an-electro-optic-realization
A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, OSA, 2017.
View
| DOI
A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, OSA, 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).
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: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View
| DOI
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
2017 | Journal Article | IST-REx-ID: 512 |
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 513 |
Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence
L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).
View
| DOI
| Download Preprint (ext.)
L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).
2017 | Journal Article | IST-REx-ID: 514 |
Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum
J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).
View
| Files available
| DOI
J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 515 |
Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain
J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808.
View
| Files available
| DOI
J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808.
2017 | Journal Article | IST-REx-ID: 520
Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803
W. Du, A. Angermayr, J. Jongbloets, D. Molenaar, H. Bachmann, K. Hellingwerf, F. Branco Dos Santos, ACS Synthetic Biology 6 (2017) 395–401.
View
| DOI
| PubMed | Europe PMC
W. Du, A. Angermayr, J. Jongbloets, D. Molenaar, H. Bachmann, K. Hellingwerf, F. Branco Dos Santos, ACS Synthetic Biology 6 (2017) 395–401.
2017 | Journal Article | IST-REx-ID: 521 |
Higson compactification and dimension raising
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
View
| DOI
| Download Submitted Version (ext.)
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
2017 | Journal Article | IST-REx-ID: 525 |
Plant biology: Building barriers… in roots
D. von Wangenheim, T. Goh, D. Dietrich, M. Bennett, Current Biology 27 (2017) R172–R174.
View
| Files available
| DOI
| Download (ext.)
D. von Wangenheim, T. Goh, D. Dietrich, M. Bennett, Current Biology 27 (2017) R172–R174.
2017 | Journal Article | IST-REx-ID: 529
Effects of VPAC1 activation in nucleus ambiguus neurons
F. Gherghina, A. Tica, E. Deliu, M. Abood, G. Brailoiu, E. Brǎiloiu, Brain Research 1657 (2017) 297–303.
View
| DOI
F. Gherghina, A. Tica, E. Deliu, M. Abood, G. Brailoiu, E. Brǎiloiu, Brain Research 1657 (2017) 297–303.
2017 | Journal Article | IST-REx-ID: 534 |
Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.
2017 | Journal Article | IST-REx-ID: 538 |
Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682.
View
| Files available
| DOI
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682.
2017 | Journal Article | IST-REx-ID: 540 |
Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (2017).
View
| Files available
| DOI
K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (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).
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 | Book Chapter | IST-REx-ID: 545 |
Vascular tissue development and regeneration in the model plant arabidopsis
E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, InTech, 2017, pp. 113–140.
View
| Files available
| DOI
E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, InTech, 2017, pp. 113–140.
2017 | Report | IST-REx-ID: 5450 |
Implementing the institutional data repository IST DataRep
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
View
| Files available
| Download (ext.)
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
2017 | Technical Report | IST-REx-ID: 5455 |
Optimal Dyck reachability for data-dependence and alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.
View
| Files available
| DOI
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.
2017 | Technical Report | IST-REx-ID: 5456 |
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.
View
| Files available
| DOI
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 548 |
Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes
D. De Martino, Physical Review E 96 (2017).
View
| DOI
| Download Submitted Version (ext.)
D. De Martino, Physical Review E 96 (2017).
2017 | Conference Paper | IST-REx-ID: 549 |
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
View
| Files available
| DOI
| Download Submitted Version (ext.)
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
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).
View
| Files available
| DOI
J. Alt, Electronic Communications in Probability 22 (2017).
2017 | Conference Paper | IST-REx-ID: 551 |
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 552 |
Faster algorithms for mean payoff parity games
K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 553 |
Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Research Data | IST-REx-ID: 5559 |
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
2017 | Research Data | IST-REx-ID: 5560 |
Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).
View
| Files available
| DOI
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).
2017 | Research Data | IST-REx-ID: 5561 |
Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
View
| Files available
| DOI
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
2017 | Research Data | IST-REx-ID: 5562 |
Multi-electrode array recording from salamander retinal ganglion cells
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
View
| Files available
| DOI
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
2017 | Research Data | IST-REx-ID: 5563 |
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, (2017).
View
| Files available
| DOI
M. Lukacisin, (2017).
2017 | Research Data | IST-REx-ID: 5564 |
Fastq files for "Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection"
M. Steinrück, C.C. Guet, (2017).
View
| Files available
| DOI
M. Steinrück, C.C. Guet, (2017).
2017 | Research Data | IST-REx-ID: 5565 |
Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, (2017).
View
| Files available
| DOI
D. von Wangenheim, R. Hauschild, J. Friml, (2017).
2017 | Research Data | IST-REx-ID: 5566 |
Live tracking of moving samples in confocal microscopy for vertically grown roots
R. Hauschild, (2017).
View
| Files available
| DOI
R. Hauschild, (2017).
2017 | Research Data | IST-REx-ID: 5567 |
Immunological synapse DC-Tcells
A.F. Leithner, (2017).
View
| Files available
| DOI
A.F. Leithner, (2017).
2017 | Research Data | IST-REx-ID: 5568 |
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
View
| Files available
| DOI
D. Hahn, (2017).
2017 | Journal Article | IST-REx-ID: 557 |
AAV2 mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
View
| Files available
| DOI
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
2017 | Research Data | IST-REx-ID: 5570 |
Forward migration indexes
R. Hauschild, (2017).
View
| Files available
| DOI
R. Hauschild, (2017).
2017 | Research Data | IST-REx-ID: 5571 |
Data for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
View
| Files available
| DOI
B. Vicoso, (2017).
2017 | Research Data | IST-REx-ID: 5572 |
Code for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
View
| Files available
| DOI
B. Vicoso, (2017).
2017 | Journal Article | IST-REx-ID: 558
Specificity of oral immune priming in the red flour beetle Tribolium castaneum
M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).
View
| DOI
M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).
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.
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: 560 |
On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).
View
| DOI
| Download Submitted Version (ext.)
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (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).
View
| Files available
| DOI
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
2017 | Book | IST-REx-ID: 567
A dynamical approach to random matrix theory
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.
View
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.
2017 | Journal Article | IST-REx-ID: 568 |
Persistence of zero sets
P. Franek, M. Krcál, Homology, Homotopy and Applications 19 (2017) 313–342.
View
| DOI
| Download Submitted Version (ext.)
P. Franek, M. Krcál, Homology, Homotopy and Applications 19 (2017) 313–342.
2017 | Journal Article | IST-REx-ID: 569 |
Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments
F. Spira, S. Cuylen Haering, S. Mehta, M. Samwer, A. REVERSAT, A. Verma, R. Oldenbourg, M.K. Sixt, D. Gerlich, ELife 6 (2017).
View
| Files available
| DOI
F. Spira, S. Cuylen Haering, S. Mehta, M. Samwer, A. REVERSAT, A. Verma, R. Oldenbourg, M.K. Sixt, D. Gerlich, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 570 |
Regulatory network structure determines patterns of intermolecular epistasis
M. Lagator, S. Sarikas, H. Acar, J.P. Bollback, C.C. Guet, ELife 6 (2017).
View
| Files available
| DOI
M. Lagator, S. Sarikas, H. Acar, J.P. Bollback, C.C. Guet, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 571
Migrating platelets are mechano scavengers that collect and bundle bacteria
F.R. Gärtner, Z. Ahmad, G. Rosenberger, S. Fan, L. Nicolai, B. Busch, G. Yavuz, M. Luckner, H. Ishikawa Ankerhold, R. Hennel, A. Benechet, M. Lorenz, S. Chandraratne, I. Schubert, S. Helmer, B. Striednig, K. Stark, M. Janko, R. Böttcher, A. Verschoor, C. Leon, C. Gachet, T. Gudermann, M. Mederos Y Schnitzler, Z. Pincus, M. Iannacone, R. Haas, G. Wanner, K. Lauber, M.K. Sixt, S. Massberg, Cell Press 171 (2017) 1368–1382.
View
| DOI
F.R. Gärtner, Z. Ahmad, G. Rosenberger, S. Fan, L. Nicolai, B. Busch, G. Yavuz, M. Luckner, H. Ishikawa Ankerhold, R. Hennel, A. Benechet, M. Lorenz, S. Chandraratne, I. Schubert, S. Helmer, B. Striednig, K. Stark, M. Janko, R. Böttcher, A. Verschoor, C. Leon, C. Gachet, T. Gudermann, M. Mederos Y Schnitzler, Z. Pincus, M. Iannacone, R. Haas, G. Wanner, K. Lauber, M.K. Sixt, S. Massberg, Cell Press 171 (2017) 1368–1382.
2017 | Journal Article | IST-REx-ID: 572 |
Control of endogenous auxin levels in plant root development
D. Olatunji, D. Geelen, I. Verstraeten, International Journal of Molecular Sciences 18 (2017).
View
| Files available
| DOI
D. Olatunji, D. Geelen, I. Verstraeten, International Journal of Molecular Sciences 18 (2017).
2017 | Journal Article | IST-REx-ID: 5799
On the polyhedra of graceful spheres and circular geodesics
R. Biswas, P. Bhowmick, V.E. Brimkov, Discrete Applied Mathematics 216 (2017) 362–375.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, Discrete Applied Mathematics 216 (2017) 362–375.
2017 | Journal Article | IST-REx-ID: 5800
On the functionality and usefulness of Quadraginta octants of naive sphere
R. Biswas, P. Bhowmick, Journal of Mathematical Imaging and Vision 59 (2017) 69–83.
View
| DOI
R. Biswas, P. Bhowmick, Journal of Mathematical Imaging and Vision 59 (2017) 69–83.
2017 | Conference Paper | IST-REx-ID: 5801
Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, 10502 (2017) 347–359.
View
| DOI
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, 10502 (2017) 347–359.
2017 | Conference Paper | IST-REx-ID: 5802
Digital Primitives Defined by Weighted Focal Set
E. Andres, R. Biswas, P. Bhowmick, 10502 (2017) 388–398.
View
| DOI
E. Andres, R. Biswas, P. Bhowmick, 10502 (2017) 388–398.
2017 | Book Chapter | IST-REx-ID: 5803
Construction of Persistent Voronoi Diagram on 3D Digital Plane
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer International Publishing, Cham, 2017, pp. 93–104.
View
| DOI
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer International Publishing, Cham, 2017, pp. 93–104.
2017 | Journal Article | IST-REx-ID: 593
Bell correlations in spin-squeezed states of 500 000 atoms
N. Engelsen, R. Krishnakumar, O. Hosten, M. Kasevich, Physical Review Letters 118 (2017).
View
| DOI
N. Engelsen, R. Krishnakumar, O. Hosten, M. Kasevich, Physical Review Letters 118 (2017).
2017 | Journal Article | IST-REx-ID: 600
Structural basis of RNA polymerase I transcription initiation
C. Engel, T. Gubbey, S. Neyer, S. Sainsbury, C. Oberthuer, C. Baejen, C. Bernecky, P. Cramer, Cell 169 (2017) 120–131.e22.
View
| DOI
C. Engel, T. Gubbey, S. Neyer, S. Sainsbury, C. Oberthuer, C. Baejen, C. Bernecky, P. Cramer, Cell 169 (2017) 120–131.e22.
2017 | Journal Article | IST-REx-ID: 601 |
Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex
Y. Xu, C. Bernecky, C. Lee, K. Maier, B. Schwalb, D. Tegunov, J. Plitzko, H. Urlaub, P. Cramer, Nature Communications 8 (2017).
View
| Files available
| DOI
Y. Xu, C. Bernecky, C. Lee, K. Maier, B. Schwalb, D. Tegunov, J. Plitzko, H. Urlaub, P. Cramer, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 6013 |
Experimental evidence for quantum tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K.Z. Hatsagortsyan, T. Pfeifer, C.H. Keitel, R. Moshammer, Physical Review Letters 119 (2017).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K.Z. Hatsagortsyan, T. Pfeifer, C.H. Keitel, R. Moshammer, Physical Review Letters 119 (2017).
2017 | Journal Article | IST-REx-ID: 603
Structure of a transcribing RNA polymerase II-DSIF complex reveals a multidentate DNA-RNA clamp
C. Bernecky, J. Plitzko, P. Cramer, Nature Structural and Molecular Biology 24 (2017) 809–815.
View
| DOI
C. Bernecky, J. Plitzko, P. Cramer, Nature Structural and Molecular Biology 24 (2017) 809–815.
2017 | Book Chapter | IST-REx-ID: 604 |
Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets
M. Lemeshko, R. Schmidt, in:, O. Dulieu, A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , The Royal Society of Chemistry, 2017, pp. 444–495.
View
| DOI
| Download Submitted Version (ext.)
M. Lemeshko, R. Schmidt, in:, O. Dulieu, A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , The Royal Society of Chemistry, 2017, pp. 444–495.
2017 | Conference Paper | IST-REx-ID: 605 |
Position based cryptography and multiparty communication complexity
J. Brody, S. Dziembowski, S. Faust, K.Z. Pietrzak, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 56–81.
View
| DOI
| Download Submitted Version (ext.)
J. Brody, S. Dziembowski, S. Faust, K.Z. Pietrzak, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 56–81.
- 1
- 2 (current)
- 3
- 4
- 5