Tamás Szabó

University of Debrecen — Hungary

Computer Science · Physical Sciences

15h-index915citations63works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Logic, programming, and type systems(7), Software Engineering Research(7), Plant Virus Research Studies(7), Software Testing and Debugging Techniques(7)

Publications63 total

A kereskedelmi bankok számlanyitási akcióinak megítélése
Jelenkori Társadalmi és Gazdasági Folyamatok·2025Open Access
100 ÉVES A DEBRECENI EGYETEM GYERMEKGYÓGYÁSZATI KLINIKÁJA A DEBRECENI GYERMEKORVOSLÁS ÉS A DEBRECENI GYERMEKKLINIKA TÖRTÉNETE
Gerundium·2024Open Access
Prognostic Value of Baseline Serum Pro-Inflammatory Cytokines in Severe Multisystem Inflammatory Syndrome in Children
Journal of Clinical Medicine·2024· 2 citedOpen Access
Incrementalizing Production CodeQL Analyses
2023· 12 citedOpen Access
Stimulator of Interferon Genes (STING) Triggers Adipocyte Autophagy
Cells·2023· 12 citedOpen Access
Distinct subsets of anti-pulmonary autoantibodies correlate with disease severity and survival in severe COVID-19 patients
GeroScience·2023· 1 citedOpen Access
Prevention of Chronic Morbidities in Extremely Premature Newborns with LISA-nCPAP Respiratory Therapy and Adjuvant Perinatal Strategies
Antioxidants·2023· 8 citedOpen Access
Multicolored MIS-C, a single-centre cohort study
BMC Pediatrics·2023· 9 citedOpen Access
Daily serum phosphate increase as early and reliable indicator of kidney injury in children with leukemia and lymphoma developing tumor lysis syndrome
Pediatric Nephrology·2023· 5 citedOpen Access
The Importance of Genetic Testing in the Differential Diagnosis of Atypical TSC2-PKD1 Contiguous Gene Syndrome—Case Series
Children·2023· 6 citedOpen Access
Incremental Processing of Structured Data in Datalog
2022· 5 cited
Mitochondrial RNA stimulates beige adipocyte development in young mice
Nature Metabolism·2022· 28 citedOpen Access
The majority of severe COVID-19 patients develop anti-cardiac autoantibodies
GeroScience·2022· 25 citedOpen Access
The role of urinary N-acetyl-β-D-glucosaminidase in early detection of acute kidney injury among pediatric patients with neoplastic disorders in a retrospective study
BMC Pediatrics·2022· 12 citedOpen Access
Incidence, predictors of success and outcome of LISA in very preterm infants
2021· 1 citedOpen Access
Incremental whole-program analysis in Datalog with lattices
2021· 34 cited
Concise, type-safe, and efficient structural diffing
2021· 5 cited
Replication Package for Article: Incremental Whole-Program Analysis in Datalog with Lattices
Artifact Digital Object Group·2021· 4 cited
A systematic approach to deriving incremental type checkers
Proceedings of the ACM on Programming Languages·2020· 15 citedOpen Access
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Electronic Proceedings in Theoretical Computer Science·2020Open Access
page 1 of 4Next →

Frequent Co-authors

Sebastian Erdweg(10), M. Bellgard(7), Markus Voelter(7), Adam Hunter(6), Péter Huszthy(5), Roberto A. Barrero(4), Gábor Bergmann(4), Bernd Kolb(4), Tünde Tóth(4), Kathryn Napier(3), J. H. Cunnington(3), Lia W. Liefting(3), Sandi Keenan(3), Rebekah A. Frampton(3), Simon Bulman(3), L. I. Ward(3), Mark Whattam(3), Péter Bakó(3), Zsolt Rapi(3), György Keglevich(3)