Hu, Hua, et al. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.”10.1126/science.1255263__Science, vol. 345, no. 6196, 1255263, American Association for the Advancement of Science, 2014, doi:10.1126/science.1255263.
LibreCat: https://research-explorer.ista.ac.at/record/2062
DOI: 10.1126/science.1255263

Raveendran, Karthik, et al. “Blending Liquids.”10.1145/2601097.2601126__ACM Transactions on Graphics, vol. 33, no. 4, 137, ACM, 2014, doi:10.1145/2601097.2601126.
LibreCat: https://research-explorer.ista.ac.at/record/2058
DOI: 10.1145/2601097.2601126

Morvant, Emilie, et al. “Majority Vote of Diverse Classifiers for Late Fusion.”10.1007/978-3-662-44415-3_16__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8621, Springer, 2014, pp. 153–62, doi:10.1007/978-3-662-44415-3_16.
LibreCat: https://research-explorer.ista.ac.at/record/2057
DOI: 10.1007/978-3-662-44415-3_16
arXiv: 1404.7796

Ganguly, Arnab, et al. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.”10.1007/s00285-013-0738-7__Journal of Mathematical Biology, vol. 69, no. 3, Springer, 2014, pp. 767–97, doi:10.1007/s00285-013-0738-7.
LibreCat: https://research-explorer.ista.ac.at/record/2056
DOI: 10.1007/s00285-013-0738-7

Mazur, Ewa, et al. “Cellular Events during Interfascicular Cambium Ontogenesis in Inflorescence Stems of Arabidopsis.”10.1007/s00709-014-0620-5__Protoplasma, vol. 251, no. 5, Springer, 2014, pp. 1125–39, doi:10.1007/s00709-014-0620-5.
LibreCat: https://research-explorer.ista.ac.at/record/2061
DOI: 10.1007/s00709-014-0620-5

Rubio, Maía, et al. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.”10.1002/cne.23654__Journal of Comparative Neurology, vol. 522, no. 18, Wiley-Blackwell, 2014, pp. 4023–42, doi:10.1002/cne.23654.
LibreCat: https://research-explorer.ista.ac.at/record/2064
DOI: 10.1002/cne.23654

Bauer, Ulrich, and Michael Lesnick. “Induced Matchings of Barcodes and the Algebraic Stability of Persistence.”10.1145/2582112.2582168__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–64, doi:10.1145/2582112.2582168.
LibreCat: https://research-explorer.ista.ac.at/record/2153
DOI: 10.1145/2582112.2582168

Matousek, Jií, and Uli Wagner. “On Gromov’s Method of Selecting Heavily Covered Points.”10.1007/s00454-014-9584-7__Discrete &; Computational Geometry, vol. 52, no. 1, Springer, 2014, pp. 1–33, doi:10.1007/s00454-014-9584-7.
LibreCat: https://research-explorer.ista.ac.at/record/2154
DOI: 10.1007/s00454-014-9584-7

Bauer, Ulrich, et al. “Measuring Distance between Reeb Graphs.”10.1145/2582112.2582169__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–73, doi:10.1145/2582112.2582169.
LibreCat: https://research-explorer.ista.ac.at/record/2156
DOI: 10.1145/2582112.2582169

Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of cech and Delaunay Filtrations.”10.1145/2582112.2582167__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–90, doi:10.1145/2582112.2582167.
LibreCat: https://research-explorer.ista.ac.at/record/2155
DOI: 10.1145/2582112.2582167

Majumdar, Ritankar, et al. “New Paradigms in the Establishment and Maintenance of Gradients during Directed Cell Migration.”10.1016/j.ceb.2014.05.010__Current Opinion in Cell Biology, vol. 30, no. 1, Elsevier, 2014, pp. 33–40, doi:10.1016/j.ceb.2014.05.010.
LibreCat: https://research-explorer.ista.ac.at/record/2158
DOI: 10.1016/j.ceb.2014.05.010
PMID: 24959970

Chai, Xuejun, et al. “Epilepsy-Induced Motility of Differentiated Neurons.”10.1093/cercor/bht067__Cerebral Cortex, vol. 24, no. 8, Oxford University Press, 2014, pp. 2130–40, doi:10.1093/cercor/bht067.
LibreCat: https://research-explorer.ista.ac.at/record/2164
DOI: 10.1093/cercor/bht067

Kelleher, Jerome, et al. “Coalescent Simulation in Continuous Space: Algorithms for Large Neighbourhood Size.”10.1016/j.tpb.2014.05.001__Theoretical Population Biology, vol. 95, Academic Press, 2014, pp. 13–23, doi: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., et al. “Diverse Forms of Selection in Evolution and Computer Science.”10.1073/pnas.1410107111__PNAS, vol. 111, no. 29, National Academy of Sciences, 2014, pp. 10398–99, doi:10.1073/pnas.1410107111.
LibreCat: https://research-explorer.ista.ac.at/record/2169
DOI: 10.1073/pnas.1410107111

Kolesnikov, Alexander, et al. “Closed-Form Approximate CRF Training for Scalable Image Segmentation.”10.1007/978-3-319-10578-9_36__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by David Fleet et al., vol. 8691, no. PART 3, Springer, 2014, pp. 550–65, doi: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.” Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2173

Sydorov, Vladyslav, et al. “Deep Fisher Kernels – End to End Learning of the Fisher Kernel GMM Parameters.”10.1109/CVPR.2014.182__Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–09, doi: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.”10.1534/genetics.113.159111__Genetics, vol. 197, no. 2, Genetics Society of America, 2014, pp. 749–67, doi:10.1534/genetics.113.159111.
LibreCat: https://research-explorer.ista.ac.at/record/2174
DOI: 10.1534/genetics.113.159111

Ajanki, Oskari H., et al. “Local Semicircle Law with Imprimitive Variance Matrix.”10.1214/ECP.v19-3121__Electronic Communications in Probability, vol. 19, Institute of Mathematical Statistics, 2014, doi:10.1214/ECP.v19-3121.
LibreCat: https://research-explorer.ista.ac.at/record/2179
DOI: 10.1214/ECP.v19-3121

Studer, Daniel, et al. “Capture of Activity-Induced Ultrastructural Changes at Synapses by High-Pressure Freezing of Brain Tissue.”10.1038/nprot.2014.099__Nature Protocols, vol. 9, no. 6, Nature Publishing Group, 2014, pp. 1480–95, doi:10.1038/nprot.2014.099.
LibreCat: https://research-explorer.ista.ac.at/record/2176
DOI: 10.1038/nprot.2014.099

Haws, David, et al. “Markov Degree of the Three-State Toric Homogeneous Markov Chain Model.”10.1007/s13366-013-0178-y__Beitrage Zur Algebra Und Geometrie, vol. 55, no. 1, Springer, 2014, pp. 161–88, doi: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.”10.1137/1.9781611973402.11__Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–60, doi:10.1137/1.9781611973402.11.
LibreCat: https://research-explorer.ista.ac.at/record/2177
DOI: 10.1137/1.9781611973402.11

Dodis, Yevgeniy, et al. Key Derivation without Entropy Waste. Edited by Phong Nguyen and Elisabeth Oswald, vol. 8441, Springer, 2014, pp. 93–110, doi: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, et al. “Learning a Priori Constrained Weighted Majority Votes.”10.1007/s10994-014-5462-z__Machine Learning, vol. 97, no. 1–2, Springer, 2014, pp. 129–54, doi:10.1007/s10994-014-5462-z.
LibreCat: https://research-explorer.ista.ac.at/record/2180
DOI: 10.1007/s10994-014-5462-z

cadek, Martin, et al. “Computing All Maps into a Sphere.”10.1145/2597629__Journal of the ACM, vol. 61, no. 3, 17, ACM, 2014, doi: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 .”10.1103/PhysRevE.89.062809__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 6, 062809, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.062809.
LibreCat: https://research-explorer.ista.ac.at/record/2183
DOI: 10.1103/PhysRevE.89.062809

Chen, Thomas, et al. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.”10.1007/s11005-014-0693-2__Letters in Mathematical Physics, vol. 104, no. 7, Springer, 2014, pp. 871–91, doi:10.1007/s11005-014-0693-2.
LibreCat: https://research-explorer.ista.ac.at/record/2186
DOI: 10.1007/s11005-014-0693-2

Bloem, Roderick, et al. “Synthesizing Robust Systems.”10.1007/s00236-013-0191-5__Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
LibreCat: https://research-explorer.ista.ac.at/record/2187
DOI: 10.1007/s00236-013-0191-5

Kania, Urszula, et al. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.”10.1098/rsob.140017__Open Biology, vol. 4, no. APRIL, 140017, Royal Society, 2014, doi: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. Vol. 1, Elsevier, 2014, pp. 49–58.
LibreCat: https://research-explorer.ista.ac.at/record/2189

Esparza, Javier, and Jan Kretinsky. From LTL to Deterministic Automata: A Safraless Compositional Approach. Vol. 8559, Springer, 2014, pp. 192–208, doi: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, et al. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.”10.1371/journal.pone.0085699__PLoS One, vol. 9, no. 1, e85699, Public Library of Science, 2014, doi:10.1371/journal.pone.0085699.
LibreCat: https://research-explorer.ista.ac.at/record/2214
DOI: 10.1371/journal.pone.0085699

Renkawitz, Jörg, et al. “Mechanisms and Principles of Homology Search during Recombination.”10.1038/nrm3805__Nature Reviews Molecular Cell Biology, vol. 15, no. 6, Nature Publishing Group, 2014, pp. 369–83, doi:10.1038/nrm3805.
LibreCat: https://research-explorer.ista.ac.at/record/2215
DOI: 10.1038/nrm3805

Tanaka, Hirokazu, et al. “BE/ARC Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.”10.1093/pcp/pct196__Plant and Cell Physiology, vol. 55, no. 4, Oxford University Press, 2014, pp. 737–49, doi:10.1093/pcp/pct196.
LibreCat: https://research-explorer.ista.ac.at/record/2223
DOI: 10.1093/pcp/pct196

Bloemendal, Alex, et al. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.”10.1214/EJP.v19-3054__Electronic Journal of Probability, vol. 19, 33, Institute of Mathematical Statistics, 2014, doi:10.1214/EJP.v19-3054.
LibreCat: https://research-explorer.ista.ac.at/record/2225
DOI: 10.1214/EJP.v19-3054

Naramoto, Satoshi, et al. “VAN4 Encodes a Putative T That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.”10.1093/pcp/pcu012__Plant and Cell Physiology, vol. 55, no. 4, Oxford University Press, 2014, pp. 750–63, doi: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.”10.1088/0169-5983/46/2/025503__Fluid Dynamics Research, vol. 46, no. 2, 025503, IOP Publishing Ltd., 2014, doi: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, et al. Simple Chosen-Ciphertext Security from Low Noise LPN. Vol. 8383, Springer, 2014, pp. 1–18, doi: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

de Vos, Marjon, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.”10.1016/j.chembiol.2014.04.004__Chemistry and Biology, vol. 21, no. 4, Cell Press, 2014, pp. 439–40, doi: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.”10.2168/LMCS-10(1:10)2014__Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi: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é, et al. “Stimfit: Quantifying Electrophysiological Data with Python.”10.3389/fninf.2014.00016__Frontiers in Neuroinformatics, vol. 8, no. FEB, 16, Frontiers Research Foundation, 2014, doi: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.”10.1038/nn.3678__Nature Neuroscience, vol. 17, no. 5, Nature Publishing Group, 2014, pp. 686–93, doi: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.”10.1126/science.1244811__Science, vol. 343, no. 6171, American Association for the Advancement of Science, 2014, pp. 665–70, doi: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.”10.1088/1742-5468/2014/02/P02001__Journal of Statistical Mechanics Theory and Experiment, vol. 2014, no. 2, 001, IOP Publishing, 2014, doi: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.”10.1016/j.bpj.2014.01.014__Biophysical Journal, vol. 106, no. 5, Biophysical Society, 2014, pp. 1194–204, doi: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, et al. “Transient Growth of Ekman-Couette Flow.”10.1103/PhysRevE.89.013001__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1, 013001, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.013001.
LibreCat: https://research-explorer.ista.ac.at/record/2226
DOI: 10.1103/PhysRevE.89.013001

Cires Rodriguez, Eduardo, et al. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.”10.1007/s13127-013-0150-6__Organisms Diversity and Evolution, vol. 14, no. 1, Springer, 2014, pp. 1–10, doi: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, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.”10.2168/LMCS-10(1:13)2014__Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi: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. Edited by Yehuda Lindell, vol. 8349, Springer, 2014, pp. 566–90, doi: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, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.”10.1016/j.cell.2014.01.039__Cell, vol. 156, no. 4, Cell Press, 2014, pp. 691–704, doi: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, et al. Battery Transition Systems. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:10.1145/2535838.2535875.
LibreCat: https://research-explorer.ista.ac.at/record/2239
DOI: 10.1145/2535838.2535875

Fürst, Matthias, et al. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.”10.1038/nature12977__Nature, vol. 506, no. 7488, Nature Publishing Group, 2014, pp. 364–66, doi:10.1038/nature12977.
LibreCat: https://research-explorer.ista.ac.at/record/2235
DOI: 10.1038/nature12977

Beppu, Kaoru, et al. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.”10.1016/j.neuron.2013.11.011__Neuron, vol. 81, no. 2, Elsevier, 2014, pp. 314–20, doi: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, et al. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.”10.1007/978-1-62703-592-7_23__Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, vol. 1056, Springer, 2014, pp. 255–64, doi: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, et al. “Alternating Traps in Muller and Parity Games.”10.1016/j.tcs.2013.11.032__Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi: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, et al. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.”10.1016/j.febslet.2014.01.009__FEBS Letters, vol. 588, no. 4, Elsevier, 2014, pp. 632–40, doi:10.1016/j.febslet.2014.01.009.
LibreCat: https://research-explorer.ista.ac.at/record/2242
DOI: 10.1016/j.febslet.2014.01.009

Kuchibhatla, Durga, et al. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.”10.1128/JVI.02595-13__Journal of Virology, vol. 88, no. 1, ASM, 2014, pp. 10–20, doi: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.”10.1016/j.neuron.2013.09.046__Neuron, vol. 81, no. 1, Elsevier, 2014, pp. 140–52, doi: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.”10.1098/rstb.2012.0528__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, 20120528, Royal Society, The, 2014, doi: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, et al. “Expression of TWISTED DWAR Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.”10.1111/tpj.12369__Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 108–18, doi:10.1111/tpj.12369.
LibreCat: https://research-explorer.ista.ac.at/record/2253
DOI: 10.1111/tpj.12369

Capek, Daniel, et al. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.”10.1002/jez.b.22545__Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 322, no. 1, Wiley-Blackwell, 2014, pp. 1–12, doi:10.1002/jez.b.22545.
LibreCat: https://research-explorer.ista.ac.at/record/2248
DOI: 10.1002/jez.b.22545

Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.”10.1111/tpj.12373__Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107, doi:10.1111/tpj.12373.
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Phadke, Sujal, et al. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.”10.1093/jhered/est063__Journal of Heredity, vol. 105, no. 1, Oxford University Press, 2014, pp. 130–35, doi:10.1093/jhered/est063.
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

Zhu, Fangfang, et al. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.”10.1093/nar/gkt1290__Nucleic Acids Research, vol. 42, no. 5, e34, Oxford University Press, 2014, doi: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.”10.1007/978-94-007-7687-6_1__10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi: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, et al. Partial Enumeration and Curvature Regularization. IEEE, 2014, pp. 2936–43, doi:10.1109/ICCV.2013.365.
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.”10.1002/hipo.22214__Hippocampus, vol. 23, no. 2, Wiley-Blackwell, 2014, pp. 189–203, doi:10.1002/hipo.22214.
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Erdös, László, et al. “Universality of General ;2-Ensembles.”10.1215/00127094-2649752__Duke Mathematical Journal, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:10.1215/00127094-2649752.
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.”10.1007/s00236-013-0182-6__Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi: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. European Mathematical Society Publishing House, 2014, pp. 31–50, doi:10.4171/120-1/3.
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny, Pavol, et al. “Interface Simulation Distances.”10.1016/j.tcs.2014.08.019__Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi: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.”10.1145/2597631__Journal of the ACM, vol. 61, no. 3, , ACM, 2014, doi:10.1145/2597631.
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Tkadik, Gasper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.”10.1371/journal.pone.0085841__PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi: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.”10.1007/978-3-662-44584-6_37__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi: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, et al. “Robust Multi-Property Combiners for Hash Functions.”10.1007/s00145-013-9148-7__Journal of Cryptology, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:10.1007/s00145-013-9148-7.
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.”10.1371/journal.pone.0107518__PLoS One, vol. 9, no. 9, 0107518, Public Library of Science, 2014, doi: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.”10.4204/EPTCS.146.11__Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.”10.1007/978-3-319-13075-0_10__25th International Symposium, ISAAC 2014, vol. 8889, Springer Nature, 2014, pp. 117–27, doi: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, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.”10.1002/ece3.1150__Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi: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. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi: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.”10.1145/2579821__ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker, Udi, et al. “Temporal Specifications with Accumulative Values.”10.1145/2629686__ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, 27, ACM, 2014, doi: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. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi: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, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi: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, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi: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, et al. Edit Distance for Timed Automata. Springer, 2014, pp. 303–12, doi:10.1145/2562059.2562141.
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi: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.”10.1007/978-3-662-43951-7_10__Lecture Notes in Computer Science, vol. 8573, no. Part 2, Springer, 2014, pp. 110–21, doi: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, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi: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.”10.1145/2562059.2562130__Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi: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, doi: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, doi: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, doi: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, doi: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, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi: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, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi: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