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.

11626 Publications


2019 | Published | Journal Article | IST-REx-ID: 7214 | OA
Aganezov S, Zban I, Aksenov V, Alexeev N, Schatz MC. Recovering rearranged cancer chromosomes from karyotype graphs. BMC Bioinformatics. 2019;20. doi:10.1186/s12859-019-3208-4
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7225 | OA
Merrin J. Frontiers in microfluidics, a teaching resource review. Bioengineering. 2019;6(4). doi:10.3390/bioengineering6040109
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. In: Proceedings of the 31st Canadian Conference on Computational Geometry. Canadian Conference on Computational Geometry; 2019:164-170.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6352 | OA
Temnov AA, Rogov KA, Sklifas AN, et al. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. 2019. doi:10.1007/s11033-019-04765-z
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5830 | OA
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2019. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment. 42(3), 1033–1044.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 5911 | OA
Faria R, Johannesson K, Butlin RK, Westram AM. Evolving inversions. Trends in Ecology and Evolution. 2019;34(3):239-248. doi:10.1016/j.tree.2018.12.005
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 5887 | OA
Demay G, Gazi P, Maurer U, Tackmann B. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 2019;27(1):75-111. doi:10.3233/JCS-181131
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 6413 | OA
Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5790 | OA
Chaplick S, Fulek R, Klavík P. Extending partial representations of circle graphs. Journal of Graph Theory. 2019;91(4):365-394. doi:10.1002/jgt.22436
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5857 | OA
Fulek R, Pach J. Thrackles: An improved upper bound. Discrete Applied Mathematics. 2019;259(4):266-231. doi:10.1016/j.dam.2018.12.025
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. Adaptively secure proxy re-encryption. In: Vol 11443. Springer Nature; 2019:317-346. doi:10.1007/978-3-030-17259-6_11
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 73 | OA
Erbar M, Maas J, Wirth M. On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. 2019;58(1). doi:10.1007/s00526-018-1456-1
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6894 | OA
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 

2019 | Published | 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 | WoS
 

2019 | Published | Book Chapter | IST-REx-ID: 6987 | OA
McDougall A, Chenevert J, Godard BG, Dumollard R. Emergence of embryo shape during cleavage divisions. In: Tworzydlo W, Bilinski SM, eds. Evo-Devo: Non-Model Species in Cell and Developmental Biology. Vol 68. Springer Nature; 2019:127-154. doi:10.1007/978-3-030-23459-1_6
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 7411 | OA
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | 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 | WoS
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6681 | OA
Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:10.15479/AT:ISTA:6681
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 21627
Roques-Carmes C, Prabhu M, Shen Y, et al. Integrated nanophotonic ising sampler. In: Conference on Lasers and Electro-Optics. Optica Publishing Group; 2019. doi:10.1364/cleo_si.2019.sf1n.1
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed