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.
1850 Publications
2017 |Published| Conference Paper | IST-REx-ID: 942
Le, Xuan, et al. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Vol. F130154, ACM, 2017, pp. 593–604, doi:10.1145/3106237.3106309.
View
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 833 | 
Heiss, Teresa, and Hubert Wagner. Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. Edited by Michael Felsberg et al., vol. 10424, Springer, 2017, pp. 397–409, doi:10.1007/978-3-319-64689-3_32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 799 |
Kitakura, Saeko, et al. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology, vol. 58, no. 10, 1801–1811, Oxford University Press, 2017, doi:10.1093/pcp/pcx118.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 800 |
Strüber, Michael, et al. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications, vol. 8, no. 1, 758, Nature Publishing Group, 2017, doi:10.1038/s41467-017-00936-3.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 727
Mueller, Jan, et al. “Load Adaptation of Lamellipodial Actin Networks.” Cell, vol. 171, no. 1, Cell Press, 2017, pp. 188–200, doi:10.1016/j.cell.2017.07.051.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1146
Sun, Wuping, et al. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” Clinical Nutrition, vol. 36, no. 4, Elsevier, 2017, pp. 1136–42, doi:10.1016/j.clnu.2016.07.016.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 1194 |
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 614 |
Fraisse, Christelle, et al. “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Nature Communications, vol. 8, no. 1, 1486, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01663-5.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 |Published| Book Chapter | IST-REx-ID: 424 |
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.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 639 |
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.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 949 |
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.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |Published| Journal Article | IST-REx-ID: 100 |
Aasen, David, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X, vol. 6, no. 3, 031016, American Physical Society, 2016, doi:10.1103/PhysRevX.6.031016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1115 |
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO₃ WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1151 |
Simonini, Sara, et al. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development, vol. 30, no. 20, Cold Spring Harbor Laboratory Press, 2016, pp. 2286–96, doi:10.1101/gad.285361.116.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Journal Article | IST-REx-ID: 11575 |
Lagos, Claudia del P., et al. “The Fundamental Plane of Star Formation in Galaxies Revealed by the EAGLE Hydrodynamical Simulations.” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 3, Oxford University Press, 2016, pp. 2632–50, doi:10.1093/mnras/stw717.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11578 |
Matthee, Jorryt J., et al. “The CALYMHA Survey: Lyα Escape Fraction and Its Dependence on Galaxy Properties at z = 2.23.” Monthly Notices of the Royal Astronomical Society, vol. 458, no. 1, Oxford University Press, 2016, pp. 449–67, doi:10.1093/mnras/stw322.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1177 |
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:10.1007/s00453-015-9997-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1179 |
Pietrzak, Krzysztof Z., and Skorski Maciej. Pseudoentropy: Lower-Bounds for Chain Rules and Transformations. Vol. 9985, Springer, 2016, pp. 183–203, doi:10.1007/978-3-662-53641-4_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
Cheung, Yun Kuen, et al. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ICALP.2016.131.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv