Galois (United States) — United States
Computer Science · Physical Sciences
5h-index129citations32works1.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(6), graph theory and CDMA systems(6), Software Reliability and Analysis Research(6), Graph Labeling and Dimension Problems(6), Art, Politics, and Modernism(5)
Publications32 total
International Journal on Software Tools for Technology Transfer·2025· 1 cited
Amyotrophic Lateral Sclerosis and Frontotemporal Degeneration·2023· 1 citedOpen Access
ACM SIGAda Ada Letters·2023· 4 cited
RWTH Publications (RWTH Aachen)·2023Open Access
Lecture notes in computer science·2023· 9 cited
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2023Open Access
2022
Lecture notes in computer science·2022· 11 cited
Reliability Engineering & System Safety·2021· 42 cited
University of Minnesota Digital Conservancy (University of Minnesota)·2021Open Access
"A Nova Mulher": Hildegard Rosenthal and Early Paulista Photography
2021
Lecture notes in computer science·2021· 1 cited
Latin American Research Review·2020· 1 citedOpen Access
Bitácora arquitectura·2019Open Access
São Paulo pasado y presente: álbumes comparativos y la fotografía de arquitectura en Brasil
2019
CUNY Academic Works (City University of New York)·2019Open Access
page 1 of 2Next →
Frequent Co-authors
John Hatcliff(7), Joseph A. Gallian(5), Darren Cofer(4), Mats P. E. Heimdahl(4), Michael W. Whalen(3), Jason Belt(3), Robby(3), Michael R. Peterson(2), Jérôme Hugues(2), Lutz Wrage(2), Jacob Legg(2), Todd Carpenter(2), David C. Wheeler(2), Ryan Naum(2), Paula Burke Brockenbrough(2), Michelle Gebhardt(2), Kelly Gwathmey(2), Martha Caldwell(2), Dietra Hawkins(2), Stefan Hallerstede(2)