Research Publications

For copy of some of these papers please check my eprints repository.

Research publications organised by themes:

·        Algorithms -n-  Data-organisations    

 

·        Decision Systems -n- Applications   

·        Artificial Intelligence       

 

·        Programming languages    

·        Software Engineering    

 

·        Computer Systems    

 

Journal Publications

·        C.A.Lakos and V.M.Malhotra
Validation Led Development of Software Specifications
International J. of Modelling and Simulation ACTA Press, Volume 22, Number 1, 2002, pp. 57-74
INSPEC abstract (Program files)

·        V.M.Malhotra,
A Trust Model for the Analytic Hierarchy Process
International Journal of Information Technology online journal, November 2001

·        Vishv Malhotra and Bala Srinivasan,
Mudra: An Electronic Payment scheme for Networks
International Journal of Information Technology, Vol 3, No. 2, December 1997, pp. 27-44.

·        Vishv M Malhotra, Bala Srinivasan and Santosh Kulkarni,
Storage-efficient data structure for Large Lookup dictionaries,
Information Processing Letters, Vol. 58, 1996, pp. 201-206.
INSPEC Abstract

·        Vishv M Malhotra and Anurag Jain,
On Generating Functional Programs from Prolog specifications,
Computer and Artificial Intelligence, Vol. 11, No. 2, 1992, pp. 375-384.

·        Vishv M. Malhotra, Tang Van To and K. Kanchanasut,
An Improved Data-Dependency-Based Backtracking Scheme for Prolog,
Information Processing Letters, Vol. 31, 22 May 1989, pp. 185-189.
INSPEC Abstract {This work has been referenced encyclopidic reference: J-L Lassez and G. Plotkin, Computational Logic Essays in Honor of Alan Robinson, The MIT Press, Cambridge, MA, 1991}

·        Y.D.S. Arya and V.M. Malhotra,
An Interactive File Backup Facility,
Computer Society of India Communications, June 1988, pp. 7-12.

·        Vineeth Kumar P and Vishv M. Malhotra,
A Pascal Environment,
Computer Science and Informatics, Journal of Computer Society of India, Vol 18, No. 1, 1988, pp. 1-6.

·        Ashok Kumar and Vishv M.Malhotra,
A New Computational Rule for Prolog,
Information Processing Letters, Vol 27, 28 April 1988, pp. 249-252.
INSPEC Abstract

·        Vishv M. Malhotra, M.Pramodh Kumar and S.N.Maheshwari,
An O(|V|3) Algorithm for Finding Maximum Flows in Networks,
Information Processing Letters, October, 1978, pp. 277-278.
INSPEC Abstract {The algorithm has been included (page 222) in Allen .B. Tucker, Jr. (Editor-in-Chief), The Computer Science and Engineering Handbook, A CRC Handbook published in cooperation with ACM, CRC Press, 1997.}

Conference Publications

·        Vishv Malhotra, Sunanda Patro and David Johnson,
Synthesise web queries: Search the Web by examples,
International Conf. on Enterprise Information Systems (ICEIS 2005),
Miami, Florida May 24-28, 2005.

·        Sunanda Patro and Vishv Malhotra,
Characteristics of the Boolean web search query: Estimating success from characteristics,
International conf on Web Information Systems and Technologies (WEBIST 2005),
Miami, Florida May 26-28, 2005.

·        Johnson, David and Vishv Malhotra, and Peter Vamplew, and Sunanda Patro,
Refining Search Queries From Examples Using Boolean Expressions and Latent Semantic Analysis.
In Proceedings AISAT2004: International Conference on Artificial Intelligence in Science and Technology, pp. 120-125,
Hobart, Tasmania, Australia. Nov 22-24, 2004

·        Vishv Malhotra and Simon Stanton
Validating Inter-Object interaction in Object-oriented designs
The 4th IASTED International Conference on Modelling, Simulation, and Optimaization (MSO 2004) pp. 241-246.
Kauai, Hawaii, USA August 17-19, 2004 (Presentation slides)

·        Alistair Atkinson and Vishv Malhotra
Coalescing idle Workstations as a  Multiprocessor System using JavaSpace and Java WebStart
The 8th IASTED International Conference on Internet & Multimedia Systems & Applications  (IMSA 2004)  pp. 233-238.

Kauai, Hawaii, USA August 16-18, 2004 (Presentation slides)

·        Simon Stanton and Vishv Malhotra
Model-Checking and Object-Oriented Design: Validation-led development of Software
International Conference on Enterprise Information Systems (ICEIS04),
ICEIS 2004, Proceedings of the 3rd International Conference on Enterprise Information Systems,
Portugal, April, 2004

·        Simon Stanton and Vishv Malhotra
Validation led Development of Object-Oriented Software using a Model Verifier
IADIS conf. on Applied Computing, 2004,
Lisbon, Portugal March 2004.

·        Luke Fletcher and Vishv Malhotra
Network of  Browsers – A multi-processor Computer
IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN2004),
Innsbruck, Austria, February 17-19, 2004, pp. 416-421 (ISBN: 0-88986-385-7, ISSN: 1027-2666)

·        Vishv Malhotra,
Fuzzy More isn't Not Less; It is Not Much Less
(
corrected version and presentation)
International Joint Conference on Neural Networks (IJCNN01),
Washington, DC. July 15-19, 2001 pp. 1340-1344.
INSPEC abstract

·        Vishv Malhotra,
A Decision Support System Model for Subjective Decisions
International Conference on Enterprise Information Systems (ICEIS01),
ICEIS 2001, Proceedings of the 3rd International Conference on Enterprise Information Systems, . Volume 1
Setubal, Portugal, July 7-10, 2001 pp. 255-261.

·        Vishv Malhotra,
On Comparison of Fuzzy Values,
International ICSC Symposia on SOFT COMPUTING (SOCO2001),
International Computing Sciences Conventions (ICSC),
Paisley, Scotland, U.K.,June 26-29, 2001

·        Vishv Malhotra,
Relational Operations on Inexact Values,
Modelling and Simulation 2000 (MS2001), IASTED,
Pittsburgh, PA, May 16-18, 2001.

·        Vishv Malhotra,
Modeling Risks from Errors in Decision Algorithms
,
Modelling and Simulation 2000 (MS2000), IASTED,
Pittsburgh, PA, May 2000.

·        Phu Dung Le, Bala Srinivasan, V. Malhotra and N. Mani,
Resource and Load Sharing in Mobile Computing Environments,
Proc. of IEEE TENCON' 98, IEEE,
New Delhi, India, 1998, pp. 82-85.
INSPEC Abstract

·        Vishv M.Malhotra and Charles Lakos,
Requirements specification: An Exercise in Verification,
in: M.L.Sai Kumar (ed.), Proc. Intl. Conf. on Software Engineering and its Applications,
Hyderabad, 19-21 December, 1997, pp. 41-50.

·        Vishv M Malhotra and Bala Srinivasan,
Mudra: An Electronic Payments Scheme for the Nets,
in: Proc. 7th Australasian Conf. on Information Systems, ACIS'96, Vol. 2,
University of Tasmania, 11-13 December 1996, Australian Computer Society, pp. 449-460.

·        Cristina Cifuentes and Vishv Malhotra,
Binary Translation: Static, Dynamic, Retargetable?,
Proc. Intl. Conf. on Software Maintenance, Monterey, California, November 4-8, 1996,
IEEE Computer Society Press,  Los Alamitos, Ca., 1996, pp. 340-349.
INSPEC Abstract

·        Vishv M. Malhotra,
An Algorithm for Optimal Back-Striding in Prolog,
in: D.H.D.Warren and P. Szeredi (Editors), Proc. Seventh Conf. on Logic Programming, ICLP '90, The MIT Press, Cambridge, 1990, pp. 147-158.

·        Vishv Mohan Malhotra and Tang Van To,
A History-Based Scheme for Accelerating Prolog Interpretation,
IEEE Intl. workshop on Tools for Artificial Intelligence "Architectures, Languages & Algorithms",
Herndon, Virginia, October 23-25, 1989, pp. 482-489.
(This work is referenced by a patent: http://bigpatents.com/anum/07966601)

·        Vishv M. Malhotra and Anurag Jain,
On Compilation of a Class of Knowledge-Bases into a Procedural Code,
Proc. of the International Conf. on Expert Systems for Development.
Kathmandu, Nepal, March 1-3, 1989, pp. 3-12.

·        Vishv M. Malhotra and Sanjeev Kumar,
A Divide and Conquer Approach to Code Generation,
Proc. of International Computer Symposium,
Tamkang University, Taipai, Taiwan, December 15-17, 1988, pp. 1269-1273.

·        Sanyal, S. Biswas and V.M. Malhotra,
Extension of Weakest Precondition Formalism to a Low-level Language,
in: K.V.Nori (Ed.) Proc. of 7th Conf on Foundations of Software Technology and Theoretical Computer Science,Pune, December 1987, Lecture Notes in Computer Science vol. 287, Springer-Verlag, Berlin, 1987, pp. 470-484.

·        Ashok Kumar and V.M. Malhotra,
A look-ahead Interpreter for Sequential Prolog and its Implementation,
in: K.V.Nori (Ed.) Proc. of 7th Conf on Foundations of Software Technology and Theoretical Computer Science,
Pune, December 1987, Lecture Notes in Computer Science vol. 287, Springer-Verlag, Berlin, 1987, pp. 470-484.

·        Sanjeev Kumar and V.M. Malhotra,
Automatic Retargetable Code Generation: A New Technique,
in: K.V.Nori (Ed.) Proc. of sixth Conf on Foundations of Software Technology and Theoretical Computer Science, New Delhi, December 1986, Lecture Notes in Computer Science vol. 241, Springer-Verlag, Berlin, 1986, pp. 57-80.

·        Vishv M. Malhotra and V.Rajaraman,
A Data-flow Language for Specifying Business Data Processing Applications,
in: Arvind and J. Dennis (Editors), Proc. of ACM Conf. on Functional Programming Languages and Computer Architecture,
Portsmouth, New Hampshire, ACM , New York, 1981, pp. 203-212.

·        Vishv M. Malhotra and V.Rajaraman,
Automated Design of Digital Control Unit,
Proc. of the conv. of Computer Society of India,
Calcutta, Feb. 1978, pp. 129-147.