Please note that ISTA 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.

5611 Publications


2022 | Published | Journal Article | IST-REx-ID: 12684 | OA
T. Horesh and F. Paulin, “Effective equidistribution of lattice points in positive characteristic,” Journal de Theorie des Nombres de Bordeaux, vol. 34, no. 3. Centre Mersenne, pp. 679–703, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12750 | OA
P. Brighi, M. Ljubotina, and M. Serbyn, “Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12775 | OA
K. Grover, J. Kretinsky, T. Meggendorfer, and M. Weininger, “Anytime guarantees for reachability in uncountable Markov decision processes,” in 33rd International Conference on Concurrency Theory , Warsaw, Poland, 2022, vol. 243.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
T. D. Browning, “Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5,” New York Journal of Mathematics, vol. 28. State University of New York, pp. 1193–1229, 2022.
[Published Version] View | Files available
 

2022 | Published | Conference Paper | IST-REx-ID: 12780 | OA
I. Markov, H. Ramezanikebrya, and D.-A. Alistarh, “CGX: Adaptive system support for communication-efficient deep learning,” in Proceedings of the 23rd ACM/IFIP International Middleware Conference, Quebec, QC, Canada, 2022, pp. 241–254.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12793 | OA
H. Yu, “ A coarse geometric expansion of a variant of Arthur’s truncated traces and some applications,” Pacific Journal of Mathematics, vol. 321, no. 1. Mathematical Sciences Publishers, pp. 193–237, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
S. Bombari et al., “Towards differential relational privacy and its use in question answering,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Abstract | IST-REx-ID: 12894 | OA
A. Schlögl, A. Hornoiu, S. Elefante, and S. Stadlbauer, “Where is the sweet spot? A procurement story of general purpose compute nodes,” in ASHPC22 - Austrian-Slovenian HPC Meeting 2022, Grundlsee, Austria, 2022, p. 7.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12923 | OA
Z. Zhao, B. Pieber, and M. Delbianco, “Modulating the surface and photophysical properties of carbon dots to access colloidal photocatalysts for cross-couplings,” ACS Catalysis, vol. 12, no. 22. American Chemical Society, pp. 13831–13837, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12924 | OA
C. Cavedon et al., “Intraligand charge transfer enables visible‐light‐mediated Nickel‐catalyzed cross-coupling reactions,” Angewandte Chemie International Edition, vol. 61, no. 46. Wiley, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12938 | OA
J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “From vibrational spectroscopy and quantum tunnelling to periodic band structures – a self-supervised, all-purpose neural network approach to general quantum problems,” Physical Chemistry Chemical Physics, vol. 24, no. 41. Royal Society of Chemistry, pp. 25191–25202, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
F. P. Assen et al., “Multitier mechanics control stromal adaptations in swelling lymph nodes,” Nature Immunology, vol. 23. Springer Nature, pp. 1246–1255, 2022.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
M. Lechner, R. Hasani, R. Grosu, D. Rus, and T. A. Henzinger, “Adversarial training is not ready for robot learning,” in 2021 IEEE International Conference on Robotics and Automation, Xi’an, China, 2021, pp. 4140–4147.
View | Files available | DOI | Download None (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, and R. Grosu, “On-off center-surround receptive fields for accurate and robust image classification,” in Proceedings of the 38th International Conference on Machine Learning, Virtual, 2021, vol. 139, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu, “On the verification of neural ODEs with stochastic guarantees,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 13, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “Liquid time-constant networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 9, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed