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.

6293 Publications


2020 | Published | Thesis | PhD | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8361 | OA
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12), 228803.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8366 | OA
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov R. 2020. Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:8375.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2020. Brief Announcement: Why Extension-Based Proofs Fail. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 54–56.
View | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8386 | OA
Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8390 | OA
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan C. 2020. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 39(4), 65.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8536 | OA
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: International Symposium on Information Theory vol. 2020–June, 401–406.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. 2020. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 53(3), 663–671.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari JL, Gridchyn I, Schönenberger P. 2020. Optogenetic alteration of hippocampal network activity, Institute of Science and Technology Austria, 10.15479/AT:ISTA:8563.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8568 | OA
Prehal C, Fitzek H, Kothleitner G, Presser V, Gollas B, Freunberger SA, Abbas Q. 2020. Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. 11, 4838.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 8571 | OA
Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Conference Paper | IST-REx-ID: 8572 | OA
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8574 | OA
Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed