Morvant, Emilie. “Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling.”https://doi.org/10.1016/j.patrec.2014.08.013__Pattern Recognition Letters. Elsevier, 2014.https://doi.org/10.1016/j.patrec.2014.08.013 .
LibreCat: https://research-explorer.ista.ac.at/record/2165
DOI: 10.1016/j.patrec.2014.08.013

Kelleher, Jerome, Alison Etheridge, and Nicholas H Barton. “Coalescent Simulation in Continuous Space: Algorithms for Large Neighbourhood Size.”https://doi.org/10.1016/j.tpb.2014.05.001__Theoretical Population Biology. Academic Press, 2014.https://doi.org/10.1016/j.tpb.2014.05.001 .
LibreCat: https://research-explorer.ista.ac.at/record/2168
DOI: 10.1016/j.tpb.2014.05.001

Barton, Nicholas H, Sebastian Novak, and Tiago Paixao. “Diverse Forms of Selection in Evolution and Computer Science.”https://doi.org/10.1073/pnas.1410107111__PNAS. National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1410107111 .
LibreCat: https://research-explorer.ista.ac.at/record/2169
DOI: 10.1073/pnas.1410107111

Kolesnikov, Alexander, Matthieu Guillaumin, Vittorio Ferrari, and Christoph Lampert. “Closed-Form Approximate CRF Training for Scalable Image Segmentation.”https://doi.org/10.1007/978-3-319-10578-9_36__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by David Fleet, Tomas Pajdla, Bernt Schiele, and Tinne Tuytelaars, 8691:550–65. Springer, 2014.https://doi.org/10.1007/978-3-319-10578-9_36 .
LibreCat: https://research-explorer.ista.ac.at/record/2171
DOI: 10.1007/978-3-319-10578-9_36

Khamis, Sameh, and Christoph Lampert. “CoConut: Co-Classification with Output Space Regularization.” In Proceedings of the British Machine Vision Conference 2014. BMVA Press, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2173

De Vladar, Harold, and Nicholas H Barton. “Stability and Response of Polygenic Traits to Stabilizing Selection and Mutation.”https://doi.org/10.1534/genetics.113.159111__Genetics. Genetics Society of America, 2014.https://doi.org/10.1534/genetics.113.159111 .
LibreCat: https://research-explorer.ista.ac.at/record/2174
DOI: 10.1534/genetics.113.159111

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Semicircle Law with Imprimitive Variance Matrix.”https://doi.org/10.1214/ECP.v19-3121__Electronic Communications in Probability. Institute of Mathematical Statistics, 2014.https://doi.org/10.1214/ECP.v19-3121 .
LibreCat: https://research-explorer.ista.ac.at/record/2179
DOI: 10.1214/ECP.v19-3121

Haws, David, Abraham Martin del Campo Sanchez, Akimichi Takemura, and Ruriko Yoshida. “Markov Degree of the Three-State Toric Homogeneous Markov Chain Model.”https://doi.org/10.1007/s13366-013-0178-y__Beitrage Zur Algebra Und Geometrie. Springer, 2014.https://doi.org/10.1007/s13366-013-0178-y .
LibreCat: https://research-explorer.ista.ac.at/record/2178
DOI: 10.1007/s13366-013-0178-y

Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Daniel Wichs. “Key Derivation without Entropy Waste.”https://doi.org/10.1007/978-3-642-55220-5_6__edited by Phong Nguyen and Elisabeth Oswald, 8441:93–110. Springer, 2014.https://doi.org/10.1007/978-3-642-55220-5_6 .
LibreCat: https://research-explorer.ista.ac.at/record/2185
DOI: 10.1007/978-3-642-55220-5_6

Bellet, Aurélien, Amaury Habrard, Emilie Morvant, and Marc Sebban. “Learning a Priori Constrained Weighted Majority Votes.”https://doi.org/10.1007/s10994-014-5462-z__Machine Learning. Springer, 2014.https://doi.org/10.1007/s10994-014-5462-z .
LibreCat: https://research-explorer.ista.ac.at/record/2180
DOI: 10.1007/s10994-014-5462-z

cadek, Martin, Marek Krcál, Jií Matousek, Francis Sergeraert, Lukás Vokínek, and Uli Wagner. “Computing All Maps into a Sphere.”https://doi.org/10.1145/2597629__Journal of the ACM. ACM, 2014.https://doi.org/10.1145/2597629 .
LibreCat: https://research-explorer.ista.ac.at/record/2184
DOI: 10.1145/2597629

Botella Soler, Vicente, and Paul Glendinning. “Hierarchy and Polysynchrony in an Adaptive Network .”https://doi.org/10.1103/PhysRevE.89.062809__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014.https://doi.org/10.1103/PhysRevE.89.062809 .
LibreCat: https://research-explorer.ista.ac.at/record/2183
DOI: 10.1103/PhysRevE.89.062809

Chen, Thomas, Christian Hainzl, Natasa Pavlovi, and Robert Seiringer. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.”https://doi.org/10.1007/s11005-014-0693-2__Letters in Mathematical Physics. Springer, 2014.https://doi.org/10.1007/s11005-014-0693-2 .
LibreCat: https://research-explorer.ista.ac.at/record/2186
DOI: 10.1007/s11005-014-0693-2

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. “Synthesizing Robust Systems.”https://doi.org/10.1007/s00236-013-0191-5__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0191-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2187
DOI: 10.1007/s00236-013-0191-5

Kania, Urszula, Matyas Fendrych, and Jií Friml. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.”https://doi.org/10.1098/rsob.140017__Open Biology. Royal Society, 2014.https://doi.org/10.1098/rsob.140017 .
LibreCat: https://research-explorer.ista.ac.at/record/2188
DOI: 10.1098/rsob.140017

Morvant, Emilie. “Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage Non Itératif,” 1:49–58. Elsevier, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2189

Esparza, Javier, and Jan Kretinsky. “From LTL to Deterministic Automata: A Safraless Compositional Approach,”https://doi.org/10.1007/978-3-319-08867-9_13__8559:192–208. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2190
DOI: 10.1007/978-3-319-08867-9_13

Lahrz, Martin, Mikhail Lemeshko, Klaus Sengstock, Christoph Becker, and Ludwig Mathey. “Detecting Quadrupole Interactions in Ultracold Fermi Gases.”https://doi.org/10.1103/PhysRevA.89.043616__Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2014.https://doi.org/10.1103/PhysRevA.89.043616 .
LibreCat: https://research-explorer.ista.ac.at/record/2208
DOI: 10.1103/PhysRevA.89.043616

Stoler Barak, Liat, Christine Moussion, Elias Shezen, Miki Hatzav, Michael K Sixt, and Ronen Alon. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.”https://doi.org/10.1371/journal.pone.0085699__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0085699 .
LibreCat: https://research-explorer.ista.ac.at/record/2214
DOI: 10.1371/journal.pone.0085699

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2223
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2225
DOI: 10.1214/EJP.v19-3054

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2219
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2220
DOI: 10.1016/j.chembiol.2014.04.004
PMID: 24766845

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2233
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2230
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2228
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2229
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2232
DOI: 10.1088/1742-5468/2014/02/P02001
arXiv: 1403.4516

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2231
DOI: 10.1016/j.bpj.2014.01.014
PMID: 24606943

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2234
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2236
DOI: 10.1007/978-3-642-54242-8_24

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2246
DOI: 10.1016/j.tcs.2013.11.032

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2250
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2254
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2251
DOI: 10.1098/rstb.2012.0528
PMID: 24366138

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2407
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/248
DOI: https://doi.org/10.4007/annals.2014.180.1.8

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

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 .
LibreCat: https://research-explorer.ista.ac.at/record/350
DOI: 10.1007/s11051-014-2297-2

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 .
LibreCat: https://research-explorer.ista.ac.at/record/451
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

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 .
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2162
DOI: 10.1007/978-3-662-43951-7_11
arXiv: 1404.5734

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2213
DOI: 10.1007/978-3-642-54830-7_16
arXiv: 1401.3289

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5411
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5413
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5414
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5412
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2163
DOI: 10.1007/978-3-662-43951-7_10
arXiv: 1404.5453

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/5417
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5416
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5418
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/5425

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 .
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5813
DOI: 10.1007/s00023-013-0302-4

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6124
DOI: 10.1371/journal.pgen.1004082
PMID: 24603482

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6122
DOI: 10.1016/j.cell.2013.12.008
PMID: 24439370

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6319
DOI: 10.5802/jtnb.857
arXiv: 1210.4236

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6740
DOI: 10.1109/allerton.2014.7028535
arXiv: 1406.7373

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

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Modic, Kimberly A, Tess E. Smidt, Itamar Kimchi, Nicholas P. Breznay, Alun Biffin, Sungkyun Choi, Roger D. Johnson, et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.”https://doi.org/10.1038/ncomms5203__Nature Communications. Springer Science and Business Media LLC, 2014.https://doi.org/10.1038/ncomms5203 .
LibreCat: https://research-explorer.ista.ac.at/record/7071
DOI: 10.1038/ncomms5203

Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of AC.”https://doi.org/10.1016/j.celrep.2014.10.047__Cell Reports. Elsevier, 2014.https://doi.org/10.1016/j.celrep.2014.10.047 .
LibreCat: https://research-explorer.ista.ac.at/record/7598
DOI: 10.1016/j.celrep.2014.10.047

Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,”https://doi.org/10.1145/2591796.2591836__714–23. ACM, 2014.https://doi.org/10.1145/2591796.2591836 .
LibreCat: https://research-explorer.ista.ac.at/record/772
DOI: 10.1145/2591796.2591836
arXiv: 1311.3200

Alistarh, Dan-Adrian, Justin Kopinsky, Alexander Matveev, and Nir Shavit. “The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm,”https://doi.org/10.1109/ICDCS.2014.43__348–57. IEEE, 2014.https://doi.org/10.1109/ICDCS.2014.43 .
LibreCat: https://research-explorer.ista.ac.at/record/775
DOI: 10.1109/ICDCS.2014.43
arXiv: 1405.5461

Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’”https://doi.org/10.1103/physrevlett.112.049801__Physical Review Letters. American Physical Society, 2014.https://doi.org/10.1103/physrevlett.112.049801 .
LibreCat: https://research-explorer.ista.ac.at/record/7771
DOI: 10.1103/physrevlett.112.049801
arXiv: 1306.1285

Araya, R., Tim P Vogels, and R. Yuste. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated with Synaptic Strength.”https://doi.org/10.1073/pnas.1321869111__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1321869111 .
LibreCat: https://research-explorer.ista.ac.at/record/8021
DOI: 10.1073/pnas.1321869111
PMID: 24982196

Tomm, Christian, Michael Avermann, Carl Petersen, Wulfram Gerstner, and Tim P Vogels. “Connection-Type-Specific Biases Make Uniform Random Network Models Consistent with Cortical Recordings.”https://doi.org/10.1152/jn.00629.2013__Journal of Neurophysiology. American Physiological Society, 2014.https://doi.org/10.1152/jn.00629.2013 .
LibreCat: https://research-explorer.ista.ac.at/record/8023
DOI: 10.1152/jn.00629.2013
PMID: 24944218

Hennequin, Guillaume, Tim P Vogels, and Wulfram Gerstner. “Optimal Control of Transient Dynamics in Balanced Networks Supports Generation of Complex Movements.”https://doi.org/10.1016/j.neuron.2014.04.045__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2014.04.045 .
LibreCat: https://research-explorer.ista.ac.at/record/8022
DOI: 10.1016/j.neuron.2014.04.045
PMID: 24945778

Higginbotham, Andrew P, Ferdinand Kuemmeth, Micah Hanson, Arthur Gossard, and Charles Marcus. “Coherent Operations and Screening in Multielectron Spin Qubits.”https://doi.org/10.1103/PhysRevLett.112.026801__APS Physics, Physical Review Letters. American Physiological Society, 2014.https://doi.org/10.1103/PhysRevLett.112.026801 .
LibreCat: https://research-explorer.ista.ac.at/record/96
DOI: 10.1103/PhysRevLett.112.026801
arXiv: 1306.2720

Greenhill, Catherine, Matthew Alan Kwan, and David Wind. “On the Number of Spanning Trees in Random Regular Graphs.”https://doi.org/10.37236/3752__The Electronic Journal of Combinatorics. The Electronic Journal of Combinatorics, 2014.https://doi.org/10.37236/3752 .
LibreCat: https://research-explorer.ista.ac.at/record/9594
DOI: 10.37236/3752
arXiv: 1309.6710

Perkovic, Mario, Michael Kunz, Ulrike Endesfelder, Stefanie Bunse, Christoph Wigge, Zhou Yu, Victor-Valentin Hodirnau, et al. “Correlative Light- and Electron Microscopy with Chemical Tags.”https://doi.org/10.1016/j.jsb.2014.03.018__Journal of Structural Biology. Elsevier, 2014.https://doi.org/10.1016/j.jsb.2014.03.018 .
LibreCat: https://research-explorer.ista.ac.at/record/9655
DOI: 10.1016/j.jsb.2014.03.018
PMID: 24698954

Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.1111/evo.12440__Evolution. Wiley, 2014.https://doi.org/10.1111/evo.12440 .
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from: Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.5061/dryad.s42n1__Dryad, 2014.https://doi.org/10.5061/dryad.s42n1 .
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1