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, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, 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, Rui, et al. “Evolving Inversions.” Trends in Ecology and Evolution, vol. 34, no. 3, Elsevier, 2019, pp. 239–48, 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, Gregory, et al. “Per-Session Security: Password-Based Cryptography Revisited.” Journal of Computer Security, vol. 27, no. 1, IOS Press, 2019, pp. 75–111, doi:10.3233/JCS-181131.
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 6413 | OA
Song, Baofang, et al. “Phase-Field Simulation of Core-Annular Pipe Flow.” International Journal of Multiphase Flow, vol. 117, Elsevier, 2019, pp. 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, Steven, et al. “Extending Partial Representations of Circle Graphs.” Journal of Graph Theory, vol. 91, no. 4, Wiley, 2019, pp. 365–94, doi:10.1002/jgt.22436.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5857 | OA
Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound.” Discrete Applied Mathematics, vol. 259, no. 4, Elsevier, 2019, pp. 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, Georg, et al. Adaptively Secure Proxy Re-Encryption. Vol. 11443, Springer Nature, 2019, pp. 317–46, 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, Matthias, et al. “On the Geometry of Geodesics in Discrete Optimal Transport.” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1, 19, Springer, 2019, 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, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6894.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 7147
Guet, Calin C., et al. “Transient Memory in Gene Regulation.” 17th International Conference on Computational Methods in Systems Biology, vol. 11773, Springer Nature, 2019, pp. 155–87, doi:10.1007/978-3-030-31304-3_9.
View | DOI | WoS
 

2019 | Published | Book Chapter | IST-REx-ID: 6987 | OA
McDougall, Alex, et al. “Emergence of Embryo Shape during Cleavage Divisions.” Evo-Devo: Non-Model Species in Cell and Developmental Biology, edited by Waclaw Tworzydlo and Szczepan M. Bilinski, vol. 68, Springer Nature, 2019, pp. 127–54, 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, Hamza M., et al. “Reversible Proofs of Sequential Work.” Advances in Cryptology – EUROCRYPT 2019, vol. 11477, Springer International Publishing, 2019, pp. 277–91, 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ć, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View | DOI | WoS
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6681 | OA
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6681.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 21627
Roques-Carmes, Charles, et al. “Integrated Nanophotonic Ising Sampler.” Conference on Lasers and Electro-Optics, SF1N.1, Optica Publishing Group, 2019, doi:10.1364/cleo_si.2019.sf1n.1.
View | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 21620
Roques-Carmes, Charles, et al. “Photonic Recurrent Ising Sampler.” Conference on Lasers and Electro-Optics, FTu4C.2, Optica Publishing Group, 2019, doi:10.1364/cleo_qels.2019.ftu4c.2.
View | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 21568
Hamerly, R., et al. “Towards Large-Scale Photonic Neural-Network Accelerators.” 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, Seyed Hossein, et al. “Photoinduced Deadhesion of a Polymer Film Using a Photochromic Donor-Acceptor Stenhouse Adduct.” Macromolecules, vol. 52, no. 16, American Chemical Society, 2019, pp. 6311–17, doi:10.1021/acs.macromol.9b00882.
View | DOI
 

2019 | Published | Thesis | IST-REx-ID: 6392 | OA
Lukacisin, Martin. Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory. IST Austria, 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: MLA

Export / Embed