130
Publications
5.8K
Citations
47
H-Index
1987
Active since
Kim Marriott is an author at Monash University specializing in engineering, computer science, and design.
Top concepts
EngineeringComputer ScienceDesignAutomated ReasoningFormal MethodsData ScienceHuman-computer InteractionProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
1987–2024
130
130
Maxime Cordeil, Andrew Cunningham, Tim Dwyer et al. · 2017 · 212 citations
Interactive Visualization, Real-time Visualization, Data Science +7
The Design of the Zinc Modelling Language
Kim Marriott, Nicholas Nethercote, Reza Rafeh et al. · Constraints · 2008 · 136 citations
Leona Holloway, Kim Marriott, Matthew Butler · 2018 · 136 citations
Rows per page
1–5 of 130