Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 544–559.

Ortega S, Ibáñez M, Cadavid D, Cabot A. 2014. Bottom up processing of PbTe PbS thermoelectric nanocomposites. International Journal of Nanotechnology. 11(9–11), 955–970.

Yu X, An X, Shavel A, Ibáñez M, Cabot A. 2014. The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGax nanocrystals. Journal of Materials Chemistry A. 2(31), 12317–12322.

Fairbrother A, Izquierdo Roca V, Fontané X, Ibáñez M, Cabot A, Saucedo E, Pérez Rodríguez A. 2014. ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. CrystEngComm. 16(20), 4120–4125.

Zamani R, Ibáñez M, Luysberg M, García Castelló N, Houben L, Prades J, Grillo V, Dunin Borkowski R, Morante J, Cabot A, Arbiol J. 2014. Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. 8(3), 2290–2301.

Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.

Cadavid D, Ibáñez M, Anselmi Tamburini U, Durá O, De La Torre M, Cabot A. 2014. Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites. International Journal of Nanotechnology. 11(9–11), 773–784.

Li W, Ibáñez M, Cadavid D, Zamani R, Rubio Garcia J, Gorsse S, Morante J, Arbiol J, Cabot A. 2014. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 16(3).

Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSn-Pt and Cu2ZnSn-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. Journal of the American Chemical Society. 136(26), 9236–9239.

Herranz T, Ibáñez M, Gómez De La Fuente J, Pérez Alonso F, Peña M, Cabot A, Rojas S. 2014. In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem. 1(5), 885–895.

Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 41(1), 253–275.

Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M, Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.

Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.

Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 8889, 117–127.

Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.

Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.

Chatterjee K, Doyen L. 2014. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). 15(2), 16.

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.

Chatterjee K, Ibsen-Jensen R. 2014. The complexity of ergodic mean payoff games. ICST: International Conference on Software Testing, Verification and Validation, LNCS, vol. 8573, 122–133.

Chatterjee K, Doyen L, Nain S, Vardi M. 2014. The complexity of partial-observation stochastic parity games with finite-memory strategies. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 242–257.

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312.

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.

Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.

Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573, 110–121.

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.

Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.

Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.

Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.

Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.

Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.

Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.

Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.

Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.

Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.

Dereziski J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.

Biswas R, Bhowmick P. 2014. On Finding Spherical Geodesic Paths and Circles in 3. 8668, 396–409.

Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.

Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.

Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.

Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.

Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.

Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing, 789–796.

Mondelli M, Hassani H, Urbanke R. 2014. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 62(9), 3084–3091.

Mondelli M, Zhou Q, Lottici V, Ma X. 2014. Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications. IEEE Transactions on Wireless Communications. 13(3), 1397–1409.

Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.

Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.

Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.

Modic KA, Smidt TE, Kimchi I, Breznay NP, Biffin A, Choi S, Johnson RD, Coldea R, Watkins-Curry P, McCandless GT, Chan JY, Gandara F, Islam Z, Vishwanath A, Shekhter A, McDonald RD, Analytis JG. 2014. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 5, 4203.

Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.

Freunberger SA, Chen Y, Bardé F, Takechi K, Mizuno F, Bruce PG. 2014.Nonaqueous Electrolytes. In: The Lithium Air Battery: Fundamentals. , 23–58.

Dunst A, Epp V, Hanzu I, Freunberger SA, Wilkening M. 2014. Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries. Energy &; Environmental Science. 7(8), 2739–2752.

Johnson L, Li C, Liu Z, Chen Y, Freunberger SA, Ashok PC, Praveen BB, Dholakia K, Tarascon J-M, Bruce PG. 2014. The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry. 6(12), 1091–1099.

Kwabi DG, Ortiz-Vitoriano N, Freunberger SA, Chen Y, Imanishi N, Bruce PG, Shao-Horn Y. 2014. Materials challenges in rechargeable lithium-air batteries. MRS Bulletin. 39(5), 443–452.

Li C, Fontaine O, Freunberger SA, Johnson L, Grugeon S, Laruelle S, Bruce PG, Armand M. 2014. Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. 118(7), 3393–3401.

Aigner D, Freunberger SA, Wilkening M, Saf R, Borisov SM, Klimant I. 2014. Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols. Analytical Chemistry. 86(18), 9293–9300.

Lebar T, Bezeljak U, Golob A, Jerala M, Kadunc L, Pirs B, Straear M, Vudko D, Zupandid U, Bendina M, Forstnerid V, Gaber R, Lonzari J, Majerle A, Oblak A, Smole A, Jerala R. 2014. A bistable genetic switch based on designable DNA-binding domains. Nature Communications. 5(1), 5007.

Costanzo T, Benzi F, Ghigna P, Pin S, Spinolo G, d’Acapito F. 2014. Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal of Synchrotron Radiation. 21(2), 395–400.

Tan S, Xue H-W. 2014. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of AC. Cell Reports. 9(5), 1692–1702.

Alistarh D-A, Aspnes J, Bender M, Gelashvili R, Gilbert S. 2014. Dynamic task allocation in asynchronous shared memory. SODA: Symposium on Discrete Algorithms, 416–435.

Alistarh D-A, Aspnes J, Censor Hillel K, Gilbert S, Guerraoui R. 2014. Tight bounds for asynchronous renaming. Journal of the ACM. 61(3).

Alistarh D-A, Eugster P, Herlihy M, Matveev A, Shavit N. 2014. StackTrack: An automated transactional approach to concurrent memory reclamation. EuroSys: European Conference on Computer Systems.

Alistarh D-A, Denysyuk O, Rodrígues L, Shavit N. 2014. Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems. PODC: Principles of Distributed Computing, 232–241.

Alistarh D-A, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing, 714–723.

Alistarh D-A, Aspnes J, King V, Saia J. 2014. Communication-efficient randomized consensus. DISC: Distributed Computing, LNCS, vol. 8784, 61–75.

Alistarh D-A, Censor Hille K, Shavit N. 2014. Brief announcement: Are lock-free concurrent algorithms practically wait-free? PODC: Principles of Distributed Computing, 50–52.

Alistarh D-A, Kopinsky J, Matveev A, Shavit N. 2014. The levelarray: A fast, practical long-lived renaming algorithm. ICDCS: International Conference on Distributed Computing Systems, 348–357.

Robinson MR, Qvarnström A. 2014.Influence of the environment on the genetic architecture of traits involved in sexual selection within wild populations. In: Genotype-by-Environment Interactions and Sexual Selection. , 137–168.

Robinson MR, Wray NR, Visscher PM. 2014. Explaining additional genetic variation in complex traits. Trends in Genetics. 30(4), 124–132.

Lohr MA, Still T, Ganti R, Gratale MD, Davidson ZS, Aptowicz KB, Goodrich CP, Sussman DM, Yodh AG. 2014. Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings. Physical Review E. 90(6), 062305.

Goodrich CP, Liu AJ, Nagel SR. 2014. Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic”. Physical Review Letters. 112(4), 049801.

Still T, Goodrich CP, Chen K, Yunker PJ, Schoenholz S, Liu AJ, Yodh AG. 2014. Phonon dispersion and elastic moduli of two-dimensional disordered colloidal packings of soft particles with frictional interactions. Physical Review E. 89(1), 012301.

Goodrich CP, Liu AJ, Nagel SR. 2014. Solids between the mechanical extremes of order and disorder. Nature Physics. 10(8), 578–581.

Goodrich CP, Dagois-Bohy S, Tighe BP, van Hecke M, Liu AJ, Nagel SR. 2014. Jamming in finite systems: Stability, anisotropy, fluctuations, and scaling. Physical Review E. 90(2), 022138.

Goodrich CP, Liu AJ, Nagel SR. 2014. Contact nonlinearities and linear response in jammed particulate packings. Physical Review E. 90(2), 022201.

Araya R, Vogels TP, Yuste R. 2014. Activity-dependent dendritic spine neck changes are correlated with synaptic strength. Proceedings of the National Academy of Sciences. 111(28), 95–04.

Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. 2014. Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. 112(8), 1801–1814.

Hennequin G, Vogels TP, Gerstner W. 2014. Optimal control of transient dynamics in balanced networks supports generation of complex movements. Neuron. 82(6), 1394–1406.

Bharata T, Menendez L, Hagena W, Luxd V, Igonete S, Schorba M, Schur FK, Kraüsslich H, Briggsa J. 2014. Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly. PNAS. 111(22), 8233–8238.

Singer J, Singer J, Wang W, Weichselbaumer M, Matz M, Mader A, Steinfellner W, Meitz S, Mechtcheriakova D, Sobanov Y, Willmann M, Stockner T, Spillner E, Kunert R, Jensen-Jarolim E. 2014. Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients. Molecular Cancer Therapeutics. 13(7), 1777–1790.

Morin S, Linnet TE, Lescanne M, Schanda P, Thompson GS, Tollinger M, Teilum K, Gagné S, Marion D, Griesinger C, Blackledge M, d’Auvergne EJ. 2014. Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data. Bioinformatics. 30(15), 2219–2220.

Schanda P, Triboulet S, Laguri C, Bougault CM, Ayala I, Callon M, Arthur M, Simorre J-P. 2014. Atomic model of a cell-wall cross-linking enzyme in complex with an intact bacterial peptidoglycan. Journal of the American Chemical Society. 136(51), 17852–17860.

Ma P, Haller JD, Zajakala J, Macek P, Sivertsen AC, Willbold D, Boisbouvier J, Schanda P. 2014. Probing transient conformational states of proteins by solid-state <1 relaxation-dispersion NMR spectroscopy. Angewandte Chemie International Edition. 53(17), 4312–4317.

Bounemoura A, Kaloshin V. 2014. Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom. Moscow Mathematical Journal. 14(2), 181–203.

Kaloshin V, Levi M, Saprykina M. 2014. Arnold diffusion in a pendulum lattice. Communications on Pure and Applied Mathematics. 67(5), 748–775.

Rosello O, Kondrashov F. 2014. Long-Term asymmetrical acceleration of protein evolution after gene duplication. Genome Biology and Evolution. 6(8), 1949–1955.

Pougach K, Voet A, Kondrashov F, Voordeckers K, Christiaens J, Baying B, Bénès V, Sakai R, Aerts J, Zhu B, Van Dijck P, Verstrepen K. 2014. Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network. Nature Communications. 5.

Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.

Koval A, Vlasov P, Shichkova P, Khunderyakova S, Markov Y, Panchenko J, Volodina A, Kondrashov F, Katanaev V. 2014. Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling. Biochemical Pharmacology. 87(4), 571–578.

Dong B, Hannezo EB, Hayashi S. 2014. Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape. Cell Reports. 7(4), 941–950.

Hannezo EB, Prost J, Joanny J. 2014. Theory of epithelial sheet morphology in three dimensions. PNAS. 111(1), 27–32.

Kim MY, Zilberman D. 2014. DNA methylation as a system of plant genomic immunity. Trends in Plant Science. 19(5), 320–326.

Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. 2014. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 112(2), 026801.

Greenhill C, Kwan MA, Wind D. 2014. On the number of spanning trees in random regular graphs. The Electronic Journal of Combinatorics. 21(1), .45.