Blanc Guy. Subsampling Suffices for Adaptive Data Analysis[J]. Journal of the ACM, 2025, 72(1): 999–1012.

Blanc, Guy. "Subsampling Suffices for Adaptive Data Analysis" Journal of the ACM 72.1 (2025): 999–1012.

Blanc Guy. (2025). Subsampling Suffices for Adaptive Data Analysis. Journal of the ACM, 72(1), 999–1012.

Borges Ana de Almeida, Artis Annali Casanueva, Falleri Jean-Remy, et al. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users[J]. Journal of Automated Reasoning, 2025, 69(1).

Borges, Ana de Almeida, et al. "Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users" Journal of Automated Reasoning 69.1 (2025).

Borges Ana de Almeida, Artis Annali Casanueva, Falleri Jean-Remy, Gallego Arias Emilio Jesus, Martin-Dorel Erik, Palmskog Karl, ... & Zimmermann Theo. (2025). Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. Journal of Automated Reasoning, 69(1)

Giggins Oonagh M, Cullen-Smith Suzanne, Broeckx Leen, et al. Physical Activity, Physical Function and Quality of Life in Midlife Women[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 211-214.

Giggins, Oonagh M., et al. "Physical Activity, Physical Function and Quality of Life in Midlife Women" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 211-214.

Giggins Oonagh M., Cullen-Smith Suzanne, Broeckx Leen, Sels Romy, Helsen Kim, Cuppens Kris. (2025). Physical Activity, Physical Function and Quality of Life in Midlife Women. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 211-214.

Khoshkangini Reza, Mangrio Elisabeth, Johnsson Magnus. Enhancing In Vitro Fertilization with Environment Optimization Utilizing Artificial Intelligence (EIVF-AI)[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 151-158.

Khoshkangini Reza, Mangrio Elisabeth, and Johnsson Magnus. "Enhancing In Vitro Fertilization with Environment Optimization Utilizing Artificial Intelligence (EIVF-AI)" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 151-158.

Khoshkangini Reza, Mangrio Elisabeth, & Johnsson Magnus. (2025). Enhancing In Vitro Fertilization with Environment Optimization Utilizing Artificial Intelligence (EIVF-AI). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 151-158.

Angelucci Alessandra, Barbieri Lorenzo, Caramaschi Sara, et al. A Flexible IMU-Based Unit for Validation Studies: A Step Counting Application[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 190-200.

Angelucci, Alessandra, et al. "A Flexible IMU-Based Unit for Validation Studies: A Step Counting Application" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 190-200.

Angelucci Alessandra, Barbieri Lorenzo, Caramaschi Sara, Sarmiento Clarysse A., Sekules Virginia, Aliverti Andrea. (2025). A Flexible IMU-Based Unit for Validation Studies: A Step Counting Application. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 190-200.

Mahapasuthanon Pattiya, Motti Vivian Genaro. BeClean: Designing a Personalized Eco-Feedback Application to Promote Pro-Environmental Behavior[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 206-210.

Mahapasuthanon Pattiya, and Motti Vivian Genaro. "BeClean: Designing a Personalized Eco-Feedback Application to Promote Pro-Environmental Behavior" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 206-210.

Mahapasuthanon Pattiya, & Motti Vivian Genaro. (2025). BeClean: Designing a Personalized Eco-Feedback Application to Promote Pro-Environmental Behavior. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 206-210.

James Lorenzo J, Genga Laura, Nuijten Raoul, et al. Evaluation of Level System Structures on the Engagement of Participants in mHealth Applications[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 104-120.

James, Lorenzo J., et al. "Evaluation of Level System Structures on the Engagement of Participants in mHealth Applications" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 104-120.

James Lorenzo J., Genga Laura, Nuijten Raoul, Montagne Barbara, Hagenaars Muriel M., Van Gorp Pieter M. E. (2025). Evaluation of Level System Structures on the Engagement of Participants in mHealth Applications. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 104-120.

Toulkeridou Evropi, Kosmidou Panagiota, Vevis Kristis, et al. Improving Personalized Medicine via AI-Based Precision Tracheostomy[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 239-246.

Toulkeridou, Evropi, et al. "Improving Personalized Medicine via AI-Based Precision Tracheostomy" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 239-246.

Toulkeridou Evropi, Kosmidou Panagiota, Vevis Kristis, Antoniou Zinonas, Kallinos Loizos, Valiandi Ioanna, ... & Panayides Andreas. (2025). Improving Personalized Medicine via AI-Based Precision Tracheostomy. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 239-246.

Szymanski Maxwell, Van Houdt Leen, De Croon Robin, et al. Gamifying a Chronic Pain Management mHealth Intervention: Do's and Don'ts[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 89-103.

Szymanski, Maxwell, et al. "Gamifying a Chronic Pain Management mHealth Intervention: Do's and Don'ts" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 89-103.

Szymanski Maxwell, Van Houdt Leen, De Croon Robin, Verbert Katrien, & vanden Abeele Vero. (2025). Gamifying a Chronic Pain Management mHealth Intervention: Do's and Don'ts. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 89-103.

Ahire Shashank, Almahayni Abdalrazak, Rohs Michael. H2Office: A Smartwatch and Water-Gauge System for Facilitating Hydration of Knowledge Workers[J]. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 2025, 612: 31-47.

Ahire Shashank, Almahayni Abdalrazak, and Rohs Michael. "H2Office: A Smartwatch and Water-Gauge System for Facilitating Hydration of Knowledge Workers" Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 612 (2025): 31-47.

Ahire Shashank, Almahayni Abdalrazak, & Rohs Michael. (2025). H2Office: A Smartwatch and Water-Gauge System for Facilitating Hydration of Knowledge Workers. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 612, 31-47.