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.

3095 Publications


2018 | Journal Article | IST-REx-ID: 421 | OA
Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients
K. Dasbiswas, E.B. Hannezo, N. Gov, Biophysical Journal 114 (2018) 968–977.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 423 | OA
CRISPR-based herd immunity can limit phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 425 | OA
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 427 | OA
Quantum interference in laser spectroscopy of highly charged lithiumlike ions
P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 428 | OA
Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 43 | OA
Model of bacterial toxin-dependent pathogenesis explains infective dose
J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 430 | OA
Tread lightly interpreting polygenic tests of selection
J. Novembre, N.H. Barton, Genetics 208 (2018) 1351–1355.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 433 | OA
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 435 | OA
Coherent-perfect-absorber and laser for bound states in a continuum
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 436 | OA
Manipulating the flow of thermal noise in quantum devices
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 437 | OA
Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 438 | OA
Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 44 | OA
Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 10883 | OA
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 10882 | OA
Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 617 | OA
Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 25 | OA
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 40 | OA
The consequences of an introgression event
N.H. Barton, Molecular Ecology 27 (2018) 4973–4975.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 147 | OA
The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes
U. Kania, T. Nodzyński, Q. Lu, G.R. Hicks, W. Nerinckx, K. Mishev, F. Peurois, J. Cherfils, R.R.M. De, P. Grones, S. Robert, E. Russinova, J. Friml, The Plant Cell 30 (2018) 2553–2572.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 20 | OA
Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, BMC Genomics 19 (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 310 | OA
Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 402 | OA
Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice
M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 15 | OA
Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells
M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 51 | OA
From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 412 | OA
A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis
M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, J. Friml, The Plant Cell 30 (2018) 700–716.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 323 | OA
Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, IST Austria, 2018.
View | Files available | DOI
 
 

2018 | Thesis | IST-REx-ID: 539 | OA
Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 544 | OA
Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues
A. György, M. Roblek, A. Ratheesh, K. Valosková, V. Belyaeva, S. Wachner, Y. Matsubayashi, B. Sanchez Sanchez, B. Stramer, D.E. Siekhaus, G3: Genes, Genomes, Genetics 8 (2018) 845–857.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 21 | OA
Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 67 | OA
Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5585 | OA
Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 422 | OA
Relaminarization by steady modification of the streamwise velocity profile in a pipe
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018) 919–942.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 461 | OA
Destabilizing turbulence in pipe flow
J. Kühnen, B. Song, D. Scarselli, N.B. Budanur, M. Riedl, A. Willis, M. Avila, B. Hof, Nature Physics 14 (2018) 386–390.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Thesis | IST-REx-ID: 395 | OA
The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50 | OA
Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
The influence of sequence context on the evolution of bacterial gene expression
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 449 | OA
WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 191 | OA
PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263 | OA
Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, IST Austria, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 313 | OA
Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 791 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 792 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 793 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 794 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 795 | OA
Unified Hanani Tutte theorem
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 796 | OA
Al transmon qubits on silicon on insulator for quantum device integration
A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied Physics Letters 111 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Mechanical on chip microwave circulator
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 799 | OA
BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 800 | OA
Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 803 | OA
DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes
M. Samwer, M. Schneider, R. Hoefler, P.S. Schmalhorst, J. Jude, J. Zuber, D. Gerlic, Cell 170 (2017) 956–972.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 804 | OA
Overcoming the limitations of the MARTINI force field in simulations of polysaccharides
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 807 | OA
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.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818 | OA
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, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 822 | OA
Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections
M. de Vos, M.P. Zagórski, A. Mcnally, M.T. Bollenbach, PNAS 114 (2017) 10666–10671.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 823 | OA
Phase transitions in integer linear problems
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari, Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 824 | OA
Heteroclinic path to spatially localized chaos in pipe flow
N.B. Budanur, B. Hof, Journal of Fluid Mechanics 827 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 825 | OA
Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 833 | OA
Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 834 | OA
Thouless energy and multifractality across the many-body localization transition
M. Serbyn, P. Zlatko, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Thesis | IST-REx-ID: 837 | OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 840 | OA
Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry
L. Vukušić, J. Kukucka, H. Watzinger, G. Katsaros, Nano Letters 17 (2017) 5706–5710.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 447 | OA
Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 463 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Improved algorithms for parity and Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 465 | OA
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
 

2017 | Journal Article | IST-REx-ID: 466 | OA
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
 

2017 | Journal Article | IST-REx-ID: 467 | OA
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
 

2017 | Journal Article | IST-REx-ID: 470 | OA
Water wave packets
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 36 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 471 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 483 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 484 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 486 | OA
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
 

2017 | Journal Article | IST-REx-ID: 512 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 513 | OA
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.)
 

2017 | Journal Article | IST-REx-ID: 514 | OA
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
 

2017 | Journal Article | IST-REx-ID: 515 | OA
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
 

2017 | Journal Article | IST-REx-ID: 521 | OA
Higson compactification and dimension raising
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 534 | OA
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
 

2017 | Journal Article | IST-REx-ID: 538 | OA
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
 

2017 | Journal Article | IST-REx-ID: 540 | OA
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
 

2017 | Journal Article | IST-REx-ID: 541 | OA
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
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
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
 

2017 | Report | IST-REx-ID: 5450 | OA
Implementing the institutional data repository IST DataRep
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
View | Files available | Download (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications