Building and Proving Correctness of Programs using Discrete Dynamical Systems. - Viswanath Kasturi (CCCT (1), 2004)

On the Definition of Non-deterministic Mechanisms - Venkata Rao Kuchibhotla; Viswanath Kasturi (CoRR, 2009)

From High-School Algebra to Computing through Functional Programming. - Venkatesh Choppella; Hitesh Kumar; Manjula Pidaparty; Viswanath Kasturi (T4E, 2012)

Viewing Algorithms as Iterative Systems and Plotting Their Dynamic Behaviour. - Venkatesh Choppella; Viswanath Kasturi; Manjula Pidaparty (T4E, 2013)

An Attempt at Explicating the Relationship between Knowledge, Systems and Engineering. - Amar Banerjee; Venkatesh Choppella; Viswanath Kasturi; Swaminathan Natarajan; Padmalata V. Nistala; Kesav V. Nori (ISEC, 2018)

Generalised Dining Philosophers as Feedback Control. - Venkatesh Choppella; Viswanath Kasturi; Arjun Sanjeev (CoRR, 2018)

Generalised Dining Philosophers as Feedback Control. - Venkatesh Choppella; Arjun Sanjeev; Viswanath Kasturi; Bharat Jayaraman (ICDCIT, 2020)

Algodynamics: Teaching Algorithms using Interactive Transition Systems. - Venkatesh Choppella; Viswanath Kasturi; Mrityunjay Kumar; Ojas Mohril (CoRR, 2020)

Algodynamics: Algorithms as systems. - Venkatesh Choppella; Viswanath Kasturi; Mrityunjay Kumar (FIE, 2021)