( en | de | ru )

 

Disambiguation of "Akshay, S."

Author of the publication

copydeleteadd this publication to your clipboard
Timed Systems through the Lens of Logic.

, , , and . LICS, page 1-13. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akshay Balsubramani

Akshay Wadia

Akshay Gupte

S Hüttelmaier

S Leopold

 

Other publications of authors with the same name

Checking conformance for time-constrained scenario-based specifications., , , and . Theor. Comput. Sci., (2015)A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application., , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (5): 1352-1365 (2012)Regular set of representatives for time-constrained MSC graphs., , , and . Inf. Process. Lett., 112 (14-15): 592-598 (2012)Open Set Domain Adaptation for Classification of Dynamical States in Nonlinear Fluid Dynamical Systems., , , , , , and . IEEE Access, (2024)iSTIMULI: Prescriptive Stimulus Design for Eye Movement Analysis of Patients with Parkinson's Disease., , , and . MIWAI, volume 14078 of Lecture Notes in Computer Science, page 589-600. Springer, (2023)iAOI: An Eye Movement Based Deep Learning Model to Identify Areas of Interest., , , , , and . MIWAI, volume 14078 of Lecture Notes in Computer Science, page 659-670. Springer, (2023)iBEHAVE: Behaviour Analysis Using Eye Gaze Metrices., , , and . PReMI, volume 14301 of Lecture Notes in Computer Science, page 260-269. Springer, (2023)UEye: Insights on User Interface Design Using Eye Movement Visualizations., , and . ICACDS, volume 1848 of Communications in Computer and Information Science, page 253-264. Springer, (2023)Symbolically Bounding the Drift in Time-Constrained MSC Graphs., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata., , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 619-642. Springer, (2021)