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.

2644 Publications


2016 | Journal Article | IST-REx-ID: 1329   OA
De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata
A.K. Huylmans, A. López Ezquerra, J. Parsch, M. Cordellier, Genome Biology and Evolution 8 (2016) 3120–3139.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1331
Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress
P. Zwack, I. De Clercq, T. Howton, H.T. Hallmark, A. Hurny, E. Keshishian, A. Parish, E. Benková, M.S. Mukhtar, F. Van Breusegem, A. Rashotte, Plant Physiology 172 (2016) 1249–1258.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1343   OA
Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model
J. Kaczmarczyk, H. Weimer, M. Lemeshko, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1292   OA
Computing the Thurston–Bennequin invariant in open books
S. Durst, M. Kegel, M.D. Klukas, Acta Mathematica Hungarica 150 (2016) 441–455.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381   OA
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1355   OA
Quantum electromechanics on silicon nitride nanomembranes
J.M. Fink, M. Kalaee, A. Pitanti, R. Norte, L. Heinzle, M. Davanço, K. Srinivasan, O. Painter, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1420   OA
A general approximation for the dynamics of quantitative traits
K. Bod’ová, G. Tkacik, N.H. Barton, Genetics 202 (2016) 1523–1548.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1475   OA
Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton
J. Toshima, E. Furuya, M. Nagano, C. Kanno, Y. Sakamoto, M. Ebihara, D.E. Siekhaus, J. Toshima, ELife 5 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1482   OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1487   OA
Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination
N. Grion, A. Akrami, Y. Zuo, F. Stella, M. Diamond, PLoS Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1552   OA
The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1521
Structure of bacterial respiratory complex I
J. Berrisford, R. Baradaran, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1857 (2016) 892–901.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Directed percolation phase transition to sustained turbulence in Couette flow
G.M. Lemoult, L. Shi, K. Avila, S.V. Jalikop, M. Avila, B. Hof, Nature Physics 12 (2016) 254–258.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1608   OA View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1641   OA
A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1622   OA
Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653   OA
New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1881   OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 510   OA
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1379
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. De Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446   OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554   OA
Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, IST Austria, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1165
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1362 View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1069   OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090   OA
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095   OA
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1103   OA
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242   OA
Extending the dynamic range of transcription factor action by translational regulation
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkacik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1259   OA
Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1285
Focal adhesion-independent cell migration
E. Paluch, I. Aspalter, M.K. Sixt, Annual Review of Cell and Developmental Biology 32 (2016) 469–490.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1350   OA
Synaptic mechanisms of pattern completion in the hippocampal CA3 network
J. Guzmán, A. Schlögl, M. Frotscher, P.M. Jonas, Science 353 (2016) 1117–1123.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230   OA
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1324
Indefinite-horizon reachability in Goal-DEC-POMDPs
K. Chatterjee, M. Chmelik, in:, Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, AAAI Press, 2016, pp. 88–96.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1413 View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386   OA
Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A. Goharshady, in:, Springer, 2016, pp. 3–22.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545   OA
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526   OA
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5453
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1483   OA
A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495   OA
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1534   OA
Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism
H. Wang, K. Yang, J. Zou, L. Zhu, Z. Xie, M. Morita, M. Tasaka, J. Friml, E. Grotewold, T. Beeckman, S. Vanneste, F. Sack, J. Le, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1508   OA
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1546   OA
Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development
Y. Nakamura, H. Harada, N. Kamasawa, K. Matsui, J. Rothman, R. Shigemoto, R.A. Silver, D. Digregorio, T. Takahashi, Neuron 85 (2015) 145–158.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed