Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4170 Publications

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 | Conference Paper | IST-REx-ID: 836
Finding eigenvalues of self-maps with the Kronecker canonical form
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
View | DOI
 
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 | Book Chapter | IST-REx-ID: 84
Computational topology for structural molecular biology
H. Edelsbrunner, P. Koehl, in:, C. Toth, J. O’Rourke, J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition, CRC Press, 2017, pp. 1709–1735.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View | 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: 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 | 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
 
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 | 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
 
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: 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
 
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.)
 
2017 | Technical Report | IST-REx-ID: 5455 | OA
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
 
2017 | Technical Report | IST-REx-ID: 5456 | OA
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
 
 
2017 | Conference Paper | IST-REx-ID: 549 | OA
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.)
 
2017 | Journal Article | IST-REx-ID: 550 | OA
Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 551 | OA
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
 
2017 | Conference Paper | IST-REx-ID: 553 | OA
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.)
 
2017 | Research Data | IST-REx-ID: 5559 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5560 | OA
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
 
2017 | Research Data | IST-REx-ID: 5561 | OA
Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5562 | OA
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
 
 
 
2017 | Research Data | IST-REx-ID: 5565 | OA View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5566 | OA View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5567 | OA
Immunological synapse DC-Tcells
A.F. Leithner, (2017).
View | Files available | DOI
 
 
2017 | Journal Article | IST-REx-ID: 557 | OA
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
 
2017 | Research Data | IST-REx-ID: 5570 | OA
Forward migration indexes
R. Hauschild, (2017).
View | Files available | DOI
 
 
 
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
 
2017 | Conference Paper | IST-REx-ID: 559 | OA
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.)
 
2017 | Journal Article | IST-REx-ID: 560 | OA
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.)
 
2017 | Journal Article | IST-REx-ID: 568 | OA
Persistence of zero sets
P. Franek, M. Krcál, Homology, Homotopy and Applications 19 (2017) 313–342.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 569 | OA
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
 
2017 | Journal Article | IST-REx-ID: 570 | OA
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
 
2017 | Journal Article | IST-REx-ID: 571
Migrating platelets are mechano scavengers that collect and bundle bacteria
Gärtner FR, Ahmad Z, Rosenberger G, Fan S, Nicolai L, Busch B, Yavuz G, Luckner M, Ishikawa Ankerhold H, Hennel R, Benechet A, Lorenz M, Chandraratne S, Schubert I, Helmer S, Striednig B, Stark K, Janko M, Böttcher R, Verschoor A, Leon C, Gachet C, Gudermann T, Mederos Y Schnitzler M, Pincus Z, Iannacone M, Haas R, Wanner G, Lauber K, Sixt MK, Massberg S. 2017. Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press. 171(6), 1368–1382.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 572 | OA
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
 
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 Nature, Cham, 2017, pp. 93–104.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 6013 | OA
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
 
2017 | Book Chapter | IST-REx-ID: 604 | OA
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.)
 
2017 | Conference Paper | IST-REx-ID: 605 | OA
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.)
 
2017 | Conference Paper | IST-REx-ID: 697 | OA
Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 698 | OA
Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 699 | OA
The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 700 | OA
Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 701 | OA
On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 702
The riddle of CHD8 haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 706
Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 707 | OA
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 708 | OA
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 709
Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 710 | OA
Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 711 | OA
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 712 | OA
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 713 | OA
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 714 | OA
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
View | DOI | Download Preprint (ext.) | arXiv
 
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 720 | OA View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 721 | OA
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 722 | OA
Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 724 | OA
Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications