Please note that IST 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.

6694 Publications


2017 | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen, Andi H, Christian F Düllberg, Christine Mieck, Martin Loose, and Simon Hippenmeyer. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience. Frontiers Research Foundation, 2017. https://doi.org/10.3389/fncel.2017.00176.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_34.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” PLoS One. Public Library of Science, 2017. https://doi.org/10.1371/journal.pone.0174066.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
Barone, Vanessa, Moritz Lang, Gabriel Krens, Saurabh Pradhan, Shayan Shamipour, Keisuke Sako, Mateusz K Sikora, Calin C Guet, and Carl-Philipp J Heisenberg. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell. Cell Press, 2017. https://doi.org/10.1016/j.devcel.2017.09.014.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/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. Elsevier, 2017. https://doi.org/10.1016/j.copbio.2017.02.013.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen, Frank P, and Michael K Sixt. “The Dynamic Cytokine Niche.” Immunity. Cell Press, 2017. https://doi.org/10.1016/j.immuni.2017.04.006.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai, Hikari, Aiko Kawahara, Keiko Hirayama, Matthew J Case, Shotaro Aino, Masahiro Miyabe, Ken Wakita, et al. “PirB Regulates Asymmetries in Hippocampal Circuitry.” PLoS One. Public Library of Science, 2017. https://doi.org/10.1371/journal.pone.0179377.
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. Springer, 2017. https://doi.org/10.1007/978-1-4939-6831-2_1.
View | Files available | DOI
 

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. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.25100.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Krens, Gabriel, Jim Veldhuis, Vanessa Barone, Daniel Capek, Jean-Léon Maître, Wayne Brodland, and Carl-Philipp J Heisenberg. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development. Company of Biologists, 2017. https://doi.org/10.1242/dev.144964.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny, Michael, Zsuzsa Ákos, Silvia Grigolon, Shayan Shamipour, Verena Ruprecht, Daniel Capek, Martin Behrndt, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/ncb3492.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 261
Browning, Timothy D, and Ilya Vinogradov. “Effective Ratner Theorem for SL (2, R) ⋉R2 and Gaps in √n modulo 1.” Journal of the London Mathematical Society. John Wiley and Sons Ltd, 2016. https://doi.org/10.1112/jlms/jdw025.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 262 | OA
Browning, Timothy D, and Rachel Newton. “The Proportion of Failures of the Hasse Norm Principle.” Mathematika. Cambridge University Press, 2016. https://doi.org/10.1112/S0025579315000261.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
De La Bretèche, Régis, Timothy D Browning, and Per Salberger. “Counting Rational Points on the Cayley Ruled Cubic.” European Journal of Mathematics. Springer Nature, 2016. https://doi.org/10.1007/s40879-015-0049-1.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
Bright, Maritn, Timothy D Browning, and Daniel Loughran. “Failures of Weak Approximation in Families.” Compositio Mathematica. Cambridge University Press, 2016. https://doi.org/10.1112/S0010437X16007405.
View | DOI | Download (ext.)
 

Search

Filter Publications