Scholar
Avinash Malik
Google Scholar ID: F1MIfXwAAAAJ
University of Auckland
Formal logic
programming languages
processor design
formal verification
compiler optimizations
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
420
H-index
11
i10-index
13
Publications
20
Co-authors
0
Publications
6 items
The Geometry of Time: Horizon-Independent Feasibility and Repair for STL
2026
Cited
0
An Asynchronous multi-rate Taylor method for Delay Differential Equations
2026
Cited
0
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
2026
Cited
0
Efficient compilation and execution of synchronous programs via type-state programming
2025
Cited
0
Timetide: A programming model for logically synchronous distributed systems
2025
Cited
0
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
2025
Cited
0
