Computer Science

On tangible user interfaces, humans and spatiality

Personal and Ubiquitous Computing, 8(5).

Spatial Tangible User Interfaces for Cognitive Assessment and Training

In Biologically Inspired Approaches to Advanced Information Technology (pp. 137–152).

Deeper Inside PageRank

Internet Mathematics, 1(3), 335–380.

Workshop on Social and Emotional Intelligence in Learning Environments

In Intelligent Tutoring Systems (pp. 913–913).

Dialogue Management for Conversational Case-Based Reasoning

In Lecture Notes in Computer Science (pp. 77–90).

Approximate factorization of multivariate polynomials via differential equations

Proceedings of the 2004 international symposium on Symbolic and algebraic computation - ISSAC '04. Presented at the the 2004 international symposium.

On SAT instance classes and a method for reliable performance experiments with SAT solvers

Annals of Mathematics and Artificial Intelligence, 43(1-4), 1–34.

Adding AI to Web Services

In Agent-Mediated Knowledge Management (pp. 322–338).

GRAMY: A geometry theorem prover capable of construction

Journal of Automated Reasoning, 32(1), 3–33.

Trustworthy service caching: Cooperative search in P2P information systems

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3030, pp. 32–44). http://www.scopus.com/inward/record.url?eid=2-s2.0-7444260312&partnerID=MN8TOARS

Toward autonomic Web services trust and selection

ICSOC '04: Proceedings of the Second International Conference on Service Oriented Computing, 212–221. http://www.scopus.com/inward/record.url?eid=2-s2.0-20444480301&partnerID=MN8TOARS

Service graphs for building trust

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3290, pp. 509–525). http://www.scopus.com/inward/record.url?eid=2-s2.0-33846960261&partnerID=MN8TOARS

Self-organizing referral networks: A process view of trust and authority

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2977, 195–211. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144450099&partnerID=MN8TOARS

Resolving commitments among autonomous agents

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2922, 166–182. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144454066&partnerID=MN8TOARS

Protocols for processes: Programming in the large for open systems (extended abstract)

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 120–123.

Mapping Dooley graphs and commitment causality to the π-calculus

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, 1, 412–419. http://www.scopus.com/inward/record.url?eid=2-s2.0-4544296343&partnerID=MN8TOARS

Developing trust in large-scale peer-to-peer systems

IEEE 1ST SYMPOSIUM ON MULTI-AGENT SECURITY & SURVIVABILITY.

Commitments for flexible business processes

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, 3, 1362–1363. http://www.scopus.com/inward/record.url?eid=2-s2.0-4544335679&partnerID=MN8TOARS

Protocol-based business process modeling and enactment

Proceedings - IEEE International Conference on Web Services, 35–42.

Nonmonotonic commitment machines

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2922, 183–200. http://www.scopus.com/inward/record.url?eid=2-s2.0-22944442324&partnerID=MN8TOARS