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.

2601 Publications


2019 | Conference Paper | IST-REx-ID: 6887   OA
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6940   OA
Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019).
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6647   OA
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6894
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, Current Topics in Developmental Biology (n.d.).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 73   OA
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 80   OA
Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7183   OA
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7001
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7210
Population structure determines the tradeoff between fixation probability and fixation time
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 6060   OA
Supplementary data for "Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019).
B. Vicoso, Supplementary Data for “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et Al., 2019). , IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7436   OA
On derived equivalences of k3 surfaces in positive characteristic
T.K. Srivastava, Documenta Mathematica 24 (2019) 1135–1177.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7417
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior (2019) 1687185.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7412   OA
A local lemma for focused stochastical algorithms
D. Achlioptas, F. Iliopoulos, V. Kolmogorov, SIAM Journal on Computing 48 (2019) 1583–1602.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7397   OA
Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit
J.M. Lopez Alonso, G.H. Choueiri, B. Hof, Journal of Fluid Mechanics 874 (2019) 699–719.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7405   OA
NetPyNE, a tool for data-driven multiscale modeling of brain circuits
S. Dura-Bernal, B. Suter, P. Gleeson, M. Cantarelli, A. Quintana, F. Rodriguez, D.J. Kedziora, G.L. Chadderdon, C.C. Kerr, S.A. Neymotin, R.A. McDougal, M. Hines, G.M. Shepherd, W.W. Lytton, ELife 8 (2019) e44494.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7400   OA
Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua
P. Veltsos, K.E. Ridout, M.A. Toups, S.C. González-Martínez, A. Muyle, O. Emery, P. Rastas, V. Hudzieczek, R. Hobza, B. Vyskot, G.A.B. Marais, D.A. Filatov, J.R. Pannell, Genetics 212 (2019) 815–835.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6818
Indigoidine - Biosynthesized organic semiconductor
C. Yumusak, A.J. Prochazkova, D.H. Apaydin, H. Seelajaroen, N.S. Sariciftci, M. Weiter, J. Krajcovic, Y. Qin, W. Zhang, J. Zhan, A. Kovalenko, Dyes and Pigments 171 (2019) 107768.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6565
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019, p. 8715598.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed