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.

6749 Publications


2016 | Thesis | IST-REx-ID: 1130 | OA
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 Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432 | OA View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
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
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123 | OA
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
 

Search

Filter Publications