☰

Bharat Jayaraman - Publications

Affiliations: 
State University of New York, Buffalo, Buffalo, NY, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

38 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2021 Kannimoola JM, Jayaraman B, Achuthan K. Semantics of temporal constrained objects Journal of Logical and Algebraic Methods in Programming. 119: 100632. DOI: 10.1016/j.jlamp.2020.100632  0.341
2018 Nair M, Manchan Kannimoola J, Jayaraman B, Nair B, Diwakar S. Temporal constrained objects for modelling neuronal dynamics. Peerj. Computer Science. 4: e159. PMID 33816812 DOI: 10.7717/peerj-cs.159  0.61
2018 Nair M, Manchan Kannimoola J, Jayaraman B, Nair B, Diwakar S. Temporal constrained objects for modelling neuronal dynamics Peerj Computer Science. 4: e159. DOI: 10.7717/Peerj-Cs.159  0.698
2017 Kannimoola JM, Jayaraman B, Tambay P, Achuthan K. Temporal constrained objects Computer Languages, Systems & Structures. 49: 82-100. DOI: 10.1016/J.Cl.2017.03.002  0.736
2016 Jayaraman S, Jayaraman B, Lessa D. Compact visualization of Java program execution Software - Practice and Experience. DOI: 10.1002/Spe.2411  0.761
2015 Jayaraman S, Hari D, Jayaraman B. Consistency of Java run-time behavior with design-time specifications 2015 8th International Conference On Contemporary Computing, Ic3 2015. 548-554. DOI: 10.1109/IC3.2015.7346742  0.345
2015 Anjali V, Swapna TR, Jayaraman B. Plagiarism detection for java programs without source codes Procedia Computer Science. 46: 749-758. DOI: 10.1016/J.Procs.2015.02.143  0.411
2014 Jayaraman S, Kishor Kamath D, Jayaraman B. Towards program execution summarization: Deriving state diagrams from sequence diagrams 2014 7th International Conference On Contemporary Computing, Ic3 2014. 299-305. DOI: 10.1109/IC3.2014.6897190  0.317
2014 Blanton E, Lessa D, Arora P, Ziarek L, Jayaraman B. JI.FI: Visual test and debug queries for hard real-time Concurrency Computation. 26: 2456-2487. DOI: 10.1002/Cpe.3156  0.723
2012 Blanton E, Lessa D, Ziarek L, Jayaraman B. JI.FI : Visual test and debug queries for hard real-time Acm International Conference Proceeding Series. 155-164. DOI: 10.1145/2388936.2388962  0.716
2011 Poroor J, Jayaraman B. Verifying security properties of internet protocol stacks: The split verification approach Journal of Systems Architecture. 57: 269-281. DOI: 10.1016/J.Sysarc.2010.09.002  0.316
2008 Guo HF, Jayaraman B. Logic programming with solution preferences Journal of Logic and Algebraic Programming. 78: 1-21. DOI: 10.1016/J.Jlap.2007.11.003  0.409
2006 Girgis HZ, Jayaraman B. JavaTA: A logic-based debugger for Java Proceedings of the 16th Workshop On Logic-Based Methods in Programming Environments, Wlpe 2006.  0.355
2005 Guo HF, Jayaraman B, Gupta G, Liu M. Optimization with mode-directed preferences Ppdp'05 - Proceedings of the Seventh Acm Sigplan Conference On Principles and Practice of Declarative Programming. 2005: 242-251. DOI: 10.1145/1069774.1069797  0.303
2005 Gestwicki P, Jayaraman B. Methodology and architecture of JIVE Proceedings Softvis '05 - Acm Symposium On Software Visualization. 95-104. DOI: 10.1145/1056018.1056032  0.472
2004 Gestwicki PV, Jayaraman B. JIVE: Java interactive visualization environment Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 226-227. DOI: 10.1145/1028664.1028762  0.724
2002 Gestwicki P, Jayaraman B. Interactive visualization of Java programs Proceedings - Ieee 2002 Symposia On Human Centric Computing Languages and Environments, Hcc 2002. 226-235. DOI: 10.1109/HCC.2002.1046375  0.402
2002 Jayaraman B, Tambay P. Compositional semantics for diagrams using constrained objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2317: 94-95. DOI: 10.1007/3-540-46037-3_9  0.72
2002 Jayaraman B, Tambay P. Modeling engi neering structures with constrained objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2257: 28-46.  0.452
2001 Govindarajan K, Jayaraman B, Mantha S. Preference queries in deductive databases New Generation Computing. 19: 57-86. DOI: 10.1007/Bf03037534  0.415
2000 Jayaraman B, Tambay PY. Constrained objects for modeling complex structures [Extended abstract] Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 71-72. DOI: 10.1145/367845.367944  0.71
2000 Jayaraman B, Moon K. Subset-logic programs and their implementation Journal of Logic Programming. 42: 71-110. DOI: 10.1016/S0743-1066(99)00005-9  0.391
1999 Jayaraman B, Jana D. Set constructors, finite sets, and logical semantics Journal of Logic Programming. 38: 55-77. DOI: 10.1016/S0743-1066(98)10012-2  0.319
1999 Osorio M, Jayaraman B, Plaisted DA. Theory of partial-order programming Science of Computer Programming. 34: 207-238. DOI: 10.1016/S0167-6423(98)00018-5  0.413
1999 Osorio M, Jayaraman B. Aggregation and negation-as-failure New Generation Computing. 17: 255-284. DOI: 10.1007/Bf03037222  0.349
1998 Jayaraman B, Govindarajan K, Mantha S. Preference logic grammars Computer Languages. 24: 179-196. DOI: 10.1016/S0096-0551(98)00008-3  0.386
1997 Haas J, Jayaraman B. From context-free to definite-clause grammars: A type-theoretic approach Journal of Logic Programming. 30: XII-23. DOI: 10.1016/S0743-1066(96)00015-5  0.354
1995 Nadathur G, Jayaraman B, Kwon K. Scoping constructs in logic programming: Implementation problems and their solution The Journal of Logic Programming. 25: 119-161. DOI: 10.1016/0743-1066(95)00037-K  0.374
1995 Jayaraman B, Osorlo M, Moon K. Partial order programming (Revisited) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 936: 561-575. DOI: 10.1007/3-540-60043-4_78  0.315
1993 Gupta G, Jayaraman B. Analysis of Or-Parallel Execution Models Acm Transactions On Programming Languages and Systems (Toplas). 15: 659-680. DOI: 10.1145/155183.155220  0.387
1993 Gupta G, Jayaraman B. And-or parallelism on shared-memory multiprocessors The Journal of Logic Programming. 17: 59-89. DOI: 10.1016/0743-1066(93)90009-6  0.329
1992 Silbermann FSK, Jayaraman B. A domain-theoretic approach to functional and logic programming Journal of Functional Programming. 2: 273-321. DOI: 10.1017/S095679680000040X  0.415
1992 Jayaraman B. Implementation of subset-equational programs The Journal of Logic Programming. 12: 299-324. DOI: 10.1016/0743-1066(92)90005-N  0.325
1992 Jayaraman B. Sublist assertions for listless and lazy evaluation Computer Languages. 17: 133-146. DOI: 10.1016/0096-0551(92)90003-6  0.305
1989 Jayaraman B, Gupta G. EqL: The Language and Its Implementation Ieee Transactions On Software Engineering. 15: 771-779. DOI: 10.1109/32.24730  0.33
1989 Jayaraman B, Keller RM. Semantics and implementation of resource expressions Journal of Parallel and Distributed Computing. 7: 40-63. DOI: 10.1016/0743-7315(89)90051-8  0.34
1988 Jayaraman B. Semantics of EqL Ieee Transactions On Software Engineering. 14: 472-480. DOI: 10.1109/32.4670  0.381
1986 Jayaraman B, Keller RM. Primitives for resource management in a demand-driven reduction model International Journal of Parallel Programming. 15: 215-244. DOI: 10.1007/Bf01414555  0.347
Show low-probability matches.