Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5473 Publications

2019 | Published | Journal Article | IST-REx-ID: 6867 | OA
A novel magnet-based scratch method for standardisation of wound-healing assays
M. Fenu, T. Bettermann, C. Vogl, N. Darwish-Miranda, J. Schramel, F. Jenner, I. Ribitsch, Scientific Reports 9 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6868 | OA
HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons
N. Byczkowicz, A. Eshra, J.-C. Montanaro-Punzengruber, A. Trevisiol, J. Hirrlinger, M.H. Kole, R. Shigemoto, S. Hallermann, ELife 8 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | 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.
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
[Submitted Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 
2019 | Published | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6896
Modeling cell-cell interactions in the brain using cerebral organoids
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6897 | OA
Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6898 | OA
Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, BMC Genomics 20 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6899 | OA
Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions
D. Bornhorst, P. Xia, H. Nakajima, C. Dingare, W. Herzog, V. Lecaudey, N. Mochizuki, C.-P.J. Heisenberg, D. Yelon, S. Abdelilah-Seyfried, Nature Communications 10 (2019) 4113.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6919 | OA
Structural basis of sterol recognition by human hedgehog receptor PTCH1
C. Qi, G.D. Minin, I. Vercellino, A. Wutz, V.M. Korkhov, Science Advances 5 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6920
Ethylene and cytokinin - partners in root growth regulation
C. Artner, E. Benková, Molecular Plant 12 (2019) 1312–1314.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 6931 | OA
Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6933 | OA
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6935 | OA
Does preprocessing help under congestion?
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6936 | OA
What can observational data reveal about metacommunity processes?
O. Ovaskainen, J. Rybicki, N. Abrego, Ecography 42 (2019) 1877–1886.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed