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.

6973 Publications


2022 | Book Chapter | IST-REx-ID: 11440 | OA
Bleile B, Garin A, Heiss T, Maggs K, Robins V. 2022.The persistent homology of dual digital image constructions. In: Research in Computational Topology 2. Association for Women in Mathematics Series, vol. 30, 1–26.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Book Chapter | IST-REx-ID: 11456
Artan M, de Bono M. 2022.Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. In: Behavioral Neurogenetics. Neuromethods, vol. 181, 277–294.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 11638 | OA
Ngampruetikorn V, Sachdeva V, Torrence J, Humplik J, Schwab DJ, Palmer SE. 2022. Inferring couplings in networks across order-disorder phase transitions. Physical Review Research. 4(2), 023240.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11702 | OA
Barton NH. 2022. The ‘New Synthesis’. Proceedings of the National Academy of Sciences of the United States of America. 119(30), e2122147119.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11713 | OA
Nikolic N, Sauert M, Albanese TG, Moll I. 2022. Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. 15, 173.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 12010 | OA
Brunnbauer A, Berducci L, Brandstatter A, Lechner M, Hasani R, Rus D, Grosu R. 2022. Latent imagination facilitates zero-shot transfer in autonomous racing. 2022 International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, 7513–7520.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12072 | OA
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12088
Sahu R, Hease WJ, Rueda Sanchez AR, Arnold GM, Qiu L, Fink JM. 2022. Realizing a quantum-enabled interconnect between microwave and telecom light. Conference on Lasers and Electro-Optics. CLEO: QELS Fundamental Science, FW4D.4.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 2022. Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 29.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12134 | OA
Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04LT02.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12156 | OA
Zoller B, Gregor T, Tkačik G. 2022. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 31(9), 100435.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12182 | OA
Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. 2022. Brief announcement: Temporal locality in online algorithms. 36th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol. 246, 52.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12179 | OA
Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3), 1469–1487.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12276 | OA
Ljubotina M, Roos B, Abanin DA, Serbyn M. 2022. Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. 3(3), 030343.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Book Chapter | IST-REx-ID: 12303 | OA
Mirković I, Yang Y, Zhao G. 2022.Loop Grassmannians of Quivers and Affine Quantum Groups. In: Representation Theory and Algebraic Geometry. Trends in Mathematics, , 347–392.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12307
Shipman BA, Stephenson ER. 2022. Tangible topology through the lens of limits. PRIMUS. 32(5), 593–609.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12508 | OA
Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12509 | OA
Avni G, Henzinger TA. 2022. An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer ScienceLeibniz International Proceedings in Informatics (LIPIcs) vol. 241, 3:1-3:6.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

supervisor%3D2C6FA9CC-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications