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

Barzanjeh S, Wulf M, Peruzzo M, et al. Mechanical on chip microwave circulator. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01304-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 799 |

Kitakura S, Adamowski M, Matsuura Y, et al. BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana. Plant and Cell Physiology. 2017;58(10). doi:10.1093/pcp/pcx118
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 800 |

Strüber M, Sauer J, Jonas PM, Bartos M. Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00936-3
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 803 |

Samwer M, Schneider M, Hoefler R, et al. DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes. Cell. 2017;170(5):956-972. doi:10.1016/j.cell.2017.07.038
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 804 |

Schmalhorst PS, Deluweit F, Scherrers R, Heisenberg C-PJ, Sikora MK. Overcoming the limitations of the MARTINI force field in simulations of polysaccharides. Journal of Chemical Theory and Computation. 2017;13(10):5039-5053. doi:10.1021/acs.jctc.7b00374
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 807 |

Andrae M, Villányi M. Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 2017;70(2):274-280. doi:10.31263/voebm.v70i2.1898
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 818 |

Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |

Pull C. Disease defence in garden ants. 2017. doi:10.15479/AT:ISTA:th_861
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |

Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 822 |

de Vos M, Zagórski MP, Mcnally A, Bollenbach MT. Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS. 2017;114(40):10666-10671. doi:10.1073/pnas.1713372114
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 823 |

Colabrese S, De Martino D, Leuzzi L, Marinari E. Phase transitions in integer linear problems. Journal of Statistical Mechanics: Theory and Experiment. 2017;2017(9). doi:10.1088/1742-5468/aa85c3
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 824 |

Budanur NB, Hof B. Heteroclinic path to spatially localized chaos in pipe flow. Journal of Fluid Mechanics. 2017;827. doi:10.1017/jfm.2017.516
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 825 |

Petritsch B. Metadata for research data in practice. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 2017;70(2):200-207. doi:10.31263/voebm.v70i2.1678
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 833 |

Heiss T, Wagner H. Streaming algorithm for Euler characteristic curves of multidimensional images. In: Felsberg M, Heyden A, Krüger N, eds. Vol 10424. Springer; 2017:397-409. doi:10.1007/978-3-319-64689-3_32
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 834 |

Serbyn M, Zlatko P, Abanin D. Thouless energy and multifractality across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 2017;96(10). doi:10.1103/PhysRevB.96.104201
View
| DOI
| Download Submitted Version (ext.)
2017 | Thesis | IST-REx-ID: 837 |

Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |

Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |

Hahn D. Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 840 |

Vukušić L, Kukucka J, Watzinger H, Katsaros G. Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. 2017;17(9):5706-5710. doi:10.1021/acs.nanolett.7b02627
View
| Files available
| DOI
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. doi:10.30757/ALEA.v14-17
View
| DOI
| Download Submitted Version (ext.)
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 | 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: 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: 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: 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 | 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: 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: 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: 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 | Journal Article | IST-REx-ID: 486 |

Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 2017;36(6). doi:10.1145/3130800.3130890
View
| Files available
| DOI
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: 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: 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: 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 | 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 | Technical Report | IST-REx-ID: 5455 |

Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria; 2017. doi:10.15479/AT:IST-2017-870-v1-1
View
| Files available
| DOI
2017 | Technical Report | IST-REx-ID: 5456 |

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2017. doi:10.15479/AT:IST-2017-872-v1-1
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.)
2017 | Journal Article | IST-REx-ID: 550 |

Alt J. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 2017;22. doi:10.1214/17-ECP97
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 551 |

Chatterjee K, Ibsen-Jensen R, Nowak M. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.61
View
| Files available
| DOI