Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., &; Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier.https://doi.org/10.1016/j.synthmet.2023.117463 

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., &; Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences.https://doi.org/10.46298/theoretics.23.4 

Montagna, F., Noceti, N., Rosasco, L., &; Locatello, F. (n.d.). Shortcuts for causal discovery of nonlinear models by score matching. arXiv.https://doi.org/10.48550/arXiv.2310.14246 

Liu, Z., Hong, T., Xu, L., Wang, S., Gao, X., Chang, C.,https://doi.org/10.1002/idm2.12056__Zhao, L. (2023). Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS. Interdisciplinary Materials. Wiley.https://doi.org/10.1002/idm2.12056 

Malvai, H., Kokoris Kogias, E., Sonnino, A., Ghosh, E., Oztürk, E., Lewi, K., &; Lawlor, S. (2023). Parakeet: Practical key transparency for end-to-end eEncrypted messaging. In Proceedings of the 2023 Network and Distributed System Security Symposium. San Diego, CA, United States: Internet Society.https://doi.org/10.14722/ndss.2023.24545 

Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37709-9_1 

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/10.5281/ZENODO.7877757 

Prach, B., &; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv.https://doi.org/10.48550/ARXIV.2311.06103 

Zheng, D. W., &; Henzinger, M. H. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature.https://doi.org/10.1007/978-3-031-32726-1_32 

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00126-9 

Kwan, M. A., Sah, A., &; Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences.https://doi.org/10.5802/crmath.423 

Michael, A. K., Stoos, L., Crosby, P., Eggers, N., Nie, X. Y., Makasheva, K.,https://doi.org/10.1038/s41586-023-06282-3__Thomä, N. H. (2023). Cooperation between bHLH transcription factors and histones for DNA access. Nature. Springer Nature.https://doi.org/10.1038/s41586-023-06282-3 

Burdge, K. B., El-Badry, K., Rappaport, S., Sunny Wong, T. L., Bauer, E. B., Bildsten, L.,https://doi.org/10.3847/2041-8213/ace7cf__Smith, R. (2023). Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. American Astronomical Society.https://doi.org/10.3847/2041-8213/ace7cf 

Rodriguez, A. C., Galiullin, I., Gilfanov, M., Kulkarni, S. R., Khamitov, I., Bikmaev, I.,https://doi.org/10.3847/1538-4357/ace698__Vanderbosch, Z. P. (2023). SRGeJ045359.9+622444: A 55 minute period eclipsing AM Canum Venaticorum star discovered from a joint SRG/eROSITA + ZTF search. The Astrophysical Journal. American Astronomical Society.https://doi.org/10.3847/1538-4357/ace698 

Caiazzo, I., Burdge, K. B., Tremblay, P.-E., Fuller, J., Ferrario, L., Gänsicke, B. T.,https://doi.org/10.1038/s41586-023-06171-9__Sahman, D. I. (2023). A rotating white dwarf shows different compositions on its opposite faces. Nature. Springer Nature.https://doi.org/10.1038/s41586-023-06171-9 

Bolin, B. T., Noll, K. S., Caiazzo, I., Fremling, C., &; Binzel, R. P. (2023). Keck and Gemini spectral characterization of Lucy mission fly-by target (152830) Dinkinesh. Icarus. Elsevier.https://doi.org/10.1016/j.icarus.2023.115562 

González-Caniulef, D., Caiazzo, I., &; Heyl, J. (2023). Unbinned likelihood analysis for X-ray polarization. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stad033 

Fedorov, A., Hashemi, D., Nadiradze, G., &; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3558481.3591082 

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3593013.3594028 

Bravo, J. P. K., Hallmark, T., Naegle, B., Beisel, C. L., Jackson, R. N., &; Taylor, D. W. (2023). RNA targeting unleashes indiscriminate nuclease activity of CRISPR–Ca. Nature. Springer Nature.https://doi.org/10.1038/s41586-022-05560-w