Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5502 Publications
2020 | Published | Journal Article | IST-REx-ID: 9011 | 
Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., & Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/3436905.3436917
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9039 |
Fischer, J. L., Laux, T., & Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1322182
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 | Published | Book Chapter | IST-REx-ID: 9096
Schmid-Hempel, P., & Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature. https://doi.org/10.1007/978-3-319-90306-4_94-1
View
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9103 |
Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9104 |
Bao, Z., Erdös, L., & Schnelli, K. (2020). On the support of the free additive convolution. Journal d’Analyse Mathematique. Springer Nature. https://doi.org/10.1007/s11854-020-0135-2
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9114 |
Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H. G. L., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.1.020315
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Book Chapter | IST-REx-ID: 9123
Westram, A. M., Faria, R., Butlin, R., & Johannesson, K. (2020). Inversions and Evolution. In eLS. Wiley. https://doi.org/10.1002/9780470015902.a0029007
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9156 |
Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0101
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9157 |
Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9194 |
Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu, M., & Simon, C. (2020). Perspectives on quantum transduction. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ab788a
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9195 |
Lambert, N. J., Rueda Sanchez, A. R., Sedlmeir, F., & Schwefel, H. G. L. (2020). Coherent conversion between microwave and optical photons - An overview of physical implementations. Advanced Quantum Technologies. Wiley. https://doi.org/10.1002/qute.201900077
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9196
Hensel, S., & Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. Instytut Matematyczny. https://doi.org/10.4064/sm180411-11-2
[Preprint]
View
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9197
Avni, G., Ibsen-Jensen, R., & Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i02.5546
[Preprint]
View
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 9202 |
Garcia Soto, M., & Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9208
Laccone, F., Malomo, L., Perez Rodriguez, J., Pietroni, N., Ponchio, F., Bickel, B., & Cignoni, P. (2020). A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion. SN Applied Sciences. Springer Nature. https://doi.org/10.1007/s42452-020-03305-w
View
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9221 |
Nguyen, Q., & Mondelli, M. (2020). Global convergence of deep networks with one wide layer followed by pyramidal topology. In 34th Conference on Neural Information Processing Systems (Vol. 33, pp. 11961–11972). Vancouver, Canada: Curran Associates.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 9222 |
Katsaros, G. (2020). Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9222
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9249 |
Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2020). Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. De Gruyter. https://doi.org/10.1515/mathm-2020-0106
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv