Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. 2016. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 105(1), 1–30.
LibreCat: https://research-explorer.ista.ac.at/record/1436
DOI: 10.1016/j.matpur.2015.09.003

Guzmán J, Gerevich Z. 2016. Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. 2016, 1207393.
LibreCat: https://research-explorer.ista.ac.at/record/1435
DOI: 10.1155/2016/1207393

Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22, 400–415.
LibreCat: https://research-explorer.ista.ac.at/record/1439
DOI: 10.1145/2837614.2837650

Janovjak HL. 2016. Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. 24(2), 213–215.
LibreCat: https://research-explorer.ista.ac.at/record/1440
DOI: 10.1016/j.str.2016.01.002

Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.
LibreCat: https://research-explorer.ista.ac.at/record/1446
DOI: 10.1007/s11192-016-1842-4

Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 26(3), 1774–1806.
LibreCat: https://research-explorer.ista.ac.at/record/1448
DOI: 10.1214/15-AAP1133

Toshima J, Horikomi C, Okada A, Hatori M, Nagano M, Masuda A, Yamamoto W, Siekhaus DE, Toshima J. 2016. Sr/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 129(2), 367–379.
LibreCat: https://research-explorer.ista.ac.at/record/1476
DOI: 10.1242/jcs.176651

Toshima J, Furuya E, Nagano M, Kanno C, Sakamoto Y, Ebihara M, Siekhaus DE, Toshima J. 2016. Yeast Ep-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 5(February 2016), e10276.
LibreCat: https://research-explorer.ista.ac.at/record/1475
DOI: 10.7554/eLife.10276

Seiringer R, Warzel S. 2016. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 18(3), 035002.
LibreCat: https://research-explorer.ista.ac.at/record/1478
DOI: 10.1088/1367-2630/18/3/035002

Michaek M, Sturmfels B, Uhler C, Zwiernik P. 2016. Exponential varieties. Proceedings of the London Mathematical Society. 112(1), 27–56.
LibreCat: https://research-explorer.ista.ac.at/record/1480
DOI: 10.1112/plms/pdv066

Grion N, Akrami A, Zuo Y, Stella F, Diamond M. 2016. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 14(2), e1002384.
LibreCat: https://research-explorer.ista.ac.at/record/1487
DOI: 10.1371/journal.pbio.1002384

Adibi M, Yoshida S, Weijers D, Fleck C. 2016. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 11(2), e0147830.
LibreCat: https://research-explorer.ista.ac.at/record/1482
DOI: 10.1371/journal.pone.0147830

Chen X, Wu S, Liu Z, Friml J. 2016. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 26(6), 409–419.
LibreCat: https://research-explorer.ista.ac.at/record/1484
DOI: 10.1016/j.tcb.2016.02.003

De Martino D. 2016. Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. 13(1), 016003.
LibreCat: https://research-explorer.ista.ac.at/record/1485
DOI: 10.1088/1478-3975/13/1/016003

Hainzl C, Seiringer R. 2016. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 57(2), 021101.
LibreCat: https://research-explorer.ista.ac.at/record/1486
DOI: 10.1063/1.4941723

Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2016. Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. 14(2), e1002382.
LibreCat: https://research-explorer.ista.ac.at/record/1488
DOI: 10.1371/journal.pbio.1002382

Ajanki OH, Erdös L, Krüger TH. 2016. Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. 163(2), 280–302.
LibreCat: https://research-explorer.ista.ac.at/record/1489
DOI: 10.1007/s10955-016-1479-y

Russo E, Teijeira A, Vaahtomeri K, Willrodt A, Bloch J, Nitschké M, Santambrogio L, Kerjaschki D, Sixt MK, Halin C. 2016. Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. 14(7), 1723–1734.
LibreCat: https://research-explorer.ista.ac.at/record/1490
DOI: 10.1016/j.celrep.2016.01.048

Petrat SP, Pickl P. 2016. A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. 19(1), 3.
LibreCat: https://research-explorer.ista.ac.at/record/1493
DOI: 10.1007/s11040-016-9204-2

Marhavý P, Montesinos López JC, Abuzeineh A, Van Damme D, Vermeer J, Duclercq J, Rakusova H, Marhavá P, Friml J, Geldner N, Benková E. 2016. Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. 30(4), 471–483.
LibreCat: https://research-explorer.ista.ac.at/record/1492
DOI: 10.1101/gad.276964.115
PMID:     26883363

Amaro P, Fratini F, Safari L, Machado J, Guerra M, Indelicato P, Santos J. 2016. Relativistic evaluation of the two-photon decay of the metastable 1 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 032502.
LibreCat: https://research-explorer.ista.ac.at/record/1496
DOI: 10.1103/PhysRevA.93.032502

Lemoult GM, Shi L, Avila K, Jalikop SV, Avila M, Hof B. 2016. Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. 12(3), 254–258.
LibreCat: https://research-explorer.ista.ac.at/record/1494
DOI: 10.1038/nphys3675

Lewin M, Nam P, Rougerie N. 2016. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 368(9), 6131–6157.
LibreCat: https://research-explorer.ista.ac.at/record/1491
DOI: 10.1090/tran/6537

Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete &; Computational Geometry. 56(1), 126–164.
LibreCat: https://research-explorer.ista.ac.at/record/1408
DOI: 10.1007/s00454-016-9794-2

Lohse K, Chmelik M, Martin S, Barton NH. 2016. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 202(2), 775–786.
LibreCat: https://research-explorer.ista.ac.at/record/1518
DOI: 10.1534/genetics.115.183814
PMID: 26715666

Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.
LibreCat: https://research-explorer.ista.ac.at/record/1524
DOI: 10.1007/978-3-319-26916-0_10

Berrisford J, Baradaran R, Sazanov LA. 2016. Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. 1857(7), 892–901.
LibreCat: https://research-explorer.ista.ac.at/record/1521
DOI: 10.1016/j.bbabio.2016.01.012

Avvakumov S. 2016. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 16(1), 1–25.
LibreCat: https://research-explorer.ista.ac.at/record/1522
DOI: 10.17323/1609-4514-2016-16-1-1-25
arXiv: 1408.3918

Gundert A, Wagner U. 2016. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 144(4), 1815–1828.
LibreCat: https://research-explorer.ista.ac.at/record/1523
DOI: 10.1090/proc/12824

Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 250–267.
LibreCat: https://research-explorer.ista.ac.at/record/1526
DOI: 10.1007/978-3-662-49122-5_12

Nam P, Napiórkowski MM, Solovej J. 2016. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 270(11), 4340–4368.
LibreCat: https://research-explorer.ista.ac.at/record/1545
DOI: 10.1016/j.jfa.2015.12.007

Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. 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. 283(1822), 20152452.
LibreCat: https://research-explorer.ista.ac.at/record/1552
DOI: 10.1098/rspb.2015.2452

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. 83(1), 13–22.
LibreCat: https://research-explorer.ista.ac.at/record/1289
DOI: 10.1016/j.patrec.2015.12.012

Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 468–481.
LibreCat: https://research-explorer.ista.ac.at/record/1164
DOI: 10.1007/978-3-319-50106-2_36
arXiv: 1608.08662

Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. 2016. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 29(2), 363–421.
LibreCat: https://research-explorer.ista.ac.at/record/1592
DOI: 10.1007/s00145-014-9196-7

Kiermaier E, Moussion C, Veldkamp C, Gerardy  Schahn R, de Vries I, Williams L, Chaffee G, Phillips A, Freiberger F, Imre R, Taleski D, Payne R, Braun A, Förster R, Mechtler K, Mühlenhoff M, Volkman B, Sixt MK. 2016. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 351(6269), 186–190.
LibreCat: https://research-explorer.ista.ac.at/record/1599
DOI: 10.1126/science.aad0512
PMID: 26657283

Schwarz J, Sixt MK. 2016. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 570, 567–581.
LibreCat: https://research-explorer.ista.ac.at/record/1597
DOI: 10.1016/bs.mie.2015.11.004
PMID: 26921962

Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.
LibreCat: https://research-explorer.ista.ac.at/record/1608
DOI: 10.1007/s00023-015-0456-3

Mungenast A, Siegert S, Tsai L. 2016. Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. 73, 13–31.
LibreCat: https://research-explorer.ista.ac.at/record/1613
DOI: doi:10.1016/j.mcn.2015.11.010

Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.
LibreCat: https://research-explorer.ista.ac.at/record/1612
DOI: 10.1007/s00012-015-0358-8

Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.
LibreCat: https://research-explorer.ista.ac.at/record/1617
DOI: 10.1016/j.jco.2015.11.003

Frank R, Hainzl C, Seiringer R, Solovej J. 2016. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 342(1), 189–216.
LibreCat: https://research-explorer.ista.ac.at/record/1620
DOI: 10.1007/s00220-015-2526-2

Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

Kelleher J, Etheridge A, Véber A, Barton NH. 2016. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 108, 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

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. 35(2), 465–476.
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841, 391–408.
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 149, 15–25.
LibreCat: https://research-explorer.ista.ac.at/record/1148
DOI: 10.1016/j.biosystems.2016.07.005

Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

Pielorz J, Lampert C. 2016. Optimal geospatial allocation of volunteers for crisis management. ICT-DM: Information and Communication Technologies for Disaster Management, 7402041.
LibreCat: https://research-explorer.ista.ac.at/record/1707
DOI: 10.1109/ICT-DM.2015.7402041

Browning TD, Booker A. 2016. Square-free values of reducible polynomials. Discrete Analysis. 8, 1–18.
LibreCat: https://research-explorer.ista.ac.at/record/173
DOI: 10.19086/da.732
arXiv: 1511.00601

Klimova A, Rudas T. 2016. On the closure of relational models. Journal of Multivariate Analysis. 143, 440–452.
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

Matousek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

Browning TD, Vinogradov I. 2016. Effective ratner theorem for SL (2, R) "c9 and gaps in an modulo 1. Journal of the London Mathematical Society. 94(1), 61–84.
LibreCat: https://research-explorer.ista.ac.at/record/261
DOI: 10.1112/jlms/jdw025

Browning TD, Newton R. 2016. The proportion of failures of the Hasse norm principle. Mathematika. 62(2), 337–347.
LibreCat: https://research-explorer.ista.ac.at/record/262
DOI: 10.1112/S0025579315000261

De La Bretèche R, Browning TD, Salberger P. 2016. Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. 2(1), 55–72.
LibreCat: https://research-explorer.ista.ac.at/record/263
DOI: 10.1007/s40879-015-0049-1

Bright M, Browning TD, Loughran D. 2016. Failures of weak approximation in families. Compositio Mathematica. 152(7), 1435–1475.
LibreCat: https://research-explorer.ista.ac.at/record/264
DOI: 10.1112/S0010437X16007405

Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Luo Z, Lu J, Flox C, Nafria R, Genç A, Arbiol J, Llorca J, Ibáñez M, Morante J, Cabot A. 2016. Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst. Journal of Materials Chemistry A. 4(42), 16706–16713.
LibreCat: https://research-explorer.ista.ac.at/record/364
DOI: 10.1039/c6ta06430b

Ibáñez M, Berestok T, Dobrozhan O, Lalonde A, Izquierdo Roca V, Shavel A, Pérez Rodríguez A, Snyder GJ, Cabot A. 2016. Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1xSnSe4y nanoparticles. Journal of Nanoparticle Research. 18(8).
LibreCat: https://research-explorer.ista.ac.at/record/367
DOI: 10.1007/s11051-016-3545-4

Ibáñez M, Luo Z, Genç A, Piveteau L, Ortega S, Cadavid D, Dobrozhan O, Liu Y, Nachtegaal M, Zebarjadi M, Arbiol J, Kovalenko M, Cabot A. 2016. High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. 7.
LibreCat: https://research-explorer.ista.ac.at/record/369
DOI: doi:10.1038/ncomms10766

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.
LibreCat: https://research-explorer.ista.ac.at/record/370
DOI: 10.1039/C6TA08467B

Dalmases M, Ibáñez M, Torruella P, Fernàndez Altable V, López Conesa L, Cadavid D, Piveteau L, Nachtegaal M, Llorca J, Ruiz González M, Estradé S, Peiró F, Kovalenko M, Cabot A, 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. 28(19), 7017–7028.
LibreCat: https://research-explorer.ista.ac.at/record/372
DOI: 10.1021/acs.chemmater.6b02845

Bertolotti F, Dirin D, Ibáñez M, Krumreich F, Cervellino A, Frison R, Voznyy O, Sargent E, Kovalenko M, Guagliardi A, Masciocchi N. 2016. Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots. Nature Materials. 15, 987–994.
LibreCat: https://research-explorer.ista.ac.at/record/380
DOI: 10.1038/NMAT4661

Liu Y, Cadavid D, Ibáñez M, De Roo J, Ortega S, Dobrozhan O, Kovalenko M, Cabot A. 2016. Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials. Journal of Materials Chemistry C. 4, 4756–4762.
LibreCat: https://research-explorer.ista.ac.at/record/381
DOI: 10.1039/c6tc00893c

Liu Y, Cadavid D, Ibáñez M, Ortega S, Márti Sánchez S, Dobrozhan O, Kovalenko M, Arbiol J, Cabot A. 2016. Thermoelectric properties of semiconductor-metal composites produced by particle blending. Applied Physics Letters. 4.
LibreCat: https://research-explorer.ista.ac.at/record/383
DOI: https://doi.org/10.1063/1.4961679

Hinton J, Thewalt E, Alpichshev Z, Mahmood F, Koralek J, Chan M, Veit M, Dorow C, Barisi N, Kemper A, Bonn D, Hardy W, Liang R, Gedik N, Greven M, Lanzara A, Orenstein J. 2016. The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors. Scientific Reports. 6.
LibreCat: https://research-explorer.ista.ac.at/record/390
DOI: 10.1038/srep23610

De Roo J, Ibáñez M, Geiregat P, Nedelcu G, Walravens W, Maes J, Martins J, Van Driessche I, Kovalenko M, Hens Z. 2016. Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. 10(2), 2071–2081.
LibreCat: https://research-explorer.ista.ac.at/record/363
DOI: 10.1021/acsnano.5b06295

Meyn M, Perálvarez M, Heuer Jungemann A, Hertog W, Ibáñez M, Nafria R, Genç A, Arbiol J, Kovalenko M, Carreras J, Cabot A, Kanaras A. 2016. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 8(30), 19579–19586.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

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. 32(9), 2267–2276.
LibreCat: https://research-explorer.ista.ac.at/record/368
DOI: 10.1021/acs.langmuir.5b04622

Luo Z, Márti Sánchez S, Nafria R, Joshua G, De La Mata M, Guardia P, Flox C, Martínez Boubeta C, Simeonidis K, Llorca J, Morante J, Arbiol J, Ibáñez M, Cabot A. 2016. Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. 8(43), 29461–29469.
LibreCat: https://research-explorer.ista.ac.at/record/371
DOI: 10.1021/acsami.6b09888

Shavel A, Ibáñez M, Luo Z, De Roo J, Carrete A, Dimitrievska M, Genç A, Meyns M, Pérez Rodríguez A, Kovalenko M, Arbol J, Cabot A. 2016. Scalable heating-up synthesis of monodisperse Cu2ZnSn nanocrystals. Chemistry of Materials. 28(3), 720–726.
LibreCat: https://research-explorer.ista.ac.at/record/379
DOI: 10.1021/acs.chemmater.5b03417

Luo Z, Irtem E, Ibanez M, Nafria R, Márti Sánchez S, Genç A, De La Mata M, Liu Y, Cadavid D, Llorca J, Arbiol J, Andreu T, Morante J, 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. 8, 17435–17444.
LibreCat: https://research-explorer.ista.ac.at/record/382
DOI: 10.1021/acsami.6b02786

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. 12(4), 306–310.
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-;aB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

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. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

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. 26(4), 439–449.
LibreCat: https://research-explorer.ista.ac.at/record/526
DOI: 10.1016/j.cub.2015.12.047

Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
LibreCat: https://research-explorer.ista.ac.at/record/1166

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Mattei S, Schur FK, Briggs JA. 2016. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 18(6), 27–35.
LibreCat: https://research-explorer.ista.ac.at/record/5771
DOI: 10.1016/j.coviro.2016.02.008

Biswas R, Bhowmick P. 2016. On functionality of quadraginta octants of naive sphere with application to circle drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 9647, 256–267.
LibreCat: https://research-explorer.ista.ac.at/record/5806
DOI: 10.1007/978-3-319-32360-2_20

Sen N, Biswas R, Bhowmick P. 2016.On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. LNCS, vol. 9667, 253–264.
LibreCat: https://research-explorer.ista.ac.at/record/5805
DOI: 10.1007/978-3-319-39441-1_23

Biswas R, Bhowmick P, Brimkov VE. 2016.On the connectivity and smoothness of discrete spherical circles. In: Combinatorial image analysis. vol. 9448, 86–100.
LibreCat: https://research-explorer.ista.ac.at/record/5809
DOI: 10.1007/978-3-319-26145-4_7

Hosten O, Engelsen N, Krishnakumar R, Kasevich M. 2016. Measurement noise 100 times lower than the quantum-projection limit using entangled atoms. Nature. 529(7587), 505–508.
LibreCat: https://research-explorer.ista.ac.at/record/588
DOI: 10.1038/nature16176

Hosten O, Krishnakumar R, Engelsen N, Kasevich M. 2016. Quantum phase magnification. Science. 352(6293), 1552–1555.
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

Engelsen N, Hosten O, Krishnakumar R, Kasevich M. 2016. Engineering spin squeezed states for quantum-enhanced atom interferometry. CLEO: Conference on Lasers and Electro Optics.
LibreCat: https://research-explorer.ista.ac.at/record/592

Bernecky C, Herzog F, Baumeister W, Plitzko J, Cramer P. 2016. Structure of transcribing mammalian RNA polymerase II. Nature. 529(7587), 551–554.
LibreCat: https://research-explorer.ista.ac.at/record/602
DOI: 10.1038/nature16482

Mondelli M, Hassani SH, Urbanke RL. 2016. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 62(12), 6698–6712.
LibreCat: https://research-explorer.ista.ac.at/record/6732
DOI: 10.1109/tit.2016.2616117
arXiv: 1501.02444