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.

474 Publications


2023 | Published | Journal Article | IST-REx-ID: 13207 | OA
Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” Journal of Spectral Theory. EMS Press, 2023. https://doi.org/10.4171/JST/439.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 261–71. Association for Computing Machinery, 2023. https://doi.org/10.1145/3558481.3591082.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13274 | OA
Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.131.034002.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13286 | OA
Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13286.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.129.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Thesis | MS | IST-REx-ID: 13331 | OA
Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13331.
[Published Version] View | Files available | DOI
 

2023 | Draft | Preprint | IST-REx-ID: 20572 | OA
Dello Schiavo, Lorenzo, and Filippo Quattrocchi. “Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2309.11292.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Abstract | IST-REx-ID: 14863 | OA
Polesello, Andrea, Caroline J Muller, Claudia Pasquero, and Agostino N. Meroni. “Intensification Mechanisms of Tropical Cyclones.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-6157.
[Published Version] View | Files available | DOI
 

2023 | Draft | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM, 2023. https://doi.org/10.1145/3606037.3606836.
View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 13314 | OA
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13984 | OA
Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13984.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14280 | OA
Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14422 | OA
Confavreux, Basile J. “Synapseek: Meta-Learning Synaptic Plasticity Rules.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14422.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14622 | OA
Sack, Stefan. “Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14622.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14323 | OA
Kuzmicz-Kowalska, Katarzyna. “Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14323.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 14697 | OA
Stopp, Julian A. “Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14697.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed