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

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

3929 Publications


2017 | Journal Article | IST-REx-ID: 1020 | OA
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” ACS Applied Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments on quasi Keplerian flows,” Journal of Fluid Mechanics, vol. 817. Cambridge University Press, pp. 21–34, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
P. Pranav et al., “The topology of the cosmic web in terms of persistent Betti numbers,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4. Oxford University Press, pp. 4281–4310, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
C.-P. J. Heisenberg, “Cell biology: Stretched divisions,” Nature, vol. 543, no. 7643. Nature Publishing Group, pp. 43–44, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Univ.-Bibliothek Heidelberg, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
View | Files available | arXiv
 

2017 | Thesis | IST-REx-ID: 938 | OA
M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons,” Physical Review Letters, vol. 119, no. 3. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 941
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
M. P. Zagórski et al., “Decoding of position in the developing neural tube from antiparallel morphogen gradients,” Science, vol. 356, no. 6345. American Association for the Advancement of Science, pp. 1379–1383, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
R. J. Beattie et al., “Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells,” Neuron, vol. 94, no. 3. Cell Press, p. 517–533.e3, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 945 | OA
A. K. Huylmans, A. Macon, and B. Vicoso, “Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome,” Molecular Biology and Evolution, vol. 34, no. 10. Oxford University Press, pp. 2637–2649, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
D. De Martino, F. Capuani, and A. De Martino, “Quantifying the entropic cost of cellular growth control,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 951 | OA
T. Schmidt et al., “Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti,” PLoS Biology, vol. 15, no. 5. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
M. Turelli and N. H. Barton, “Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti,” Theoretical Population Biology, vol. 115. Elsevier, pp. 45–60, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
D. Charlesworth, N. H. Barton, and B. Charlesworth, “The sources of adaptive evolution,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855. Royal Society, The, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
M. Lagator, T. Paixao, N. H. Barton, J. P. Bollback, and C. C. Guet, “On the mechanistic nature of epistasis in a canonical cis-regulatory element,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
T. Friedlander, R. Prizak, N. H. Barton, and G. Tkačik, “Evolution of new regulatory functions on biophysically realistic fitness landscapes,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
E. Carlen and J. Maas, “Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance,” Journal of Functional Analysis, vol. 273, no. 5. Academic Press, pp. 1810–1869, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
B. Clifton et al., “Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 71–87.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 959 | OA
D. De Martino, “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, p. 062419, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 960 | OA
A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9707
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842
A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9844
N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
M. Lukacisinova, S. Novak, and T. Paixao, “Modelling and simulation details.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
M. Lukacisinova, S. Novak, and T. Paixao, “Extensions of the model.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9853
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Raw data from ant queens increase their reproductive efforts after pathogen infection.” The Royal Society, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Supplementary appendix.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9856
T. Schmidt et al., “Supporting Information concerning additional likelihood analyses and results.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9857
T. Schmidt et al., “Supporting information concerning observed wMel frequencies and analyses of habitat variables.” Public Library of Science , 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9858
T. Schmidt et al., “Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9859
J. Greenwood 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.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9860
J. Greenwood 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.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9861
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.” Dryad, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
G. Nanda et al., “Current-phase relation of ballistic graphene Josephson junctions,” Nano Letters, vol. 17, no. 6. American Chemical Society, pp. 3396–3401, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 989
J. Maas, M. Rumpf, and S. Simon, “Transport based image morphing with intensity modulation,” presented at the SSVM:  Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 563–577.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
H. Sachdeva and N. 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, pp. 1478–1493, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 991
C. Chen and P. M. Jonas, “Synaptotagmins: That’s why so many,” Neuron, vol. 94, no. 4. Elsevier, pp. 694–696, 2017.
View | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
A. Levina (Martius) and V. Priesemann, “Subsampling scaling,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 994 | OA
I. Cherepanov and M. Lemeshko, “Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules,” Physical Review Materials, vol. 1, no. 3. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 995 | OA
G. Bighin and M. 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. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 996 | OA
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, and H. Stapelfeldt, “Strongly aligned molecules inside helium droplets in the near-adiabatic regime,” The Journal of Chemical Physics, vol. 147, no. 1. AIP, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 997 | OA
E. Yakaboylu, A. Deuchert, and M. Lemeshko, “Emergence of non-abelian magnetic monopoles in a quantum impurity problem,” APS Physics, Physical Review Letters, vol. 119, no. 23. American Physiological Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
S. A. Rebuffi, A. Kolesnikov, G. Sperl, and C. Lampert, “iCaRL: Incremental classifier and representation learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 5533–5542.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
A. Pentina and C. Lampert, “Multi-task learning with labeled and unlabeled tasks,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 2807–2816.
View | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 481 | OA
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
K. Chatterjee, L. Doyen, E. Filiot, and J. Raskin, “Doomsday equilibria for omega-regular games,” Information and Computation, vol. 254. Elsevier, pp. 296–315, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
W. Steenackers 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, pp. 552–565, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “The cost of exactness in quantitative reachability,” in Models, Algorithms, Logics and Tools, vol. 10460, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, and R. Mardare, Eds. Springer, 2017, pp. 367–381.
View | Files available | DOI
 

2017 | Book | IST-REx-ID: 567
L. Erdös and H. Yau, A Dynamical Approach to Random Matrix Theory, vol. 28. American Mathematical Society, 2017.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 649
J. Maas, “Entropic Ricci curvature for discrete spaces,” in Modern Approaches to Discrete Curvature, vol. 2184, L. Najman and P. Romon, Eds. Springer, 2017, pp. 159–174.
View | DOI
 

2017 | Conference (Editor) | IST-REx-ID: 638
S. Bogomolov, M. Martel, and P. Prabhakar, Eds., Numerical Software Verification, vol. 10152. Springer, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202 | OA
M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 561 | OA
M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1013 | OA
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847
M. Pleska and C. 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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 653 | OA
A. Makohon Moore 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, pp. 358–366, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
U. Sauerzopf 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, pp. 45–57, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 961 | OA
V. Barone, “Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
V. Agus and H. L. Janovjak, “Optogenetic methods in drug screening: Technologies and applications,” Current Opinion in Biotechnology, vol. 48. Elsevier, pp. 8–14, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 840 | OA
L. Vukušić, J. Kukucka, H. Watzinger, and G. Katsaros, “Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry,” Nano Letters, vol. 17, no. 9. American Chemical Society, pp. 5706–5710, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
K. Chatterjee, M. H. Henzinger, and A. Svozil, “Faster algorithms for mean-payoff parity games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Improved set-based symbolic algorithms for parity games,” presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden, 2017, vol. 82.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
V. Barone 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, pp. 198–211, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
G. Krens 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, pp. 1798–1806, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA
M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications