Number of items: **35**.

## A

Ahmad, N. and Khan, Mohammad G.M. and Islam, S.F. (2012) *Optimal allocation of testing resource for modular software based on testing-effort dependent software reliability growth.* [Conference Proceedings]

Azid, Sheikh I. and Sharma, Bibhya N. (2012) *Intelligent home: SMS based home security system with immediate feedback.* [Conference Proceedings]

## B

Bradley, M. and Cassez, F. and Fehnker, Ansgar and Given-Wilson, T. and Huuck, R. (2012) *High performance static analysis for industry.* Electronic Notes in Theoretical Computer Science, 289 . pp. 3-14. ISSN 1571-0661

Bridges, D.S. and Havea, Robin S. (2012) *Square roots and powers in constructive Banach algebra theory.* [Conference Proceedings]

## C

Chandra, Rohitash and Zhang, M. (2012) *Cooperative coevolution of Elman recurrent neural networks for chaotic time series prediction.* Neurocomputing, 86 . pp. 116-123. ISSN 0925-2312

## F

Fehnker, Ansgar and Chaudhary, Kaylash C. (2012) *Modeling and verification for the micropayment protocol netpay.* [Conference Proceedings]

Fehnker, Ansgar and van Glabbeek, R.J. and Hoefner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2012) *Automated analysis of AODV using UPPAAL.* [Conference Proceedings]

Fehnker, Ansgar and van Glabbeek, R.J. and Hofner, P. and Mclver, A. and Portmann, M. and Tan, W.L. (2012) *A process algebra for wireless mesh networks.* [Conference Proceedings]

## H

Hofner, P. and van Glabbeek, R.J. and Tan, W.L. and Portmann, M. and McIver, A. and Fehnker, Ansgar (2012) *A rigorous analysis of AODV and its variants.* [Conference Proceedings]

## J

Junker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) *SMT - based false positive elimination in static program analysis.* [Conference Proceedings]

## K

Kauta, John S. (2012) *Hereditary orders in the quotient ring of a skew polynomial ring.* Proceedings of the American Mathematical Society, 140 (5). pp. 1473-1481. ISSN 0002-9939

Kauta, John S. (2012) *On a class of semihereditary crossed-product orders.* Pacific Journal of Mathematics, 259 (2). pp. 349-360. ISSN 0030-8730

Khan, Mohammad G.M. and Ahmad, N. and Prasad, V D. (2012) *Optimal compromise allocation in two - stage and stratified two - stage sampling design for multivariate study.* Journal of Applied Statistical Science, 20 (2). pp. 187-197. ISSN 1067-5817

Khan, Mohammad G.M. and Sharma, Sushita (2012) *On Constructing Optimum Strata and Determining Optimum Allocation.* [Conference Proceedings]

## P

Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) *Motion control of a 2 - link revolute manipulator in an obstacle - ridden workspace.* [Conference Proceedings]

Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) *Motion planning and control of autonomous robots in a two-dimensional plane.* [Conference Proceedings]

Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) *A collision-free algorithm of a point-mass robot using neural networks.* Journal of Artifical Intelligence, 3 (1). pp. 49-55. ISSN 2229-3965

## R

Raghuwaiya, Krishna and Singh, Shonal and Vanualailai, Jito (2012) *Trajectory tracking using artificial potential fields.* [Conference Proceedings]

Raj, Jai and Vanualailai, Jito and Sharma, Bibhya N. and Singh, Shonal (2012) *Swarm navigation in a complex environment.* [Conference Proceedings]

Rao, Dinesh K. and Khan, Mohammad G.M. and Khan, Sabiha (2012) *Mathematical programming on multivariate calibration estimation in stratified sampling.* International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 6 (12). pp. 58-62. ISSN 2070-3740

## S

Sharma, Anuraganand and Sharma, D.P. (2012) *ICHEA for discrete constraint satisfaction problems.* In: AI 2012: Advances in Artificial Intelligence. Lecture Notes in Computer Science, 7691 . Springer Berlin Heidelberg, Berlin, pp. 242-253. ISBN Print 978-3-642-35100-6 Online 978-3-642-35101-3

Sharma, Anuraganand and Sharma, D.P. (2012) *Solving dynamic constraint optimization problems using ICHEA.* In: Neural Information Processing. Lecture Notes in Computer Science, 7665 . Springer International Publishing, Berlin, Heidelberg, pp. 434-444. ISBN 978-3-642-34486-2

Sharma, Anuraganand and Sharma, D.P. (2012) *An incremental approach to solving dynamic constraint satisfaction problems.* In: Neural Information Processing. Lecture Notes in Computer Science, 7665 . Springer International Publishing, Berlin, Heidelberg, pp. 445-455. ISBN 978-3-642-34486-2

Sharma, Anuraganand and Sharma, Dharmendra P. (2012) *ICHEA – a constraint guided search for improving evolutionary algorithms.* In: UNSPECIFIED Lecture Notes in Computer Science, 7663 . Springer International Publishing, pp. 269-279. ISBN 978-3-642-34474-9

Sharma, Anuraganand and Sharma, Dharmendra P. (2012) *Real - valued constraint optimization with ICHEA.* [Conference Proceedings]

Sharma, Bibhya N. (2012) *ICT - the new driving force in the USP region.* UNSPECIFIED.

Sharma, Bibhya N. and Rai, R. and Vanualailai, Jito (2012) *Lane changing and merging maneuvers of car-like robots.* [Conference Proceedings]

Sharma, Bibhya N. and Vanualailai, Jito and Prasad, A. (2012) *Dual - formation control of multiple 2 - link mobile manipulators.* UNSPECIFIED.

Sharma, Bibhya N. and Vanualailai, Jito and Rai, R. (2012) *Lane Changing/Merging Manuevers of Platoons via a Split/Merge Strategy.* UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito and Singh, Shonal (2012) *Lyapunov - based nonlinear controllers for obstacle avoidance with a planar n - link doubly nonholonomic manipulator.* Robotics and Autonomous Systems, 60 (12). pp. 1484-1497. ISSN 0921-8890

Singh, Shaveen and Jokhan, Anjeela D. and Sharma, Bibhya N. and Lal, Sunil P. (2012) *An innovative approach of progressive feedback via artificial neural networks.* Journal of Machine Learning Technologies, 3 (1). pp. 64-70. ISSN 2229-3981

Singh, Shonal and Sharma, Bibhya N. and Vanualailai, Jito and Prasad, Avinesh (2012) *Autonomous control of multiple mobile manipulators.* World Academy of Science, Engineering and Technology, NA (72). pp. 834-843. ISSN 2070-3740

Singh, Shonal and Sharma, Bibhya N. and Vanualailai, Jito and Prasad, Avinesh (2012) *Autonomous control of multiple mobile manipulators.* [Conference Proceedings]

## V

Vanualailai, Jito and Sharma, Bibhya N. (2012) *A cohesive langrangian swarm and its application to multiple unicycle-like vehicles.* [Conference Proceedings]

## W

Weiss, Ittay (2012) *Metric 1-spaces.* [Professional and Technical Reports]

This list was generated on **Mon Jun 25 02:16:05 2018 FJT**.