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.

12146 Publications


2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Online, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10004 | OA
K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9828 | OA
M. Gabrielaitis, “Fast and accurate amplitude demodulation of wideband signals,” IEEE Transactions on Signal Processing, vol. 69. IEEE, pp. 4039–4054, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10053 | OA
S. A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, and A. Goldsmith, “Parallelism versus latency in simplified successive-cancellation decoding of polar codes,” in 2021 IEEE International Symposium on Information Theory, Melbourne, Australia, 2021, pp. 2369–2374.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 22584 | OA
A. Paschalis, T. Chakraborty, S. Fatichi, N. Meili, and G. Manoli, “Urban forests as main regulator of the evaporative cooling effect in cities,” AGU Advances, vol. 2, no. 2. American Geophysical Union, 2021.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
N. K. Leopold, S. A. E. Rademacher, B. Schlein, and R. Seiringer, “The Landau–Pekar equations: Adiabatic theorem and accuracy,” Analysis and PDE, vol. 14, no. 7. Mathematical Sciences Publishers, pp. 2079–2100, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9226 | OA
G. Tkačik and T. Gregor, “The many bits of positional information,” Development, vol. 148, no. 2. Company of Biologists, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 15262 | OA
D. J. Vinter, C. Hoppe, T. Minchington, C. Sutcliffe, and H. L. Ashe, “Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo,” Development, vol. 148, no. 18. Company of Biologists, 2021.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 10000 | OA
H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology & Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9047 | OA
M. Mondelli, S. A. Hashemi, J. M. Cioffi, and A. Goldsmith, “Sublinear latency for simplified successive cancellation decoding of polar codes,” IEEE Transactions on Wireless Communications, vol. 20, no. 1. IEEE, pp. 18–27, 2021.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 15267 | OA
A. Czumaj and P. Davies, “Exploiting spontaneous transmissions for broadcasting and leader election in radio networks,” Journal of the ACM, vol. 68, no. 2. ACM, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10575 | OA
A. Abbatiello, M. Bulíček, and E. Maringová, “On the dynamic slip boundary condition for Navier-Stokes-like problems,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 11. World Scientific Publishing, pp. 2165–2212, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10005 | OA
M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific Publishing, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | 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 | DOI | 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 | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 11436 | OA
V. Kungurtsev, M. Egan, B. Chatterjee, and D.-A. Alistarh, “Asynchronous optimization methods for efficient training of deep neural networks with guarantees,” in 35th AAAI Conference on Artificial Intelligence, AAAI 2021, Virtual, Online, 2021, vol. 35, no. 9B, pp. 8209–8216.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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 | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10429 | OA
G. Nadiradze, “On achieving scalability through relaxation,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 10432 | OA
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, and D.-A. Alistarh, “Elastic consistency: A practical consistency model for distributed stochastic gradient descent,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 10, pp. 9037–9045.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed