On n-contractive fuzzy logics.
Mathematical Logic Quarterly. 53:268-288.
A Cryptographic Solution for Private Distributed Simple Meeting Scheduling.
Proc. CCIA-09, Artificial Intelligence Research & Development. 202:275-283.
Identity-based ring signatures from RSA.
Theoretical Computer Science. 389:100-117.
IJCAI ? 05. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. :1238-1243.
Path-adaptive A* for incremental heuristic search in unknown terrain.
International Conference Planning and Scheduling, ICAPS-09. :358-361.
Propagating updates in real-time search:.
Lecture notes in computer science. 4177:379-388.
Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI-07. :2312-2317.