From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Verification and validation of knowledge-based systems with formal specifications., и . Knowledge Eng. Review, 10 (4): 331-343 (1995)Improving Tree Decomposition Methods With Function Filtering., , и . IJCAI, стр. 1537-1538. Professional Book Center, (2005)Specializing Russian Doll Search., и . CP, том 2239 из Lecture Notes in Computer Science, стр. 464-478. Springer, (2001)A Cryptographic Solution for Private Distributed Simple Meeting Scheduling., , , и . CCIA, том 202 из Frontiers in Artificial Intelligence and Applications, стр. 275-283. IOS Press, (2009)Distributed Stable Matching Problems with Ties and Incomplete Lists., и . CP, том 4204 из Lecture Notes in Computer Science, стр. 675-679. Springer, (2006)Boosting MUS Extraction., и . SARA, том 4612 из Lecture Notes in Computer Science, стр. 285-299. Springer, (2007)Distributed Meeting Scheduling., и . CCIA, том 163 из Frontiers in Artificial Intelligence and Applications, стр. 38-45. IOS Press, (2007)A Tutorial on Optimization for Multi-Agent Systems., , , и . Comput. J., 57 (6): 799-824 (2014)Improving DPOP with function filtering., и . AAMAS, стр. 141-148. IFAAMAS, (2010)Distributed Cluster Tree Elimination., и . RCRA, том 451 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)