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.

 

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

Imprecise Probability for Multiparty Session Types in Process Algebra., и . CoRR, (2020)Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility., , и . ICDCIT, том 7753 из Lecture Notes in Computer Science, стр. 432-443. Springer, (2013)Formalizing the Behavior of Biological Processes with Mobility., и . UC, том 6079 из Lecture Notes in Computer Science, стр. 187. Springer, (2010)Typed Membrane Systems., и . Workshop on Membrane Computing, том 5957 из Lecture Notes in Computer Science, стр. 169-181. Springer, (2009)On the Reachability Problem in P Systems with Mobile Membranes., и . Workshop on Membrane Computing, том 4860 из Lecture Notes in Computer Science, стр. 113-123. Springer, (2007)Foundations of Reversible Computation., , , , , , , , , и 5 other автор(ы). Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)Computational Power of Protein Interaction Networks., и . UCNC, том 7956 из Lecture Notes in Computer Science, стр. 248-249. Springer, (2013)P Systems with Anti-Matter., , и . Int. Conf. on Membrane Computing, том 8961 из Lecture Notes in Computer Science, стр. 66-85. Springer, (2014)Structural Properties and Observability in Membrane Systems., и . SYNASC, стр. 74-81. IEEE Computer Society, (2007)Real-Time Migration Properties of rTiMo Verified in Uppaal., и . SEFM, том 8137 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2013)