Computer Science

Leveraging Game Design to Promote Effective User Behavior of Intelligent Tutoring Systems

In Intelligent Tutoring Systems (pp. 597–599).

Using Individualized Feedback and Guided Instruction via a Virtual Human Agent in an Introductory Computer Programming Course

In Intelligent Tutoring Systems (pp. 612–614).

Data-Driven Method for Assessing Skill-Opportunity Recognition in Open Procedural Problem Solving Environments

In Intelligent Tutoring Systems (pp. 615–617).

Outreach for improved student performance

Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education - ITiCSE '12. Presented at the the 17th ACM annual conference.

Towards argumentation with symbolic dempster-shafer evidence

In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 462–469).

The evolution of interoperability

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 90–94).

Specifying and verifying cross-organizational business models: An agent-oriented approach

IEEE Transactions on Services Computing, 5(3), 305–318.

Semantics and Verification of Information-Based Protocols

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1149–1156. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899461141&partnerID=MN8TOARS

Relating goal and commitment semantics

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 22–37).

Comma: A Commitment-Based Business Modeling Methodology and its Empirical Evaluation

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1073–1080. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899460865&partnerID=MN8TOARS

Agent-based organisational governance of services

Multiagent and Grid Systems, 8(1), 3–18.

Emerging Properties of Knowledge Sharing Referral Networks: Considerations of Effectiveness and Fairness

In Lecture Notes in Computer Science: Vol. 6573 LNAI (pp. 13–23).

Collaborative assessment of functional reliability in wireless networks

2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 425–433.

Behind the curtain: Service selection via trust in composite services

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012, 9–16.

Argument schemes for reasoning about trust

In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 430–441).

A heuristic for bottleneck crossing minimization and its performance on general crossing minimization: Hypothesis and experimental study

Journal of Experimental Algorithmics (JEA), 17, 1–3.

UCON LEGAL

Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.

Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.