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 U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 2023;48(15):3973-3976. doi:10.1364/ol.495553
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi: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 B, Jindal A, Piovarci M, et al. 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. doi:10.1145/3610548.3618226
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Cohen-Addad V, Saulpic D, Schwiegelshohn C. Deterministic clustering in high dimensional spaces: Sketches and approximation. In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science. IEEE; 2023:1105-1130. doi:10.1109/focs57990.2023.00066
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14827
Schwayer C, Brückner D. Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. 2023;136(24). doi:10.1242/jcs.261515
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14759 |
Wald S, Diorico FR, Hosten O. Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. 2023;62(1):1-7. doi:10.1364/ao.474118
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Anastos M. Constructing Hamilton cycles and perfect matchings efficiently. In: Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications. Masaryk University Press; 2023:36-41. doi:10.5817/cz.muni.eurocomb23-005
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. Phenotype control of partially specified boolean networks. In: 21st International Conference on Computational Methods in Systems Biology. Vol 14137. Springer Nature; 2023:18-35. doi:10.1007/978-3-031-42697-1_2
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14829 |
Cohen S, Goren G, Kokoris Kogias E, Sonnino A, Spiegelman A. Proof of availability and retrieval in a modular blockchain architecture. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13951. Springer Nature; 2023:36-53. doi: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 MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361(G2):565-575. doi:10.5802/crmath.423
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14849 |
Cipolloni G, Erdös L, Schröder DJ, Xu Y. On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. 2023;51(6):2192-2242. doi:10.1214/23-aop1643
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Serebryakov A, Simm N, Dubach G. Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. 2023;12(01). doi:10.1142/s2010326322500496
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13969 |
Arroyo Guevara AM, Felsner S. Approximating the bundled crossing number. Journal of Graph Algorithms and Applications. 2023;27(6):433-457. doi:10.7155/jgaa.00629
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13049 |
Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 19985
Schmid S, Svoboda J, Yeo MX. Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In: 30th International Colloquium on Structural Information and Communication Complexity. Vol 13892. Springer Nature; 2023:576-594. doi:10.1007/978-3-031-32733-9_26
View
| Files available
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 19983 |
Balliu A, Korhonen J, Kuhn F, et al. Sinkless Orientation Made Simple. In: Symposium on Simplicity in Algorithms. 2023 Society for Industrial and Applied Mathematics; 2023:175-191. doi:10.1137/1.9781611977585.ch17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv