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

Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi: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, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi: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, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5425

Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi: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, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi: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.”10.1007/s00023-013-0302-4__Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.
LibreCat: https://research-explorer.ista.ac.at/record/5813
DOI: 10.1007/s00023-013-0302-4

Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.”10.1364/OL.39.004005__Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.
LibreCat: https://research-explorer.ista.ac.at/record/589
DOI: 10.1364/OL.39.004005

Gross, E., et al. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.”10.1523/jneurosci.5368-13.2014__Journal of Neuroscience, vol. 34, no. 50, Society for Neuroscience, 2014, pp. 16726–38, doi: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, et al. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.”10.1371/journal.pgen.1004082__PLoS Genetics, vol. 10, no. 3, e1004082, Public Library of Science (PLoS), 2014, doi: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., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.”10.1016/j.cell.2013.12.008__Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 69–83, doi: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.”10.5802/jtnb.857__Journal de Théorie Des Nombres de Bordeaux, vol. 26, no. 1, Cellule MathDoc/CEDRAM, 2014, pp. 25–44, doi:10.5802/jtnb.857.
LibreCat: https://research-explorer.ista.ac.at/record/6319
DOI: 10.5802/jtnb.857
arXiv: 1210.4236

Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.”10.1109/allerton.2014.7028535__52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–96, doi: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, et al. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.”10.1109/tcomm.2014.2345069__IEEE Transactions on Communications, vol. 62, no. 9, IEEE, 2014, pp. 3084–91, doi: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.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Modic, Kimberly A., et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.”10.1038/ncomms5203__Nature Communications, vol. 5, 4203, Springer Science and Business Media LLC, 2014, doi: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.”10.1016/j.celrep.2014.10.047__Cell Reports, vol. 9, no. 5, Elsevier, 2014, pp. 1692–702, doi: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, et al. Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 714–23, doi:10.1145/2591796.2591836.
LibreCat: https://research-explorer.ista.ac.at/record/772
DOI: 10.1145/2591796.2591836
arXiv: 1311.3200

Alistarh, Dan-Adrian, et al. The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm. IEEE, 2014, pp. 348–57, doi: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, et al. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’”10.1103/physrevlett.112.049801__Physical Review Letters, vol. 112, no. 4, 049801, American Physical Society, 2014, doi: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., et al. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated with Synaptic Strength.”10.1073/pnas.1321869111__Proceedings of the National Academy of Sciences, vol. 111, no. 28, Proceedings of the National Academy of Sciences, 2014, pp. 95–904, doi:10.1073/pnas.1321869111.
LibreCat: https://research-explorer.ista.ac.at/record/8021
DOI: 10.1073/pnas.1321869111
PMID: 24982196

Tomm, Christian, et al. “Connection-Type-Specific Biases Make Uniform Random Network Models Consistent with Cortical Recordings.”10.1152/jn.00629.2013__Journal of Neurophysiology, vol. 112, no. 8, American Physiological Society, 2014, pp. 1801–14, doi:10.1152/jn.00629.2013.
LibreCat: https://research-explorer.ista.ac.at/record/8023
DOI: 10.1152/jn.00629.2013
PMID: 24944218

Hennequin, Guillaume, et al. “Optimal Control of Transient Dynamics in Balanced Networks Supports Generation of Complex Movements.”10.1016/j.neuron.2014.04.045__Neuron, vol. 82, no. 6, Elsevier, 2014, pp. 1394–406, doi: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., et al. “Coherent Operations and Screening in Multielectron Spin Qubits.”10.1103/PhysRevLett.112.026801__APS Physics, Physical Review Letters, vol. 112, no. 2, 026801, American Physiological Society, 2014, doi: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, et al. “On the Number of Spanning Trees in Random Regular Graphs.”10.37236/3752__The Electronic Journal of Combinatorics, vol. 21, no. 1, .45, The Electronic Journal of Combinatorics, 2014, doi:10.37236/3752.
LibreCat: https://research-explorer.ista.ac.at/record/9594
DOI: 10.37236/3752
arXiv: 1309.6710

Perkovic, Mario, et al. “Correlative Light- and Electron Microscopy with Chemical Tags.”10.1016/j.jsb.2014.03.018__Journal of Structural Biology, vol. 186, no. 2, Elsevier, 2014, pp. 205–13, doi: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, et al. “Role of Sex and Migration in Adaptation to Sink Environments.”10.1111/evo.12440__Evolution, vol. 68, no. 8, Wiley, 2014, pp. 2296–305, doi:10.1111/evo.12440.
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

Lagator, Mato, et al. Data from: Role of Sex and Migration in Adaptation to Sink Environments. Dryad, 2014, doi:10.5061/dryad.s42n1.
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

Serbyn, Maksym, et al. “Interferometric Probes of Many-Body Localization.”10.1103/PhysRevLett.113.147204__Physical Review Letters, vol. 113, no. 14, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.147204.
LibreCat: https://research-explorer.ista.ac.at/record/977
DOI: 10.1103/PhysRevLett.113.147204

Serbyn, Maksym, et al. “Quantum Quenches in the Many-Body Localized Phase.”10.1103/PhysRevB.90.174302__Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 17, American Physical Society, 2014, doi:10.1103/PhysRevB.90.174302.
LibreCat: https://research-explorer.ista.ac.at/record/980
DOI: 10.1103/PhysRevB.90.174302

Higginbotham, Andrew P., et al. “Hole Spin Coherence in a Ge/Si Heterostructure Nanowire.”10.1021/nl501242b__Nano Letters, vol. 14, no. 6, American Chemical Society, 2014, pp. 3582–86, doi:10.1021/nl501242b.
LibreCat: https://research-explorer.ista.ac.at/record/98
DOI: 10.1021/nl501242b
arXiv: 1403.2093

Wolf, Stephan, et al. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.”10.1371/journal.pone.0103989__PLoS One, vol. 9, no. 8, e103989, Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Takagi, Daisuke, et al. “Hydrodynamic Capture of Microswimmers into Sphere-Bound Orbits.”10.1039/c3sm52815d__Soft Matter, vol. 10, no. 11, 1784, Royal Society of Chemistry , 2014, doi:10.1039/c3sm52815d.
LibreCat: https://research-explorer.ista.ac.at/record/9050
DOI: 10.1039/c3sm52815d
PMID: 24800268
arXiv: 1309.5662

Palacci, Jérémie A., et al. “Light-Activated Self-Propelled Colloids.”10.1098/rsta.2013.0372__Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 372, no. 2029, 20130372, The Royal Society, 2014, doi:10.1098/rsta.2013.0372.
LibreCat: https://research-explorer.ista.ac.at/record/9166
DOI: 10.1098/rsta.2013.0372
PMID: 25332383
arXiv: 1410.7278

Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.”10.1016/j.cell.2014.01.029__Cell, vol. 156, no. 6, Elsevier, 2014, pp. 1286–97, doi: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, et al. “The AAA-ATPase Molecular Chaperone Cd/ Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.”10.1073/pnas.1418564111__Proceedings of the National Academy of Sciences, vol. 111, no. 45, National Academy of Sciences, 2014, pp. 16166–71, doi:10.1073/pnas.1418564111.
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

Cheng, Bingqing, and Michele Ceriotti. “Direct Path Integral Estimators for Isotope Fractionation Ratios.”10.1063/1.4904293__The Journal of Chemical Physics, vol. 141, no. 24, 244112, AIP Publishing, 2014, doi:10.1063/1.4904293.
LibreCat: https://research-explorer.ista.ac.at/record/9662
DOI: 10.1063/1.4904293
PMID: 25554138
arXiv: 1412.1308

Higginbotham, Andrew P., et al. “Antilocalization of Coulomb Blockade in a Ge/Si Nanowire.”10.1103/PhysRevLett.112.216806__APS Physics, Physical Review Letters, vol. 112, no. 21, 216806, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.216806.
LibreCat: https://research-explorer.ista.ac.at/record/97
DOI: 10.1103/PhysRevLett.112.216806
arXiv: 1401.2948

Lovrics, Anna, et al. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.”10.1371/journal.pone.0111430__PLoS One, vol. 9, no. 11, e111430, Public Library of Science, 2014, doi:10.1371/journal.pone.0111430.
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.”10.1371/journal.pcbi.1003818__PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

Lagator, Mato, et al. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”10.1098/rspb.2014.1679__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20141679, Royal Society, The, 2014, doi:10.1098/rspb.2014.1679.
LibreCat: https://research-explorer.ista.ac.at/record/2036
DOI: 10.1098/rspb.2014.1679

Konrad, Matthias, et al. Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host. Dryad, 2014, doi:10.5061/dryad.vm0vc.
LibreCat: https://research-explorer.ista.ac.at/record/9740
DOI: 10.5061/dryad.vm0vc

Lagator, Mato, et al. Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses. Dryad, 2014, doi:10.5061/dryad.85dn7.
LibreCat: https://research-explorer.ista.ac.at/record/9741
DOI: 10.5061/dryad.85dn7

Hearn, Jack, et al. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.”10.1111/mec.12578__Molecular Ecology, vol. 23, no. 1, Wiley-Blackwell, 2014, pp. 198–211, doi:10.1111/mec.12578.
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

Tragust, Simon, et al. Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies. Dryad, 2014, doi:10.5061/dryad.nc0gc.
LibreCat: https://research-explorer.ista.ac.at/record/9753
DOI: 10.5061/dryad.nc0gc

Simmons, Kristina, et al. Data from: Transformation of Stimulus Correlations by the Retina. Dryad, 2014, doi:10.5061/dryad.246qg.
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

Zeljkovic, Ilija, et al. “Mapping the Unconventional Orbital Texture in Topological Crystalline Insulators.”10.1038/nphys3012__Nature Physics, vol. 10, no. 8, Nature Publishing Group, 2014, pp. 572–77, doi:10.1038/nphys3012.
LibreCat: https://research-explorer.ista.ac.at/record/978
DOI: 10.1038/nphys3012

Serbyn, Maksym, and Liang Fu. “Symmetry Breaking and Landau Quantization in Topological Crystalline Insulators.”10.1103/PhysRevB.90.035402__Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 3, American Physical Society, 2014, doi:10.1103/PhysRevB.90.035402.
LibreCat: https://research-explorer.ista.ac.at/record/979
DOI: 10.1103/PhysRevB.90.035402

Dhar, Riddhiman, et al. Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes. Dryad, 2014, doi:10.5061/dryad.jc402.
LibreCat: https://research-explorer.ista.ac.at/record/9932
DOI: 10.5061/dryad.jc402

Immerzeel, W. W., et al. “The Importance of Observed Gradients of Air Temperature and Precipitation for Modeling Runoff from a Glacierized Watershed in the Nepalese Himalayas.”10.1002/2013wr014506__Water Resources Research, vol. 50, no. 3, American Geophysical Union, 2014, pp. 2212–26, doi:10.1002/2013wr014506.
LibreCat: https://research-explorer.ista.ac.at/record/12637
DOI: 10.1002/2013wr014506

Gabbi, Jeannette, et al. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.”10.3189/2014jog14j011__Journal of Glaciology, vol. 60, no. 224, International Glaciological Society, 2014, pp. 1140–54, doi:10.3189/2014jog14j011.
LibreCat: https://research-explorer.ista.ac.at/record/12632
DOI: 10.3189/2014jog14j011

Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.”10.1038/ncomms4588__Nature Communications, vol. 5, 3588, Springer Nature, 2014, doi:10.1038/ncomms4588.
LibreCat: https://research-explorer.ista.ac.at/record/13402
DOI: 10.1038/ncomms4588
PMID: 24709950

Klajn, Rafal. “Spiropyran-Based Dynamic Materials.”10.1039/c3cs60181a__Chemical Society Reviews, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:10.1039/c3cs60181a.
LibreCat: https://research-explorer.ista.ac.at/record/13404
DOI: 10.1039/c3cs60181a
PMID: 23979515

Kraus, P. M., et al. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.”10.1088/0953-4075/47/12/124030__Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12, 124030, IOP Publishing, 2014, doi:10.1088/0953-4075/47/12/124030.
LibreCat: https://research-explorer.ista.ac.at/record/14021
DOI: 10.1088/0953-4075/47/12/124030
arXiv: 1311.3923

Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.”10.1103/physrevlett.113.023001__Physical Review Letters, vol. 113, no. 2, 023001, American Physical Society, 2014, doi:10.1103/physrevlett.113.023001.
LibreCat: https://research-explorer.ista.ac.at/record/14020
DOI: 10.1103/physrevlett.113.023001
PMID: 25062172
arXiv: 1311.3923

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/s00453-013-9843-7__Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.”10.1007/s10851-013-0468-x__Journal of Mathematical Imaging and Vision, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi:10.1007/s10851-013-0468-x.
LibreCat: https://research-explorer.ista.ac.at/record/2255
DOI: 10.1007/s10851-013-0468-x

Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.”10.1145/2582112.2582134__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
LibreCat: https://research-explorer.ista.ac.at/record/2159
DOI: 10.1145/2582112.2582134

Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.”10.1002/ece3.1289__Ecology and Evolution, vol. 4, no. 24, Wiley-Blackwell, 2014, pp. 4589–97, doi:10.1002/ece3.1289.
LibreCat: https://research-explorer.ista.ac.at/record/2023
DOI: 10.1002/ece3.1289

Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
LibreCat: https://research-explorer.ista.ac.at/record/2218
DOI: 10.1007/978-3-319-08867-9_38

Daca, Przemyslaw, et al. “Compositional Specifications for IOCO Testing.”10.1109/ICST.2014.50__IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899, IEEE, 2014, doi:10.1109/ICST.2014.50.
LibreCat: https://research-explorer.ista.ac.at/record/2167
DOI: 10.1109/ICST.2014.50
arXiv: 1904.07083

Gazi, Peter, et al. The Exact PRF-Security of NMAC and HMAC. Edited by Juan Garay and Rosario Gennaro, vol. 8616, no. 1, Springer, 2014, pp. 113–30, doi:10.1007/978-3-662-44371-2_7.
LibreCat: https://research-explorer.ista.ac.at/record/2082
DOI: 10.1007/978-3-662-44371-2_7

Compagnon, Julien, et al. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.”10.1016/j.devcel.2014.11.003__Developmental Cell, vol. 31, no. 6, Cell Press, 2014, pp. 774–83, doi:10.1016/j.devcel.2014.11.003.
LibreCat: https://research-explorer.ista.ac.at/record/1912
DOI: 10.1016/j.devcel.2014.11.003
PMID: 25535919

Grusch, Michael, et al. “Spatio-Temporally Precise Activation of Engineered Receptor Tyrosine Kinases by Light.”10.15252/embj.201387695__EMBO Journal, vol. 33, no. 15, Wiley-Blackwell, 2014, pp. 1713–26, doi:10.15252/embj.201387695.
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

Matousek, Jií, et al. “Embeddability in the 3 Sphere Is Decidable.”10.1145/2582112.2582137__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84, doi:10.1145/2582112.2582137.
LibreCat: https://research-explorer.ista.ac.at/record/2157
DOI: 10.1145/2582112.2582137

Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5428
DOI: 10.15479/AT:IST-2014-315-v1-1

Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie, Deutsche Zoologische Gesellschaft, 2014, pp. 23–30.
LibreCat: https://research-explorer.ista.ac.at/record/1887

Postiglione, Maria P., and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.”10.2217/fnl.14.18__Future Neurology, vol. 9, no. 3, Future Science Group, 2014, pp. 323–40, doi:10.2217/fnl.14.18.
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

Milenkovi, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.”10.1159/000365548__Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, Karger Publishers, 2014, pp. 375–88, doi:10.1159/000365548.
LibreCat: https://research-explorer.ista.ac.at/record/1913
DOI: 10.1159/000365548
PMID: 25195847

Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” Proceedings of the International Congress of Mathematicians, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.
LibreCat: https://research-explorer.ista.ac.at/record/1507

Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” Proceeding of the International Congress of Mathematicans, vol. 3, International Congress of Mathematicians, 2014, pp. 1175–94.
LibreCat: https://research-explorer.ista.ac.at/record/8044

Pentina, Anastasia, and Christoph Lampert. A PAC-Bayesian Bound for Lifelong Learning. Vol. 32, ML Research Press, 2014, pp. 991–99.
LibreCat: https://research-explorer.ista.ac.at/record/2160

Iglesias Ham, Mabel, et al. “Sphere Packing with Limited Overlap.”10.48550/arXiv.1401.0468__ArXiv, 1401.0468, doi:10.48550/arXiv.1401.0468.
LibreCat: https://research-explorer.ista.ac.at/record/2012
DOI: 10.48550/arXiv.1401.0468
arXiv: 1401.0468

Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.”10.1002/ange.201405991__Angewandte Chemie International Edition, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi:10.1002/ange.201405991.
LibreCat: https://research-explorer.ista.ac.at/record/14301
DOI: 10.1002/ange.201405991
PMID: 25346175

Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.”10.1007/s11005-013-0667-9__Letters in Mathematical Physics, vol. 104, no. 2, Springer, 2014, pp. 141–56, doi:10.1007/s11005-013-0667-9.
LibreCat: https://research-explorer.ista.ac.at/record/2281
DOI: 10.1007/s11005-013-0667-9
arXiv: 1301.5682

Tkadik, Gasper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.”10.1371/journal.pcbi.1003408__PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Guan, Weiye, et al. “Stereoselective Formation of Trisubstituted Vinyl Boronate Esters by the Acid-Mediated Elimination of ;1-Hydroxyboronate Esters.”10.1021/jo500773t__The Journal of Organic Chemistry, vol. 79, no. 15, American Chemical Society, 2014, pp. 7199–204, doi:10.1021/jo500773t.
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

Mognetti, B. M., et al. “Living Clusters and Crystals from Low-Density Suspensions of Active Colloids.”10.1103/physrevlett.111.245702__Physical Review Letters, vol. 111, no. 24, 245702, American Physical Society, 2013, doi:10.1103/physrevlett.111.245702.
LibreCat: https://research-explorer.ista.ac.at/record/10384
DOI: 10.1103/physrevlett.111.245702
PMID: 24483677
arXiv: 1311.4681

Schlögl, Alois, et al. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.”10.1515/bmt-2013-4181__Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G, 000010151520134181, De Gruyter, 2013, doi:10.1515/bmt-2013-4181.
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

Polshyn, Hryhoriy, et al. “Cantilever Micro-Susceptometry of Mesoscopic Bi2212 Samples.” APS March Meeting 2013, vol. 58, no. 1, N36.00001, American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10749

Vanneste, Steffen, and Jií Friml. “Calcium: The Missing Link in Auxin Action.”10.3390/plants2040650__Plants, vol. 2, no. 4, MDPI, 2013, pp. 650–75, doi:10.3390/plants2040650.
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Liang, Yun, et al. “Dynamic Association of NU with the Human Genome.”10.1371/journal.pgen.1003308__PLoS Genetics, vol. 9, no. 2, e1003308, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003308.
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

Toyama, Brandon H., et al. “Identification of Long-Lived Proteins Reveals Exceptional Stability of Essential Cellular Structures.”10.1016/j.cell.2013.07.037__Cell, vol. 154, no. 5, Elsevier, 2013, pp. 971–82, doi:10.1016/j.cell.2013.07.037.
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

Hatch, Emily M., et al. “Catastrophic Nuclear Envelope Collapse in Cancer Cell Micronuclei.”10.1016/j.cell.2013.06.007__Cell, vol. 154, no. 1, Elsevier, 2013, pp. 47–60, doi:10.1016/j.cell.2013.06.007.
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

Regner, Benjamin M., et al. “Anomalous Diffusion of Single Particles in Cytoplasm.”10.1016/j.bpj.2013.01.049__Biophysical Journal, vol. 104, no. 8, Elsevier, 2013, pp. 1652–60, doi:10.1016/j.bpj.2013.01.049.
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

Sobral, D., et al. “The Dynamics of Z=0.8 H-Alpha-Selected Star-Forming Galaxies from KMOS/CF-HiZELS.”10.1088/0004-637x/779/2/139__The Astrophysical Journal, vol. 779, no. 2, 139, IOP Publishing, 2013, doi:10.1088/0004-637x/779/2/139.
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

Dütting, Paul, et al. “Sponsored Search, Market Equilibria, and the Hungarian Method.”10.1016/j.ipl.2012.11.006__Information Processing Letters, vol. 113, no. 3, Elsevier, 2013, pp. 67–73, doi:10.1016/j.ipl.2012.11.006.
LibreCat: https://research-explorer.ista.ac.at/record/11759
DOI: 10.1016/j.ipl.2012.11.006
arXiv: 0912.1934

Henzinger, Monika H., et al. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.”10.1007/978-3-642-39212-2_53__40th International Colloquium on Automata, Languages, and Programming, vol. 7966, Springer Nature, 2013, pp. 607–619, doi:10.1007/978-3-642-39212-2_53.
LibreCat: https://research-explorer.ista.ac.at/record/11793
DOI: 10.1007/978-3-642-39212-2_53
arXiv: 1512.08147

Dütting, Paul, et al. “Valuation Compressions in VCG-Based Combinatorial Auctions.”10.1007/978-3-642-45046-4_13__9th International Conference on Web and Internet Economics, vol. 8289, Springer Nature, 2013, pp. 146–159, doi:10.1007/978-3-642-45046-4_13.
LibreCat: https://research-explorer.ista.ac.at/record/11791
DOI: 10.1007/978-3-642-45046-4_13
arXiv: 1310.3153

Dvoák, Wolfgang, et al. “Maximizing a Submodular Function with Viability Constraints.”10.1007/978-3-642-40450-4_35__21st Annual European Symposium on Algorithms, vol. 8125, Springer Nature, 2013, pp. 409–20, doi:10.1007/978-3-642-40450-4_35.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

Henzinger, Monika H., et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.”10.1109/focs.2013.64__54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–47, doi:10.1109/focs.2013.64.
LibreCat: https://research-explorer.ista.ac.at/record/11856
DOI: 10.1109/focs.2013.64
arXiv: 1308.0776

Petersen, Lene, et al. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.”10.3189/2013aog63a477__Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 120–30, doi:10.3189/2013aog63a477.
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.”10.1002/jgrd.50277__Journal of Geophysical Research: Atmospheres, vol. 118, no. 8, American Geophysical Union, 2013, pp. 3066–84, doi:10.1002/jgrd.50277.
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

Heynen, Martin, et al. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.”10.3189/2013aog63a537__Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 311–21, doi:10.3189/2013aog63a537.
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.”10.4230/LIPIcs.CSL.2013.181__22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”10.1109/FMCAD.2013.6679394__2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11

Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.”10.4007/annals.2013.177.3.8__Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
LibreCat: https://research-explorer.ista.ac.at/record/1442
DOI: 10.4007/annals.2013.177.3.8