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 | Technical Report | IST-REx-ID: 5437   OA
K. Chatterjee, R. Ibsen-Jensen, and 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
J. Reiter et al., Reconstructing robust phylogenies of metastatic cancers. IST Austria, 2015.
View | Files available | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 6120   OA
P. Laurent et al., “Decoding a neural circuit controlling global animal state in C. elegans,” eLife, vol. 4, p. e04241, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1637
V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States, 2015, pp. 1246–1258.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 777
D. Alistarh, J. Iglesias, and M. Vojnović, “Streaming min-max hypergraph partitioning,” presented at the NIPS: Neural Information Processing Systems, 2015, vol. 2015–January, pp. 1900–1908.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 866
C. Kretz et al., “Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13,” PNAS, vol. 112, no. 30, pp. 9328–9333, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 784
D.-A. Alistarh et al., “A high-radix, low-latency optical switch for data centers,” presented at the SIGCOMM: Special Interest Group on Data Communication, London, United Kindgdom, 2015, pp. 367–368.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, and E. Hannezo, “Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop,” Applied Thermal Engineering, vol. 76, pp. 1–8, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 929
E. Hannezo, B. Dong, P. Recho, J. Joanny, and S. Hayashi, “Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes,” PNAS, vol. 112, no. 28, pp. 8620–8625, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
I. Zeljkovic et al., “Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators,” Nature Materials, vol. 14, no. 3, pp. 318–324, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99   OA
A. P. Higginbotham et al., “Parity lifetime of bound states in a proximitized semiconductor nanowire,” Nature Physics, vol. 11, no. 12, pp. 1017–1021, 2015.
View | DOI | Download (ext.) | arXiv
 

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

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

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

2015 | Conference Paper | IST-REx-ID: 1675
S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” vol. 9216. Springer, pp. 585–605, 2015.
View | Files available | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1424   OA
R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer, “Statistical topological data analysis-A kernel perspective,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 28, pp. 3070–3078.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
A. Ferrara, G. Fuchsbauer, B. Liu, and B. Warinschi, “Policy privacy in cryptographic access control,” presented at the CSF: Computer Security Foundations, Verona, Italy, 2015, pp. 46–60.
View | DOI | Download (ext.)
 

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

2015 | Book Chapter | IST-REx-ID: 1549   OA
C. Mckenzie, I. Sanchez Romero, and H. L. Janovjak, “Flipping the photoswitch: Ion channels under light control,” in Novel chemical tools to study ion channel biology, vol. 869, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
L. El Masri et al., “Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes,” PLoS Biology, vol. 13, no. 6, pp. 1–30, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Y. Jia et al., “The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development,” Journal of Experimental Botany, vol. 66, no. 15, pp. 4631–4642, 2015.
View | Files available | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1520
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, and H. Pfister, “Computational design of walking automata,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States, 2015, pp. 93–100.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3, pp. 580–607, 2015.
View | Files available | DOI | Download (ext.)
 

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

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

2015 | Journal Article | IST-REx-ID: 1575   OA
M. Chabaud et al., “Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1587
P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1640   OA
M. Šimášková et al., “Cytokinin response factors regulate PIN-FORMED auxin transporters,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1645
P. Gazi and S. Tessaro, “Secret-key cryptography from ideal primitives: A systematic verview,” in 2015 IEEE Information Theory Workshop, Jerusalem, Israel, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
J. F. Alwen and V. Serbinenko, “High parallel complexity graphs and memory-hard functions,” in Proceedings of the 47th annual ACM symposium on Theory of computing, Portland, OR, United States, 2015, pp. 595–603.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1626
T. Martin, N. Umetani, and B. Bickel, “OmniAD: Data-driven omni-directional aerodynamics,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4, pp. 1220–1225, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1664   OA
D. Barkley, B. Song, M. Vasudevan, G. M. Lemoult, M. Avila, and B. Hof, “The rise of fully turbulent flow,” Nature, vol. 526, no. 7574, pp. 550–553, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1734
O. Klehm et al., “Recent advances in facial appearance capture,” Computer Graphics Forum, vol. 34, no. 2, pp. 709–733, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1789   OA
A. Kuechler et al., “Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome,” European Journal of Human Genetics, vol. 23, no. 6, pp. 753–760, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1690
S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1703
L. Broadhurst, G. Fifield, B. Vanzella, and M. Pickup, “An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas,” Australian Journal of Botany, vol. 63, no. 5, pp. 455–466, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
K. Z. Pietrzak and M. Skórski, “The chain rule for HILL pseudoentropy, revisited,” vol. 9230. Springer, pp. 81–98, 2015.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed