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.

452 Publications


2019 | Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. 2019. Scalable FIFO channels for programming via communicating sequential processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11725. 317–333.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230 | OA
Arroyo Guevara AM, Derka M, Parada I. 2019. Extending simple drawings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). GD: Graph Drawing and Network Visualization, LNCS, vol. 11904. 230–243.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7231 | OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. 2019. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FORMATS 2019: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750. 123–141.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750. 59–75.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7233
Rueda Sanchez AR, Sedlmeir F, Leuchs G, Kumari M, Schwefel HGL. 2019. Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. Nonlinear Optics, OSA Technical Digest. NLO: Nonlinear Optics
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7234 | OA
Obeidy P, Ju LA, Oehlers SH, Zulkhernain NS, Lee Q, Galeano Niño JL, Kwan RYQ, Tikoo S, Cavanagh LL, Mrass P, Cook AJL, Jackson SP, Biro M, Roediger B, Sixt MK, Weninger W. 2019. Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7235 | OA
Lieb EH, Seiringer R. 2019. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics.
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 7275 | OA
Mourad E, Petit YK, Spezia R, Samojlov A, Summa FF, Prehal C, Leypold C, Mahne N, Slugovc C, Fontaine O, Brutti S, Freunberger SA. 2019. Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. 12(8), 2559–2568.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7276 | OA
Petit YK, Leypold C, Mahne N, Mourad E, Schafzahl L, Slugovc C, Borisov SM, Freunberger SA. 2019. DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. 58(20), 6535–6539.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7280 | OA
Kwak W-J, Kim H, Petit YK, Leypold C, Nguyen TT, Mahne N, Redfern P, Curtiss LA, Jung H-G, Borisov SM, Freunberger SA, Sun Y-K. 2019. Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. 10.
View | Files available | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications