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.




5694 Publications

2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 12076 | OA
Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Thesis | IST-REx-ID: 10007 | OA
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Draft | Preprint | IST-REx-ID: 10013 | OA
Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Fairness through regularization for learning to rank
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9644 | OA
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Thesis | IST-REx-ID: 10199 | OA
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 9969 | OA
LightPIR: Privacy-preserving route discovery for payment channel networks
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10123 | OA
The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10806 | OA
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9118 | OA
Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites
M. Calcabrini, A. Genc, Y. Liu, T. Kleinhanns, S. Lee, D.N. Dirin, Q.A. Akkerman, M.V. Kovalenko, J. Arbiol, M. Ibáñez, ACS Energy Letters 6 (2021) 581–587.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Conference Paper | IST-REx-ID: 10414 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 11458 | OA
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7553 | OA
Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Conference Paper | IST-REx-ID: 10408 | OA
Grafting key trees: Efficient key management for overlapping groups
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Conference Paper | IST-REx-ID: 10049 | OA
Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 9239 | OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10223 | OA
Cell surface and intracellular auxin signalling for H+ fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 7883 | OA
Regulation of size and scale in vertebrate spinal cord development
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Thesis | IST-REx-ID: 9992 | OA
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed