en
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.
76 Publications
2016 | Thesis | IST-REx-ID: 1130
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
View
| Files available
| Download (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1123
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
View
| Files available
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1128
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
View
| Files available
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1131
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, IST Austria, 2016.
View
| Files available
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1129
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
View
| Files available
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1124
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, IST Austria, 2016.
View
| Files available
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1396
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View
| Files available
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1125
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
View
| Files available
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1397
Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
View
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1121
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.
View
| Files available
| Download (ext.)
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.