Please note that ISTA 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.

3976 Publications

 

2016 | Journal Article | IST-REx-ID: 1377 | OA
Total variation on a tree
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
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 | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
View | DOI | Download Preprint (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 | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

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

2016 | Thesis | IST-REx-ID: 1396 | OA
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1398 | OA
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 | Journal Article | IST-REx-ID: 1408 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
Genomics of hybridization and its evolutionary consequences
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410 | OA
Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development
J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G. León, R. Tejos, Plant Science 250 (2016) 10–19.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
A practical method for high-resolution embedded liquid surfaces
R. Goldade, C. Batty, C.J. Wojtan, Computer Graphics Forum 35 (2016) 233–242.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
Narrow band FLIP for liquid simulations
F. Ferstl, R. Ando, C.J. Wojtan, R. Westermann, N. Thuerey, Computer Graphics Forum 35 (2016) 225–232.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
Interaction-driven Lifshitz transition with dipolar fermions in optical lattices
E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis
S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná, J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml, New Phytologist 211 (2016) 65–74.
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. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1422 | OA
Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations
R. Frank, C. Hainzl, B. Schlein, R. Seiringer, Letters in Mathematical Physics 106 (2016) 913–923.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
Comparing reactive and memory-one strategies of direct reciprocity
S. Baek, H. Jeong, C. Hilbe, M. Nowak, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
M. Chakra, C. Hilbe, A. Traulsen, Royal Society Open Science 3 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
Epistatic interactions in the arabinose cis-regulatory element
M. Lagator, C. Igler, A. Moreno, C.C. Guet, J.P. Bollback, Molecular Biology and Evolution 33 (2016) 761–769.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing Ltd., 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides
C. Husko, M. Wulf, S. Lefrançois, S. Combrié, G. Lehoucq, A. De Rossi, B. Eggleton, L. Kuipers, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon
A. Tartally, A. Kelager, M. Fürst, D. Nash, PeerJ 2016 (2016).
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1434 | OA
Local stability of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1436 | OA
Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction
V. Bach, S. Breteaux, S.P. Petrat, P. Pickl, T. Tzaneteas, Journal de Mathématiques Pures et Appliquées 105 (2016) 1–30.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 213–232.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Entropic Ricci curvature bounds for discrete interacting systems
M. Fathi, J. Maas, The Annals of Applied Probability 26 (2016) 1774–1806.
View | DOI | Download Preprint (ext.)
 

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: 1476 | OA
Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis
J. Toshima, C. Horikomi, A. Okada, M. Hatori, M. Nagano, A. Masuda, W. Yamamoto, D.E. Siekhaus, J. Toshima, Journal of Cell Science 129 (2016) 367–379.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Exponential varieties
M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London Mathematical Society 112 (2016) 27–56.
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1484 | OA
Environmental and endogenous control of cortical microtubule orientation
X. Chen, S. Wu, Z. Liu, J. Friml, Trends in Cell Biology 26 (2016) 409–419.
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1486 | OA
The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties
C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
View | DOI | Download Preprint (ext.)
 

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: 1488 | OA
Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, PLoS Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Local spectral statistics of Gaussian matrices with correlated entries
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels
E. Russo, A. Teijeira, K. Vaahtomeri, A. Willrodt, J. Bloch, M. Nitschké, L. Santambrogio, D. Kerjaschki, M.K. Sixt, C. Halin, Cell Reports 14 (2016) 1723–1734.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation
P. Marhavý, J.C. Montesinos López, A. Abuzeineh, D. Van Damme, J. Vermeer, J. Duclercq, H. Rakusova, P. Marhavá, J. Friml, N. Geldner, E. Benková, Genes and Development 30 (2016) 471–483.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
A new method and a new scaling for deriving fermionic mean-field dynamics
S.P. Petrat, P. Pickl, Mathematical Physics, Analysis and Geometry 19 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model
P. Amaro, F. Fratini, L. Safari, J. Machado, M. Guerra, P. Indelicato, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Efficient strategies for calculating blockwise likelihoods under the coalescent
K. Lohse, M. Chmelik, S. Martin, N.H. Barton, Genetics 202 (2016) 775–786.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
On topological minors in random simplicial complexes
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
View | DOI | Download Preprint (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 Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Milestones toward Majorana-based quantum computing
D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse, T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Exponential protection of zero modes in Majorana islands
S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J. Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Approaching a topological phase transition in Majorana nanowires
R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93 (2016).
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 10376 | OA
Kinetics of spontaneous filament nucleation via oligomers: Insights from theory and simulation
A. Šarić, T.C.T. Michaels, A. Zaccone, T.P.J. Knowles, D. Frenkel, The Journal of Chemical Physics 145 (2016).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10377 | OA
Lipid membrane-mediated attraction between curvature inducing objects
C. van der Wel, A. Vahid, A. Šarić, T. Idema, D. Heinrich, D.J. Kraft, Scientific Reports 6 (2016).
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10378 | OA
Physical determinants of the self-replication of protein fibrils
A. Šarić, A.K. Buell, G. Meisl, T.C.T. Michaels, C.M. Dobson, S. Linse, T.P.J. Knowles, D. Frenkel, Nature Physics 12 (2016) 874–880.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 10380 | OA
Non-equilibrium simulations of thermally induced electric fields in water
P. Wirnsberger, D. Fijan, A. Šarić, M. Neumann, C. Dellago, D. Frenkel, The Journal of Chemical Physics 144 (2016).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10381 | OA
Melting transition in lipid vesicles functionalised by mobile DNA linkers
S.J. Bachmann, J. Kotar, L. Parolini, A. Šarić, P. Cicuta, L. Di Michele, B.M. Mognetti, Soft Matter 12 (2016) 7804–7817.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 262 | OA
The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
Counting rational points on the Cayley ruled cubic
R. De La Bretèche, T.D. Browning, P. Salberger, European Journal of Mathematics 2 (2016) 55–72.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 9456 | OA
Mechanism for DNA transposons to generate introns on genomic scales
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9473 | OA
Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9477 | OA
DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9591 | OA
Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 983 | OA
Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level
A. Potter, M. Serbyn, A. Vishwanath, Physical Review X 6 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 984 | OA
Power-law entanglement spectrum in many-body localized phases
M. Serbyn, A. Michailidis, D. Abanin, Z. Papić, Physical Review Letters 117 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 985 | OA
Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene
L. Campos, T. Taychatanapat, M. Serbyn, K. Surakitbovorn, K. Watanabe, T. Taniguchi, D. Abanin, P. Jarillo Herrero, Physical Review Letters 117 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 986 | OA
Spectral statistics across the many-body localization transition
M. Serbyn, J. Moore, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 987 | OA
Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study
P. Dumitrescu, M. Serbyn, R. Scalettar, A. Vishwanath, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
M. Meyn, M. Perálvarez, A. Heuer Jungemann, W. Hertog, M. Ibáñez, R. Nafria, A. Genç, J. Arbiol, M. Kovalenko, J. Carreras, A. Cabot, A. Kanaras, ACS Applied Materials and Interfaces 8 (2016) 19579–19586.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Selective scattering between Floquet Bloch and Volkov states in a topological insulator
F. Mahmood, C. Chan, Z. Alpichshev, D. Gardner, Y. Lee, P. Lee, N. Gedik, Nature Physics 12 (2016) 306–310.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. REVERSAT, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation
K. Sako, S. Pradhan, V. Barone, Á. Inglés Prieto, P. Mueller, V. Ruprecht, D. Capek, S. Galande, H.L. Janovjak, C.-P.J. Heisenberg, Cell Reports 16 (2016) 866–877.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 

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

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

2015 | Preprint | IST-REx-ID: 7779 | OA View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.
View | DOI | Download None (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780 | OA
Polylogarithmic-time leader election in population protocols
D.-A. Alistarh, R. Gelashvili, in:, Springer, 2015, pp. 479–491.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 783 | OA
How to elect a leader faster than a tournament
D.-A. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.
View | DOI | Download None (ext.)
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 473 | OA
Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, P. Nam, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | 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: 5431 | OA
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
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
 

Filters and Search Terms

oa=1

Search

Filter Publications