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.

9087 Publications


2016 | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2016.01.012
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow. https://doi.org/10.17323/1609-4514-2016-16-1-1-25
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, A., & Wagner, U. (2016). On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12824
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2015.12.007
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi, Q., Toll Riera, M., Heilbron, K., Preston, G., & Maclean, R. C. (2016). 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. Royal Society, The. https://doi.org/10.1098/rspb.2015.2452
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1289 | OA
Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., Malkova, D., Kuvaev, R., & Kashin, S. (2016). The classification of endoscopy images with persistent homology. Pattern Recognition Letters. Elsevier. https://doi.org/10.1016/j.patrec.2015.12.012
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2016). Hanani-Tutte for radial planarity II (Vol. 9801, pp. 468–481). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_36
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1592
Abe, M., Fuchsbauer, G., Groth, J., Haralambiev, K., & Ohkubo, M. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-014-9196-7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy  Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0512
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1597
Schwarz, J., & Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. Elsevier. https://doi.org/10.1016/bs.mie.2015.11.004
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-015-0456-3
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1613 | OA
Mungenast, A., Siegert, S., & Tsai, L. (2016). Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/doi:10.1016/j.mcn.2015.11.010
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer. https://doi.org/10.1007/s00012-015-0358-8
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, F., & Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press. https://doi.org/10.1016/j.jco.2015.11.003
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-015-2526-2
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, D., Nam, P., & Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-015-0923-5
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, J., Etheridge, A., Véber, A., & Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2015.10.008
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, R., Zwiewka, M., Bielach, A., Robert, H., & Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer. https://doi.org/10.1007/s00344-015-9553-2
[Preprint] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., & Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-44618-9_21
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., & Ruess, J. (2016). Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2016.07.005
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-015-0393-y
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041
View | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Browning, T. D., & Booker, A. (2016). Square-free values of reducible polynomials. Discrete Analysis. https://doi.org/10.19086/da.732
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, A., & Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier. https://doi.org/10.1016/j.jmva.2015.10.005
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-014-0610-8
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1294-9
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 261
Browning, T. D., & Vinogradov, I. (2016). Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1. Journal of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/jlms/jdw025
View | DOI
 

2016 | Journal Article | IST-REx-ID: 262 | OA
Browning, T. D., & Newton, R. (2016). The proportion of failures of the Hasse norm principle. Mathematika. Cambridge University Press. https://doi.org/10.1112/S0025579315000261
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
De La Bretèche, R., Browning, T. D., & Salberger, P. (2016). Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-015-0049-1
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
Bright, M., Browning, T. D., & Loughran, D. (2016). Failures of weak approximation in families. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X16007405
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer. https://doi.org/10.1007/s00037-015-0120-9
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 364
Luo, Z., Lu, J., Flox, C., Nafria, R., Genç, A., Arbiol, J., … Cabot, A. (2016). Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/c6ta06430b
View | DOI
 

2016 | Journal Article | IST-REx-ID: 367
Ibáñez, M., Berestok, T., Dobrozhan, O., Lalonde, A., Izquierdo Roca, V., Shavel, A., … Cabot, A. (2016). Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles. Journal of Nanoparticle Research. Springer. https://doi.org/10.1007/s11051-016-3545-4
View | DOI
 

2016 | Journal Article | IST-REx-ID: 369
Ibáñez, M., Luo, Z., Genç, A., Piveteau, L., Ortega, S., Cadavid, D., … Cabot, A. (2016). High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. Nature Publishing Group. https://doi.org/doi:10.1038/ncomms10766
View | 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
Dalmases, M., Ibáñez, M., Torruella, P., Fernàndez Altable, V., López Conesa, L., Cadavid, D., … Figuerola, A. (2016). 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. American Chemical Society. https://doi.org/10.1021/acs.chemmater.6b02845
View | DOI
 

2016 | Journal Article | IST-REx-ID: 380
Bertolotti, F., Dirin, D., Ibáñez, M., Krumreich, F., Cervellino, A., Frison, R., … Masciocchi, N. (2016). Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots. Nature Materials. Nature Publishing Group. https://doi.org/10.1038/NMAT4661
View | DOI
 

2016 | Journal Article | IST-REx-ID: 381
Liu, Y., Cadavid, D., Ibáñez, M., De Roo, J., Ortega, S., Dobrozhan, O., … Cabot, A. (2016). Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials. Journal of Materials Chemistry C. Royal Society of Chemistry. https://doi.org/10.1039/c6tc00893c
View | DOI
 

2016 | Journal Article | IST-REx-ID: 383
Liu, Y., Cadavid, D., Ibáñez, M., Ortega, S., Márti Sánchez, S., Dobrozhan, O., … Cabot, A. (2016). Thermoelectric properties of semiconductor-metal composites produced by particle blending. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.4961679
View | DOI
 

2016 | Journal Article | IST-REx-ID: 390
Hinton, J., Thewalt, E., Alpichshev, Z., Mahmood, F., Koralek, J., Chan, M., … Orenstein, J. (2016). The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep23610
View | DOI
 

2016 | Journal Article | IST-REx-ID: 363
De Roo, J., Ibáñez, M., Geiregat, P., Nedelcu, G., Walravens, W., Maes, J., … Hens, Z. (2016). Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.5b06295
View | DOI
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Meyn, M., Perálvarez, M., Heuer Jungemann, A., Hertog, W., Ibáñez, M., Nafria, R., … Kanaras, A. (2016). Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b02529
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 368
Nafria, R., Genç, A., Ibáñez, M., Arbiol, J., Ramírez De La Piscina, P., Homs, N., & Cabot, A. (2016). Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation. Langmuir. American Chemical Society. https://doi.org/10.1021/acs.langmuir.5b04622
View | DOI
 

2016 | Journal Article | IST-REx-ID: 371
Luo, Z., Márti Sánchez, S., Nafria, R., Joshua, G., De La Mata, M., Guardia, P., … Cabot, A. (2016). Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b09888
View | DOI
 

2016 | Journal Article | IST-REx-ID: 379
Shavel, A., Ibáñez, M., Luo, Z., De Roo, J., Carrete, A., Dimitrievska, M., … Cabot, A. (2016). Scalable heating-up synthesis of monodisperse Cu2ZnSnS4 nanocrystals. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.5b03417
View | DOI
 

2016 | Journal Article | IST-REx-ID: 382
Luo, Z., Irtem, E., Ibanez, M., Nafria, R., Márti Sánchez, S., Genç, A., … Cabot, A. (2016). Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b02786
View | DOI
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Mahmood, F., Chan, C., Alpichshev, Z., Gardner, D., Lee, Y., Lee, P., & Gedik, N. (2016). Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3609
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. American Chemical Society. https://doi.org/10.1021/acs.jproteome.5b01004
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
von Wangenheim, D., Fangerau, J., Schmitz, A., Smith, R., Leitte, H., Stelzer, E., & Maizel, A. (2016). Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.047
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton, B., de Mesmay, A. N., & Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.24
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, K., Chmelik, M., & Davies, J. (2016). A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Vol. 2016, pp. 3225–3232). Phoenix, AZ, USA: AAAI Press.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1
[Updated Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
[Published Version] View | Files available | arXiv
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
Mattei, S., Schur, F. K., & Briggs, J. A. (2016). Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. Elsevier. https://doi.org/10.1016/j.coviro.2016.02.008
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
Biswas, R., & Bhowmick, P. (2016). On functionality of quadraginta octants of naive sphere with application to circle drawing. In Discrete Geometry for Computer Imagery (Vol. 9647, pp. 256–267). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-32360-2_20
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
Sen, N., Biswas, R., & Bhowmick, P. (2016). On some local topological properties of naive discrete sphere. In Computational Topology in Image Context (Vol. 9667, pp. 253–264). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-39441-1_23
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
Biswas, R., Bhowmick, P., & Brimkov, V. E. (2016). On the connectivity and smoothness of discrete spherical circles. In Combinatorial image analysis (Vol. 9448, pp. 86–100). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-26145-4_7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 588
Hosten, O., Engelsen, N., Krishnakumar, R., & Kasevich, M. (2016). Measurement noise 100 times lower than the quantum-projection limit using entangled atoms. Nature. Nature Publishing Group. https://doi.org/10.1038/nature16176
View | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
Hosten, O., Krishnakumar, R., Engelsen, N., & Kasevich, M. (2016). Quantum phase magnification. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aaf3397
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 592
Engelsen, N., Hosten, O., Krishnakumar, R., & Kasevich, M. (2016). Engineering spin squeezed states for quantum-enhanced atom interferometry. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States: IEEE.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 602
Bernecky, C., Herzog, F., Baumeister, W., Plitzko, J., & Cramer, P. (2016). Structure of transcribing mammalian RNA polymerase II. Nature. Nature Publishing Group. https://doi.org/10.1038/nature16482
View | DOI
 

2016 | Journal Article | IST-REx-ID: 6732 | OA
Mondelli, M., Hassani, S. H., & Urbanke, R. L. (2016). Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2016.2616117
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6733 | OA
Kudekar, S., Kumar, S., Mondelli, M., Pfister, H. D., & Urbankez, R. (2016). Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In 2016 IEEE International Symposium on Information Theory (pp. 1755–1759). Barcelona, Spain: IEEE. https://doi.org/10.1109/isit.2016.7541600
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6770
Mondelli, M., Kudekar, S., Kumar, S., Pfister, H. D., Şaşoğlu, E., & Urbanke, R. (2016). Reed-Muller codes: Thresholds and weight distribution. In 24th International Zurich Seminar on Communications (p. 50). Zurich, Switzerland: ETH Zürich. https://doi.org/10.3929/ETHZ-A-010646484
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
Moll, P. J. W., Potter, A. C., Nair, N. L., Ramshaw, B. J., Modic, K. A., Riggs, S., … Analytis, J. G. (2016). Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms12492
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7069
Chan, M. K., Harrison, N., McDonald, R. D., Ramshaw, B. J., Modic, K. A., Barišić, N., & Greven, M. (2016). Single reconstructed Fermi surface pocket in an underdoped single-layer cuprate superconductor. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms12244
[Published Version] View | DOI
 

2016 | Journal Article | IST-REx-ID: 7141
Rolando, C., Erni, A., Grison, A., Beattie, R. J., Engler, A., Gokhale, P. J., … Taylor, V. (2016). Multipotency of adult hippocampal NSCs in vivo is restricted by Drosha/NFIB. Cell Stem Cell. Elsevier. https://doi.org/10.1016/j.stem.2016.07.003
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
Mourad, E., Coustan, L., Lannelongue, P., Zigah, D., Mehdi, A., Vioux, A., … Fontaine, O. (2016). Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat4808
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. M., Louvain, N., Kaschowitz, M., Freunberger, S. A., Fontaine, O., Boury, B., … Mutin, P. H. (2016). Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. Springer Nature. https://doi.org/10.1007/s10971-016-4037-9
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7296
Volck, T., Sinz, W., Gstrein, G., Breitfuss, C., Heindl, S., Steffan, H., … Geier, A. (2016). Method for determination of the internal short resistance and heat evolution at different mechanical loads of a Lithium ion battery cell based on dummy pouch cells. Batteries. MDPI AG. https://doi.org/10.3390/batteries2020008
[Published Version] View | DOI
 

2016 | Journal Article | IST-REx-ID: 7295
Mourad, E., Coustan, L., Freunberger, S. A., Mehdi, A., Vioux, A., Favier, F., & Fontaine, O. (2016). Biredox ionic liquids: Electrochemical investigation and impact of ion size on electron transfer. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2016.02.211
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Freunberger, S. A. (2016). Batteries: Charging ahead rationally. Nature Energy. Springer Nature. https://doi.org/10.1038/nenergy.2016.74
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7293
Thimmappa, R., Chattanahalli Devendrachari, M., Shafi, S., Freunberger, S. A., & Ottakam Thotiyl, M. (2016). Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell. International Journal of Hydrogen Energy. Elsevier. https://doi.org/10.1016/j.ijhydene.2016.08.057
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7298
Plaimer, M., Breitfuß, C., Sinz, W., Heindl, S. F., Ellersdorfer, C., Steffan, H., … Freunberger, S. A. (2016). Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2015.12.047
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Tang, Y., Zhao, C.-Y., Tan, S., & Xue, H.-W. (2016). 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. Public Library of Science. https://doi.org/10.1371/journal.pgen.1006252
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7734
Peyrot, W. J., Robinson, M. R., Penninx, B. W. J. H., & Wray, N. R. (2016). Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. American Medical Association. https://doi.org/10.1001/jamapsychiatry.2016.2566
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7736
Chen, G.-B., Lee, S. H., Zhu, Z.-X., Benyamin, B., & Robinson, M. R. (2016). EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations. Heredity. Springer Nature. https://doi.org/10.1038/hdy.2016.25
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Zhu, Z., Zhang, F., Hu, H., Bakshi, A., Robinson, M. R., Powell, J. E., … Yang, J. (2016). Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. Springer Nature. https://doi.org/10.1038/ng.3538
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 7762
Rieser, J. M., Goodrich, C. P., Liu, A. J., & Durian, D. J. (2016). Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.116.088001
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7761
Graves, A. L., Nashed, S., Padgett, E., Goodrich, C. P., Liu, A. J., & Sethna, J. P. (2016). Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.116.235501
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7764
Sussman, D. M., Goodrich, C. P., & Liu, A. J. (2016). Spatial structure of states of self stress in jammed systems. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c6sm00094k
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7763
Lombardini, R., Acevedo, R., Kuczala, A., Keys, K. P., Goodrich, C. P., & Johnson, B. R. (2016). Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2015.10.035
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7760
Goodrich, C. P., Liu, A. J., & Sethna, J. P. (2016). Scaling ansatz for the jamming transition. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1601858113
View | DOI
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2016). Are lock free concurrent algorithms practically wait free . Journal of the ACM. ACM. https://doi.org/10.1145/2903136
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 785
Haider, S., Hasenplaugh, W., & Alistarh, D.-A. (2016). Lease/Release: Architectural support for scaling contended data structures (Vol. 12-16-March-2016). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM. https://doi.org/10.1145/2851141.2851155
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
Barron, H. C., Vogels, T. P., Emir, U. E., Makin, T. R., O’Shea, J., Clare, S., … Behrens, T. E. J. (2016). Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2016.02.031
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press. https://doi.org/10.7551/978-0-262-33936-0-ch029
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 813
Füzik, T., Píchalová, R., Schur, F. K., Strohalmová, K., Křížová, I., Hadravová, R., … Ruml, T. (2016). Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging. Journal of Virology. ASM. https://doi.org/10.1128/JVI.03197-15
View | DOI
 

Search

Filter Publications