Please note that IST 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.

140 Publications


2021 | Thesis | IST-REx-ID: 9022 | OA
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, IST Austria, 2021.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9056 | OA
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, IST Austria, 2021.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7996 | OA
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8340
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications