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.
3078 Publications
2020 | Scientific Software | IST-REx-ID: 8181 |

R. Hauschild, “Amplified centrosomes in dendritic cells promote immune cell effector functions.” IST Austria, 2020.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8186 |

P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn textured 3D mesh generation,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Virtual, 2020, pp. 7498–7507.
View
| Files available
| Download Submitted Version (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8191
D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2020, no. 7, pp. 37–49.
View
| DOI
2020 | Conference Paper | IST-REx-ID: 8193
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in Proceedings of the 30th International Conference on Automated Planning and Scheduling, Nancy, France, 2020, vol. 30, pp. 48–56.
View
| Files available
2020 | Conference Paper | IST-REx-ID: 8194 |

M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8195 |

B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8196 |

Y. Shehu, Q.-L. Dong, L.-L. Liu, and J.-C. Yao, “New strong convergence method for the sum of two maximal monotone operators,” Optimization and Engineering. Springer Nature, 2020.
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8198 |

A. A. Diringer and T. Gulden, “Robustness of the Floquet many-body localized phase in the presence of a smooth and a non-smooth drive,” arXiv. arXiv.
View
| Download Preprint (ext.)
| arXiv