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.

11676 Publications


2018 | Published | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.11.
[Published Version] View | Files available | DOI | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48, doi:10.1109/Cybermatics_2018.2018.00231.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery, 2018, doi:10.1145/3210257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07, doi:10.24963/ijcai.2018/653.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 442 | OA
Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol, vol. 8, no. 1, Bio-protocol, 2018, doi:10.21769/BioProtoc.2685.
[Published Version] View | Files available | DOI
 

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 | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 11518 | OA
Matthee, Jorryt J., et al. “ALMA Reveals Metals yet No Dust within Multiple Components in CR7.” The Astrophysical Journal, vol. 851, no. 2, 145, IOP Publishing, 2017, doi:10.3847/1538-4357/aa9931.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska, Ewa P., et al. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” Journal of Computational Science, vol. 18, Elsevier, 2017, pp. 85–94, doi:10.1016/j.jocs.2016.06.007.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 11561 | OA
Matthee, Jorryt J., et al. “Boötes-HiZELS: An Optical to near-Infrared Survey of Emission-Line Galaxies at z = 0.4–4.7.” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 1, Oxford University Press, 2017, pp. 629–49, doi:10.1093/mnras/stx1569.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11562 | OA
Sobral, David, et al. “The CALYMHA Survey: Lyα Luminosity Function and Global Escape Fraction of Lyα Photons at z = 2.23.” Monthly Notices of the Royal Astronomical Society, vol. 466, no. 1, Oxford University Press, 2017, pp. 1242–58, doi:10.1093/mnras/stw3090.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11564 | OA
Matthee, Jorryt J., et al. “The Production and Escape of Lyman-Continuum Radiation from Star-Forming Galaxies at z ∼ 2 and Their Redshift Evolution.” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 3, Oxford University Press, 2017, pp. 3637–55, doi:10.1093/mnras/stw2973.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11565 | OA
Matthee, Jorryt J., et al. “The Origin of Scatter in the Stellar Mass–Halo Mass Relation of Central Galaxies in the EAGLE Simulation.” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 2, Oxford University Press, 2017, pp. 2381–96, doi:10.1093/mnras/stw2884.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11566 | OA
Stroe, Andra, et al. “A 1.4 Deg2 Blind Survey for C II], C III] and C IV at z ∼ 0.7–1.5 – I. Nature, Morphologies and Equivalent Widths .” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 3, Oxford University Press, 2017, pp. 2558–74, doi:10.1093/mnras/stx1712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11567 | OA
Stroe, Andra, et al. “A 1.4 Deg2 Blind Survey for C II], C III] and C IV at z ∼ 0.7–1.5 – II. Luminosity Functions and Cosmic Average Line Ratios.” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 3, Oxford University Press, 2017, pp. 2575–86, doi:10.1093/mnras/stx1713.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11572 | OA
Matthee, Jorryt J., et al. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1, Oxford University Press, 2017, pp. 772–87, doi:10.1093/mnras/stx2061.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 11573 | OA
Turner, O. J., et al. “The KMOS Deep Survey (KDS) – I. Dynamical Measurements of Typical Star-Forming Galaxies at z ≃ 3.5.” Monthly Notices of the Royal Astronomical Society, vol. 471, no. 2, Oxford University Press, 2017, pp. 1280–320, doi:10.1093/mnras/stx1366.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer, Sebastian, et al. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.” Scientific Reports, vol. 7, 40012, Nature Publishing Group, 2017, doi:10.1038/srep40012.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1161 | OA
Müller, Jan, and Michael K. Sixt. “Cell Migration: Making the Waves.” Current Biology, vol. 27, no. 1, Cell Press, 2017, pp. R24–25, doi:10.1016/j.cub.2016.11.035.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed