Thiemann R - Search Results

1

A Formalization of the Smith Normal Form in Higher-Order Logic.

Divasón J, Thiemann R. Divasón J, et al. Among authors: thiemann r. J Autom Reason. 2022;66(4):1065-1095. doi: 10.1007/s10817-022-09631-5. Epub 2022 May 26. J Autom Reason. 2022. PMID: 36353683 Free PMC article.

2

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.

Divasón J, Joosten SJC, Thiemann R, Yamada A. Divasón J, et al. Among authors: thiemann r. J Autom Reason. 2020;64(4):699-735. doi: 10.1007/s10817-019-09526-y. Epub 2019 Jun 17. J Autom Reason. 2020. PMID: 32269396 Free PMC article.

3

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

Thiemann R, Bottesch R, Divasón J, Haslbeck MW, Joosten SJC, Yamada A. Thiemann R, et al. J Autom Reason. 2020;64(5):827-856. doi: 10.1007/s10817-020-09552-1. Epub 2020 Jun 9. J Autom Reason. 2020. PMID: 32831440 Free PMC article.

4

A Verified Implementation of Algebraic Numbers in Isabelle/HOL.

Joosten SJC, Thiemann R, Yamada A. Joosten SJC, et al. Among authors: thiemann r. J Autom Reason. 2020;64(3):363-389. doi: 10.1007/s10817-018-09504-w. Epub 2018 Dec 9. J Autom Reason. 2020. PMID: 32226180 Free PMC article.

5

Prevalence of Adverse Childhood Experiences in Child Population Samples: A Systematic Review and Meta-Analysis.

Madigan S, Thiemann R, Deneault AA, Fearon RMP, Racine N, Park J, Lunney CA, Dimitropoulos G, Jenkins S, Williamson T, Neville RD. Madigan S, et al. Among authors: thiemann r. JAMA Pediatr. 2025 Jan 1;179(1):19-33. doi: 10.1001/jamapediatrics.2024.4385. JAMA Pediatr. 2025. PMID: 39527072

6

On the relationship between unprompted thought and affective well-being: A systematic review and meta-analysis.

Kam JWY, Wong AY, Thiemann RF, Hasan F, Andrews-Hanna JR, Mills C. Kam JWY, et al. Among authors: thiemann rf. Psychol Bull. 2024 May;150(5):621-641. doi: 10.1037/bul0000428. Epub 2024 Apr 15. Psychol Bull. 2024. PMID: 38619477

7

Intergenerational transmission of parent adverse childhood experiences to child outcomes: A systematic review and meta-analysis.

Racine N, Deneault AA, Thiemann R, Turgeon J, Zhu J, Cooke J, Madigan S. Racine N, et al. Among authors: thiemann r. Child Abuse Negl. 2023 Oct 9:106479. doi: 10.1016/j.chiabu.2023.106479. Online ahead of print. Child Abuse Negl. 2023. PMID: 37821290

8

Adverse childhood experiences: a meta-analysis of prevalence and moderators among half a million adults in 206 studies.

Madigan S, Deneault AA, Racine N, Park J, Thiemann R, Zhu J, Dimitropoulos G, Williamson T, Fearon P, Cénat JM, McDonald S, Devereux C, Neville RD. Madigan S, et al. Among authors: thiemann r. World Psychiatry. 2023 Oct;22(3):463-471. doi: 10.1002/wps.21122. World Psychiatry. 2023. PMID: 37713544 Free PMC article.

9

Differential relationships between thought dimensions and momentary affect in daily life.

Thiemann RF, Mills C, Kam JWY. Thiemann RF, et al. Psychol Res. 2023 Jul;87(5):1632-1643. doi: 10.1007/s00426-022-01766-9. Epub 2022 Nov 12. Psychol Res. 2023. PMID: 36370193 Free PMC article.

10

Task-unrelated thought increases after consumption of COVID-19 and general news.

Hart CM, Mills C, Thiemann RF, Andrews-Hanna JR, Tomfohr-Madsen L, Kam JWY. Hart CM, et al. Among authors: thiemann rf. Cogn Res Princ Implic. 2022 Jul 25;7(1):69. doi: 10.1186/s41235-022-00420-7. Cogn Res Princ Implic. 2022. PMID: 35876968 Free PMC article.

Save citations to file

Email citations

Send citations to clipboard

Add to Collections

Add to My Bibliography

Create a file for external citation management software

Your saved search

Your RSS Feed

My Custom Filters

Publication date

Text availability

Article attribute

Article type

Article Language

Species

Sex

Age

Other

30 results

Search Page

Filters