Please note that ISTA 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.

4967 Publications


2019 | Published | Journal Article | IST-REx-ID: 6868 | OA
N. Byczkowicz et al., “HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons,” eLife, vol. 8. eLife Sciences Publications, 2019.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6877
A. Kopf and M. K. Sixt, “The neural crest pitches in to remove apoptotic debris,” Cell, vol. 179, no. 1. Elsevier, pp. 51–53, 2019.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6887 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
[Submitted Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version] View | Files available | DOI
 

2019 | Published | Book Chapter | IST-REx-ID: 6890
M. Obr and F. K. Schur, “Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging,” in Complementary Strategies to Study Virus Structure and Function, vol. 105, F. A. Rey, Ed. Elsevier, 2019, pp. 117–159.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6891 | OA
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6894 | OA
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
B. Oliveira, A. Ç. Yahya, and G. Novarino, “Modeling cell-cell interactions in the brain using cerebral organoids,” Brain Research, vol. 1724. Elsevier, 2019.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6897 | OA
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, and E. Benková, “Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis,” Development, vol. 146, no. 17. The Company of Biologists, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6898 | OA
O. M. Sigalova et al., “Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction,” BMC Genomics, vol. 20, no. 1. BioMed Central, 2019.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6899 | OA
D. Bornhorst et al., “Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions,” Nature communications, vol. 10, no. 1. Nature Publishing Group, p. 4113, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6900 | OA
S. A. Cepeda Humerez, J. Ruess, and G. Tkačik, “Estimating information in time-varying signals,” PLoS computational biology, vol. 15, no. 9. Public Library of Science, p. e1007290, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Submitted | Preprint | IST-REx-ID: 10065 | OA
A. C. Hofmann et al., “Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 10190 | OA
K. Chatterjee, A. Pavlogiannis, and V. Toman, “Value-centric dynamic partial order reduction,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Athens, Greece, 2019, vol. 3.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 105 | OA
A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 9460 | OA
M. Y. Kim et al., “DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm,” Proceedings of the National Academy of Sciences, vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed