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.
2131 Publications
2018 | Journal Article | IST-REx-ID: 415 
Effect of a magnetic field on molecule–solvent angular momentum transfer
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
View
| DOI
| Download (ext.)
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
2018 | Journal Article | IST-REx-ID: 42
Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis
M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018).
View
| Files available
| DOI
M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018).
2018 | Journal Article | IST-REx-ID: 422
Relaminarization by steady modification of the streamwise velocity profile in a pipe
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018).
View
| Files available
| DOI
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018).
2018 | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018).
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018).
2018 | Journal Article | IST-REx-ID: 458
Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018).
View
| DOI
| Download (ext.)
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018).
2018 | Journal Article | IST-REx-ID: 446
The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, N. Phan Thanh, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018).
View
| DOI
| Download (ext.)
R. Frank, N. Phan Thanh, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018).
2018 | Journal Article | IST-REx-ID: 530
Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018).
View
| DOI
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018).
2018 | Book Review | IST-REx-ID: 54
Mechanical force-driven adherents junction remodeling and epithelial dynamics
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018).
View
| DOI
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018).
2018 | Journal Article | IST-REx-ID: 542
Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018).
View
| Files available
| DOI
R.K. Kelemen, B. Vicoso, Genetics 208 (2018).
2018 | Journal Article | IST-REx-ID: 617
Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018).
View
| DOI
| PubMed | Europe PMC
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018).
2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Modeling Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Modeling Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 | Journal Article | IST-REx-ID: 612
Differential association of GABAB receptors with their effector ion channels in Purkinje cells
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018).
View
| Files available
| DOI
| Download (ext.)
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018).
2018 | Conference Paper | IST-REx-ID: 78
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018.
View
| DOI
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018.
2018 | Journal Article | IST-REx-ID: 80
Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics (2018).
View
| Files available
| DOI
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics (2018).
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.