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.
449 Publications
2019 | Conference Paper | IST-REx-ID: 7228
N. Koval, D.-A. Alistarh, and R. Elizarov, “Scalable FIFO channels for programming via communicating sequential processes,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Göttingen, Germany, 2019, vol. 11725, pp. 317–333.
View
| DOI
2019 | Conference Paper | IST-REx-ID: 7230 | 
A. M. Arroyo Guevara, M. Derka, and I. Parada, “Extending simple drawings,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Prague, Czech Republic, 2019, vol. 11904, pp. 230–243.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7231 |
H. Kong, E. Bartocci, Y. Jiang, and T. 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), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View
| DOI
2019 | Conference Paper | IST-REx-ID: 7233
A. R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kumari, and H. G. L. Schwefel, “Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity,” in Nonlinear Optics, OSA Technical Digest, Waikoloa Beach, Hawaii (HI), United States, 2019.
View
| DOI
2019 | Journal Article | IST-REx-ID: 7234 |
P. Obeidy et al., “Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes,” Immunology and Cell Biology, 2019.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7235 |
E. H. Lieb and R. Seiringer, “Divergence of the effective mass of a polaron in the strong coupling limit,” Journal of Statistical Physics, 2019.
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 7275 |
E. Mourad et al., “Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries,” Energy & Environmental Science, vol. 12, no. 8, pp. 2559–2568, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7276 |
Y. K. Petit et al., “DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells,” Angewandte Chemie International Edition, vol. 58, no. 20, pp. 6535–6539, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7280 |
W.-J. Kwak et al., “Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen,” Nature Communications, vol. 10, 2019.
View
| Files available
| DOI