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.




6873 Publications

2021 | Published | Journal Article | IST-REx-ID: 9260 | OA
Browning, Timothy D, and Shuntaro Yamagishi. “Arithmetic of Higher-Dimensional Orbifolds and a Mixed Waring Problem.” Mathematische Zeitschrift. Springer Nature, 2021. https://doi.org/10.1007/s00209-021-02695-w.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10711 | OA
Autissier, Pascal, Dante Bonolis, and Youness Lamzouri. “The Distribution of the Maximum of Partial Sums of Kloosterman Sums and Other Trace Functions.” Compositio Mathematica. Cambridge University Press, 2021. https://doi.org/10.1112/s0010437x21007351.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10325 | OA
Zamyatin, Alexei, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, and William J. Knottenbelt. “SoK: Communication across Distributed Ledgers.” In 25th International Conference on Financial Cryptography and Data Security, 12675:3–36. Springer Nature, 2021. https://doi.org/10.1007/978-3-662-64331-0_1.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | Cryptology ePrint
 
2021 | Published | Conference Paper | IST-REx-ID: 10599 | OA
Hashemi, Seyyed Ali, Marco Mondelli, John Cioffi, and Andrea Goldsmith. “Successive Syndrome-Check Decoding of Polar Codes.” In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021–October:943–47. IEEE, 2021. https://doi.org/10.1109/IEEECONF53345.2021.9723394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10597 | OA
Fathollahi, Dorsa, Nariman Farsad, Seyyed Ali Hashemi, and Marco Mondelli. “Sparse Multi-Decoder Recursive Projection Aggregation for Reed-Muller Codes.” In 2021 IEEE International Symposium on Information Theory, 1082–87. IEEE, 2021. https://doi.org/10.1109/isit45174.2021.9517887.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee, Krishnendu, Wolfgang Dvorak, Monika Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2021. https://doi.org/10.1109/LICS52264.2021.9470739.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 
earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9828 | OA
Gabrielaitis, Mantas. “Fast and Accurate Amplitude Demodulation of Wideband Signals.” IEEE Transactions on Signal Processing. IEEE, 2021. https://doi.org/10.1109/TSP.2021.3087899.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10053 | OA
Hashemi, Seyyed Ali, Marco Mondelli, Arman Fazeli, Alexander Vardy, John Cioffi, and Andrea Goldsmith. “Parallelism versus Latency in Simplified Successive-Cancellation Decoding of Polar Codes.” In 2021 IEEE International Symposium on Information Theory, 2369–74. IEEE, 2021. https://doi.org/10.1109/ISIT45174.2021.9518153.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
Leopold, Nikolai K, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” Analysis and PDE. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/APDE.2021.14.2079.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9226 | OA
Tkačik, Gašper, and Thomas Gregor. “The Many Bits of Positional Information.” Development. Company of Biologists, 2021. https://doi.org/10.1242/dev.176065.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 15262 | OA
Vinter, Daisy J., Caroline Hoppe, Thomas Minchington, Catherine Sutcliffe, and Hilary L. Ashe. “Dynamics of Hunchback Translation in Real-Time and at Single-MRNA Resolution in the Drosophila Embryo.” Development. Company of Biologists, 2021. https://doi.org/10.1242/dev.196121.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10000 | OA
Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology & Visual Science. Association for Research in Vision and Ophthalmology, 2021. https://doi.org/10.1167/IOVS.62.10.14.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9047 | OA
Mondelli, Marco, Seyyed Ali Hashemi, John M. Cioffi, and Andrea Goldsmith. “Sublinear Latency for Simplified Successive Cancellation Decoding of Polar Codes.” IEEE Transactions on Wireless Communications. IEEE, 2021. https://doi.org/10.1109/TWC.2020.3022922.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 15267 | OA
Czumaj, Artur, and Peter Davies. “Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks.” Journal of the ACM. ACM, 2021. https://doi.org/10.1145/3446383.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10575 | OA
Abbatiello, Anna, Miroslav Bulíček, and Erika Maringová. “On the Dynamic Slip Boundary Condition for Navier-Stokes-like Problems.” Mathematical Models and Methods in Applied Sciences. World Scientific Publishing, 2021. https://doi.org/10.1142/S0218202521500470.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10005 | OA
Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences. World Scientific Publishing, 2021. https://doi.org/10.1142/S0218202521500457.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021. https://doi.org/10.1609/aaai.v35i5.16496.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021. https://doi.org/10.1609/aaai.v35i9.16936.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed