Bharat Jayaraman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Implementation of subset-equational programs

Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.83 MB

english, 1992

2

The path-to-profitability of Internet IPO firms

Bharat A. Jain, Narayanan Jayaraman, Omesh Kini

Journal:

Journal of Business Venturing

Year:

2008

Language:

english

File:

PDF, 572 KB

english, 2008

3

JI.FI : Visual test and debug queries for hard real-time

Blanton, Ethan, Lessa, Demian, Arora, Puneet, Ziarek, Lukasz, Jayaraman, Bharat

Journal:

Concurrency and Computation: Practice and Experience

Year:

2014

Language:

english

File:

PDF, 2.95 MB

english, 2014

4

Aggregation and negation-as-failure

Mauricio Osorio, Bharat Jayaraman

Journal:

New Generation Computing

Year:

1999

Language:

english

File:

PDF, 1.64 MB

english, 1999

5

[IEEE 2014 Seventh International Conference on Contemporary Computing (IC3) - Noida, India (2014.8.7-2014.8.9)] 2014 Seventh International Conference on Contemporary Computing (IC3) - Towards program execution summarization: Deriving state diagrams from sequence diagrams

Jayaraman, Swaminathan, D, Kishor Kamath, Jayaraman, Bharat

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

6

A comparison of B2B e-service solutions

Kim, Dan Jong, Agrawal, Manish, Jayaraman, Bharat, Rao, H. Raghav

Journal:

Communications of the ACM

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

7

[ACM Press Companion to the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05 - Visualizing errors in object oriented programs

Girgis, Hani Z., Jayaraman, Bharat, Gestwicki, Paul V.

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

8

[ACM Press the 2007 OOPSLA workshop - Montreal, Quebec, Canada (2007.10.21-2007.10.21)] Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07 - Declarative and visual debugging in Eclipse

Czyz, Jeffrey K., Jayaraman, Bharat

Year:

2007

Language:

english

File:

PDF, 538 KB

english, 2007

9

[IEEE 2015 Eighth International Conference on Contemporary Computing (IC3) - Noida, India (2015.8.20-2015.8.22)] 2015 Eighth International Conference on Contemporary Computing (IC3) - Consistency of Java run-time behavior with design-time specifications

Jayaraman, Swaminathan, Hari, Dinoop, Jayaraman, Bharat

Year:

2015

Language:

english

File:

PDF, 987 KB

english, 2015

10

Semantics of temporal constrained objects

Kannimoola, Jinesh M., Jayaraman, Bharat, Achuthan, Krishnashree

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 446 KB

2021

11

And—or parallelism on shared-memory multiprocessors

Gopal Gupta, Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.30 MB

english, 1993

12

Semantics and implementation of resource expressions

Bharat Jayaraman, Robert M. Keller

Journal:

Journal of Parallel and Distributed Computing

Year:

1989

Language:

english

File:

PDF, 349 KB

english, 1989

13

Verifying security properties of internet protocol stacks: The split verification approach

Jayaraj Poroor, Bharat Jayaraman

Journal:

Journal of Systems Architecture

Year:

2011

Language:

english

File:

PDF, 1.11 MB

english, 2011

14

Theory of partial-order programming

Mauricio Osorio, Bharat Jayaraman, David A. Plaisted

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 2.18 MB

english, 1999

15

Specification and computation of optimization problems

Mauricio Osorio, Bharat Jayaraman

Journal:

Computers & Industrial Engineering

Year:

1997

Language:

english

File:

PDF, 270 KB

english, 1997

16

From context-free to definite-clause grammars: a type-theoretic approach

Juergen Haas, Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

17

Set constructors, finite sets, and logical semantics

Bharat Jayaraman, Devashis Jana

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 2.16 MB

english, 1999

18

Subset-logic programs and their implementation

Bharat Jayaraman, Kyonghee Moon

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 2.83 MB

english, 2000

19

Primitives for resource management in a demand-driven reduction model

Bharat Jayaraman, Robert M. Keller

Journal:

International Journal of Parallel Programming

Year:

1986

Language:

english

File:

PDF, 1.32 MB

english, 1986

20

Preference queries in deductive databases

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 1.71 MB

english, 2001

21

Multimodal identification and tracking in smart environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Personal and Ubiquitous Computing

Year:

2010

Language:

english

File:

PDF, 580 KB

english, 2010

22

Scoping constructs in logic programming: Implementation problems and their solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.92 MB

english, 1995

23

Sublist assertions for listless and lazy evaluation

Bharat Jayaraman

Journal:

Computer Languages

Year:

1992

Language:

english

File:

PDF, 962 KB

english, 1992

24

Logic programming with solution preferences

Hai-Feng Guo, Bharat Jayaraman

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

25

Spatio-Temporal Reasoning in Biometrics Based Smart Environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 675 KB

english, 2011

26

Preference logic grammars

Bharat Jayaraman, Kannan Govindarajan, Surya Mantha

Journal:

Computer Languages

Year:

1998

Language:

english

File:

PDF, 272 KB

english, 1998

27

Probabilistic spatio-temporal retrieval in smart spaces

Vivek Menon, Bharat Jayaraman…

Journal:

Journal of Ambient Intelligence and Humanized Computing

Year:

2014

Language:

english

File:

PDF, 713 KB

english, 2014

28

Enhancing biometric recognition with spatio-temporal reasoning in smart environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Personal and Ubiquitous Computing

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

29

Spatio-Temporal Querying in Smart Spaces

Menon, Vivek, Jayaraman, Bharat, Govindaraju, Venu

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 306 KB

english, 2012

30

C2L:A Formal Policy Language for Secure Cloud Conﬁgurations

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

31

Modeling mobile stateful channels in Z

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 438 KB

english, 2013

32

[IEEE 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops (ICDCSW) - Philadelphia, PA, USA (2013.07.8-2013.07.11)] 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops - A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks

Hong, Kirak, Voelz, Marco, Govindaraju, Venu, Jayaraman, Bharat, Ramachandran, Umakishore

Year:

2013

Language:

english

File:

PDF, 295 KB

english, 2013

33

Cancer cell metabolism as new targets for novel designed therapies

de Mas, Igor Marín, Aguilar, Esther, Jayaraman, Anusha, Polat, Ibrahim H, Martín-Bernabé, Alfonso, Bharat, Rohit, Foguet, Carles, Milà, Enric, Papp, Balázs, Centelles, Josep J, Cascante, Marta

Journal:

Future Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 4.67 MB

english, 2014

34

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3057 || A Typeful Approach to Object-Oriented Programming with Multiple Inheritance

Jayaraman, Bharat

Year:

2004

Language:

english

File:

PDF, 188 KB

english, 2004

35

Analysis of Or-parallel execution models

Gupta, Gopal, Jayaraman, Bharat

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 1.54 MB

english, 1993

36

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Mode-directed preferences for logic programs

Guo, Hai-Feng, Jayaraman, Bharat

Year:

2005

Language:

english

File:

PDF, 188 KB

english, 2005

37

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Optimization with mode-directed preferences

Guo, Hai-Feng, Jayaraman, Bharat, Gupta, Gopal, Liu, Miao

Year:

2005

Language:

english

File:

PDF, 200 KB

english, 2005

38

[ACM Press Addendum to the 2000 proceedings of the conference - Minneapolis, Minnesota, United States (2000..-..)] Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00 - Constrained objects for modeling complex structures (extended abstract) (poster session)

Jayaraman, Bharat, Tambay, Pallavi Y.

Year:

2000

File:

PDF, 94 KB

2000

39

Research on sets, constraints, and preferences

Jayaraman, Bharat

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 134 KB

english, 2000

40

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Optimization and relaxation in constraint logic languages

Govindarajan, Kannan, Jayaraman, Bharat, Mantha, Surya

Year:

1996

Language:

english

File:

PDF, 1.52 MB

english, 1996

41

[ACM Press the 10th International Workshop - Copenhagen, Denmark (2012.10.24-2012.10.26)] Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12 - Ji.Fi

Blanton, Ethan, Lessa, Demian, Ziarek, Lukasz, Jayaraman, Bharat

Year:

2012

Language:

english

File:

PDF, 963 KB

english, 2012

42

[ACM Press the 1986 ACM conference - Cambridge, Massachusetts, United States (1986..-..)] Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 - Equations, sets, and reduction semantics for functional and logic programming

Jayaraman, Bharat, Silbermann, Frank S. K.

Year:

1986

Language:

english

File:

PDF, 993 KB

english, 1986

43

[ACM Press Companion to the 19th annual ACM SIGPLAN conference - Vancouver, BC, CANADA (2004.10.24-2004.10.28)] Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04 - JIVE

Gestwicki, Paul V., Jayaraman, Bharat

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

44

[ACM Press Addendum to the 2000 proceedings of the conference - Minneapolis, Minnesota, United States (2000..-..)] Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00 - Constrained objects for modeling complex structures (extended abstract)

Jayaraman, Bharat, Tambay, Pallavi Y.

Year:

2000

Language:

english

File:

PDF, 85 KB

english, 2000

45

Plagiarism Detection for Java Programs without Source Codes

Anjali, V., Swapna, T.R., Jayaraman, Bharat

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 923 KB

english, 2015

46

Engineering a beta-turn in green fluorescent protein to a foreign loop

Madan, Bharat, Thangappan, Jayaraman, Lee, Sun-Gu

Journal:

Journal of Industrial & Engineering Chemistry

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

47

[IEEE 2014 IEEE Frontiers in Education Conference (FIE) - Madrid, Spain (2014.10.22-2014.10.25)] 2014 IEEE Frontiers in Education Conference (FIE) Proceedings - Preparing global engineers: USA-India academia & industry led approach

Pokkiyarath, Manoj, Raman, Raghu, Achuthan, Krishnashree, Jayaraman, Bharat

Year:

2014

Language:

english

File:

PDF, 235 KB

english, 2014

48

A domain-theoretic approach to functional and logic programming

Silbermann, Frank S. K., Jayaraman, Bharat

Journal:

Journal of Functional Programming

Year:

1992

Language:

english

File:

PDF, 2.54 MB

english, 1992

49

[ACM Press the First International Conference - Kollam, India (2012.08.17-2012.08.19)] Proceedings of the First International Conference on Security of Internet of Things - SecurIT '12 - Formal analysis of event-driven cyber physical systems

Poroor, Jayaraj, Jayaraman, Bharat

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

50

Temporal constrained objects: Application and implementation

Kannimoola, Jinesh M., Jayaraman, Bharat, Tambay, Pallavi, Achuthan, Krishnashree

Journal:

Computer Languages, Systems & Structures

Year:

2017

Language:

english

File:

PDF, 1.49 MB

english, 2017