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.

6278 Publications


2020 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8196 | OA
New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View | Files available | DOI
 
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8203 | OA
Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8225 | OA
Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8248 | OA
Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry (2020).
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications