Author of the publication

An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets.

, , and . HASE, page 457-460. IEEE Computer Society, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Finite 2-Geodesic Transitive Graphs Of Valency 3p.. Ars Comb., (2015)Exploiting controlled-grained parallelism in message-driven stream programs., , , , and . The Journal of Supercomputing, 70 (1): 488-509 (2014)On Some Recent Advances in Multimodal Surgery Simulation: A Hybrid Approach to Surgical Cutting and the Use of Video Images for Enhanced Realism., , and . Presence, 16 (6): 563-583 (2007)Understanding the Antecedents of Virtual Product Purchase in MMORPG: An Integrative Perspective of Social Presence and User Engagement., and . PACIS, page 191. (2015)SBFR: A search based approach for reproducing failures of programs with grammar based input., , , , and . ASE, page 604-609. IEEE, (2013)Study on large-scale in-situ immersion static load test for bearing behavior of collapsible loess pile foundation., and . EMEIT, page 2544-2547. IEEE, (2011)A First Investigation on Mongolian Information Retrieval., , , and . EVIA@NTCIR, National Institute of Informatics (NII), (2008)Data-Driven Low-Cost On-Chip Memory with Adaptive Power-Quality Trade-off for Mobile Video Streaming., , , , , and . ISLPED, page 188-193. ACM, (2016)The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation., , , , and . APSEC, page 118-126. IEEE Computer Society, (2010)Timeline Editing of Objects in Video., , , , and . IEEE Trans. Vis. Comput. Graph., 19 (7): 1218-1227 (2013)