Theory of Linear Equations Applied to Program Transformation. - Uday S. Reddy; Bharat Jayaraman (IJCAI, 1983)

Parallel execution of an equational language. - Bharat Jayaraman; Gopal Gupta 001 (Graph Reduction, 1986)

Equations, Sets, and Reduction Semantics for Functional and Logic Programming. - Bharat Jayaraman; Frank S. K. Silbermann (LISP and Functional Programming, 1986)

Primitives for resource management in a demand-driven reduction model. - Bharat Jayaraman; Robert M. Keller (Int. J. Parallel Program., 1986)

Functional programming with sets. - Bharat Jayaraman; David A. Plaisted (FPCA, 1987)

Subset-Logic Programming: Application and Implementation. - Bharat Jayaraman; Anil Nair (ICLP/SLP, 1988)

Semantics of EqL. - Bharat Jayaraman (IEEE Trans. Software Eng., 1988)

Set Abstraction in Functional and Logic Programming. - Frank S. K. Silbermann; Bharat Jayaraman (FPCA, 1989)

A Model for Combined And-Or Parallel Execution of Logic Programs. - Gopal Gupta 002; Bharat Jayaraman (ICPP (2), 1989)

Combined And-Or Parallelism on Shared Memory Multiprocessors. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1989)

Programming with Equations, Subsets, and Relations. - Bharat Jayaraman; David A. Plaisted (NACLP, 1989)

Towards a WAM Model for Lambda-Prolog. - Gopalan Nadathur; Bharat Jayaraman (NACLP, 1989)

Semantics and Implementation of Resource Expressions. - Bharat Jayaraman; Robert M. Keller (J. Parallel Distributed Comput., 1989)

EqL: The Language and Its Implementation. - Bharat Jayaraman; Gopal Gupta 001 (IEEE Trans. Software Eng., 1989)

Optimizing And-Or Parallel Implementations. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1990)

On Criteria for Or-Parallel Execution Models of Logic Programs. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1990)

Implementation Techniques for Scoping Constructs in Logic Programming. - Bharat Jayaraman; Gopalan Nadathur (ICLP, 1991)

Interactive Synthesis of Definite-Clause Grammars. - Juergen Haas; Bharat Jayaraman (JICSLP, 1992)

Sublist Assertions for Listless and Lazy Evaluation. - Bharat Jayaraman (Comput. Lang., 1992)

A Domain-Theoretic Approach to Functional and Logic Programming. - Frank S. K. Silbermann; Bharat Jayaraman (J. Funct. Program., 1992)

Implementation of Subset-Equational Programs. - Bharat Jayaraman (J. Log. Program., 1992)

Subset Assertions and Negation As Failure. - Mauricio Osorio 001; Bharat Jayaraman (ILPS, 1993)

And-Or Parallelism on Shared-Memory Multiprocessors. - Gopal Gupta 001; Bharat Jayaraman (J. Log. Program., 1993)

Analysis of Or-Parallel Execution Models. - Gopal Gupta 001; Bharat Jayaraman (ACM Trans. Program. Lang. Syst., 1993)

The SuRE Programming Framework. - Bharat Jayaraman; Kyonghee Moon (AMAST, 1995)

Partial Order Programming (Revisited). - Bharat Jayaraman; Mauricio Osorio 001; Kyonghee Moon (AMAST, 1995)

Preference Logic Programming. - Kannan Govindarajan; Bharat Jayaraman; Surya Mantha (ICLP, 1995)

Relaxation in Constraint Logic Languages. - Kannan Govindarajan; Bharat Jayaraman; Surya Mantha (ILPS, 1995)

Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. - Gopalan Nadathur; Bharat Jayaraman; Keehang Kwon (J. Log. Program., 1995)

Aggregation and Well-Founded Semantics. - Mauricio Osorio 001; Bharat Jayaraman (NMELP, 1996)

Optimization and Relaxation in Constraint Logic Languages. - Kannan Govindarajan; Bharat Jayaraman; Surya Mantha (POPL, 1996)

Visualizing Program Execution. - Bharat Jayaraman; Charlotte M. Baltus (VL, 1996)

A simulation test bed for computational modeling of business processes. - T. S. Raghu 001; Abhijit Chaudhury; Bharat Jayaraman; H. Raghav Rao (ICIS, 1997)

From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. - Juergen Haas; Bharat Jayaraman (J. Log. Program., 1997)

Integrating the Completion and the Well Founded Semantics. - Mauricio Osorio 001; Bharat Jayaraman (IBERAMIA, 1998)

Preference Logic Grammars. - Bharat Jayaraman; Kannan Govindarajan; Surya Mantha (Comput. Lang., 1998)

Scoping Constructs in Logic Programming: Implementation Problems and their Solution - Gopalan Nadathur; Bharat Jayaraman; Keehang Kwon (CoRR, 1998)

Declarative Pruning in a Functional Query Language. - Mauricio Osorio 001; Bharat Jayaraman; Juan Carlos Nieves (ICLP, 1999)

Set Constructors, Finite Sets, and Logical Semantics. - Bharat Jayaraman; Jana Devashis (J. Log. Program., 1999)

Aggregation and Negation-As-Failure. - Mauricio Osorio 001; Bharat Jayaraman (New Gener. Comput., 1999)

Theory of Partial-Order Programming. - Mauricio Osorio 001; Bharat Jayaraman; David A. Plaisted (Sci. Comput. Program., 1999)

Constrained objects for modeling complex structures (extended abstract) (poster session). - Bharat Jayaraman; Pallavi Tambay (OOPSLA Addendum, 2000)

Constrained objects for modeling complex structures (extended abstract). - Bharat Jayaraman; Pallavi Tambay (OOPSLA Addendum, 2000)

Subset Logic Programs and Their Implementation. - Bharat Jayaraman; Kyonghee Moon (J. Log. Program., 2000)

Preference Queries in Deductive Databases. - Kannan Govindarajan; Bharat Jayaraman; Surya Mantha (New Gener. Comput., 2000)

Research on sets, constraints, and preferences. - Bharat Jayaraman (ACM SIGSOFT Softw. Eng. Notes, 2000)

Compositional Semantics for Diagrams Using Constrained Objects. - Bharat Jayaraman; Pallavi Tambay (Diagrams, 2002)

Modeling Engineering Structures with Constrained Objects. - Bharat Jayaraman; Pallavi Tambay (PADL, 2002)

Interactive Visualization of Java Programs. - Paul V. Gestwicki; Bharat Jayaraman (HCC, 2002)

Insecure Programming: How Culpable is a Language's Syntax? - Ramkumar Chinchani; Anusha Iyer; Bharat Jayaraman; Shambhu J. Upadhyaya (IAW, 2003)

A comparison of B2B e-service solutions. - Dan Jong Kim 001; Manish Agrawal; Bharat Jayaraman; H. Raghav Rao (Commun. ACM, 2003)

ARCHERR: Runtime Environment Driven Program Safety. - Ramkumar Chinchani; Anusha Iyer; Bharat Jayaraman; Shambhu J. Upadhyaya (ESORICS, 2004)

JIVE: Java Interactive Visualization Environment. - Paul V. Gestwicki; Bharat Jayaraman (OOPSLA Companion, 2004)

Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms. - T. S. Raghu 001; Bharat Jayaraman; H. Raghav Rao (Inf. Syst. Res., 2004)

Aggregation in Functional Query Languages. - Mauricio Osorio 001; Juan Carlos Nieves; Bharat Jayaraman (J. Funct. Log. Program., 2004)

Visualizing errors in object oriented programs. - Hani Z. Girgis; Bharat Jayaraman; Paul V. Gestwicki (OOPSLA Companion, 2005)

Optimization with mode-directed preferences. - Hai-Feng Guo; Bharat Jayaraman; Gopal Gupta 001; Miao Liu (PPDP, 2005)

Mode-directed preferences for logic programs. - Hai-Feng Guo; Bharat Jayaraman (SAC, 2005)

Methodology and architecture of JIVE. - Paul V. Gestwicki; Bharat Jayaraman (SOFTVIS, 2005)

Relaxation on Optimization Predicates. - Hai-Feng Guo; Miao Liu; Bharat Jayaraman (ICLP, 2006)

Declarative and visual debugging in Eclipse. - Jeffrey K. Czyz; Bharat Jayaraman (ETX, 2007)

JavaTA: A Logic-based Debugger for Java - Hani Z. Girgis; Bharat Jayaraman (CoRR, 2007)

Biometrics Driven Smart Environments: Abstract Framework and Evaluation. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (UIC, 2008)

Logic programming with solution preferences. - Hai-Feng Guo; Bharat Jayaraman (J. Log. Algebraic Methods Program., 2008)

DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts. - Jayaraj Poroor; Bharat Jayaraman (IEEE Internet Comput., 2009)

Multimodal identification and tracking in smart environments. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (Pers. Ubiquitous Comput., 2010)

Formal specification and verification of vehicular handoff using π-calculus. - Jayaraj Poroor; Bharat Jayaraman (ACWR, 2011)

Temporal Data Model for Program Debugging. - Demian Lessa; Bharat Jayaraman; Jan Chomicki (DBPL, 2011)

The Three Rs of Cyberphysical Spaces. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (Computer, 2011)

Verifying security properties of internet protocol stacks: The split verification approach. - Jayaraj Poroor; Bharat Jayaraman (J. Syst. Archit., 2011)

Spatio-Temporal Reasoning in Biometrics Based Smart Environments. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (ANT/MobiWIS, 2011)

Ji.Fi: visual test and debug queries for hard real-time. - Ethan Blanton; Demian Lessa; Lukasz Ziarek; Bharat Jayaraman (JTRES, 2012)

Formal analysis of event-driven cyber physical systems. - Jayaraj Poroor; Bharat Jayaraman (SECURIT, 2012)

Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only). - Demian Lessa; Bharat Jayaraman (SIGCSE, 2012)

Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction. - Bharat Jayaraman (Comput. J., 2012)

Spatio-Temporal Querying in Smart Spaces. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (ANT/MobiWIS, 2012)

C2L: A Formal Policy Language for Secure Cloud Configurations. - Jayaraj Poroor; Bharat Jayaraman (ANT/MobiWIS, 2012)

A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks. - Kirak Hong; Marco Völz; Venu Govindaraju; Bharat Jayaraman; Umakishore Ramachandran (ICDCS Workshops, 2013)

Enhancing biometric recognition with spatio-temporal reasoning in smart environments. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (Pers. Ubiquitous Comput., 2013)

Modeling mobile stateful channels in ππZ. - Jayaraj Poroor; Bharat Jayaraman (Sci. Comput. Program., 2013)

Preparing global engineers: USA-India academia & industry led approach. - Manoj Pokkiyarath; Raghu Raman; Krishnashree Achuthan; Bharat Jayaraman (FIE, 2014)

Towards program execution summarization: Deriving state diagrams from sequence diagrams. - Swaminathan Jayaraman; Kishor Kamath D.; Bharat Jayaraman (IC3, 2014)

JI.FI: Visual test and debug queries for hard real-time. - Ethan Blanton; Demian Lessa; Puneet Arora; Lukasz Ziarek; Bharat Jayaraman (Concurr. Comput. Pract. Exp., 2014)

Probabilistic spatio-temporal retrieval in smart spaces. - Vivek Menon; Bharat Jayaraman; Venu Govindaraju (J. Ambient Intell. Humaniz. Comput., 2014)

Consistency of Java run-time behavior with design-time specifications. - Swaminathan Jayaraman; Dinoop Hari; Bharat Jayaraman (IC3, 2015)

Runtime Visualization and Verification in JIVE. - Lukasz Ziarek; Bharat Jayaraman; Demian Lessa; Swaminathan Jayaraman (RV, 2016)

Run-Time Analysis of Temporal Constrained Objects. - Jinesh M. Kannimoola; Bharat Jayaraman; Krishnashree Achuthan (DECLARE, 2017)

Temporal constrained objects: Application and implementation. - Jinesh M. Kannimoola; Bharat Jayaraman; Pallavi Tambay; Krishnashree Achuthan (Comput. Lang. Syst. Struct., 2017)

Compact visualization of Java program execution. - Swaminathan Jayaraman; Bharat Jayaraman; Demian Lessa (Softw. Pract. Exp., 2017)

Temporal constrained objects for modelling neuronal dynamics. - Manjusha Nair; Jinesh M. Kannimoola; Bharat Jayaraman; Bipin Nair; Shyam Diwakar (PeerJ Comput. Sci., 2018)

Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0. - Jiafu Wan; Min Xia 001; Jun Hong 002; Zhibo Pang; Bharat Jayaraman; Fangyang Shen (IEEE Access, 2019)

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

Semantics of temporal constrained objects. - Jinesh M. Kannimoola; Bharat Jayaraman; Krishnashree Achuthan (J. Log. Algebraic Methods Program., 2021)

Finite-state model extraction and visualization from Java program execution. - Jevitha K. P.; Swaminathan Jayaraman; Bharat Jayaraman; M. Sethumadhavan 001 (Softw. Pract. Exp., 2021)

Runtime Verification on Abstract Finite State Models. - KP Jevitha; Bharat Jayaraman; M. Sethumadhavan 001 (CoRR, 2024)

A declarative approach to detecting design patterns from Java execution traces and source code. - Aswathy Mohan; Swaminathan Jayaraman; Bharat Jayaraman (Inf. Softw. Technol., 2024)

Runtime verification on abstract finite state models. - K. P. Jevitha; Bharat Jayaraman; M. Sethumadhavan 001 (J. Syst. Softw., 2024)

Quantitative Metrics for Smart Spaces. - Lakshmi Mohan; Vivek Menon; Bharat Jayaraman (SMARTCOMP, 2025)

AI-Enhanced Child Handwriting Analysis: A Framework for the Early Screening of Dyslexia and Dysgraphia. - Sahana Rangasrinivasan; M. S. Sumi Suresh; Abbie Olszewski; Srirangaraj Setlur; Bharat Jayaraman; Venu Govindaraju (SN Comput. Sci., 2025)