Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837
LibreCat: https://research-explorer.ista.ac.at/record/1421
DOI: 10.1145/2883817.2883837

Bodova K, Tkadik G, Barton NH. A general approximation for the dynamics of quantitative traits. Genetics. 2016;202(4):1523-1548. doi:10.1534/genetics.115.184127
LibreCat: https://research-explorer.ista.ac.at/record/1420
DOI: 10.1534/genetics.115.184127
arXiv: 1510.08344

Husko C, Wulf M, Lefrançois S, et al. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 2016;7. doi:10.1038/ncomms11332
LibreCat: https://research-explorer.ista.ac.at/record/1429
DOI: 10.1038/ncomms11332

Tartally A, Kelager A, Fürst M, Nash D. Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. 2016;2016(3). doi:10.7717/peerj.1865
LibreCat: https://research-explorer.ista.ac.at/record/1431
DOI: 10.7717/peerj.1865

Bao Z, Erdös L, Schnelli K. Local stability of the free additive convolution. Journal of Functional Analysis. 2016;271(3):672-719. doi:10.1016/j.jfa.2016.04.006
LibreCat: https://research-explorer.ista.ac.at/record/1434
DOI: 10.1016/j.jfa.2016.04.006

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

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

Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650
LibreCat: https://research-explorer.ista.ac.at/record/1439
DOI: 10.1145/2837614.2837650

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

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

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

Toshima J, Horikomi C, Okada A, et al. Sr/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 2016;129(2):367-379. doi:10.1242/jcs.176651
LibreCat: https://research-explorer.ista.ac.at/record/1476
DOI: 10.1242/jcs.176651

Toshima J, Furuya E, Nagano M, et al. Yeast Ep-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 2016;5(February 2016). doi:10.7554/eLife.10276
LibreCat: https://research-explorer.ista.ac.at/record/1475
DOI: 10.7554/eLife.10276

Seiringer R, Warzel S. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 2016;18(3). doi:10.1088/1367-2630/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. Exponential varieties. Proceedings of the London Mathematical Society. 2016;112(1):27-56. doi:10.1112/plms/pdv066
LibreCat: https://research-explorer.ista.ac.at/record/1480
DOI: 10.1112/plms/pdv066

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

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

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

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

Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 2016;57(2). doi:10.1063/1.4941723
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. Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. 2016;14(2). doi:10.1371/journal.pbio.1002382
LibreCat: https://research-explorer.ista.ac.at/record/1488
DOI: 10.1371/journal.pbio.1002382

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

Russo E, Teijeira A, Vaahtomeri K, et al. Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. 2016;14(7):1723-1734. doi:10.1016/j.celrep.2016.01.048
LibreCat: https://research-explorer.ista.ac.at/record/1490
DOI: 10.1016/j.celrep.2016.01.048

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

Marhavý P, Montesinos López JC, Abuzeineh A, et al. Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. 2016;30(4):471-483. doi:10.1101/gad.276964.115
LibreCat: https://research-explorer.ista.ac.at/record/1492
DOI: 10.1101/gad.276964.115
PMID:     26883363

Amaro P, Fratini F, Safari L, et al. 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. 2016;93(3). doi:10.1103/PhysRevA.93.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. Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. 2016;12(3):254-258. doi:10.1038/nphys3675
LibreCat: https://research-explorer.ista.ac.at/record/1494
DOI: 10.1038/nphys3675

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

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

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

Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:10.1007/978-3-319-26916-0_10
LibreCat: https://research-explorer.ista.ac.at/record/1524
DOI: 10.1007/978-3-319-26916-0_10

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

Avvakumov S. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 2016;16(1):1-25. doi:10.17323/1609-4514-2016-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. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 2016;144(4):1815-1828. doi:10.1090/proc/12824
LibreCat: https://research-explorer.ista.ac.at/record/1523
DOI: 10.1090/proc/12824

Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
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. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
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. 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. 2016;283(1822). doi:10.1098/rspb.2015.2452
LibreCat: https://research-explorer.ista.ac.at/record/1552
DOI: 10.1098/rspb.2015.2452

Dunaeva O, Edelsbrunner H, Lukyanov A, et al. The classification of endoscopy images with persistent homology. Pattern Recognition Letters. 2016;83(1):13-22. doi:10.1016/j.patrec.2015.12.012
LibreCat: https://research-explorer.ista.ac.at/record/1289
DOI: 10.1016/j.patrec.2015.12.012

Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity II. In: Vol 9801. Springer; 2016:468-481. doi:10.1007/978-3-319-50106-2_36
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. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 2016;29(2):363-421. doi:10.1007/s00145-014-9196-7
LibreCat: https://research-explorer.ista.ac.at/record/1592
DOI: 10.1007/s00145-014-9196-7

Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
LibreCat: https://research-explorer.ista.ac.at/record/1599
DOI: 10.1126/science.aad0512
PMID: 26657283

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

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

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

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

Pausinger F, Steinerberger S. On the discrepancy of jittered sampling. Journal of Complexity. 2016;33:199-216. doi:10.1016/j.jco.2015.11.003
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. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 2016;342(1):189-216. doi:10.1007/s00220-015-2526-2
LibreCat: https://research-explorer.ista.ac.at/record/1620
DOI: 10.1007/s00220-015-2526-2

Lundholm D, Nam P, Portmann F. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 2016;219(3):1343-1382. doi:10.1007/s00205-015-0923-5
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. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 2016;108:1-12. doi:10.1016/j.tpb.2015.10.008
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. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 2016;35(2):465-476. doi:10.1007/s00344-015-9553-2
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. Practical round-optimal blind signatures in the standard model from weaker assumptions. In: Vol 9841. Springer; 2016:391-408. doi:10.1007/978-3-319-44618-9_21
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. New realizations of somewhere statistically binding hashing and positional accumulators. In: Vol 9452. Springer; 2016:121-145. doi:10.1007/978-3-662-48797-6_6
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. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
LibreCat: https://research-explorer.ista.ac.at/record/1148
DOI: 10.1016/j.biosystems.2016.07.005

Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

Pielorz J, Lampert C. Optimal geospatial allocation of volunteers for crisis management. In: IEEE; 2016. doi:10.1109/ICT-DM.2015.7402041
LibreCat: https://research-explorer.ista.ac.at/record/1707
DOI: 10.1109/ICT-DM.2015.7402041

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

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

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

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

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

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

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

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

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

Luo Z, Lu J, Flox C, et al. Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst. Journal of Materials Chemistry A. 2016;4(42):16706-16713. doi:10.1039/c6ta06430b
LibreCat: https://research-explorer.ista.ac.at/record/364
DOI: 10.1039/c6ta06430b

Ibáñez M, Berestok T, Dobrozhan O, et al. Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1xSnSe4y nanoparticles. Journal of Nanoparticle Research. 2016;18(8). doi:10.1007/s11051-016-3545-4
LibreCat: https://research-explorer.ista.ac.at/record/367
DOI: 10.1007/s11051-016-3545-4

Ibáñez M, Luo Z, Genç A, et al. High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. 2016;7. doi:doi:10.1038/ncomms10766
LibreCat: https://research-explorer.ista.ac.at/record/369
DOI: doi:10.1038/ncomms10766

Liu Y, García G, Ortega S, et al. 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. 2016;5(6):2592-2602. doi:10.1039/C6TA08467B
LibreCat: https://research-explorer.ista.ac.at/record/370
DOI: 10.1039/C6TA08467B

Dalmases M, Ibáñez M, Torruella P, 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. 2016;28(19):7017-7028. doi:10.1021/acs.chemmater.6b02845
LibreCat: https://research-explorer.ista.ac.at/record/372
DOI: 10.1021/acs.chemmater.6b02845

Bertolotti F, Dirin D, Ibáñez M, et al. Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots. Nature Materials. 2016;15:987-994. doi:10.1038/NMAT4661
LibreCat: https://research-explorer.ista.ac.at/record/380
DOI: 10.1038/NMAT4661

Liu Y, Cadavid D, Ibáñez M, et al. Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials. Journal of Materials Chemistry C. 2016;4:4756-4762. doi:10.1039/c6tc00893c
LibreCat: https://research-explorer.ista.ac.at/record/381
DOI: 10.1039/c6tc00893c

Liu Y, Cadavid D, Ibáñez M, et al. Thermoelectric properties of semiconductor-metal composites produced by particle blending. Applied Physics Letters. 2016;4. doi:https://doi.org/10.1063/1.4961679
LibreCat: https://research-explorer.ista.ac.at/record/383
DOI: https://doi.org/10.1063/1.4961679

Hinton J, Thewalt E, Alpichshev Z, et al. The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors. Scientific Reports. 2016;6. doi:10.1038/srep23610
LibreCat: https://research-explorer.ista.ac.at/record/390
DOI: 10.1038/srep23610

De Roo J, Ibáñez M, Geiregat P, et al. Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. 2016;10(2):2071-2081. doi:10.1021/acsnano.5b06295
LibreCat: https://research-explorer.ista.ac.at/record/363
DOI: 10.1021/acsnano.5b06295

Meyn M, Perálvarez M, Heuer Jungemann A, et al. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 2016;8(30):19579-19586. doi:10.1021/acsami.6b02529
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

Nafria R, Genç A, Ibáñez M, et al. Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation. Langmuir. 2016;32(9):2267-2276. doi:10.1021/acs.langmuir.5b04622
LibreCat: https://research-explorer.ista.ac.at/record/368
DOI: 10.1021/acs.langmuir.5b04622

Luo Z, Márti Sánchez S, Nafria R, et al. Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. 2016;8(43):29461-29469. doi:10.1021/acsami.6b09888
LibreCat: https://research-explorer.ista.ac.at/record/371
DOI: 10.1021/acsami.6b09888

Shavel A, Ibáñez M, Luo Z, et al. Scalable heating-up synthesis of monodisperse Cu2ZnSn nanocrystals. Chemistry of Materials. 2016;28(3):720-726. doi:10.1021/acs.chemmater.5b03417
LibreCat: https://research-explorer.ista.ac.at/record/379
DOI: 10.1021/acs.chemmater.5b03417

Luo Z, Irtem E, Ibanez M, 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. 2016;8:17435-17444. doi:10.1021/acsami.6b02786
LibreCat: https://research-explorer.ista.ac.at/record/382
DOI: 10.1021/acsami.6b02786

Mahmood F, Chan C, Alpichshev Z, et al. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 2016;12(4):306-310. doi:10.1038/nphys3609
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-;aB signaling pathway. Journal of Proteome Research. 2016;15(9):2900-2909. doi:10.1021/acs.jproteome.5b01004
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: Proceedings of the 38th International Conference on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

von Wangenheim D, Fangerau J, Schmitz A, et al. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 2016;26(4):439-449. doi:10.1016/j.cub.2015.12.047
LibreCat: https://research-explorer.ista.ac.at/record/526
DOI: 10.1016/j.cub.2015.12.047

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009
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. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
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. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Chatterjee K, Chmelik M, Davies J. 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. AAAI Press; 2016:3225-3232.
LibreCat: https://research-explorer.ista.ac.at/record/1166

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
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. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
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. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

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

Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
LibreCat: https://research-explorer.ista.ac.at/record/5806
DOI: 10.1007/978-3-319-32360-2_20

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

Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
LibreCat: https://research-explorer.ista.ac.at/record/5809
DOI: 10.1007/978-3-319-26145-4_7