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.

5625 Publications


2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.MFCS.2019.11
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20). doi:10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 

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

2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3). doi:10.1145/3286976
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 2019;10. doi:10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. 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). Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4). doi:10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak W-J, Freunberger SA, Kim H, et al. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 2019;9(11):9914-9922. doi:10.1021/acscatal.9b01337
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7421
Toups MA, Rodrigues N, Perrin N, Kirkpatrick M. A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog. Molecular Ecology. 2019;28(8):1877-1889. doi:10.1111/mec.14990
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402   OA
Chatterjee K, Doyen L. Graph planning with expected finite horizon. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2019:1-13. doi:10.1109/lics.2019.8785706
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399   OA
Andergassen D, Muckenhuber M, Bammer PC, et al. The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLOS Genetics. 2019;15(7):e1008268. doi:10.1371/journal.pgen.1008268
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7414
Knaus L, Tarlungeanu D-C, Novarino G. S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology. 2019;29(Supplement 6):S11. doi:10.1016/j.euroneuro.2019.09.039
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7394
Benková E, Dagdas Y. Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. 2019;52(12):A1-A2. doi:10.1016/j.pbi.2019.11.002
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7476   OA
Andersen MS, Hannezo EB, Ulyanchenko S, et al. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 2019;21(8):924-932. doi:10.1038/s41556-019-0362-x
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7034   OA
Fulek R, Kynčl J. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica. 2019;39(6):1267-1279. doi:10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed