Vyleta, N., &; Jonas, P. M. (2014). Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1244811 
LibreCat: https://research-explorer.ista.ac.at/record/2229
DOI: 10.1126/science.1244811

Song, B., &; Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing.https://doi.org/10.1088/1742-5468/2014/02/P02001 
LibreCat: https://research-explorer.ista.ac.at/record/2232
DOI: 10.1088/1742-5468/2014/02/P02001
arXiv: 1403.4516

Rieckh, G., &; Tkadik, G. (2014). Noise and information transmission in promoters with multiple internal states. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/j.bpj.2014.01.014 
LibreCat: https://research-explorer.ista.ac.at/record/2231
DOI: 10.1016/j.bpj.2014.01.014
PMID: 24606943

Shi, L., Hof, B., &; Tilgner, A. (2014). Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.89.013001 
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., &; Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. Springer.https://doi.org/10.1007/s13127-013-0150-6 
LibreCat: https://research-explorer.ista.ac.at/record/2227
DOI: 10.1007/s13127-013-0150-6

Brázdil, T., Broeek, V., Chatterjee, K., Forejt, V., &; Kudera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-10(1:13)2014 
LibreCat: https://research-explorer.ista.ac.at/record/2234
DOI: 10.2168/LMCS-10(1:13)2014

Jetchev, D., &; Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer.https://doi.org/10.1007/978-3-642-54242-8_24 
LibreCat: https://research-explorer.ista.ac.at/record/2236
DOI: 10.1007/978-3-642-54242-8_24

Gadeyne, A., Sánchez Rodríguez, C., Vanneste, S., Di Rubbo, S., Zauber, H., Vanneste, K.,https://doi.org/10.1016/j.cell.2014.01.039__Van Damme, D. (2014). The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. Cell Press.https://doi.org/10.1016/j.cell.2014.01.039 
LibreCat: https://research-explorer.ista.ac.at/record/2240
DOI: 10.1016/j.cell.2014.01.039

Boker, U., Henzinger, T. A., &; Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM.https://doi.org/10.1145/2535838.2535875 
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 10.1145/2535838.2535875

Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., &; Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12977 
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., &; Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.11.011 
LibreCat: https://research-explorer.ista.ac.at/record/2241
DOI: 10.1016/j.neuron.2013.11.011

Simon, S., Skfpa, P., Dobrev, P., Petrásek, J., Zaeímalová, E., &; Friml, J. (2014). Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In G. Hicks &; S. Robert (Eds.), Plant Chemical Genomics (Vol. 1056, pp. 255–264). Springer.https://doi.org/10.1007/978-1-62703-592-7_23 
LibreCat: https://research-explorer.ista.ac.at/record/2245
DOI: 10.1007/978-1-62703-592-7_23

Grinshpun, A., Phalitnonkiat, P., Rubin, S., &; Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2013.11.032 
LibreCat: https://research-explorer.ista.ac.at/record/2246
DOI: 10.1016/j.tcs.2013.11.032

Dueck, A., Eichner, A., Sixt, M. K., &; Meister, G. (2014). A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. Elsevier.https://doi.org/10.1016/j.febslet.2014.01.009 
LibreCat: https://research-explorer.ista.ac.at/record/2242
DOI: 10.1016/j.febslet.2014.01.009

Kuchibhatla, D., Sherman, W., Chung, B., Cook, S., Schneider, G., Eisenhaber, B., &; Karlin, D. (2014). Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently phan”https://doi.org/10.1128/JVI.02595-13__viral proteins. Journal of Virology. ASM.https://doi.org/10.1128/JVI.02595-13 
LibreCat: https://research-explorer.ista.ac.at/record/2250
DOI: 10.1128/JVI.02595-13

Pernia-Andrade, A., &; Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.09.046 
LibreCat: https://research-explorer.ista.ac.at/record/2254
DOI: 10.1016/j.neuron.2013.09.046

Csicsvari, J. L., &; Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The.https://doi.org/10.1098/rstb.2012.0528 
LibreCat: https://research-explorer.ista.ac.at/record/2251
DOI: 10.1098/rstb.2012.0528
PMID: 24366138

Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H.,https://doi.org/10.1111/tpj.12369__Geisler, M. (2014). Expression of TWISTED DWAR lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/tpj.12369 
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

Capek, D., Metscher, B., &; Müller, G. (2014). Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. Wiley-Blackwell.https://doi.org/10.1002/jez.b.22545 
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 10.1002/jez.b.22545

Chen, Y., Aung, K., Roldík, J., Walicki, K., Friml, J., &; Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/tpj.12373 
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Phadke, S., Paixao, T., Pham, T., Pham, S., &; Zufall, R. (2014). Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. Oxford University Press.https://doi.org/10.1093/jhered/est063 
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B.,https://doi.org/10.1093/nar/gkt1290__Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkt1290 
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), https://doi.org/10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer.https://doi.org/10.1007/978-94-007-7687-6_1 
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 10.1007/978-94-007-7687-6_1

Olsson, C., Ulen, J., Boykov, Y., &; Kolmogorov, V. (2014). Partial enumeration and curvature regularization (pp. 2936–2943). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.365 
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., &; Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. Wiley-Blackwell.https://doi.org/10.1002/hipo.22214 
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Lieb, É., &; Seiringer, R. (2014). Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-013-0791-z 
LibreCat: https://research-explorer.ista.ac.at/record/2407
DOI: 10.1007/s10955-013-0791-z

Browning, T. D., Matthiesen, L., &; Skorobogatov, A. (2014). Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. John Hopkins University Press.https://doi.org/10.4007/annals.2014.180.1.8 
LibreCat: https://research-explorer.ista.ac.at/record/248
DOI: https://doi.org/10.4007/annals.2014.180.1.8

Browning, T. D., &; Vishe, P. (2014). Cubic hypersurfaces and a version of the circle method for number fields. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-2738530 
LibreCat: https://research-explorer.ista.ac.at/record/249
DOI: 10.1215/00127094-2738530

Browning, T. D., &; Jones, M. (2014). Counting rational points on del Pezzo surfaces with a conic bundle structure. Acta Arithmetica. Instytut Matematyczny.https://doi.org/10.4064/aa163-3-6 
LibreCat: https://research-explorer.ista.ac.at/record/252
DOI: 10.4064/aa163-3-6

Browning, T. D. (2014). The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. Oxford University Press.https://doi.org/10.1093/imrn/rnt350 
LibreCat: https://research-explorer.ista.ac.at/record/254
DOI: 10.1093/imrn/rnt350

Browning, T. D., Dietmann, R., &; Heath Brown, R. (2014). Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press.https://doi.org/10.1017/S1474748014000127 
LibreCat: https://research-explorer.ista.ac.at/record/255
DOI: 10.1017/S1474748014000127

Erdös, L., Bourgade, P., &; Yau, H. (2014). Universality of general ;2-ensembles. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-2649752 
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee, K., Randour, M., &; Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer.https://doi.org/10.1007/s00236-013-0182-6 
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

Edelsbrunner, H., &; Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House.https://doi.org/10.4171/120-1/3 
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny, P., Chmelik, M., Henzinger, T. A., &; Radhakrishna, A. (2014). Interface simulation distances. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2014.08.019 
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 10.1016/j.tcs.2014.08.019

Chatterjee, K., &; Henzinger, M. H. (2014). Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. ACM.https://doi.org/10.1145/2597631 
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Tkadik, G., Ghosh, A., Schneidman, E., &; Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0085841 
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

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. ACS.https://doi.org/10.1021/ja502076b 
LibreCat: https://research-explorer.ista.ac.at/record/332
DOI: 10.1021/ja502076b

Chatterjee, K. (2014). Qualitative concurrent parity games: Bounded rationality. In P. Baldan &; D. Gorla (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704, pp. 544–559). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-662-44584-6_37 
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

Ortega, S., Ibáñez, M., Cadavid, D., &; Cabot, A. (2014). Bottom up processing of PbTe PbS thermoelectric nanocomposites. International Journal of Nanotechnology. Inderscience Enterprises Limited .https://doi.org/10.1504/IJNT.2014.063802 
LibreCat: https://research-explorer.ista.ac.at/record/349
DOI: 10.1504/IJNT.2014.063802

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. Royal Society of Chemistry.https://doi.org/10.1039/c4ta01315h 
LibreCat: https://research-explorer.ista.ac.at/record/355
DOI: 10.1039/c4ta01315h

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. Royal Society of Chemistry.https://doi.org/10.1039/c3ce42578a 
LibreCat: https://research-explorer.ista.ac.at/record/357
DOI: 10.1039/c3ce42578a

Zamani, R., Ibáñez, M., Luysberg, M., García Castelló, N., Houben, L., Prades, J.,https://doi.org/10.1021/nn405747h__Arbiol, J. (2014). Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. American Chemical Society.https://doi.org/10.1021/nn405747h 
LibreCat: https://research-explorer.ista.ac.at/record/359
DOI: 10.1021/nn405747h

Fischlin, M., Lehmann, A., &; Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-013-9148-7 
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

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. Inderscience Enterprises Limited .https://doi.org/10.1504/IJNT.2014.063787 
LibreCat: https://research-explorer.ista.ac.at/record/348
DOI: 10.1504/IJNT.2014.063787

Li, W., Ibáñez, M., Cadavid, D., Zamani, R., Rubio Garcia, J., Gorsse, S.,https://doi.org/10.1007/s11051-014-2297-2__Cabot, A. (2014). Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. Kluwer.https://doi.org/10.1007/s11051-014-2297-2 
LibreCat: https://research-explorer.ista.ac.at/record/350
DOI: 10.1007/s11051-014-2297-2

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. American Chemical Society.https://doi.org/10.1021/ja502076b 
LibreCat: https://research-explorer.ista.ac.at/record/356
DOI: 10.1021/ja502076b

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. Wiley-Blackwell.https://doi.org/10.1002/celc.201300254 
LibreCat: https://research-explorer.ista.ac.at/record/358
DOI: 10.1002/celc.201300254

Pilarczyk, P., &; Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. Kluwer.https://doi.org/10.1007/s10444-014-9356-1 
LibreCat: https://research-explorer.ista.ac.at/record/451
DOI: 10.1007/s10444-014-9356-1

Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B.,https://doi.org/10.1371/journal.pone.0107518__Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0107518 
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 10.1371/journal.pone.0107518

Aminof, B., &; Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association.https://doi.org/10.4204/EPTCS.146.11 
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Biedl, T., Huber, S., &; Palfrader, P. (2014). Planar matchings for weighted straight skeletons. In 25th International Symposium, ISAAC 2014 (Vol. 8889, pp. 117–127). Jeonju, Korea: Springer Nature.https://doi.org/10.1007/978-3-319-13075-0_10 
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 10.1007/978-3-319-13075-0_10

Prizak, R., Ezard, T., &; Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. Wiley-Blackwell.https://doi.org/10.1002/ece3.1150 
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

Chatterjee, K. (2014). Partial-observation stochastic reachability and parity games (Vol. 8634, pp. 1–4). Presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary: Springer.https://doi.org/10.1007/978-3-662-44522-8_1 
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 10.1007/978-3-662-44522-8_1

Chatterjee, K., &; Doyen, L. (2014). Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2579821 
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker, U., Chatterjee, K., Henzinger, T. A., &; Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2629686 
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 10.1145/2629686

Chatterjee, K., &; Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer.https://doi.org/10.1007/978-3-662-43951-7_11 
LibreCat: https://research-explorer.ista.ac.at/record/2162
DOI: 10.1007/978-3-662-43951-7_11
arXiv: 1404.5734

Chatterjee, K., Doyen, L., Nain, S., &; Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer.https://doi.org/10.1007/978-3-642-54830-7_16 
LibreCat: https://research-explorer.ista.ac.at/record/2213
DOI: 10.1007/978-3-642-54830-7_16
arXiv: 1401.3289

Chatterjee, K., Doyen, L., Gimbert, H., &; Oualhadj, Y. (2014). Perfect-information stochastic mean-payoff parity games (Vol. 8412, pp. 210–225). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer.https://doi.org/10.1007/978-3-642-54830-7_14 
LibreCat: https://research-explorer.ista.ac.at/record/2212
DOI: 10.1007/978-3-642-54830-7_14

Chatterjee, K., Ibsen-Jensen, R., &; Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer.https://doi.org/10.1145/2562059.2562141 
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca, P., Henzinger, T. A., Krenn, W., &; Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria.https://doi.org/10.15479/AT:IST-2014-148-v2-1 
LibreCat: https://research-explorer.ista.ac.at/record/5411
DOI: 10.15479/AT:IST-2014-148-v2-1

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v2-2 
LibreCat: https://research-explorer.ista.ac.at/record/5413
DOI: 10.15479/AT:IST-2014-153-v2-2

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v3-1 
LibreCat: https://research-explorer.ista.ac.at/record/5414
DOI: 10.15479/AT:IST-2014-153-v3-1

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5412
DOI: 10.15479/AT:IST-2014-153-v1-1

Chatterjee, K., &; Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer.https://doi.org/10.1007/978-3-662-43951-7_10 
LibreCat: https://research-explorer.ista.ac.at/record/2163
DOI: 10.1007/978-3-662-43951-7_10
arXiv: 1404.5453

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-187-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5419
DOI: 10.15479/AT:IST-2014-187-v1-1

Henzinger, T. A., &; Otop, J. (2014). Model measuring for hybrid systems. In Proceedings of the 17th international conference on Hybrid systems: computation and control (pp. 213–222). Berlin, Germany: Springer.https://doi.org/10.1145/2562059.2562130 
LibreCat: https://research-explorer.ista.ac.at/record/2217
DOI: 10.1145/2562059.2562130

Henzinger, T. A., &; Otop, J. (2014). From model checking to model measuring. IST Austria.https://doi.org/10.15479/AT:IST-2014-172-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5417
DOI: 10.15479/AT:IST-2014-172-v1-1

Henzinger, T. A., &; Otop, J. (2014). Model measuring for hybrid systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-171-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5416
DOI: 10.15479/AT:IST-2014-171-v1-1

Chatterjee, K., &; Doyen, L. (2014). Games with a weak adversary. IST Austria.https://doi.org/10.15479/AT:IST-2014-176-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5418
DOI: 10.15479/AT:IST-2014-176-v1-1

Chatterjee, K., &; Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria.https://doi.org/10.15479/AT:IST-2014-191-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
LibreCat: https://research-explorer.ista.ac.at/record/5422

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v2-1 
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

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.https://doi.org/10.15479/AT:IST-2014-300-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-314-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5425

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2014). Nested weighted automata. IST Austria.https://doi.org/10.15479/AT:IST-2014-170-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2014). The complexity of evolution on graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-190-v2-2 
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

Dereziski, J., &; Napiórkowski, M. M. (2014). Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. Springer Nature.https://doi.org/10.1007/s00023-013-0302-4 
LibreCat: https://research-explorer.ista.ac.at/record/5813
DOI: 10.1007/s00023-013-0302-4

Biswas, R., &; Bhowmick, P. (2014). On Finding Spherical Geodesic Paths and Circles in 3. Presented at the DGCI: International Conference on Discrete Geometry for Computer Imagery, Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-319-09955-2_33 
LibreCat: https://research-explorer.ista.ac.at/record/5810
DOI: 10.1007/978-3-319-09955-2_33

Lee, J., Vrijsen, G., Teper, I., Hosten, O., &; Kasevich, M. (2014). Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. OSA.https://doi.org/10.1364/OL.39.004005 
LibreCat: https://research-explorer.ista.ac.at/record/589
DOI: 10.1364/OL.39.004005

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. Society for Neuroscience.https://doi.org/10.1523/jneurosci.5368-13.2014 
LibreCat: https://research-explorer.ista.ac.at/record/6126
DOI: 10.1523/jneurosci.5368-13.2014
PMID: 25505325

Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., &; 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. Public Library of Science (PLoS).https://doi.org/10.1371/journal.pgen.1004082 
LibreCat: https://research-explorer.ista.ac.at/record/6124
DOI: 10.1371/journal.pgen.1004082
PMID: 24603482

Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D.,https://doi.org/10.1016/j.cell.2013.12.008__Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.12.008 
LibreCat: https://research-explorer.ista.ac.at/record/6122
DOI: 10.1016/j.cell.2013.12.008
PMID: 24439370

Bretèche, R. de la, &; Browning, T. D. (2014). Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie Des Nombres de Bordeaux. Cellule MathDoc/CEDRAM.https://doi.org/10.5802/jtnb.857 
LibreCat: https://research-explorer.ista.ac.at/record/6319
DOI: 10.5802/jtnb.857
arXiv: 1210.4236

Mondelli, M., Urbanke, R., &; Hassani, H. (2014). How to achieve the capacity of asymmetric channels. In 52nd Annual Allerton Conference on Communication, Control, and Computing (pp. 789–796). Monticello, IL, United States: IEEE.https://doi.org/10.1109/allerton.2014.7028535 
LibreCat: https://research-explorer.ista.ac.at/record/6740
DOI: 10.1109/allerton.2014.7028535
arXiv: 1406.7373

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. IEEE.https://doi.org/10.1109/tcomm.2014.2345069 
LibreCat: https://research-explorer.ista.ac.at/record/6739
DOI: 10.1109/tcomm.2014.2345069
arXiv: 1401.3127

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. IEEE.https://doi.org/10.1109/twc.2014.020914.130669 
LibreCat: https://research-explorer.ista.ac.at/record/6744
DOI: 10.1109/twc.2014.020914.130669

Chatterjee, K., Doyen, L., Filiot, E., &; Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-642-54013-4_5 
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-05957-0 
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

Huszár, K., &; Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Modic, K. A., Smidt, T. E., Kimchi, I., Breznay, N. P., Biffin, A., Choi, S.,https://doi.org/10.1038/ncomms5203__Analytis, J. G. (2014). Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. Springer Science and Business Media LLC.https://doi.org/10.1038/ncomms5203 
LibreCat: https://research-explorer.ista.ac.at/record/7071
DOI: 10.1038/ncomms5203

Lancaster, T., Goddard, P. A., Blundell, S. J., Foronda, F. R., Ghannadzadeh, S., Möller, J. S.,https://doi.org/10.1103/physrevlett.112.207201__Manson, J. L. (2014). Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. APS.https://doi.org/10.1103/physrevlett.112.207201 
LibreCat: https://research-explorer.ista.ac.at/record/7072
DOI: 10.1103/physrevlett.112.207201

Freunberger, S. A., Chen, Y., Bardé, F., Takechi, K., Mizuno, F., &; Bruce, P. G. (2014). Nonaqueous Electrolytes. In N. Imanishi, A. C. Luntz, &; P. Bruce (Eds.), The Lithium Air Battery: Fundamentals (pp. 23–58). New York, NY: Springer Nature.https://doi.org/10.1007/978-1-4899-8062-5_2 
LibreCat: https://research-explorer.ista.ac.at/record/7303
DOI: 10.1007/978-1-4899-8062-5_2

Dunst, A., Epp, V., Hanzu, I., Freunberger, S. A., &; 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. RSC.https://doi.org/10.1039/c4ee00496e 
LibreCat: https://research-explorer.ista.ac.at/record/7302
DOI: 10.1039/c4ee00496e

Johnson, L., Li, C., Liu, Z., Chen, Y., Freunberger, S. A., Ashok, P. C.,https://doi.org/10.1038/nchem.2101__Bruce, P. G. (2014). The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry. Springer Nature.https://doi.org/10.1038/nchem.2101 
LibreCat: https://research-explorer.ista.ac.at/record/7305
DOI: 10.1038/nchem.2101

Kwabi, D. G., Ortiz-Vitoriano, N., Freunberger, S. A., Chen, Y., Imanishi, N., Bruce, P. G., &; Shao-Horn, Y. (2014). Materials challenges in rechargeable lithium-air batteries. MRS Bulletin. CUP.https://doi.org/10.1557/mrs.2014.87 
LibreCat: https://research-explorer.ista.ac.at/record/7304
DOI: 10.1557/mrs.2014.87

Li, C., Fontaine, O., Freunberger, S. A., Johnson, L., Grugeon, S., Laruelle, S.,https://doi.org/10.1021/jp4093805__Armand, M. (2014). Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. ACS.https://doi.org/10.1021/jp4093805 
LibreCat: https://research-explorer.ista.ac.at/record/7301
DOI: 10.1021/jp4093805

Aigner, D., Freunberger, S. A., Wilkening, M., Saf, R., Borisov, S. M., &; Klimant, I. (2014). Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols. Analytical Chemistry. ACS.https://doi.org/10.1021/ac502513g 
LibreCat: https://research-explorer.ista.ac.at/record/7300
DOI: 10.1021/ac502513g