Maria‐Magdalena Tamas

Computer Science · Physical Sciences

3h-index262citations4works6.02yr avg

OpenAlex↗Google Scholar↗

Accepting Students?

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

Research Topics

Logic, programming, and type systems(1), Systemic Lupus Erythematosus Research(1), Cardiac Imaging and Diagnostics(1), Multi-Agent Systems and Negotiation(1), Logic, Reasoning, and Knowledge(1)

Publications4 total

Aristotle: IMO-level Automated Theorem Proving

arXiv (Cornell University)·2025Open Access

Relationship Between Ultrasound and Physical Examination in the Assessment of Enthesitis in Patients With Spondyloarthritis: Results From the <scp>DEUS</scp> Multicenter Study

12 cited

Arthritis & Rheumatology·2024· 12 citedOpen Access

“To Be or Not To Be,” Ten Years After: Evidence for Mixed Connective Tissue Disease as a Distinct Entity

159 cited

Seminars in Arthritis and Rheumatism·2012· 159 cited

Normal SPECT thallium-201 bull's-eye display: gender differences.

91 cited

PubMed·1988· 91 cited

Frequent Co-authors

Susanna Cappelli(1), Silvia Bellando-Randone(1), Dušanka Martinović(1), K. Simic Pasalic(1), Yannick Allanore(1), Marta Mosca(1), Rosaria Talarico(1), Daniela Opriș-Belinski(1), Csaba G. Kiss(1), Anne-Kathrin Tausche(1), Silvia Cardarelli(1), Valeria Riccieri(1), O. Koneva(1), Giovanna Cuomo(1), Mike Oliver Becker(1), Alberto Sulli(1), Serena Guiducci(1), Mislav Radić(1), Stefano Bombardieri(1), Martin Aringer(1)