Type

SUNScholar Research Repository

Type

Sort by: Order: Results:

  • Bordini, Rafael H.   Fisher, Michael   Wooldridge, Michael   Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
    Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...
  • Rawlings, Douglas E (Central South University Press, Lushan South Road 932, 410083 Changsha, Hunan Province, PR China, 2011-09)
    A selection of significant discoveries in the general field of biomining over the past thirty years with which the author has been directly or indirectly involved will be reviewed. Early steps in the development of the ...