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.

600 Publications


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
 

2019 | Published | Conference Paper | IST-REx-ID: 21620
Roques-Carmes C, Shen Y, Zanoci C, et al. Photonic Recurrent Ising Sampler. In: Conference on Lasers and Electro-Optics. Optica Publishing Group; 2019. doi:10.1364/cleo_qels.2019.ftu4c.2
View | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 21568
Hamerly R, Sludds A, Bernstein L, et al. Towards large-scale photonic neural-network accelerators. In: 2019 IEEE International Electron Devices Meeting. IEEE; 2019. doi:10.1109/iedm19573.2019.8993624
View | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 21814
Mostafavi SH, Li W, Clark KD, Stricker FJ, Alaniz JR de, Bardeen CJ. Photoinduced deadhesion of a polymer film using a photochromic donor-acceptor Stenhouse adduct. Macromolecules. 2019;52(16):6311-6317. doi:10.1021/acs.macromol.9b00882
View | DOI
 

2019 | Published | Thesis | IST-REx-ID: 6392 | OA
Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed