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.

 

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

Automated Paraconsistent Reasoning via Model Checking, и . First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA, (августа 2001)Runtime Monitoring of Web Service Conversations, , , , , , и . IEEE Transactions on Services Computing, 2 (3): 223--244 (2009)