Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4083 Publications

2017 | Journal Article | IST-REx-ID: 956 | OA
Carlen, Eric, and Jan Maas. “Gradient Flow and Entropy Inequalities for Quantum Markov Semigroups with Detailed Balance.” Journal of Functional Analysis, vol. 273, no. 5, Academic Press, 2017, pp. 1810–69, doi:10.1016/j.jfa.2017.05.003.
View | DOI | Download Submitted Version (ext.)
 
2017 | Book Chapter | IST-REx-ID: 957
Clifton, Ben, et al. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 71–87, doi:10.1007/978-1-4939-6940-1_5.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 959 | OA
De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary Metabolic Network Models via Thermodynamics.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 95, no. 6, American Institute of Physics, 2017, p. 062419, doi:10.1103/PhysRevE.95.062419.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 962
Trinh, Minh, et al. Model Counting for Recursively-Defined Strings. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:10.1007/978-3-319-63390-9_21.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.37.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, Nela, et al. Source Data for Figures and Tables. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s018.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic, Nela, et al. Mathematical Model. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s017.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic, Nela, et al. Supplementary Methods. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s016.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova, Marta, et al. Modelling and Simulation Details. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s001.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova, Marta, et al. Extensions of the Model. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s002.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s004.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9855
Chalk, Matthew J., et al. Supplementary Appendix. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.s001.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9856
Schmidt, Tom, et al. Supporting Information Concerning Additional Likelihood Analyses and Results. Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.s014.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9857
Schmidt, Tom, et al. Supporting Information Concerning Observed WMel Frequencies and Analyses of Habitat Variables. Public Library of Science , 2017, doi:10.1371/journal.pbio.2001894.s015.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9858
Schmidt, Tom, et al. Excel File with Data on Mosquito Densities, Wolbachia Infection Status and Housing Characteristics. Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.s016.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 989
Maas, Jan, et al. Transport Based Image Morphing with Intensity Modulation. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 563–77, doi:10.1007/978-3-319-58771-4_45.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 990 | OA
Sachdeva, Himani, and Nicholas H. Barton. “Divergence and Evolution of Assortative Mating in a Polygenic Trait Model of Speciation with Gene Flow.” Evolution; International Journal of Organic Evolution, vol. 71, no. 6, Wiley-Blackwell, 2017, pp. 1478–93, doi:10.1111/evo.13252.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 991
Chen, Chong, and Peter M. Jonas. “Synaptotagmins: That’s Why so Many.” Neuron, vol. 94, no. 4, Elsevier, 2017, pp. 694–96, doi:10.1016/j.neuron.2017.05.011.
View | DOI
 
2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017, doi:10.15479/AT:ISTA:th_815.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 993 | OA
Levina (Martius), Anna, and Viola Priesemann. “Subsampling Scaling.” Nature Communications, vol. 8, 15140, Nature Publishing Group, 2017, doi:10.1038/ncomms15140.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 994 | OA
Cherepanov, Igor, and Mikhail Lemeshko. “Fingerprints of Angulon Instabilities in the Spectra of Matrix-Isolated Molecules.” Physical Review Materials, vol. 1, no. 3, American Physical Society, 2017, doi:10.1103/PhysRevMaterials.1.035602.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 995 | OA
Bighin, Giacomo, and Mikhail Lemeshko. “Diagrammatic Approach to Orbital Quantum Impurities Interacting with a Many-Particle Environment.” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 8, 085410, American Physical Society, 2017, doi:10.1103/PhysRevB.96.085410.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson, Benjamin, et al. “Strongly Aligned Molecules inside Helium Droplets in the Near-Adiabatic Regime.” The Journal of Chemical Physics, vol. 147, no. 1, 013946, AIP, 2017, doi:10.1063/1.4983703.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu, Enderalp, et al. “Emergence of Non-Abelian Magnetic Monopoles in a Quantum Impurity Problem.” APS Physics, Physical Review Letters, vol. 119, no. 23, 235301, American Physiological Society, 2017, doi:10.1103/PhysRevLett.119.235301.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 998 | OA
Rebuffi, Sylvestre Alvise, et al. ICaRL: Incremental Classifier and Representation Learning. Vol. 2017, IEEE, 2017, pp. 5533–42, doi:10.1109/CVPR.2017.587.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina, Anastasia, and Christoph Lampert. Multi-Task Learning with Labeled and Unlabeled Tasks. Vol. 70, Omnipress, 2017, pp. 2807–16.
View | Download Submitted Version (ext.)
 
2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:10.1007/978-3-319-44479-6_17.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 431 | OA
Alistarh, Dan-Adrian, et al. QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding. Vol. 2017, Neural Information Processing Systems Foundation, Inc., 2017, pp. 1710–21.
View | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, et al. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” Proceedings of Machine Learning Research, vol. 70, PMLR, 2017, pp. 4035–43.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 481 | OA
Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 681 | OA
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi:10.1016/j.ic.2016.10.012.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, Ward, et al. “Cis-Cinnamic Acid Is a Novel Natural Auxin Efflux Inhibitor That Promotes Lateral Root Formation.” Plant Physiology, vol. 173, no. 1, American Society of Plant Biologists, 2017, pp. 552–65, doi:10.1104/pp.16.00943.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
View | Files available | DOI
 
2017 | Book | IST-REx-ID: 567
Erdös, László, and Horng Yau. A Dynamical Approach to Random Matrix Theory. Vol. 28, American Mathematical Society, 2017, doi:10.1090/cln/028.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 649
Maas, Jan. “Entropic Ricci Curvature for Discrete Spaces.” Modern Approaches to Discrete Curvature, edited by Laurent Najman and Pascal Romon, vol. 2184, Springer, 2017, pp. 159–74, doi:10.1007/978-3-319-58002-9_5.
View | DOI
 
2017 | Conference (Editor) | IST-REx-ID: 638
Bogomolov, Sergiy, et al., editors. Numerical Software Verification. Vol. 10152, Springer, 2017, doi:10.1007/978-3-319-54292-8.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:10.1007/s00440-015-0692-y.
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017, doi:10.15479/AT:ISTA:th_916.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1013 | OA
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore, Alvin, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.” Nature Genetics, vol. 49, no. 3, Nature Publishing Group, 2017, pp. 358–66, doi:10.1038/ng.3764.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, Ulrich, et al. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience, vol. 45, no. 1, Wiley-Blackwell, 2017, pp. 45–57, doi:10.1111/ejn.13418.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 961 | OA
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria, 2017, doi:10.15479/AT:ISTA:th_825.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1026
Agus, Viviana, and Harald L. Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” Current Opinion in Biotechnology, vol. 48, Elsevier, 2017, pp. 8–14, doi:10.1016/j.copbio.2017.02.006.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1433 | OA
Bauer, Ulrich, et al. “Phat - Persistent Homology Algorithms Toolbox.” Journal of Symbolic Computation, vol. 78, Academic Press, 2017, pp. 76–90, doi:10.1016/j.jsc.2016.03.008.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 840 | OA
Vukušić, Lada, et al. “Fast Hole Tunneling Times in Germanium Hut Wires Probed by Single-Shot Reflectometry.” Nano Letters, vol. 17, no. 9, American Chemical Society, 2017, pp. 5706–10, doi:10.1021/acs.nanolett.7b02627.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean-Payoff Parity Games.” Leibniz International Proceedings in Informatics, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.39.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee, Krishnendu, et al. Improved Set-Based Symbolic Algorithms for Parity Games. Vol. 82, 18, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017, doi:10.4230/LIPICS.CSL.2017.18.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice, Jason, et al. Data from: Error-Robust Modes of the Retinal Population Code. Dryad, 2017, doi:10.5061/dryad.1f1rc.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1199 | OA
Barton, Nicholas H. “How Does Epistasis Influence the Response to Selection?” Heredity, vol. 118, Nature Publishing Group, 2017, pp. 96–109, doi:10.1038/hdy.2016.109.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge, Alison, and Nicholas H. Barton. Data for: Establishment in a New Habitat by Polygenic Adaptation. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 914 | OA
Giehr, Julia, et al. “Ant Queens Increase Their Reproductive Efforts after Pathogen Infection.” Royal Society Open Science, vol. 4, no. 7, 170547, Royal Society, The, 2017, doi:10.1098/rsos.170547.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska, Maros, and Calin C. Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” Biology Letters, vol. 13, no. 12, 20170646, The Royal Society, 2017, doi:10.1098/rsbl.2017.0646.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Greenwood, Jenny, et al. Additional File 1: Table S1. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d1.v1.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska, Maros, and Calin C. Guet. Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification. The Royal Society, 2017, doi:10.6084/m9.figshare.5633917.v1.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9853 | OA
Giehr, Julia, et al. Raw Data from Ant Queens Increase Their Reproductive Efforts after Pathogen Infection. The Royal Society, 2017, doi:10.6084/m9.figshare.5117788.v1.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1077 | OA
Fernandes Redondo, Rodrigo A., et al. “Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family.” Journal of the Royal Society Interface, vol. 14, no. 126, 20160139, Royal Society of London, 2017, doi:10.1098/rsif.2016.0139.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1006 | OA
Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics, vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:10.1186/s12864-017-3705-7.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1019
Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Heredity, vol. 119, no. 1, Nature Publishing Group, 2017, pp. 27–34, doi:10.1038/hdy.2017.12.
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9861 | OA
Argyridou, Eliza, et al. Data from: X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster. Dryad, 2017, doi:10.5061/dryad.02f6r.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9860 | OA
Greenwood, Jenny, et al. Additional File 5: Table S3. of Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae. Springer Nature, 2017, doi:10.6084/m9.figshare.c.3756974_d5.v1.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner, Florian, et al. “The RNA-Binding Protein Tristetraprolin Schedules Apoptosis of Pathogen-Engaged Neutrophils during Bacterial Infection.” The Journal of Clinical Investigation, vol. 127, no. 6, American Society for Clinical Investigation, 2017, pp. 2051–65, doi:10.1172/JCI80631.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, Martin, et al. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” PLoS One, vol. 12, no. 3, e0174066, Public Library of Science, 2017, doi:10.1371/journal.pone.0174066.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 664
Assen, Frank P., and Michael K. Sixt. “The Dynamic Cytokine Niche.” Immunity, vol. 46, no. 4, Cell Press, 2017, pp. 519–20, doi:10.1016/j.immuni.2017.04.006.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 735
Barone, Vanessa, et al. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell, vol. 43, no. 2, Cell Press, 2017, pp. 198–211, doi:10.1016/j.devcel.2017.09.014.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai, Hikari, et al. “PirB Regulates Asymmetries in Hippocampal Circuitry.” PLoS One, vol. 12, no. 6, e0179377, Public Library of Science, 2017, doi:10.1371/journal.pone.0179377.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath, Stephanie, et al. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition, vol. 56, no. 16, Wiley-Blackwell, 2017, pp. 4608–11, doi:10.1002/anie.201611998.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” Auxins and Cytokinins in Plant Biology, vol. 1569, Springer, 2017, pp. 1–29, doi:10.1007/978-1-4939-6831-2_1.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 676 | OA
Krens, Gabriel, et al. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development, vol. 144, no. 10, Company of Biologists, 2017, pp. 1798–806, doi:10.1242/dev.144964.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:10.1038/ncb3492.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück, Magdalena, and Calin C. Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife, vol. 6, e25100, eLife Sciences Publications, 2017, doi:10.7554/eLife.25100.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, Marta, et al. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology, vol. 13, no. 7, e1005609, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” Current Opinion in Biotechnology, vol. 46, Elsevier, 2017, pp. 90–97, doi:10.1016/j.copbio.2017.02.013.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, Georg S., et al. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.” Proceedings of the Artificial Life Conference 2016, vol. 28, MIT Press, 2016, pp. 142–43, doi:10.7551/978-0-262-33936-0-ch029.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 479
Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator. OSA, 2016, doi:10.1364/NP.2016.NTh3A.6.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 510 | OA
Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior, vol. 11, no. 6, e1191734, Landes Bioscience, 2016, doi:10.1080/15592324.2016.1191734.
View | DOI | Download Submitted Version (ext.)
 
2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis, Thomas, and David Field. Flower Colour Data and Phylogeny (NEXUS) Files. IST Austria, 2016, doi:10.15479/AT:ISTA:34.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, Thomas. Data on Pollinator Observations and Offpsring Phenotypes. IST Austria, 2016, doi:10.15479/AT:ISTA:35.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis, Thomas. Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data. IST Austria, 2016, doi:10.15479/AT:ISTA:36.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5553 | OA
Field, David, and Thomas Ellis. Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012. IST Austria, 2016, doi:10.15479/AT:ISTA:37.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul, Murat. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria, 2016, doi:10.15479/AT:ISTA:43.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, Martin, et al. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” IST Austria, 2016, doi:10.15479/AT:ISTA:45.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, Paul. Synthetic Discrete Tomography Problems. IST Austria, 2016, doi:10.15479/AT:ISTA:46.
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016, doi:10.15479/AT:ISTA:48.
View | Files available | DOI
 
2016 | Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, et al. “On Some Local Topological Properties of Naive Discrete Sphere.” Computational Topology in Image Context, vol. 9667, Springer Nature, 2016, pp. 253–64, doi:10.1007/978-3-319-39441-1_23.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” Discrete Geometry for Computer Imagery, vol. 9647, Springer Nature, 2016, pp. 256–67, doi:10.1007/978-3-319-32360-2_20.
View | DOI
 

Search

Filter Publications