default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBharat Jayaraman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Aswathy Mohan
, Swaminathan Jayaraman, Bharat Jayaraman:
A declarative approach to detecting design patterns from Java execution traces and source code. Inf. Softw. Technol. 171: 107457 (2024)- [j38]K. P. Jevitha, Bharat Jayaraman, M. Sethumadhavan:
Runtime verification on abstract finite state models. J. Syst. Softw. 216: 112138 (2024) - [i3]KP Jevitha, Bharat Jayaraman, M. Sethumadhavan:
Runtime Verification on Abstract Finite State Models. CoRR abs/2406.12715 (2024) - 2021
- [j37]Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
Semantics of temporal constrained objects. J. Log. Algebraic Methods Program. 119: 100632 (2021) - [j36]Jevitha K. P., Swaminathan Jayaraman, Bharat Jayaraman, M. Sethumadhavan:
Finite-state model extraction and visualization from Java program execution. Softw. Pract. Exp. 51(2): 409-437 (2021) - 2020
- [c55]Venkatesh Choppella, Arjun Sanjeev, Viswanath Kasturi, Bharat Jayaraman:
Generalised Dining Philosophers as Feedback Control. ICDCIT 2020: 144-164
2010 – 2019
- 2019
- [j35]Jiafu Wan, Min Xia, Jun Hong, Zhibo Pang, Bharat Jayaraman, Fangyang Shen:
Ieee Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0. IEEE Access 7: 17969-17974 (2019) - 2018
- [j34]Manjusha Nair, Jinesh M. Kannimoola, Bharat Jayaraman, Bipin Nair, Shyam Diwakar:
Temporal constrained objects for modelling neuronal dynamics. PeerJ Comput. Sci. 4: e159 (2018) - 2017
- [j33]Jinesh M. Kannimoola, Bharat Jayaraman, Pallavi Tambay, Krishnashree Achuthan:
Temporal constrained objects: Application and implementation. Comput. Lang. Syst. Struct. 49: 82-100 (2017) - [j32]Swaminathan Jayaraman, Bharat Jayaraman, Demian Lessa:
Compact visualization of Java program execution. Softw. Pract. Exp. 47(2): 163-191 (2017) - [c54]Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
Run-Time Analysis of Temporal Constrained Objects. DECLARE 2017: 20-36 - 2016
- [c53]Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman:
Runtime Visualization and Verification in JIVE. RV 2016: 493-497 - 2015
- [c52]Swaminathan Jayaraman, Dinoop Hari, Bharat Jayaraman:
Consistency of Java run-time behavior with design-time specifications. IC3 2015: 548-554 - 2014
- [j31]Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman:
JI.FI: Visual test and debug queries for hard real-time. Concurr. Comput. Pract. Exp. 26(14): 2456-2487 (2014) - [j30]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Probabilistic spatio-temporal retrieval in smart spaces. J. Ambient Intell. Humaniz. Comput. 5(3): 383-392 (2014) - [c51]Manoj Pokkiyarath, Raghu Raman, Krishnashree Achuthan, Bharat Jayaraman:
Preparing global engineers: USA-India academia & industry led approach. FIE 2014: 1-6 - [c50]Swaminathan Jayaraman, Kishor Kamath D., Bharat Jayaraman:
Towards program execution summarization: Deriving state diagrams from sequence diagrams. IC3 2014: 299-305 - 2013
- [j29]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Enhancing biometric recognition with spatio-temporal reasoning in smart environments. Pers. Ubiquitous Comput. 17(5): 987-998 (2013) - [j28]Jayaraj Poroor, Bharat Jayaraman:
Modeling mobile stateful channels in ππZ. Sci. Comput. Program. 78(9): 1470-1489 (2013) - [c49]Kirak Hong, Marco Völz, Venu Govindaraju, Bharat Jayaraman, Umakishore Ramachandran:
A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks. ICDCS Workshops 2013: 309-314 - 2012
- [j27]Bharat Jayaraman:
Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction. Comput. J. 55(8): 907-908 (2012) - [c48]Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman:
Ji.Fi: visual test and debug queries for hard real-time. JTRES 2012: 155-164 - [c47]Jayaraj Poroor, Bharat Jayaraman:
Formal analysis of event-driven cyber physical systems. SECURIT 2012: 1-8 - [c46]Demian Lessa, Bharat Jayaraman:
Explaining the dynamic structure and behavior of Java programs using a visual debugger (abstract only). SIGCSE 2012: 668 - [c45]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Spatio-Temporal Querying in Smart Spaces. ANT/MobiWIS 2012: 366-373 - [c44]Jayaraj Poroor, Bharat Jayaraman:
C2L: A Formal Policy Language for Secure Cloud Configurations. ANT/MobiWIS 2012: 499-506 - 2011
- [j26]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
The Three Rs of Cyberphysical Spaces. Computer 44(9): 73-79 (2011) - [j25]Jayaraj Poroor, Bharat Jayaraman:
Verifying security properties of internet protocol stacks: The split verification approach. J. Syst. Archit. 57(3): 269-281 (2011) - [c43]Jayaraj Poroor, Bharat Jayaraman:
Formal specification and verification of vehicular handoff using π-calculus. ACWR 2011: 165-168 - [c42]Demian Lessa, Bharat Jayaraman, Jan Chomicki:
Temporal Data Model for Program Debugging. DBPL 2011 - [c41]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Spatio-Temporal Reasoning in Biometrics Based Smart Environments. ANT/MobiWIS 2011: 378-385 - 2010
- [j24]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Multimodal identification and tracking in smart environments. Pers. Ubiquitous Comput. 14(8): 685-694 (2010)
2000 – 2009
- 2009
- [j23]Jayaraj Poroor, Bharat Jayaraman:
DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts. IEEE Internet Comput. 13(6): 22-30 (2009) - 2008
- [j22]Hai-Feng Guo, Bharat Jayaraman:
Logic programming with solution preferences. J. Log. Algebraic Methods Program. 78(1): 1-21 (2008) - [c40]Vivek Menon, Bharat Jayaraman, Venu Govindaraju:
Biometrics Driven Smart Environments: Abstract Framework and Evaluation. UIC 2008: 75-89 - 2007
- [c39]Jeffrey K. Czyz, Bharat Jayaraman:
Declarative and visual debugging in Eclipse. ETX 2007: 31-35 - [i2]Hani Z. Girgis, Bharat Jayaraman:
JavaTA: A Logic-based Debugger for Java. CoRR abs/cs/0701107 (2007) - 2006
- [c38]Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates. ICLP 2006: 425-426 - 2005
- [c37]Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki:
Visualizing errors in object oriented programs. OOPSLA Companion 2005: 156-157 - [c36]Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences. PPDP 2005: 242-251 - [c35]Hai-Feng Guo, Bharat Jayaraman:
Mode-directed preferences for logic programs. SAC 2005: 1414-1418 - [c34]Paul V. Gestwicki, Bharat Jayaraman:
Methodology and architecture of JIVE. SOFTVIS 2005: 95-104 - 2004
- [j21]T. S. Raghu, Bharat Jayaraman, H. Raghav Rao:
Toward an Integration of Agent- and Activity-Centric Approaches in Organizational Process Modeling: Incorporating Incentive Mechanisms. Inf. Syst. Res. 15(4): 316-335 (2004) - [j20]Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman:
Aggregation in Functional Query Languages. J. Funct. Log. Program. 2004 (2004) - [c33]Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya:
ARCHERR: Runtime Environment Driven Program Safety. ESORICS 2004: 385-406 - [c32]Paul V. Gestwicki, Bharat Jayaraman:
JIVE: Java Interactive Visualization Environment. OOPSLA Companion 2004: 226-228 - [e2]Bharat Jayaraman:
Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3057, Springer 2004, ISBN 3-540-22253-7 [contents] - 2003
- [j19]Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao:
A comparison of B2B e-service solutions. Commun. ACM 46(12): 317-324 (2003) - [c31]Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya:
Insecure Programming: How Culpable is a Language's Syntax? IAW 2003: 158-163 - 2002
- [c30]Bharat Jayaraman, Pallavi Tambay:
Compositional Semantics for Diagrams Using Constrained Objects. Diagrams 2002: 94-96 - [c29]Bharat Jayaraman, Pallavi Tambay:
Modeling Engineering Structures with Constrained Objects. PADL 2002: 28-46 - [c28]Paul V. Gestwicki, Bharat Jayaraman:
Interactive Visualization of Java Programs. HCC 2002: 226-235 - 2000
- [j18]Bharat Jayaraman, Kyonghee Moon:
Subset Logic Programs and Their Implementation. J. Log. Program. 42(2): 71-110 (2000) - [j17]Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
Preference Queries in Deductive Databases. New Gener. Comput. 19(1): 57-86 (2000) - [j16]Bharat Jayaraman:
Research on sets, constraints, and preferences. ACM SIGSOFT Softw. Eng. Notes 25(1): 60 (2000) - [c27]Bharat Jayaraman, Pallavi Tambay:
Constrained objects for modeling complex structures (extended abstract) (poster session). OOPSLA Addendum 2000: 71-72 - [c26]Bharat Jayaraman, Pallavi Tambay:
Constrained objects for modeling complex structures (extended abstract). OOPSLA Addendum 2000: 159-160
1990 – 1999
- 1999
- [j15]Bharat Jayaraman, Jana Devashis:
Set Constructors, Finite Sets, and Logical Semantics. J. Log. Program. 38(1): 55-77 (1999) - [j14]Mauricio Osorio, Bharat Jayaraman:
Aggregation and Negation-As-Failure. New Gener. Comput. 17(3): 255-284 (1999) - [j13]Mauricio Osorio, Bharat Jayaraman, David A. Plaisted:
Theory of Partial-Order Programming. Sci. Comput. Program. 34(3): 207-238 (1999) - [c25]Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves:
Declarative Pruning in a Functional Query Language. ICLP 1999: 588-604 - 1998
- [j12]Bharat Jayaraman, Kannan Govindarajan, Surya Mantha:
Preference Logic Grammars. Comput. Lang. 24(3): 179-196 (1998) - [c24]Mauricio Osorio, Bharat Jayaraman:
Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241 - [i1]Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solution. CoRR cs.PL/9809016 (1998) - 1997
- [j11]Juergen Haas, Bharat Jayaraman:
From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. J. Log. Program. 30(1): 1-23 (1997) - [c23]T. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao:
A simulation test bed for computational modeling of business processes. ICIS 1997: 464-465 - 1996
- [c22]Mauricio Osorio, Bharat Jayaraman:
Aggregation and Well-Founded Semantics. NMELP 1996: 71-90 - [c21]Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
Optimization and Relaxation in Constraint Logic Languages. POPL 1996: 91-103 - [c20]Bharat Jayaraman, Charlotte M. Baltus:
Visualizing Program Execution. VL 1996: 30-37 - 1995
- [j10]Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. J. Log. Program. 25(2): 119-161 (1995) - [c19]Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon:
Partial Order Programming (Revisited). AMAST 1995: 561-575 - [c18]Bharat Jayaraman, Kyonghee Moon:
The SuRE Programming Framework. AMAST 1995: 585 - [c17]Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
Preference Logic Programming. ICLP 1995: 731-745 - [c16]Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
Relaxation in Constraint Logic Languages. ILPS 1995: 637 - 1994
- [e1]Jonas Barklund, Bharat Jayaraman, Jiro Tanaka:
Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994. Uppsala University, Computing Science Departent 1994 [contents] - 1993
- [j9]Gopal Gupta, Bharat Jayaraman:
And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. 17(1): 59-89 (1993) - [j8]Gopal Gupta, Bharat Jayaraman:
Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. 15(4): 659-680 (1993) - [c15]Mauricio Osorio, Bharat Jayaraman:
Subset Assertions and Negation As Failure. ILPS 1993: 637 - 1992
- [j7]Bharat Jayaraman:
Sublist Assertions for Listless and Lazy Evaluation. Comput. Lang. 17(2): 133-146 (1992) - [j6]Frank S. K. Silbermann, Bharat Jayaraman:
A Domain-Theoretic Approach to Functional and Logic Programming. J. Funct. Program. 2(3): 273-321 (1992) - [j5]Bharat Jayaraman:
Implementation of Subset-Equational Programs. J. Log. Program. 12(3&4): 299-324 (1992) - [c14]Juergen Haas, Bharat Jayaraman:
Interactive Synthesis of Definite-Clause Grammars. JICSLP 1992: 541-555 - 1991
- [c13]Bharat Jayaraman, Gopalan Nadathur:
Implementation Techniques for Scoping Constructs in Logic Programming. ICLP 1991: 871-886 - 1990
- [c12]Gopal Gupta, Bharat Jayaraman:
Optimizing And-Or Parallel Implementations. NACLP 1990: 605-623 - [c11]Gopal Gupta, Bharat Jayaraman:
On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP 1990: 737-756
1980 – 1989
- 1989
- [j4]Bharat Jayaraman, Robert M. Keller:
Semantics and Implementation of Resource Expressions. J. Parallel Distributed Comput. 7(1): 40-63 (1989) - [j3]Bharat Jayaraman, Gopal Gupta:
EqL: The Language and Its Implementation. IEEE Trans. Software Eng. 15(6): 771-779 (1989) - [c10]Frank S. K. Silbermann, Bharat Jayaraman:
Set Abstraction in Functional and Logic Programming. FPCA 1989: 313-326 - [c9]Gopal Gupta, Bharat Jayaraman:
A Model for Combined And-Or Parallel Execution of Logic Programs. ICPP (2) 1989: 260-263 - [c8]Gopal Gupta, Bharat Jayaraman:
Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP 1989: 332-349 - [c7]Bharat Jayaraman, David A. Plaisted:
Programming with Equations, Subsets, and Relations. NACLP 1989: 1051-1068 - [c6]Gopalan Nadathur, Bharat Jayaraman:
Towards a WAM Model for Lambda-Prolog. NACLP 1989: 1180-1198 - 1988
- [j2]Bharat Jayaraman:
Semantics of EqL. IEEE Trans. Software Eng. 14(4): 472-480 (1988) - [c5]Bharat Jayaraman, Anil Nair:
Subset-Logic Programming: Application and Implementation. ICLP/SLP 1988: 843-858 - 1987
- [c4]Bharat Jayaraman, David A. Plaisted:
Functional programming with sets. FPCA 1987: 194-211 - 1986
- [j1]Bharat Jayaraman, Robert M. Keller:
Primitives for resource management in a demand-driven reduction model. Int. J. Parallel Program. 15(3): 215-244 (1986) - [c3]Bharat Jayaraman, Gopal Gupta:
Parallel execution of an equational language. Graph Reduction 1986: 370-381 - [c2]Bharat Jayaraman, Frank S. K. Silbermann:
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. LISP and Functional Programming 1986: 320-331 - 1983
- [c1]Uday S. Reddy, Bharat Jayaraman:
Theory of Linear Equations Applied to Program Transformation. IJCAI 1983: 10-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
