Tanaka, Hirokazu, Tomasz Nodzyski, Saeko Kitakura, Mugurel Feraru, Michiko Sasabe, Tomomi Ishikawa, Jürgen Kleine Vehn, Tatsuo Kakimoto, and Jií Friml. “BE/ARC Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.”https://doi.org/10.1093/pcp/pct196__Plant and Cell Physiology. Oxford University Press, 2014.https://doi.org/10.1093/pcp/pct196 .

Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.”https://doi.org/10.1214/EJP.v19-3054__Electronic Journal of Probability. Institute of Mathematical Statistics, 2014.https://doi.org/10.1214/EJP.v19-3054 .

Naramoto, Satoshi, Tomasz Nodzyski, Tomoko Dainobu, Hirotomo Takatsuka, Teruyo Okada, Jií Friml, and Hiroo Fukuda. “VAN4 Encodes a Putative T That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.”https://doi.org/10.1093/pcp/pcu012__Plant and Cell Physiology. Oxford University Press, 2014.https://doi.org/10.1093/pcp/pcu012 .

Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between Spiral Vortex Flow.”https://doi.org/10.1088/0169-5983/46/2/025503__Fluid Dynamics Research. IOP Publishing Ltd., 2014.https://doi.org/10.1088/0169-5983/46/2/025503 .

Kiltz, Eike, Daniel Masny, and Krzysztof Z Pietrzak. “Simple Chosen-Ciphertext Security from Low Noise LPN,”https://doi.org/10.1007/978-3-642-54631-0_1__8383:1–18. Springer, 2014.https://doi.org/10.1007/978-3-642-54631-0_1 .

Vos, Marjon de, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.”https://doi.org/10.1016/j.chembiol.2014.04.004__Chemistry and Biology. Cell Press, 2014.https://doi.org/10.1016/j.chembiol.2014.04.004 .

Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.”https://doi.org/10.2168/LMCS-10(1:10)2014__Logical Methods in Computer Science. International Federation of Computational Logic, 2014.https://doi.org/10.2168/LMCS-10(1:10)2014 .

Guzmán, José, Alois Schlögl, and Christoph Schmidt Hieber. “Stimfit: Quantifying Electrophysiological Data with Python.”https://doi.org/10.3389/fninf.2014.00016__Frontiers in Neuroinformatics. Frontiers Research Foundation, 2014.https://doi.org/10.3389/fninf.2014.00016 .

Hu, Hua, and Peter M Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.”https://doi.org/10.1038/nn.3678__Nature Neuroscience. Nature Publishing Group, 2014.https://doi.org/10.1038/nn.3678 .

Vyleta, Nicholas, and Peter M Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.”https://doi.org/10.1126/science.1244811__Science. American Association for the Advancement of Science, 2014.https://doi.org/10.1126/science.1244811 .

Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.”https://doi.org/10.1088/1742-5468/2014/02/P02001__Journal of Statistical Mechanics Theory and Experiment. IOP Publishing, 2014.https://doi.org/10.1088/1742-5468/2014/02/P02001 .

Rieckh, Georg, and Gasper Tkadik. “Noise and Information Transmission in Promoters with Multiple Internal States.”https://doi.org/10.1016/j.bpj.2014.01.014__Biophysical Journal. Biophysical Society, 2014.https://doi.org/10.1016/j.bpj.2014.01.014 .

Shi, Liang, Björn Hof, and Andreas Tilgner. “Transient Growth of Ekman-Couette Flow.”https://doi.org/10.1103/PhysRevE.89.013001__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014.https://doi.org/10.1103/PhysRevE.89.013001 .

Cires Rodriguez, Eduardo, Matthias Baltisberger, Candela Cuesta, Pablo Vargas, and José Prieto. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.”https://doi.org/10.1007/s13127-013-0150-6__Organisms Diversity and Evolution. Springer, 2014.https://doi.org/10.1007/s13127-013-0150-6 .

Brázdil, Tomás, Václav Broeek, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Markov Decision Processes with Multiple Long-Run Average Objectives.”https://doi.org/10.2168/LMCS-10(1:13)2014__Logical Methods in Computer Science. International Federation of Computational Logic, 2014.https://doi.org/10.2168/LMCS-10(1:13)2014 .

Jetchev, Dimitar, and Krzysztof Z Pietrzak. “How to Fake Auxiliary Input.”https://doi.org/10.1007/978-3-642-54242-8_24__edited by Yehuda Lindell, 8349:566–90. Springer, 2014.https://doi.org/10.1007/978-3-642-54242-8_24 .

Gadeyne, Astrid, Clara Sánchez Rodríguez, Steffen Vanneste, Simone Di Rubbo, Henrik Zauber, Kevin Vanneste, Jelle Van Leene, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.”https://doi.org/10.1016/j.cell.2014.01.039__Cell. Cell Press, 2014.https://doi.org/10.1016/j.cell.2014.01.039 .

Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,”https://doi.org/10.1145/2535838.2535875__49:595–606. ACM, 2014.https://doi.org/10.1145/2535838.2535875 .

Fürst, Matthias, Dino Mcmahon, Juliet Osborne, Robert Paxton, and Mark Brown. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.”https://doi.org/10.1038/nature12977__Nature. Nature Publishing Group, 2014.https://doi.org/10.1038/nature12977 .

Beppu, Kaoru, Takuya Sasaki, Kenji Tanaka, Akihiro Yamanaka, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.”https://doi.org/10.1016/j.neuron.2013.11.011__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2013.11.011 .

Simon, Sibu, Petr Skfpa, Petre Dobrev, Jan Petrásek, Eva Zaeímalová, and Jií Friml. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.”https://doi.org/10.1007/978-1-62703-592-7_23__In Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, 1056:255–64. Methods in Molecular Biology. Springer, 2014.https://doi.org/10.1007/978-1-62703-592-7_23 .

Grinshpun, Andrey, Pakawat Phalitnonkiat, Sasha Rubin, and Andrei Tarfulea. “Alternating Traps in Muller and Parity Games.”https://doi.org/10.1016/j.tcs.2013.11.032__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2013.11.032 .

Dueck, Anne, Alexander Eichner, Michael K Sixt, and Gunter Meister. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.”https://doi.org/10.1016/j.febslet.2014.01.009__FEBS Letters. Elsevier, 2014.https://doi.org/10.1016/j.febslet.2014.01.009 .

Kuchibhatla, Durga, Westley Sherman, Betty Chung, Shelley Cook, Georg Schneider, Birgit Eisenhaber, and David Karlin. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.”https://doi.org/10.1128/JVI.02595-13__Journal of Virology. ASM, 2014.https://doi.org/10.1128/JVI.02595-13 .

Pernia-Andrade, Alejandro, and Peter M Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.”https://doi.org/10.1016/j.neuron.2013.09.046__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2013.09.046 .

Csicsvari, Jozsef L, and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.”https://doi.org/10.1098/rstb.2012.0528__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2014.https://doi.org/10.1098/rstb.2012.0528 .

Bailly, Aurélien, Bangjun Wang, Marta Zwiewka, Stephan Pollmann, Daniel Schenck, Hartwig Lüthen, Alexander Schulz, Jií Friml, and Markus Geisler. “Expression of TWISTED DWAR Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.”https://doi.org/10.1111/tpj.12369__Plant Journal. Wiley-Blackwell, 2014.https://doi.org/10.1111/tpj.12369 .

Capek, Daniel, Brian Metscher, and Gerd Müller. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.”https://doi.org/10.1002/jez.b.22545__Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/jez.b.22545 .

Chen, Yani, Kyaw Aung, Jakub Roldík, Kathryn Walicki, Jií Friml, and Federica Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.”https://doi.org/10.1111/tpj.12373__Plant Journal. Wiley-Blackwell, 2014.https://doi.org/10.1111/tpj.12373 .

Phadke, Sujal, Tiago Paixao, Tuan Pham, Stephanie Pham, and Rebecca Zufall. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.”https://doi.org/10.1093/jhered/est063__Journal of Heredity. Oxford University Press, 2014.https://doi.org/10.1093/jhered/est063 .

Zhu, Fangfang, Matthew Gamboa, Alfonso Farruggio, Simon Hippenmeyer, Bosiljka Tasic, Birgitt Schüle, Yanru Chen Tsai, and Michele Calos. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.”https://doi.org/10.1093/nar/gkt1290__Nucleic Acids Research. Oxford University Press, 2014.https://doi.org/10.1093/nar/gkt1290 .

Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.”https://doi.org/10.1007/978-94-007-7687-6_1__In https://doi.org/10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, 800:1–24. Springer, 2014.https://doi.org/10.1007/978-94-007-7687-6_1 .

Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial Enumeration and Curvature Regularization,”https://doi.org/10.1109/ICCV.2013.365__2936–43. IEEE, 2014.https://doi.org/10.1109/ICCV.2013.365 .

Hosp, Jonas, Michael Strüber, Yuchio Yanagawa, Kunihiko Obata, Imre Vida, Peter M Jonas, and Marlene Bartos. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.”https://doi.org/10.1002/hipo.22214__Hippocampus. Wiley-Blackwell, 2014.https://doi.org/10.1002/hipo.22214 .

Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of the Effective Mass of a Polaron.”https://doi.org/10.1007/s10955-013-0791-z__Journal of Statistical Physics. Springer, 2014.https://doi.org/10.1007/s10955-013-0791-z .

Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.”https://doi.org/10.4007/annals.2014.180.1.8__Annals of Mathematics. John Hopkins University Press, 2014.https://doi.org/10.4007/annals.2014.180.1.8 .

Browning, Timothy D, and Pankaj Vishe. “Cubic Hypersurfaces and a Version of the Circle Method for Number Fields.”https://doi.org/10.1215/00127094-2738530__Duke Mathematical Journal. Duke University Press, 2014.https://doi.org/10.1215/00127094-2738530 .

Browning, Timothy D, and Michael Jones. “Counting Rational Points on Del Pezzo Surfaces with a Conic Bundle Structure.”https://doi.org/10.4064/aa163-3-6__Acta Arithmetica. Instytut Matematyczny, 2014.https://doi.org/10.4064/aa163-3-6 .

Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”https://doi.org/10.1093/imrn/rnt350__International Mathematics Research Notices. Oxford University Press, 2014.https://doi.org/10.1093/imrn/rnt350 .

Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.”https://doi.org/10.1017/S1474748014000127__Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2014.https://doi.org/10.1017/S1474748014000127 .

Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General ;2-Ensembles.”https://doi.org/10.1215/00127094-2649752__Duke Mathematical Journal. Duke University Press, 2014.https://doi.org/10.1215/00127094-2649752 .

Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.”https://doi.org/10.1007/s00236-013-0182-6__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0182-6 .

Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,”https://doi.org/10.4171/120-1/3__31–50. European Mathematical Society Publishing House, 2014.https://doi.org/10.4171/120-1/3 .

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.1016/j.tcs.2014.08.019__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.08.019 .

Chatterjee, Krishnendu, and Monika H Henzinger. “Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.”https://doi.org/10.1145/2597631__Journal of the ACM. ACM, 2014.https://doi.org/10.1145/2597631 .

Tkadik, Gasper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.”https://doi.org/10.1371/journal.pone.0085841__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0085841 .

Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”https://doi.org/10.1021/ja502076b__Journal of the American Chemical Society. ACS, 2014.https://doi.org/10.1021/ja502076b .

Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.”https://doi.org/10.1007/978-3-662-44584-6_37__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:544–59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.1007/978-3-662-44584-6_37 .

Ortega, Silvia, Maria Ibáñez, Doris Cadavid, and Andreu Cabot. “Bottom up Processing of PbTe PbS Thermoelectric Nanocomposites.”https://doi.org/10.1504/IJNT.2014.063802__International Journal of Nanotechnology. Inderscience Enterprises Limited , 2014.https://doi.org/10.1504/IJNT.2014.063802 .

Yu, Xuelian, Xiaoqiang An, Alexey Shavel, Maria Ibáñez, and Andreu Cabot. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGax Nanocrystals.”https://doi.org/10.1039/c4ta01315h__Journal of Materials Chemistry A. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c4ta01315h .

Fairbrother, Andrew, Victor Izquierdo Roca, Xavier Fontané, Maria Ibáñez, Andreu Cabot, Edgardo Saucedo, and Alejandro Pérez Rodríguez. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.”https://doi.org/10.1039/c3ce42578a__CrystEngComm. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c3ce42578a .

Zamani, Reza, Maria Ibáñez, Martina Luysberg, Nuria García Castelló, Lothar Houben, Joan Prades, Vincenzo Grillo, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.”https://doi.org/10.1021/nn405747h__ACS Nano. American Chemical Society, 2014.https://doi.org/10.1021/nn405747h .

Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.”https://doi.org/10.1007/s00145-013-9148-7__Journal of Cryptology. Springer, 2014.https://doi.org/10.1007/s00145-013-9148-7 .

Cadavid, Doris, Maria Ibáñez, Umberto Anselmi Tamburini, Oscar Durá, Marco De La Torre, and Andreu Cabot. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.”https://doi.org/10.1504/IJNT.2014.063787__International Journal of Nanotechnology. Inderscience Enterprises Limited , 2014.https://doi.org/10.1504/IJNT.2014.063787 .

Li, Wenhua, Maria Ibáñez, Doris Cadavid, Reza Zamani, Javier Rubio Garcia, Stéphane Gorsse, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.”https://doi.org/10.1007/s11051-014-2297-2__Journal of Nanoparticle Research. Kluwer, 2014.https://doi.org/10.1007/s11051-014-2297-2 .

Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and Andreu Cabot. “Cu2ZnSn-Pt and Cu2ZnSn-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.”https://doi.org/10.1021/ja502076b__Journal of the American Chemical Society. American Chemical Society, 2014.https://doi.org/10.1021/ja502076b .

Herranz, Tirma, Maria Ibáñez, José Gómez De La Fuente, Francisco Pérez Alonso, Miguel Peña, Andreu Cabot, and Sergio Rojas. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.”https://doi.org/10.1002/celc.201300254__ChemElectroChem. Wiley-Blackwell, 2014.https://doi.org/10.1002/celc.201300254 .

Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.”https://doi.org/10.1007/s10444-014-9356-1__Advances in Computational Mathematics. Kluwer, 2014.https://doi.org/10.1007/s10444-014-9356-1 .

Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.”https://doi.org/10.1371/journal.pone.0107518__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0107518 .

Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.”https://doi.org/10.4204/EPTCS.146.11__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014.https://doi.org/10.4204/EPTCS.146.11 .

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1007/978-3-319-13075-0_10__In 25th International Symposium, ISAAC 2014, 8889:117–27. Springer Nature, 2014.https://doi.org/10.1007/978-3-319-13075-0_10 .

Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.”https://doi.org/10.1002/ece3.1150__Ecology and Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/ece3.1150 .

Chatterjee, Krishnendu. “Partial-Observation Stochastic Reachability and Parity Games,”https://doi.org/10.1007/978-3-662-44522-8_1__8634:1–4. Springer, 2014.https://doi.org/10.1007/978-3-662-44522-8_1 .

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”https://doi.org/10.1145/2579821__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2579821 .

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1145/2629686__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2629686 .

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Ergodic Mean Payoff Games,”https://doi.org/10.1007/978-3-662-43951-7_11__8573:122–33. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_11 .

Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,”https://doi.org/10.1007/978-3-642-54830-7_16__8412:242–57. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_16 .

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,”https://doi.org/10.1007/978-3-642-54830-7_14__8412:210–25. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_14 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,”https://doi.org/10.1145/2562059.2562141__303–12. Springer, 2014.https://doi.org/10.1145/2562059.2562141 .

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-148-v2-1 .

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v2-2 .

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v3-1 .

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v1-1 .

Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.”https://doi.org/10.1007/978-3-662-43951-7_10__In Lecture Notes in Computer Science, 8573:110–21. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_10 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-187-v1-1 .

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.”https://doi.org/10.1145/2562059.2562130__In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014.https://doi.org/10.1145/2562059.2562130 .

Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-172-v1-1 .

Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-171-v1-1 .

Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-176-v1-1 .

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-191-v1-1 .

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

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-305-v1-1 .

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-305-v2-1 .

Chatterjee, Krishnendu, Alexander Kössler, Andreas Pavlogiannis, and Ulrich Schmid. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-300-v1-1 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-314-v1-1 .

Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-170-v1-1 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-190-v2-2 .

Dereziski, Jan, and Marcin M Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.”https://doi.org/10.1007/s00023-013-0302-4__Annales Henri Poincaré. Springer Nature, 2014.https://doi.org/10.1007/s00023-013-0302-4 .

Biswas, Ranita, and Partha Bhowmick. “On Finding Spherical Geodesic Paths and Circles in 3.”https://doi.org/10.1007/978-3-319-09955-2_33__Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014.https://doi.org/10.1007/978-3-319-09955-2_33 .

Lee, Jongmin, Geert Vrijsen, Igor Teper, Onur Hosten, and Mark Kasevich. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.”https://doi.org/10.1364/OL.39.004005__Optics Letters. OSA, 2014.https://doi.org/10.1364/OL.39.004005 .

Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario de Bono. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.”https://doi.org/10.1523/jneurosci.5368-13.2014__Journal of Neuroscience. Society for Neuroscience, 2014.https://doi.org/10.1523/jneurosci.5368-13.2014 .

Chen, Changchun, Eisuke Itakura, Katherine P. Weber, Ramanujan S. Hegde, and Mario de Bono. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.”https://doi.org/10.1371/journal.pgen.1004082__PLoS Genetics. Public Library of Science (PLoS), 2014.https://doi.org/10.1371/journal.pgen.1004082 .

Linneweber, Gerit A., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.”https://doi.org/10.1016/j.cell.2013.12.008__Cell. Elsevier, 2014.https://doi.org/10.1016/j.cell.2013.12.008 .

Bretèche, Régis de la, and Timothy D Browning. “Contre-Exemples Au Principe de Hasse Pour Certains Tores Coflasques.”https://doi.org/10.5802/jtnb.857__Journal de Théorie Des Nombres de Bordeaux. Cellule MathDoc/CEDRAM, 2014.https://doi.org/10.5802/jtnb.857 .

Mondelli, Marco, Rudiger Urbanke, and Hamed Hassani. “How to Achieve the Capacity of Asymmetric Channels.”https://doi.org/10.1109/allerton.2014.7028535__In 52nd Annual Allerton Conference on Communication, Control, and Computing, 789–96. IEEE, 2014.https://doi.org/10.1109/allerton.2014.7028535 .

Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.”https://doi.org/10.1109/tcomm.2014.2345069__IEEE Transactions on Communications. IEEE, 2014.https://doi.org/10.1109/tcomm.2014.2345069 .

Mondelli, Marco, Qi Zhou, Vincenzo Lottici, and Xiaoli Ma. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.”https://doi.org/10.1109/twc.2014.020914.130669__IEEE Transactions on Wireless Communications. IEEE, 2014.https://doi.org/10.1109/twc.2014.020914.130669 .

Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1007/978-3-642-54013-4_5__In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014.https://doi.org/10.1007/978-3-642-54013-4_5 .

Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-319-05957-0 .