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.

11357 Publications


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: 959 | OA
De Martino, Daniele. “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, 2017, p. 062419, doi:10.1103/PhysRevE.95.062419.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | 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
 

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 | Published | Journal Article | IST-REx-ID: 463 | OA
Altmeyer, Sebastian, et al. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” Chaos, vol. 27, no. 11, 113112, AIP Publishing, 2017, doi:10.1063/1.5002771.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 466 | OA
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(2:15)2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 467 | OA
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 470 | OA
Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 471 | OA
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic, vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 472
Eguchi, Kohgaku, et al. “Wild-Type Monomeric α-Synuclein Can Impair Vesicle Endocytosis and Synaptic Fidelity via Tubulin Polymerization at the Calyx of Held.” European Journal of Neuroscience, vol. 37, no. 25, Wiley-Blackwell, 2017, pp. 6043–52, doi:10.1523/JNEUROSCI.0179-17.2017.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 481 | OA
Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 483 | OA
Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed