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.
10945 Publications
2023 | Published | Journal Article | IST-REx-ID: 14749 |
Mishra, Umang, Vyacheslav Li, Sebastian Wald, Sofya Agafonova, Fritz R Diorico, and Onur Hosten. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” Optics Letters. Optica Publishing Group, 2023. https://doi.org/10.1364/ol.495553.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14799 |
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14798 |
Chen, Bin, Akshay Jindal, Michael Piovarci, Chao Wang, Hans Peter Seidel, Piotr Didyk, Karol Myszkowski, Ana Serrano, and Rafał K. Mantiuk. “The Effect of Display Capabilities on the Gloss Consistency between Real and Virtual Objects.” In Proceedings of the SIGGRAPH Asia 2023 Conference. Association for Computing Machinery, 2023. https://doi.org/10.1145/3610548.3618226.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Cohen-Addad, Vincent, David Saulpic, and Chris Schwiegelshohn. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.” In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, 1105–30. IEEE, 2023. https://doi.org/10.1109/focs57990.2023.00066.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14827
Schwayer, Cornelia, and David Brückner. “Connecting Theory and Experiment in Cell and Tissue Mechanics.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.261515.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14759 |
Wald, Sebastian, Fritz R Diorico, and Onur Hosten. “Analog Stabilization of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” Applied Optics. Optica Publishing Group, 2023. https://doi.org/10.1364/ao.474118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Anastos, Michael. “Constructing Hamilton Cycles and Perfect Matchings Efficiently.” In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, 36–41. Masaryk University Press, 2023. https://doi.org/10.5817/cz.muni.eurocomb23-005.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14829 |
Cohen, Shir, Guy Goren, Eleftherios Kokoris Kogias, Alberto Sonnino, and Alexander Spiegelman. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.” In 27th International Conference on Financial Cryptography and Data Security, 13951:36–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47751-5_3.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 15173 |
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14849 |
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-aop1643.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Serebryakov, Alexander, Nick Simm, and Guillaume Dubach. “Characteristic Polynomials of Random Truncations: Moments, Duality and Asymptotics.” Random Matrices: Theory and Applications. World Scientific Publishing, 2023. https://doi.org/10.1142/s2010326322500496.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13969 |
Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” Journal of Graph Algorithms and Applications. Brown University, 2023. https://doi.org/10.7155/jgaa.00629.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13049 |
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, Mike. “Adaptive Mutation in E. Coli Modulated by LuxS.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14641.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 19985
Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Acket Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” In 30th International Colloquium on Structural Information and Communication Complexity, 13892:576–94. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-32733-9_26.
View
| Files available
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 19983 |
Balliu, Alkida, Janne Korhonen, Fabian Kuhn, Henrik Lievonen, Dennis Olivetti, Shreyas Pai, Ami Paz, et al. “Sinkless Orientation Made Simple.” In Symposium on Simplicity in Algorithms, 175–91. 2023 Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977585.ch17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv