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.
4784 Publications
2018 | Conference Paper | IST-REx-ID: 85
Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018.
View
| DOI
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018.
2018 | Thesis | IST-REx-ID: 9
Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
View
| Files available
| DOI
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
2018 | Conference Paper | IST-REx-ID: 5788
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, G. Christodoulou, T. Harks (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2018.
View
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, G. Christodoulou, T. Harks (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2018.
2018 | Journal Article | IST-REx-ID: 5790
Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory (n.d.).
View
| DOI
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory (n.d.).
2018 | Journal Article | IST-REx-ID: 131
Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
View
| Files available
| DOI
M.A. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
2018 | Thesis | IST-REx-ID: 201
Multiple covers with balls.
M. Iglesias Ham, Multiple Covers with Balls., IST Austria, 2018.
View
| DOI
M. Iglesias Ham, Multiple Covers with Balls., IST Austria, 2018.
2018 | Research Data | IST-REx-ID: 5574 
Data Check IOP Scopus vs. Publisher
M. Villányi, Data Check IOP Scopus vs. Publisher, 2018.
View
| Files available
| DOI
M. Villányi, Data Check IOP Scopus vs. Publisher, 2018.
2018 | Research Data | IST-REx-ID: 5579
RSC Austrian Publications 2013-2017
M. Villányi, RSC Austrian Publications 2013-2017, 2018.
View
| Files available
| DOI
M. Villányi, RSC Austrian Publications 2013-2017, 2018.
2018 | Research Data | IST-REx-ID: 5581
Springer Austrian Publications 2013-2016
M. Villányi, Springer Austrian Publications 2013-2016, 2018.
View
| Files available
| DOI
M. Villányi, Springer Austrian Publications 2013-2016, 2018.
2018 | Research Data | IST-REx-ID: 5586
Input files and scripts from "Evolution of gene dosage on the Z-chromosome of schistosome parasites" by Picard M.A.L., et al (2018)
B. Vicoso, Input Files and Scripts from “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites” by Picard M.A.L., et Al (2018), 2018.
View
| Files available
| DOI
B. Vicoso, Input Files and Scripts from “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites” by Picard M.A.L., et Al (2018), 2018.
2018 | Conference Paper | IST-REx-ID: 66
Ergodic mean-payo games for the analysis of attacks in crypto-currencies
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View
| Files available
| DOI
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Conference Paper | IST-REx-ID: 35
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, AAAI Press, 2018.
View
| Download (ext.)
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, AAAI Press, 2018.
2018 | Journal Article | IST-REx-ID: 47
Transporters and mechanisms of hormone transport in arabidopsis
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018).
View
| DOI
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018).
2018 | Conference Paper | IST-REx-ID: 11
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018.
View
| DOI
N.K. Leopold, P. Pickl, in:, Springer, 2018.
2018 | Preprint | IST-REx-ID: 175
Sieving rational points on varieties
T.D. Browning, D. Loughran, Trans. Amer. Math. Soc. (2018).
View
| Download (ext.)
T.D. Browning, D. Loughran, Trans. Amer. Math. Soc. (2018).
2018 | Journal Article | IST-REx-ID: 170
Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen (2018).
View
| DOI
| Download (ext.)
T.D. Browning, E. Sofos, Mathematische Annalen (2018).
2018 | Journal Article | IST-REx-ID: 5676
Occluding junctions as novel regulators of tissue mechanics during wound repair
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018).
View
| DOI
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018).
2018 | Book Chapter | IST-REx-ID: 562
Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
View
| DOI
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
2018 | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018.
View
| DOI
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018.
2018 | Book Chapter | IST-REx-ID: 411
Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.
View
| DOI
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.