Computer Science

Semantics and Verification of Information-Based Protocols

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1149–1156. Valencia, Spain: IFAAMAS.

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. Valencia, Spain: IFAAMAS.

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.

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients

Journal of Symbolic Computation, 47(1), 1–15.

An automated approach to assessing the quality of code reviews

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

Automatic quality assessment for peer reviews of student work

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

Scalable concurrent and parallel mark

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

The Collie

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

A word-order based graph representation for relevance identification

Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12. Presented at the the 21st ACM international conference.

The effects of construction related costs on the optimization of steel frames

Structural Engineering and Mechanics, 43(1), 31–51.