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.

358 Publications


2015 | Journal Article | IST-REx-ID: 2166   OA
The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, 9216 (2015) 585–605.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
View | Files available | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
A survey of applications of the circle method to rational points
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, ACM, 2015, pp. 507–521.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 532
EIN2-directed translational regulation of ethylene signaling in arabidopsis
W. Li, M. Ma, Y. Feng, H. Li, Y. Wang, Y. Ma, M. Li, F. An, H. Guo, Cell 163 (2015) 670–683.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015, p. 7174926.
View | Files available | DOI | arXiv
 

2015 | Technical Report | IST-REx-ID: 5437   OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432
The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 594
Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C.A. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118   OA
Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) E3525–E3534.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120   OA
Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015) e04241.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1637
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 784
A high-radix, low-latency optical switch for data centers
D.-A. Alistarh, H. Ballani, P. Costa, A. Funnell, J. Benjamin, P. Watts, B. Thomsen, in:, ACM, 2015, pp. 367–368.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 99   OA
Parity lifetime of bound states in a proximitized semiconductor nanowire
A.P. Higginbotham, S.M. Albrecht, G. Kiršanskas, W. Chang, F. Kuemmeth, P. Krogstrup, T. Jespersen, J. Nygård, K. Flensberg, C. Marcus, Nature Physics 11 (2015) 1017–1021.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems
J.L. Fischer, Archive for Rational Mechanics and Analysis 218 (2015) 553–587.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Rational points on cubic hypersurfaces over F_q(t)
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties
Z. Lu, M. Ibanez, A. Antolín, A. Genç, A. Shavel, S. Contreras, F. Medina, J. Arbiol, A. Cabot, Langmuir 31 (2015) 3952–3957.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Topological features of rugged fitness landscapes in sequence space
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer
O. Arkhipova, M. Meer, G. Mikoulinskaia, M. Zakharova, A. Galushko, V. Akimenko, F. Kondrashov, PLoS One 10 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Criterion for many-body localization-delocalization phase transition
M. Serbyn, Z. Papić, D. Abanin, Physical Review X 5 (2015).
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1513   OA
The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506   OA
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins
P. Nguyen, C. Field, A. Groen, T. Mitchison, M. Loose, in:, Building a Cell from Its Components Parts, Academic Press, 2015, pp. 223–241.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
G. Graff, P. Pilarczyk, Topological Methods in Nonlinear Analysis 45 (2015) 273–286.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1568
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, in:, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Novel plasticity rule can explain the development of sensorimotor intelligence
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Quantum interference shifts in laser spectroscopy with elliptical polarization
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1690
HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703 View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
A giant molecular proton pump: structure and mechanism of respiratory complex I
L.A. Sazanov, Nature Reviews Molecular Cell Biology 16 (2015) 375–388.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Šimášková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavy, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed