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.
9096 Publications
2016 | Journal Article | IST-REx-ID: 1490 |
E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7. Cell Press, pp. 1723–1734, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1493 |
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1. Springer, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1492 |
P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4. Cold Spring Harbor Laboratory Press, pp. 471–483, 2016.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1496 |
P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3. American Physical Society, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1491 |
M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9. American Mathematical Society, pp. 6131–6157, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1408 |
P. Franek and M. Krcál, “On computability and triviality of well groups,” Discrete & Computational Geometry, vol. 56, no. 1. Springer, pp. 126–164, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1518 |
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 775–786, 2016.
[Preprint]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1524 |
A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1522 |
S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1. Independent University of Moscow, pp. 1–25, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1523 |
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1815–1828, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1526 |
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1545 |
P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” Journal of Functional Analysis, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1552 |
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, and R. C. Maclean, “The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1822. Royal Society, The, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1289 |
O. Dunaeva et al., “The classification of endoscopy images with persistent homology,” Pattern Recognition Letters, vol. 83, no. 1. Elsevier, pp. 13–22, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1164 |
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity II,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 468–481.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1599 |
E. Kiermaier et al., “Polysialylation controls dendritic cell trafficking by regulating chemokine recognition,” Science, vol. 351, no. 6269. American Association for the Advancement of Science, pp. 186–190, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1597
J. Schwarz and M. K. Sixt, “Quantitative analysis of dendritic cell haptotaxis,” Methods in Enzymology, vol. 570. Elsevier, pp. 567–581, 2016.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1608 |
C. Sadel, “Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel,” Annales Henri Poincare, vol. 17, no. 7. Birkhäuser, pp. 1631–1675, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1613 |
A. Mungenast, S. Siegert, and L. Tsai, “Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells,” Molecular and Cellular Neuroscience, vol. 73. Academic Press, pp. 13–31, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1612 |
A. Kazda, “CSP for binary conservative relational structures,” Algebra Universalis, vol. 75, no. 1. Springer, pp. 75–84, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1617 |
F. Pausinger and S. Steinerberger, “On the discrepancy of jittered sampling,” Journal of Complexity, vol. 33. Academic Press, pp. 199–216, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1620 |
R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “The external field dependence of the BCS critical temperature,” Communications in Mathematical Physics, vol. 342, no. 1. Springer, pp. 189–216, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1622 |
D. Lundholm, P. Nam, and F. Portmann, “Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems,” Archive for Rational Mechanics and Analysis, vol. 219, no. 3. Springer, pp. 1343–1382, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1631 |
J. Kelleher, A. Etheridge, A. Véber, and N. H. Barton, “Spread of pedigree versus genetic ancestry in spatially distributed populations,” Theoretical Population Biology, vol. 108. Academic Press, pp. 1–12, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1641 |
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, and J. Friml, “A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana,” Journal of Plant Growth Regulation, vol. 35, no. 2. Springer, pp. 465–476, 2016.
[Preprint]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1225 |
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, and D. Slamanig, “Practical round-optimal blind signatures in the standard model from weaker assumptions,” presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy, 2016, vol. 9841, pp. 391–408.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1653 |
T. Okamoto, K. Z. Pietrzak, B. Waters, and D. Wichs, “New realizations of somewhere statistically binding hashing and positional accumulators,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand, 2016, vol. 9452, pp. 121–145.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1148
C. Schilling, S. Bogomolov, T. A. Henzinger, A. Podelski, and J. Ruess, “Adaptive moment closure for parameter inference of biochemical reaction networks,” Biosystems, vol. 149. Elsevier, pp. 15–25, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1705 |
S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 173 |
T. D. Browning and A. Booker, “Square-free values of reducible polynomials,” Discrete Analysis, vol. 8. pp. 1–18, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1833 |
A. Klimova and T. Rudas, “On the closure of relational models,” Journal of Multivariate Analysis, vol. 143. Elsevier, pp. 440–452, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1881 |
J. Lee and K. Schnelli, “Extremal eigenvalues and eigenvectors of deformed Wigner matrices,” Probability Theory and Related Fields, vol. 164, no. 1–2. Springer, pp. 165–241, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1411 |
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1. Springer, pp. 37–79, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 262 |
T. D. Browning and R. Newton, “The proportion of failures of the Hasse norm principle,” Mathematika, vol. 62, no. 2. Cambridge University Press, pp. 337–347, 2016.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 263 |
R. De La Bretèche, T. D. Browning, and P. Salberger, “Counting rational points on the Cayley ruled cubic,” European Journal of Mathematics, vol. 2, no. 1. Springer Nature, pp. 55–72, 2016.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 264 |
M. Bright, T. D. Browning, and D. Loughran, “Failures of weak approximation in families,” Compositio Mathematica, vol. 152, no. 7. Cambridge University Press, pp. 1435–1475, 2016.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1479 |
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View
| DOI
2016 | Journal Article | IST-REx-ID: 372
M. Dalmases et al., “Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures,” Chemistry of Materials, vol. 28, no. 19. American Chemical Society, pp. 7017–7028, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 366 |
M. Meyn et al., “Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs,” ACS Applied Materials and Interfaces, vol. 8, no. 30. American Chemical Society, pp. 19579–19586, 2016.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 382
Z. Luo et al., “Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions,” ACS Applied Materials and Interfaces, vol. 8. American Chemical Society, pp. 17435–17444, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 389 |
F. Mahmood et al., “Selective scattering between Floquet Bloch and Volkov states in a topological insulator,” Nature Physics, vol. 12, no. 4. Nature Publishing Group, pp. 306–310, 2016.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 460 |
K. Willmann et al., “Expanding the interactome of the noncanonical NF-κB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, USA, 2016, vol. 2016, pp. 3225–3232.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Termination and worst-case analysis of recursive programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 592
N. Engelsen, O. Hosten, R. Krishnakumar, and M. Kasevich, “Engineering spin squeezed states for quantum-enhanced atom interferometry,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States, 2016.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 6732 |
M. Mondelli, S. H. Hassani, and R. L. Urbanke, “Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors,” IEEE Transactions on Information Theory, vol. 62, no. 12. IEEE, pp. 6698–6712, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
S. Kudekar, S. Kumar, M. Mondelli, H. D. Pfister, and R. Urbankez, “Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels,” in 2016 IEEE International Symposium on Information Theory , Barcelona, Spain, 2016, pp. 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7068 |
P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |
E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7294
A. M. Escamilla-Pérez et al., “Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel,” Journal of Sol-Gel Science and Technology, vol. 79, no. 2. Springer Nature, pp. 270–278, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7297 |
S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7293
R. Thimmappa, M. Chattanahalli Devendrachari, S. Shafi, S. A. Freunberger, and M. Ottakam Thotiyl, “Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell,” International Journal of Hydrogen Energy, vol. 41, no. 47. Elsevier, pp. 22305–22315, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078,” PLOS Genetics, vol. 12, no. 8. Public Library of Science, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7734
W. J. Peyrot, M. R. Robinson, B. W. J. H. Penninx, and N. R. Wray, “Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits,” JAMA Psychiatry, vol. 73, no. 11. American Medical Association, pp. 1189–1195, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |
Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 7762
J. M. Rieser, C. P. Goodrich, A. J. Liu, and D. J. Durian, “Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials,” Physical Review Letters, vol. 116, no. 8. American Physical Society, 2016.
View
| DOI