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.
1755 Publications
2019 | Published | Conference Paper | IST-REx-ID: 7231 | 
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7159
D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 11826 |
B. Ancona, M. H. Henzinger, L. Roditty, V. V. Williams, and N. Wein, “Algorithms and hardness for diameter in dynamic graphs,” in 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 2019, vol. 132.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7093 |
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” Journal of Computational Geometry, vol. 10, no. 2. Computational Geometry Laborartoy, pp. 70–98, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Thesis | IST-REx-ID: 6681 |
S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 5907 |
R. Mócsai et al., “N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated,” Scientific Reports, vol. 9, no. 1. Nature Publishing Group, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 5948
H. Fu and K. Chatterjee, “Termination of nondeterministic probabilistic programs,” in International Conference on Verification, Model Checking, and Abstract Interpretation, Cascais, Portugal, 2019, vol. 11388, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 17512 |
K. R. Corley et al., “Localization of binary black hole mergers with known inclination,” Monthly Notices of the Royal Astronomical Society, vol. 488, no. 3. Oxford University Press, pp. 4459–4463, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 17556 |
J. Wolcott-Green and Z. Haiman, “H2 self-shielding with non-LTE rovibrational populations: Implications for cooling in protogalaxies,” Monthly Notices of the Royal Astronomical Society, vol. 484, no. 2. Oxford University Press, pp. 2467–2473, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 17565 |
A. M. Derdzinski, D. D’Orazio, P. Duffell, Z. Haiman, and A. MacFadyen, “Probing gas disc physics with LISA: simulations of an intermediate mass ratio inspiral in an accretion disc,” Monthly Notices of the Royal Astronomical Society, vol. 486, no. 2. Oxford University Press, pp. 2754–2765, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 9018 |
Bakail MM, Gaubert A, Andreani J, Moal G, Pinna G, Boyarchuk E, Gaillard M-C, Courbeyrette R, Mann C, Thuret J-Y, Guichard B, Murciano B, Richet N, Poitou A, Frederic C, Le Du M-H, Agez M, Roelants C, Gurard-Levin ZA, Almouzni G, Cherradi N, Guerois R, Ochsenbein F. 2019. Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. 26(11), 1573–1585.e10.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 9580 |
D. Conlon, J. Fox, M. A. Kwan, and B. Sudakov, “Hypergraph cuts above the average,” Israel Journal of Mathematics, vol. 233, no. 1. Springer, pp. 67–111, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9806 |
M. Kutzer, J. Kurtz, and S. A. O. Armitage, “Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance.” Dryad, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9900 |
O. M. Sigalova et al., “Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 7398 |
F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 7401 |
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7404 |
T. Stürner et al., “Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo,” Development, vol. 146, no. 7. The Company of Biologists, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 7411 |
H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS