Chai, Xuejun, Gert Münzner, Shanting Zhao, Stefanie Tinnes, Janina Kowalski, Ute Häussler, Christina Young, Carola Haas, and Michael Frotscher. “Epilepsy-Induced Motility of Differentiated Neurons.”https://doi.org/10.1093/cercor/bht067__Cerebral Cortex. Oxford University Press, 2014.https://doi.org/10.1093/cercor/bht067 .
LibreCat: https://research-explorer.ista.ac.at/record/2164
DOI: 10.1093/cercor/bht067

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

Sydorov, Vladyslav, Mayu Sakurada, and Christoph Lampert. “Deep Fisher Kernels – End to End Learning of the Fisher Kernel GMM Parameters.”https://doi.org/10.1109/CVPR.2014.182__In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1402–9. IEEE, 2014.https://doi.org/10.1109/CVPR.2014.182 .
LibreCat: https://research-explorer.ista.ac.at/record/2172
DOI: 10.1109/CVPR.2014.182

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

Studer, Daniel, Shanting Zhao, Xuejun Chai, Peter M Jonas, Werner Graber, Sigrun Nestel, and Michael Frotscher. “Capture of Activity-Induced Ultrastructural Changes at Synapses by High-Pressure Freezing of Brain Tissue.”https://doi.org/10.1038/nprot.2014.099__Nature Protocols. Nature Publishing Group, 2014.https://doi.org/10.1038/nprot.2014.099 .
LibreCat: https://research-explorer.ista.ac.at/record/2176
DOI: 10.1038/nprot.2014.099

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

Edelsbrunner, Herbert, and Salman Parsa. “On the Computational Complexity of Betti Numbers Reductions from Matrix Rank.”https://doi.org/10.1137/1.9781611973402.11__In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 152–60. SIAM, 2014.https://doi.org/10.1137/1.9781611973402.11 .
LibreCat: https://research-explorer.ista.ac.at/record/2177
DOI: 10.1137/1.9781611973402.11

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

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

Renkawitz, Jörg, Claudio Lademann, and Stefan Jentsch. “Mechanisms and Principles of Homology Search during Recombination.”https://doi.org/10.1038/nrm3805__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2014.https://doi.org/10.1038/nrm3805 .
LibreCat: https://research-explorer.ista.ac.at/record/2215
DOI: 10.1038/nrm3805

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

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

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2240
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2241
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2245
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2246
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2242
DOI: 10.1016/j.febslet.2014.01.009

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 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 .
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

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 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 .
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, 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2212
DOI: 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 .
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. “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 .
LibreCat: https://research-explorer.ista.ac.at/record/2217
DOI: 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 .
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

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

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

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 .
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

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 .
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

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

Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant Genomic Immunity.”https://doi.org/10.1016/j.tplants.2014.01.014__Trends in Plant Science. Elsevier, 2014.https://doi.org/10.1016/j.tplants.2014.01.014 .
LibreCat: https://research-explorer.ista.ac.at/record/9519
DOI: 10.1016/j.tplants.2014.01.014
PMID: 24618094 

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

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.”https://doi.org/10.1371/journal.pone.0103989__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989 .
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “Supporting Information.”https://doi.org/10.1371/journal.pone.0103989.s003__Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9888
DOI: 10.1371/journal.pone.0103989.s003

Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.”https://doi.org/10.1016/j.cell.2014.01.029__Cell. Elsevier, 2014.https://doi.org/10.1016/j.cell.2014.01.029 .
LibreCat: https://research-explorer.ista.ac.at/record/9458
DOI: 10.1016/j.cell.2014.01.029
PMID: 24630728

Mérai, Zsuzsanna, Nina Chumak, Marcelina García-Aguilar, Tzung-Fu Hsieh, Toshiro Nishimura, Vera K. Schoft, János Bindics, et al. “The AAA-ATPase Molecular Chaperone Cd/ Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.”https://doi.org/10.1073/pnas.1418564111__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1418564111 .
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531