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.

2471 Publications


2016 | Journal Article | IST-REx-ID: 1620 | OA
The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
View | DOI | Download Submitted Version (ext.)
 

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 Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Spread of pedigree versus genetic ancestry in spatially distributed populations
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
View | Files available | DOI
 

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 | 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: 1662 | OA
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

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: 1070 | OA
Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
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 | Journal Article | IST-REx-ID: 1081 | OA
Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

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: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, 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: 1097 | OA
Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 

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 Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
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: 1126 | OA
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C.J. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
E. Salzer, D. Çaǧdaş, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Model and objective separation with conditional lower bounds disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Auxin flow mediated competition between axillary buds to restore apical dominance
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
A model of differential growth guided apical hook formation in plants
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2016 | Journal Article | IST-REx-ID: 1167 | OA
Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pseudoentropy: Lower-bounds for chain rules and transformations
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Robust draws in balanced knockout tournaments
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Mating and longevity in ant males
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth
D. De Martino, D. Masoero, Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Reconstruction of haplotype-blocks selected during experimental evolution.
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications