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.

2079 Publications


2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version] View | Files available | DOI
 

2020 | Published | Book Chapter | IST-REx-ID: 9096
Schmid-Hempel, P., & Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature. https://doi.org/10.1007/978-3-319-90306-4_94-1
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9129
Shamekh, S., Muller, C. J., Duvel, J.-P., & D’Andrea, F. (2020). How do ocean warm anomalies favor the aggregation of deep convective clouds? Journal of the Atmospheric Sciences. American Meteorological Society. https://doi.org/10.1175/jas-d-18-0369.1
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9157 | OA
Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 9249 | OA
Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2020). Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. De Gruyter. https://doi.org/10.1515/mathm-2020-0106
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 9299 | OA
Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9578 | OA
Bucić, M., Kwan, M. A., Pokrovskiy, A., Sudakov, B., Tran, T., & Wagner, A. Z. (2020). Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-020-2035-7
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9581 | OA
Kwan, M. A. (2020). Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. Wiley. https://doi.org/10.1112/plms.12373
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 9583 | OA
Ferber, A., & Kwan, M. A. (2020). Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. Cambridge University Press. https://doi.org/10.1017/fms.2020.29
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Research Data Reference | IST-REx-ID: 9780 | OA
Schlemmer, W., Nothdurft, P., Petzold, A., Riess, G., Frühwirt, P., Schmallegger, M., … Spirk, S. (2020). CCDC 1991959: Experimental Crystal Structure Determination. CCDC. https://doi.org/10.5517/ccdc.csd.cc24vsrk
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 6906 | OA
Boccato, C., Brennecke, C., Cenatiempo, S., & Schlein, B. (2020). Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-019-03555-9
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 6976
Dieleman, P., Vasmel, N., Waitukaitis, S. R., & van Hecke, M. (2020). Jigsaw puzzle design of pluripotent origami. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-019-0677-3
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 7004 | OA
Rapcak, M., Soibelman, Y., Yang, Y., & Zhao, G. (2020). Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03575-5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7033 | OA
Donahue, R., Maes, M. E., Grosser, J., & Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. Springer Nature. https://doi.org/10.1007/s12035-019-01783-7
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 7213 | OA
Bhatia, S., Chatterjee, B., Nathani, D., & Kaul, M. (2020). A persistent homology perspective to the link prediction problem. In Complex Networks and their applications VIII (Vol. 881, pp. 27–39). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-36687-2_3
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7220
Dodier, P., Auzinger, T., Mistelbauer, G., Wang, W. T., Ferraz-Leite, H., Gruber, A., … Bavinzski, G. (2020). Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. Elsevier. https://doi.org/10.1016/j.wneu.2019.11.038
View | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7234 | OA
Obeidy, P., Ju, L. A., Oehlers, S. H., Zulkhernain, N. S., Lee, Q., Galeano Niño, J. L., … Weninger, W. (2020). Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology. Wiley. https://doi.org/10.1111/imcb.12304
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7235 | OA
Lieb, E. H., & Seiringer, R. (2020). Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-019-02322-3
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 74 | OA
Akopyan, A., & Karasev, R. (2020). Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In B. Klartag & E. Milman (Eds.), Geometric Aspects of Functional Analysis (Vol. 2256, pp. 1–27). Springer Nature. https://doi.org/10.1007/978-3-030-36020-7_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7417 | OA
Sinclair, S. A., Gille, S., Pauly, M., & Krämer, U. (2020). Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. Informa UK Limited. https://doi.org/10.1080/15592324.2019.1687185
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed