Computer Science

An evolutionary look at e-commerce

IEEE Internet Computing, 5(2), 6–7.

The invisible wireless web

IEEE Internet Computing, 5(4), 6–7.

Services and situations

IEEE Internet Computing, 5(5), 4–5.

Privacy and open services

IEEE Internet Computing, 5(6), 4–5.

Formalization of commitment-based agent interaction

Proceedings of the 2001 ACM symposium on Applied computing - SAC '01. Presented at the the 2001 ACM symposium.

Preface

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2246). http://www.scopus.com/inward/record.url?eid=2-s2.0-84942916037&partnerID=MN8TOARS

Designing and executing protocols using the event calculus

Proceedings of the International Conference on Autonomous Agents, 27–28. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034833432&partnerID=MN8TOARS

Bringing together humans and artificial agents in cyber-societies:a new field of trust research

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2246, 1–7.

Commitment-based interoperation for e-commerce

5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS.

A commitment-based approach for business process interoperation

IEICE Transactions on Information and Systems. https://publons.com/publon/21294516/

Programming and Proofs, Teaching Logic in Computer Science

https://people.engr.ncsu.edu/mfms/ProofChecker/2001-concept.pdf

Heuristics, experimental subjects, and treatment evaluation in bigraph crossing minimization

Journal of Experimental Algorithmics (JEA), 6, 8.

Electronic peer review and peer grading in computer-science courses

Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education - SIGCSE '01. Presented at the the thirty-second SIGCSE technical symposium.

Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation

In Transportation Research Record (pp. 114–120). http://www.scopus.com/inward/record.url?eid=2-s2.0-0035728022&partnerID=MN8TOARS

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

Engineering Optimization, 33(5), 549–569. http://www.scopus.com/inward/record.url?eid=2-s2.0-2342512900&partnerID=MN8TOARS

Discrete element modelling on a cluster of workstations

Engineering with Computers, 17(1), 1–15. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035194161&partnerID=MN8TOARS

High-level parallel programming models and supportive environments 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

New York: Springer.

Visual factors affecting pilots' judgments of trajectory-to-touchdown during emergency landings

Focusing Attention on Aviation Safety the 11th International Symposium on Aviation Psychology, March 5-8, 2001, Columbus, Ohio, USA, 11.

Some problems encountered in the development of a virtual reality system for evaluating human performance during emergency power-off aircraft landings

Human vision and electronic imaging VI : 22-25 January, 2001, San Jose, USA, 4297.

Active trust management for autonomous adaptive survivable systems

In H. S. P. Robertson & R. Laddaga (Eds.), Self-adaptive software: First international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000: Revised papers. Berlin; New York: Springer.