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.

2033 Publications


2017 | Published | Journal Article | IST-REx-ID: 994 | OA
Cherepanov, I., & Lemeshko, M. (2017). Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.1.035602
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. https://doi.org/10.1007/978-3-319-44479-6_17
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_3
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1151 | OA
Simonini, S., Deb, J., Moubayidin, L., Stephenson, P., Valluru, M., Freire Rios, A., … Östergaard, L. (2016). A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.285361.116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 11575 | OA
Lagos, C. del P., Theuns, T., Schaye, J., Furlong, M., Bower, R. G., Schaller, M., … Matthee, J. J. (2016). The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw717
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11578 | OA
Matthee, J. J., Sobral, D., Oteo, I., Best, P., Smail, I., Röttgering, H., & Paulino-Afonso, A. (2016). The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw322
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2016). Hanani-Tutte for radial planarity II (Vol. 9801, pp. 468–481). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_36
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, R. (2016). C-planarity of embedded cyclic c-graphs (Vol. 9801, pp. 94–106). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_8
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, K. Z., & Maciej, S. (2016). Pseudoentropy: Lower-bounds for chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC: Theory of Cryptography Conference, Beijing, China: Springer. https://doi.org/10.1007/978-3-662-53641-4_8
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 11834 | OA
Goranci, G., Henzinger, M., & Thorup, M. (2016). Incremental exact min-cut in poly-logarithmic amortized update time. In 24th Annual European Symposium on Algorithms (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ESA.2016.46
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11835 | OA
Henzinger, M., & Neumann, S. (2016). Incremental and fully dynamic subgraph connectivity for emergency planning. In 24th Annual European Symposium on Algorithms (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ESA.2016.48
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11836 | OA
Cheung, Y. K., Goranci, G., & Henzinger, M. (2016). Graph minors for preserving terminal distances approximately - lower and upper bounds. In 43rd International Colloquium on Automata, Languages, and Programming (Vol. 55). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2016.131
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11891 | OA
Henzinger, M., Krinninger, S., & Nanongkai, D. (2016). Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/140957299
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/FOCS.2016.88
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11988
Kappe, C., Monteiro, J., Pieber, B., & Corrêa, A. (2016). Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0035-1560317
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: Formal Methods, Limassol, Cyprus: Springer. https://doi.org/10.1007/978-3-319-48989-6_47
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, H., Abbas, M., Han, H., Song, S., Robert, H., & Friml, J. (2016). Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.08.067
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1216 | OA
Kasten, J., Reininghaus, J., Hotz, I., Hege, H., Noack, B., Daviller, G., & Morzyński, M. (2016). Acceleration feature points of unsteady shear flows. Archives of Mechanics. Polish Academy of Sciences Publishing House.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 122 | OA
Waitukaitis, S. R., & Van Hecke, M. (2016). Origami building blocks: Generic and special four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. American Physiological Society. https://doi.org/10.1103/PhysRevE.93.023003
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed