Items where Author is "Ramesh, S."

Article

Ghosh, Kamalesh ; Dasgupta, Pallab ; Ramesh, S. (2015) Automated planning as an early verification tool for distributed control Journal of Automated Reasoning, 54 (1). pp. 31-68. ISSN 0168-7433

Dixit, Manoj G. ; Ramesh, S. ; Dasgupta, Pallab (2014) Time-budgeting: a component based development methodology for real-time embedded systems Formal Aspects of Computing, 26 (3). pp. 591-621. ISSN 0934-5043

Banerjee, A. ; Ray, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Ramesh, S. ; Vignesh, P. ; Ganesan, V. (2012) A dynamic assertion-based verification platform for validation of UML designs ACM SIGSOFT Software Engineering Notes, 37 (1). pp. 1-14. ISSN 0163-5948

Banerjee, A. ; Ray, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Ramesh, S. ; Vignesh, P. ; Ganesan, V. (2012) A dynamic assertion-based verification platform for validation of UML designs ACM SIGSOFT Software Engineering Notes, 37 (1). pp. 1-14. ISSN 0163-5948

Dixit, Manoj G. ; Ramesh, S. ; Dasgupta, Pallab (2011) Some results on parametric temporal logic Information Processing Letters, 111 (20). pp. 994-998. ISSN 0020-0190

Jain, Neetu ; Srivastava, S. K. ; Aggarwal, K. K. ; Ramesh, S. ; Sushil Kumar, (2001) Essential oil composition of Zanthoxylum alatum seeds from Northern India Flavour and Fragrance Journal, 16 (6). pp. 408-410. ISSN 0882-5734

Raina, V. K. ; Srivastava, S. K. ; Aggarwal, K. K. ; Ramesh, S. ; Sushil Kumar, (2001) Essential oil composition of Cinnamomum zeylanicum Blume leaves from Little Andaman, India Flavour and Fragrance Journal, 16 (5). pp. 374-376. ISSN 0882-5734

Patra, A. ; Sominska, E. ; Ramesh, S. ; Koltypin, Yu. ; Zhong, Z. ; Minti, H. ; Reisfeld, R. ; Gedanken, A. (1999) Sonochemical preparation and characterization of Eu₂O₃and Tb₂O₃ doped in and coated on silica and alumina nanoparticles The Journal of Physical Chemistry B, 103 (17). pp. 3361-3365. ISSN 1520-6106

Kulkarni, R. N. ; Mallavarapu, G. R. ; Baskaran, K. ; Ramesh, S. ; Sushil Kumar, (1998) Composition of the essential oils of two isomenthone-rich variants of geranium (Pelargonium sp.) Flavour and Fragrance Journal, 13 (6). pp. 389-392. ISSN 0882-5734

Kulkarni, R. N. ; Baskaran, K. ; Ramesh, S. ; Sushil Kumar, (1997) Intra-clonal variation for essential oil content and composition in plants derived from leaf cuttings of rose-scented geranium (Pelargonium sp.) Industrial Crops and Products, 6 (2). pp. 107-112. ISSN 0926-6690

Ramesh, S. ; Rosenberg, C. ; Kumar, A. (1996) Revenue maximization in ATM networks using the CLP capability and buffer priority management IEEE/ACM Transactions on Networking, 4 (6). pp. 941-950. ISSN 1063-6692

Ramesh, S. ; Manoharan, S. S. ; Hegde, M. S. ; Patil, K. C. (1995) Catalytic oxidation of ammonia to nitric-oxide over La₂MO₄ (M = Co, Ni, Cu) oxides Journal of Catalysis, 157 (2). pp. 749-751. ISSN 0021-9517

Ramesh, S. ; Vasanthacharya, N. Y. ; Hegde, M. S. ; Subbanna, G. N. ; Rajagopal, H. ; Sequiera, A. ; Paranjpe, S. K. (1995) Structural anomalies in RBa₂Cu_3-xCo_xO_7±δ (R= rare earth) defect perovskites Physica C: Superconductivity, 253 (3-4). pp. 243-253. ISSN 0921-4534

Sundar Manoharan, S. ; Ramesh, S. ; Hegde, M. S. ; Subbanna, G. N. (1994) Metallic and non-superconducting phases in LnBa₂Cu_3-xNi_xO_7+δ oxides Journal of Solid State Chemistry, 112 (2). pp. 281-287. ISSN 0022-4596

Hegde, M. S. ; Ramesh, S. ; Panchapagesan, T. S. (1993) Synthesis and structure of PrBa₂Cu₂Co₁O_7+y: a new nonsuperconducting orthorhombic 123 system Journal of Solid State Chemistry, 102 (2). pp. 306-314. ISSN 0022-4596

Hegde, M. S. ; Satyalakshmi, K. M. ; Ramesh, S. ; Vasanthacharya, N. Y. ; Gopalakrishnan, J. (1992) New defect-perovskite oxides related to the yttrium-barium-copper oxide superconductor Materials Research Bulletin, 27 (9). pp. 1099-1106. ISSN 0025-5408

Ramesh, S. ; Hegde, M. S. (1992) Oxidation of NH₃ over YBa₂Cu₃O₇(123) oxide systems Journal of Catalysis, 135 (2). pp. 335-344. ISSN 0021-9517

Shyamasundar, R. K. ; Ramesh, S. (1992) Modelling real-time systems: issues and challenges Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 1-28. ISSN 0256-2499

Murugesan, T. ; Ramesh, S. ; Gopalakrishnan, J. ; Rao, C. N. R. (1982) Ternary vanadium sulfides Journal of Solid State Chemistry, 44 (1). pp. 119-125. ISSN 0022-4596

Murugesan, T. ; Ramesh, S. ; Gopalakrishnan, J. ; Rao, C. N. R. (1981) Rare earth transition metal sulfides, LnMS₃ Journal of Solid State Chemistry, 38 (2). pp. 165-172. ISSN 0022-4596

Conference or Workshop Item

Ghosh, Kamalesh ; Dasgupta, Pallab ; Ramesh, S. (2012) Planning with action prioritization and new benchmarks for classical planning In: 25th Australasian joint conference on Advances in Artificial Intelligence, 4-7 December 2012, Sydney, Australia.

Dixit, Manoj G. ; Dasgupta, Pallab ; Ramesh, S. (2010) Taming the component timing: a CBD methodology for real-time embedded systems In: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 8-12 March 2010, Dresden, Germany.

Banerjee, A. ; Ray, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Ramesh, S. ; Vignesh, P. ; Ganesan, V. (2008) A dynamic assertion-based verification platform for UML statecharts over rhapsody In: TENCON 2008 - 2008 IEEE Region 10 Conference, 19-21 November 2008, University of Hyderabad, Hyderabad, India.