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.

1850 Publications


2022 |Published| Conference Paper | IST-REx-ID: 12432
Anastos, Michael. “Solving the Hamilton Cycle Problem Fast on Average.” In 63rd Annual IEEE Symposium on Foundations of Computer Science, 2022–October:919–30. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/FOCS54457.2022.00091.
View | DOI | WoS
 

2022 |Published| Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, Andrej, Miguel Cueto Noval, Charlotte Hoffmann, and Alon Rosen. “Public-Key Encryption from Homogeneous CLWE.” In Theory of Cryptography, 13748:565–92. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-22365-5_20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 | OA
Agresti, Antonio, Matthias Hieber, Amru Hussein, and Martin Saal. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2022. https://doi.org/10.1007/s40072-022-00277-3.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 |Published| Thesis | IST-REx-ID: 11362 | OA
Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11362.
[Published Version] View | Files available | DOI
 

2022 |Published| Journal Article | IST-REx-ID: 13452 | OA
Keszthelyi, Z, A de Koter, Ylva Louise Linsdotter Götberg, G Meynet, S A Brands, V Petit, M Carrington, et al. “The Effects of Surface Fossil Magnetic Fields on Massive Star Evolution: IV. Grids of Models at Solar, LMC, and SMC Metallicities.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac2598.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 14098 | OA
Keszthelyi, Z., A. de Koter, Ylva Louise Linsdotter Götberg, G. Meynet, S. A. Brands, V. Petit, M. Carrington, et al. “The Effects of Surface Fossil Magnetic Fields on Massive Star Evolution: IV. Grids of Models at Solar, LMC, and SMC Metallicities.” Monthly Notices of the Royal Astronomical Society. Oxford Academic, 2022. https://doi.org/10.1093/mnras/stac2598.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 11732 | OA
Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-022-02965-9.
[Published Version] View | Files available | DOI | WoS
 

2022 |Published| Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti, Georgia, Krzysztof Z Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, and Michelle X Yeo. “Hide & Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.” In Financial Cryptography and Data Security, 13411:358–73. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_17.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12302 | OA
Doveri, Kyveli, Pierre Ganty, and Nicolas Adrien Mazzocchi. “FORQ-Based Language Inclusion Formal Testing.” In Computer Aided Verification, 13372:109–29. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-13188-2_6.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, Karen Klein, and Krzysztof Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” In Advances in Cryptology – CRYPTO 2022, 13508:370–99. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-15979-4_13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 |Published| Conference Paper | IST-REx-ID: 12298 | OA
Gelashvili, Rati, Eleftherios Kokoris Kogias, Alberto Sonnino, Alexander Spiegelman, and Zhuolun Xiang. “Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback.” In Financial Cryptography and Data Security, 13411:296–315. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_14.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12168 | OA
Cohen, Shir, Rati Gelashvili, Eleftherios Kokoris Kogias, Zekun Li, Dahlia Malkhi, Alberto Sonnino, and Alexander Spiegelman. “Be Aware of Your Leaders.” In International Conference on Financial Cryptography and Data Security, 13411:279–95. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_13.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 12170
Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:320–26. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_20.
View | DOI
 

2022 |Published| Conference Paper | IST-REx-ID: 12175 | OA
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19135-0_5.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 |Published| Conference Paper | IST-REx-ID: 14168 | OA
Rahaman, Nasim, Martin Weiss, Francesco Locatello, Chris Pal, Yoshua Bengio, Bernhard Schölkopf, Li Erran Li, and Nicolas Ballas. “Neural Attentive Circuits.” In 36th Conference on Neural Information Processing Systems, Vol. 35, 2022.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 |Published| Conference Paper | IST-REx-ID: 11185 | OA
Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” In WALCOM 2022: Algorithms and Computation, 13174:383–95. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-96731-4_31.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 |Published| Journal Article | IST-REx-ID: 10753 | OA
Confavreux, Basile J, and Tim P Vogels. “A Familiar Thought: Machines That Replace Us?” Neuron. Elsevier, 2022. https://doi.org/10.1016/j.neuron.2022.01.014.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 |Published| Journal Article | IST-REx-ID: 11144
Su, Lizhong, Dongyang Wang, Sining Wang, Bingchao Qin, Yuping Wang, Yongxin Qin, Yang Jin, Cheng Chang, and Li Dong Zhao. “High Thermoelectric Performance Realized through Manipulating Layered Phonon-Electron Decoupling.” Science. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/science.abn8997.
View | DOI | WoS | PubMed | Europe PMC
 

2022 |Published| Thesis | IST-REx-ID: 10799 | OA
Konstantinov, Nikola H. “Robustness and Fairness in Machine Learning.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10799.
[Published Version] View | Files available | DOI
 

2022 |Submitted| Preprint | IST-REx-ID: 10792 | OA
Schaaf, Zachary, Lyvin Tat, Noemi Cannizzaro, Ralph Green, Thomas Rülicke, Simon Hippenmeyer, and K Zarbalis. “WDFY3 Cell Autonomously Controls Neuronal Migration.” Research Square, n.d. https://doi.org/10.21203/rs.3.rs-1316167/v1.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications