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.
488 Publications
2017 | Journal Article | IST-REx-ID: 1187 |

Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. Efficient authentication from hard learning problems. Journal of Cryptology. 2017;30(4):1238-1275. doi:10.1007/s00145-016-9247-3
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1117 |

Chen C, Arai itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 463 |

Altmeyer S, Do Y, Ryu S. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 2017;27(11). doi:10.1063/1.5002771
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 459 |

Cremer S. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 2017;46:105-116.
View
| Files available
2017 | Journal Article | IST-REx-ID: 464 |

Chatterjee K, Henzinger M, Loitzenbauer V. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 2017;13(3). doi:10.23638/LMCS-13(3:26)2017
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 373
Coughlan C, Ibáñez M, Dobrozhan O, Singh A, Cabot A, Ryan K. Compound copper chalcogenide nanocrystals. Chemical Reviews. 2017;117(9):5865-6109. doi:10.1021/acs.chemrev.6b00376
View
| DOI
2017 | Journal Article | IST-REx-ID: 374
Ortega S, Ibáñez M, Liu Y, et al. Bottom up engineering of thermoelectric nanomaterials and devices from solution processed nanoparticle building blocks. Chemical Society Reviews. 2017;46(12):3510-3528. doi:10.1039/c6cs00567e
View
| DOI
2017 | Journal Article | IST-REx-ID: 375
Berestok T, Guardia P, Blanco J, et al. Tuning branching in ceria nanocrystals. Chemistry of Materials. 2017;29(10):4418-4424. doi:10.1021/acs.chemmater.7b00896
View
| DOI
2017 | Journal Article | IST-REx-ID: 391
Xu Y, Chiu J, Miao L, et al. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 2017;8. doi:10.1038/ncomms14081
View
| DOI
2017 | Journal Article | IST-REx-ID: 392 |

Vishik I, Mahmood F, Alpichshev Z, Gedik N, Higgins J, Greene R. Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ. Physical Review B. 2017;95(11). doi:10.1103/PhysRevB.95.115125
View
| DOI
| Download None (ext.)
2017 | Journal Article | IST-REx-ID: 393 |

Alpichshev Z, Sie E, Mahmood F, Cao G, Gedik N. Origin of the exciton mass in the frustrated Mott insulator Na2IrO3. Physical Review B. 2017;96(23). doi:10.1103/PhysRevB.96.235141
View
| DOI
| Download None (ext.)
2017 | Conference Paper | IST-REx-ID: 431 |

Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. QSGD: Communication-efficient SGD via gradient quantization and encoding. In: Vol 2017. Neural Information Processing Systems Foundation, Inc.; 2017:1710-1721.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 432 |

Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: Proceedings of Machine Learning Research. Vol 70. PMLR; 2017:4035-4043.
View
| Files available
2017 | Book Chapter | IST-REx-ID: 424 |

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:10.1007/978-3-319-44479-6_17
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 443 |

Hardie R, Van Dam E, Cowley M, et al. Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer & Metabolism. 2017;5(2). doi:10.1186/s40170-017-0164-1
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 444
Sazanov LA. Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Wikström M, ed. Mechanisms of Primary Energy Transduction in Biology . Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry; 2017:25-59. doi:10.1039/9781788010405-00025
View
| DOI
2017 | Journal Article | IST-REx-ID: 445 |

Serbyn M, Abanin D. Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. 2017;96(1). doi:10.1103/PhysRevB.96.014202
View
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 447 |

Ferrari P, Nejjar P. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 2017;9:299-325.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 452
Bächer M, Bickel B, Whiting E, Sorkine Hornung O. Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. 2017;60(8):92-99. doi:10.1145/3068766
View
| DOI
2017 | Journal Article | IST-REx-ID: 453 |

Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 2017;113(9):2055-2067. doi:10.1016/j.bpj.2017.09.006
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 471 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 472
Eguchi K, Taoufiq Z, Thorn Seshold O, Trauner D, Hasegawa M, Takahashi T. Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held. European Journal of Neuroscience. 2017;37(25):6043-6052. doi:10.1523/JNEUROSCI.0179-17.2017
View
| DOI
2017 | Journal Article | IST-REx-ID: 481 |

Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229. doi:10.1142/S0218195916600050
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 483 |

Bourgade P, Erdös L, Yau H, Yin J. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 2017;21(3):739-800. doi:10.4310/ATMP.2017.v21.n3.a5
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 484 |

Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 2017;21(3):683-738. doi:10.4310/ATMP.2017.v21.n3.a4
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: Vol F54. OSA; 2017. doi:10.1364/NLO.2017.NM3A.1
View
| DOI
2017 | Conference Paper | IST-REx-ID: 487
Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies. ACM; 2017:2-14. doi:10.1145/3143361.3143367
View
| DOI
2017 | Journal Article | IST-REx-ID: 470 |

Jeschke S, Wojtan CJ. Water wave packets. ACM Transactions on Graphics. 2017;36(4). doi:10.1145/3072959.3073678
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 513 |

Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2017;2(4). doi:10.1103/PhysRevFluids.2.043904
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 514 |

Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 2017;8. doi:10.1038/ncomms16032
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 515 |

Letts JA, Sazanov LA. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 2017;24(10):800-808. doi:10.1038/nsmb.3460
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 525 |

von Wangenheim D, Goh T, Dietrich D, Bennett M. Plant biology: Building barriers… in roots. Current Biology. 2017;27(5):R172-R174. doi:10.1016/j.cub.2017.01.060
View
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 529
Gherghina F, Tica A, Deliu E, Abood M, Brailoiu G, Brǎiloiu E. Effects of VPAC1 activation in nucleus ambiguus neurons. Brain Research. 2017;1657:297-303. doi:10.1016/j.brainres.2016.12.026
View
| DOI
2017 | Journal Article | IST-REx-ID: 520
Du W, Angermayr A, Jongbloets J, et al. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. ACS Synthetic Biology. 2017;6(3):395-401. doi:10.1021/acssynbio.6b00235
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 521 |

Austin K, Virk Z. Higson compactification and dimension raising. Topology and its Applications. 2017;215:45-57. doi:10.1016/j.topol.2016.10.005
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1198 |

Moser T, Seiringer R. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 2017;107(3):533-552. doi:10.1007/s11005-016-0915-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 534 |

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 2017;58(4):871-888. doi:10.1007/s00454-017-9900-0
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 538 |

Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 2017;129(16):4679-4682. doi:10.1002/ange.201611998
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 540 |

Khamina K, Lercher A, Caldera M, et al. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 2017;13(12). doi:10.1371/journal.ppat.1006758
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 541 |

Nikolic N, Schreiber F, Dal Co A, et al. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. 2017;13(12). doi:10.1371/journal.pgen.1007122
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 466 |

Chatterjee K, Křetínská Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 2017;13(2). doi:10.23638/LMCS-13(2:15)2017
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 467 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 2017;18(4). doi:10.1145/3152769
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 465 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. Logical Methods in Computer Science. 2017;13(3). doi:10.23638/LMCS-13(3:23)2017
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 545 |

Mazur E, Friml J. Vascular tissue development and regeneration in the model plant arabidopsis. In: Jurić S, ed. Plant Engineering. Plant Engineering. InTech; 2017:113-140. doi:10.5772/intechopen.69712
View
| Files available
| DOI
2017 | Report | IST-REx-ID: 5450 |

Petritsch B. Implementing the Institutional Data Repository IST DataRep. IST Austria; 2017.
View
| Files available
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 512 |

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 2017;7(1). doi:10.1038/s41598-017-00107-w
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |

De Martino D. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 2017;96(6). doi:10.1103/PhysRevE.96.060401
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 549 |

Finkbeiner B, Kupriyanov A. Causality-based model checking. In: Electronic Proceedings in Theoretical Computer Science. Vol 259. Open Publishing Association; 2017:31-38. doi:10.4204/EPTCS.259.3
View
| Files available
| DOI
| Download Submitted Version (ext.)