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.

5484 Publications


2019 | Conference Paper | IST-REx-ID: 6428
Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo, Edouard B, and Carl-Philipp J Heisenberg. “Mechanochemical Feedback Loops in Development and Disease.” Cell 178, no. 1 (2019): 12–25. https://doi.org/10.1016/j.cell.2019.05.052.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr, Wiebke, Philipp Velicky, and Johann G Danzl. “Strategies to Maximize Performance in STimulated Emission Depletion (STED) Nanoscopy of Biological Specimens.” Methods, n.d. https://doi.org/10.1016/j.ymeth.2019.07.019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou, Nicoletta, and Carl-Philipp J Heisenberg. “Tissue Rheology in Embryonic Organization.” The EMBO Journal 38, no. 20 (2019). https://doi.org/10.15252/embj.2019102497.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.” Cell 179, no. 1 (2019): 51–53. https://doi.org/10.1016/j.cell.2019.08.047.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM 66, no. 3 (2019). https://doi.org/10.1145/3286976.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateřina Malínská, Johannes Leitner, Jan Petrášek, and Christian Luschnig. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications 10 (2019). https://doi.org/10.1038/s41467-019-13543-1.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11750:123–41. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_8.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” Journal of the ACM 66, no. 4 (2019). https://doi.org/10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak, Won-Jin, Stefan Alexander Freunberger, Hun Kim, Jiwon Park, Trung Thien Nguyen, Hun-Gi Jung, Hye Ryung Byon, and Yang-Kook Sun. “Mutual Conservation of Redox Mediator and Singlet Oxygen Quencher in Lithium–Oxygen Batteries.” ACS Catalysis 9, no. 11 (2019): 9914–22. https://doi.org/10.1021/acscatal.9b01337.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
Boccara, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science 363, no. 6434 (2019): 1443–47. https://doi.org/10.1126/science.aav4837.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6062   OA
Nardin, Michele. Supplementary Code and Data for the Paper “The Entorhinal Cognitive Map Is Attracted to Goals.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6062.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7421
Toups, Melissa A, Nicolas Rodrigues, Nicolas Perrin, and Mark Kirkpatrick. “A Reciprocal Translocation Radically Reshapes Sex‐linked Inheritance in the Common Frog.” Molecular Ecology 28, no. 8 (2019): 1877–89. https://doi.org/10.1111/mec.14990.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed