Gokul Hariharan

According to our database, Gokul Hariharan authored at least 8 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

MLTL Multi-type: A Typed Logic for Cyber-Physical Systems.

Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier

ACM Trans. Embed. Comput. Syst., March, 2026

2023

Maximum Satisfiability of Mission-Time Linear Temporal Logic.

Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types.

Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Well-conditioned ultraspherical and spectral integration methods for resolvent analysis of channel flows of Newtonian and viscoelastic fluids.

Gokul Hariharan, Satish Kumar, Mihailo R. Jovanovic

J. Comput. Phys., 2021

2018

Spatio-temporal impulse responses in channel flow of viscoelastic fluids.

Gokul Hariharan, Mihailo R. Jovanovic, Satish Kumar

Proceedings of the 2018 Annual American Control Conference, 2018

2017

An Optimization Wavelet Method for Multi Variable-order Fractional Differential Equations.

Mohammad Hossein Heydari, Mohammad Reza Hooshmandasl, Carlo Cattani, Gokul Hariharan

Fundam. Informaticae, 2017

2009

Haar wavelet method for solving Fisher's equation.

Gokul Hariharan, K. Kannan, K. R. Sharma

Appl. Math. Comput., 2009

Haar wavelet in estimating depth profile of soil temperature.

Gokul Hariharan, K. Kannan, Kal Renganathan Sharma

Appl. Math. Comput., 2009