( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
State space blow-up in the verification of secure smartcard interoperability.

, , , и . ICCST, стр. 119-125. IEEE, (2012)

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.

Maurizio Podda

Maurizio Zanazzi

Maurizio Venturini

Maurizio Serva

Maurizio Podda

 

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

Access Keys Warehouse: A New Approach to the Development of Cooperative Information Systems., , , , и . CoopIS, стр. 46-56. IEEE Computer Society, (1999)Experiences and issues in the realization of e-government services., , , и . RIDE, стр. 143-. IEEE Computer Society, (2002)Competitive Algorithms for the On-line Traveling Salesman., , , , и . WADS, том 955 из Lecture Notes in Computer Science, стр. 206-217. Springer, (1995)Preserving Approximation in the Min-Weighted Set Cover Problem., , и . Discret. Appl. Math., 73 (1): 13-22 (1997)Requirements and Design Issues of Spatial Data Handling Systems., , , и . CISM - Advances in Database Systems, том 347 из CISM International Centre for Mechanical Sciences - Courses and Lectures, стр. 49-69. Springer, (1993)Keeping coherence among web sources., , , и . WIDM, стр. 16-23. ACM, (2001)Providing online operational support for distributed, security sensitive electronic business processes., , , и . ICCST, стр. 49-54. IEEE, (2015)Towards a seamless digital Europe: the SSEDIC recommendations on digital identity management., , , , и . Open Identity Summit, том P-237 из LNI, стр. 62-72. GI, (2014)Movement based biometric authentication with smartphones., , , и . ICCST, стр. 235-239. IEEE, (2015)Online and offline conformance checking of inter-organizational business processes with incomplete process logs., , , и . ICCST, стр. 1-8. IEEE, (2016)