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.

661 Publications


2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 9588 | OA
Bandeira, Afonso S., et al. “Resilience for the Littlewood–Offord Problem.” Advances in Mathematics, vol. 319, Elsevier, 2017, pp. 292–312, doi:10.1016/j.aim.2017.08.031.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 9589 | OA
Greenhill, Catherine, et al. “The Average Number of Spanning Trees in Sparse Graphs with given Degrees.” European Journal of Combinatorics, vol. 63, Elsevier, 2017, pp. 6–25, doi:10.1016/j.ejc.2017.02.003.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 9590 | OA
Krivelevich, Michael, et al. “Bounded-Degree Spanning Trees in Randomly Perturbed Graphs.” SIAM Journal on Discrete Mathematics, vol. 31, no. 1, Society for Industrial & Applied Mathematics, 2017, pp. 155–71, doi:10.1137/15m1032910.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Thesis | PhD | IST-REx-ID: 961 | OA
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_825.
[Published Version] View | Files available | DOI
 

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

earlier version | 2017 | Published | 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.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 9660 | OA
Cheng, Bingqing, et al. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.” The Journal of Chemical Physics, vol. 147, no. 10, 104707, AIP Publishing, 2017, doi:10.1063/1.4997180.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 9661 | OA
Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.” The Journal of Chemical Physics, vol. 146, no. 3, 034106, AIP Publishing, 2017, doi:10.1063/1.4973883.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

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.
[Published Version] 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.
[Published Version] View | Files available | DOI | Download Published 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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 642 | OA
Gerencser, Mate, and István Gyöngy. “Localization Errors in Solving Stochastic Partial Differential Equations in the Whole Space.” Mathematics of Computation, vol. 86, no. 307, American Mathematical Society, 2017, pp. 2373–97, doi:10.1090/mcom/3201.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

earlier version | 2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 643
Sun, Wuping, et al. “Effects of B Vitamins Overload on Plasma Insulin Level and Hydrogen Peroxide Generation in Rats.” Chinese Journal of Physiology, vol. 60, no. 4, Chinese Physiological Society, 2017, pp. 207–14, doi:10.4077/CJP.2017.BAF469.
View | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov, Vladimir, et al. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:10.1137/16M1091836.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 645 | OA
Ashok, Pranav, et al. Value Iteration for Long Run Average Reward in Markov Decision Processes. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10426, Springer, 2017, pp. 201–21, doi:10.1007/978-3-319-63387-9_10.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 646 | OA
Kuske, Jan, et al. A Novel Convex Relaxation for Non Binary Discrete Tomography. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 235–46, doi:10.1007/978-3-319-58771-4_19.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 648 | OA
Skórski, Maciej. On the Complexity of Breaking Pseudoentropy. Edited by Gerhard Jäger and Silvia Steila, vol. 10185, Springer, 2017, pp. 600–13, doi:10.1007/978-3-319-55911-7_43.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed