Bharat Jayaraman

102 papers A* 2A 2B 6C 7Misc 2Journal 43Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	AI-Enhanced Child Handwriting Analysis: A Framework for the Early Screening of Dyslexia and Dysgraphia. SN Comput. Sci. Sahana Rangasrinivasan, M. S. Sumi Suresh, Abbie Olszewski, Srirangaraj Setlur, Bharat Jayaraman, Venu Govindaraju
2025	—	`conf`	From Scribbles to Text: A Novel Transformer-Based Recognition Model for Child Handwriting. ICDAR (1) Sahana Rangasrinivasan, M. S. Sumi Suresh, Srirangaraj Setlur, Bharat Jayaraman, Venu Govindaraju
2025	B	`conf`	Quantitative Metrics for Smart Spaces. SMARTCOMP Lakshmi Mohan, Vivek Menon, Bharat Jayaraman
2024	J	`jnl`	A declarative approach to detecting design patterns from Java execution traces and source code. Inf. Softw. Technol. Aswathy Mohan, Swaminathan Jayaraman, Bharat Jayaraman
2024	J	`jnl`	Runtime Verification on Abstract Finite State Models. CoRR K. P. Jevitha, Bharat Jayaraman, M. Sethumadhavan
2024	J	`jnl`	Runtime verification on abstract finite state models. J. Syst. Softw. K. P. Jevitha, Bharat Jayaraman, M. Sethumadhavan
2021	J	`jnl`	Finite-state model extraction and visualization from Java program execution. Softw. Pract. Exp. Jevitha K. P., Swaminathan Jayaraman, Bharat Jayaraman, M. Sethumadhavan
2021	J	`jnl`	Semantics of temporal constrained objects. J. Log. Algebraic Methods Program. Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
2020	Misc	`conf`	Generalised Dining Philosophers as Feedback Control. ICDCIT Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman
2019	J	`jnl`	Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0. IEEE Access Jiafu Wan, Min Xia, Jun Hong, Zhibo Pang, Bharat Jayaraman, Fangyang Shen
2018	J	`jnl`	Temporal constrained objects for modelling neuronal dynamics. PeerJ Comput. Sci. Manjusha Nair, Jinesh M. Kannimoola, Bharat Jayaraman, Bipin Nair, Shyam Diwakar
2017	J	`jnl`	Compact visualization of Java program execution. Softw. Pract. Exp. Swaminathan Jayaraman, Bharat Jayaraman, Demian Lessa
2017	—	`conf`	Run-Time Analysis of Temporal Constrained Objects. DECLARE Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan
2017	J	`jnl`	Temporal constrained objects: Application and implementation. Comput. Lang. Syst. Struct. Jinesh M. Kannimoola, Bharat Jayaraman, Pallavi Tambay, Krishnashree Achuthan
2016	B	`conf`	Runtime Visualization and Verification in JIVE. RV Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
2015	—	`conf`	Consistency of Java run-time behavior with design-time specifications. IC3 Swaminathan Jayaraman, Dinoop Hari, Bharat Jayaraman
2014	J	`jnl`	JI.FI: Visual test and debug queries for hard real-time. Concurr. Comput. Pract. Exp. Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman
2014	C	`conf`	Preparing global engineers: USA-India academia & industry led approach. FIE Manoj Pokkiyarath, Raghu Raman, Krishnashree Achuthan, Bharat Jayaraman
2014	J	`jnl`	Probabilistic spatio-temporal retrieval in smart spaces. J. Ambient Intell. Humaniz. Comput. Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2014	—	`conf`	Towards program execution summarization: Deriving state diagrams from sequence diagrams. IC3 Swaminathan Jayaraman, Kishor Kamath D., Bharat Jayaraman
2013	—	`conf`	A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks. ICDCS Workshops Kirak Hong, Marco Völz, Venu Govindaraju, Bharat Jayaraman, Umakishore Ramachandran
2013	J	`jnl`	Enhancing biometric recognition with spatio-temporal reasoning in smart environments. Pers. Ubiquitous Comput. Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2013	J	`jnl`	Modeling mobile stateful channels in Sci. Comput. Program. Jayaraj Poroor, Bharat Jayaraman
2012	—	`conf`	C ANT/MobiWIS Jayaraj Poroor, Bharat Jayaraman
2012	A	`conf`	Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only). SIGCSE Demian Lessa, Bharat Jayaraman
2012	—	`conf`	Formal analysis of event-driven cyber physical systems. SECURIT Jayaraj Poroor, Bharat Jayaraman
2012	—	`conf`	Ji.Fi: visual test and debug queries for hard real-time. JTRES Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman
2012	—	`conf`	Spatio-Temporal Querying in Smart Spaces. ANT/MobiWIS Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2012	J	`jnl`	Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction. Comput. J. Bharat Jayaraman
2011	—	`conf`	Formal specification and verification of vehicular handoff using π-calculus. ACWR Jayaraj Poroor, Bharat Jayaraman
2011	—	`conf`	Spatio-Temporal Reasoning in Biometrics Based Smart Environments. ANT/MobiWIS Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2011	—	`conf`	Temporal Data Model for Program Debugging. DBPL Demian Lessa, Bharat Jayaraman, Jan Chomicki
2011	J	`jnl`	The Three Rs of Cyberphysical Spaces. Computer Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2011	J	`jnl`	Verifying security properties of internet protocol stacks: The split verification approach. J. Syst. Archit. Jayaraj Poroor, Bharat Jayaraman
2010	J	`jnl`	Multimodal identification and tracking in smart environments. Pers. Ubiquitous Comput. Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2009	J	`jnl`	DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts. IEEE Internet Comput. Jayaraj Poroor, Bharat Jayaraman
2008	C	`conf`	Biometrics Driven Smart Environments: Abstract Framework and Evaluation. UIC Vivek Menon, Bharat Jayaraman, Venu Govindaraju
2008	J	`jnl`	Logic programming with solution preferences. J. Log. Algebraic Methods Program. Hai-Feng Guo, Bharat Jayaraman
2007	—	`conf`	Declarative and visual debugging in Eclipse. ETX Jeffrey K. Czyz, Bharat Jayaraman
2007	J	`jnl`	JavaTA: A Logic-based Debugger for Java CoRR Hani Z. Girgis, Bharat Jayaraman
2006	B	`conf`	Relaxation on Optimization Predicates. ICLP Hai-Feng Guo, Miao Liu, Bharat Jayaraman
2005	—	`conf`	Methodology and architecture of JIVE. SOFTVIS Paul V. Gestwicki, Bharat Jayaraman
2005	Misc	`conf`	Mode-directed preferences for logic programs. SAC Hai-Feng Guo, Bharat Jayaraman
2005	C	`conf`	Optimization with mode-directed preferences. PPDP Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
2005	—	`conf`	Visualizing errors in object oriented programs. OOPSLA Companion Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki
2004	A	`conf`	ARCHERR: Runtime Environment Driven Program Safety. ESORICS Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
2004	J	`jnl`	Aggregation in Functional Query Languages. J. Funct. Log. Program. Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman
2004	—	`conf`	JIVE: Java Interactive Visualization Environment. OOPSLA Companion Paul V. Gestwicki, Bharat Jayaraman
2004	C	`ed.`	Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings PADL Bharat Jayaraman
2004	J	`jnl`	Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms. Inf. Syst. Res. T. S. Raghu, Bharat Jayaraman, H. Raghav Rao
2003	J	`jnl`	A comparison of B2B e-service solutions. Commun. ACM Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao
2003	—	`conf`	Insecure Programming: How Culpable is a Language's Syntax? IAW Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
2002	C	`conf`	Compositional Semantics for Diagrams Using Constrained Objects. Diagrams Bharat Jayaraman, Pallavi Tambay
2002	—	`conf`	Interactive Visualization of Java Programs. HCC Paul V. Gestwicki, Bharat Jayaraman
2002	C	`conf`	Modeling Engineering Structures with Constrained Objects. PADL Bharat Jayaraman, Pallavi Tambay
2000	—	`conf`	Constrained objects for modeling complex structures (extended abstract) (poster session). OOPSLA Addendum Bharat Jayaraman, Pallavi Tambay
2000	—	`conf`	Constrained objects for modeling complex structures (extended abstract). OOPSLA Addendum Bharat Jayaraman, Pallavi Tambay
2000	J	`jnl`	Preference Queries in Deductive Databases. New Gener. Comput. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
2000	J	`jnl`	Research on sets, constraints, and preferences. ACM SIGSOFT Softw. Eng. Notes Bharat Jayaraman
2000	J	`jnl`	Subset Logic Programs and Their Implementation. J. Log. Program. Bharat Jayaraman, Kyonghee Moon
1999	J	`jnl`	Aggregation and Negation-As-Failure. New Gener. Comput. Mauricio Osorio, Bharat Jayaraman
1999	B	`conf`	Declarative Pruning in a Functional Query Language. ICLP Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
1999	J	`jnl`	Set Constructors, Finite Sets, and Logical Semantics. J. Log. Program. Bharat Jayaraman, Jana Devashis
1999	J	`jnl`	Theory of Partial-Order Programming. Sci. Comput. Program. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
1998	—	`conf`	Integrating the Completion and the Well Founded Semantics. IBERAMIA Mauricio Osorio, Bharat Jayaraman
1998	J	`jnl`	Preference Logic Grammars. Comput. Lang. Bharat Jayaraman, Kannan Govindarajan, Surya Mantha
1998	J	`jnl`	Scoping Constructs in Logic Programming: Implementation Problems and their Solution CoRR Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
1997	C	`conf`	A simulation test bed for computational modeling of business processes. ICIS T. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao
1997	J	`jnl`	From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. J. Log. Program. Juergen Haas, Bharat Jayaraman
1996	—	`conf`	Aggregation and Well-Founded Semantics. NMELP Mauricio Osorio, Bharat Jayaraman
1996	A*	`conf`	Optimization and Relaxation in Constraint Logic Languages. POPL Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
1996	—	`conf`	Visualizing Program Execution. VL Bharat Jayaraman, Charlotte M. Baltus
1995	—	`conf`	Partial Order Programming AMAST Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
1995	B	`conf`	Preference Logic Programming. ICLP Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
1995	—	`conf`	Relaxation in Constraint Logic Languages. ILPS Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
1995	J	`jnl`	Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. J. Log. Program. Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
1995	—	`conf`	The SuRE Programming Framework. AMAST Bharat Jayaraman, Kyonghee Moon
1994	—	`ed.`	Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994 ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Jonas Barklund, Bharat Jayaraman, Jiro Tanaka
1993	J	`jnl`	Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. Gopal Gupta, Bharat Jayaraman
1993	J	`jnl`	And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. Gopal Gupta, Bharat Jayaraman
1993	—	`conf`	Subset Assertions and Negation As Failure. ILPS Mauricio Osorio, Bharat Jayaraman
1992	J	`jnl`	A Domain-Theoretic Approach to Functional and Logic Programming. J. Funct. Program. Frank S. K. Silbermann, Bharat Jayaraman
1992	J	`jnl`	Implementation of Subset-Equational Programs. J. Log. Program. Bharat Jayaraman
1992	—	`conf`	Interactive Synthesis of Definite-Clause Grammars. JICSLP Juergen Haas, Bharat Jayaraman
1992	J	`jnl`	Sublist Assertions for Listless and Lazy Evaluation. Comput. Lang. Bharat Jayaraman
1991	B	`conf`	Implementation Techniques for Scoping Constructs in Logic Programming. ICLP Bharat Jayaraman, Gopalan Nadathur
1990	—	`conf`	On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP Gopal Gupta, Bharat Jayaraman
1990	—	`conf`	Optimizing And-Or Parallel Implementations. NACLP Gopal Gupta, Bharat Jayaraman
1989	—	`conf`	A Model for Combined And-Or Parallel Execution of Logic Programs. ICPP (2) Gopal Gupta, Bharat Jayaraman
1989	—	`conf`	Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP Gopal Gupta, Bharat Jayaraman
1989	J	`jnl`	EqL: The Language and Its Implementation. IEEE Trans. Software Eng. Bharat Jayaraman, Gopal Gupta
1989	—	`conf`	Programming with Equations, Subsets, and Relations. NACLP Bharat Jayaraman, David A. Plaisted
1989	J	`jnl`	Semantics and Implementation of Resource Expressions. J. Parallel Distributed Comput. Bharat Jayaraman, Robert M. Keller
1989	—	`conf`	Set Abstraction in Functional and Logic Programming. FPCA Frank S. K. Silbermann, Bharat Jayaraman
1989	—	`conf`	Towards a WAM Model for Lambda-Prolog. NACLP Gopalan Nadathur, Bharat Jayaraman
1988	J	`jnl`	Semantics of EqL. IEEE Trans. Software Eng. Bharat Jayaraman
1988	—	`conf`	Subset-Logic Programming: Application and Implementation. ICLP/SLP Bharat Jayaraman, Anil Nair
1987	—	`conf`	Functional programming with sets. FPCA Bharat Jayaraman, David A. Plaisted
1986	—	`conf`	Equations, Sets, and Reduction Semantics for Functional and Logic Programming. LISP and Functional Programming Bharat Jayaraman, Frank S. K. Silbermann
1986	—	`conf`	Parallel execution of an equational language. Graph Reduction Bharat Jayaraman, Gopal Gupta
1986	J	`jnl`	Primitives for resource management in a demand-driven reduction model. Int. J. Parallel Program. Bharat Jayaraman, Robert M. Keller
1983	A*	`conf`	Theory of Linear Equations Applied to Program Transformation. IJCAI Uday S. Reddy, Bharat Jayaraman