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.

 

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

A Testing Framework for P Systems, , , , и . CoRR, (2011)Modelling Prolog Control., , , и . JTASPEFT/WSA, том 74 из Series Bigre, стр. 117-124. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs., , и . ACM Trans. Program. Lang. Syst., 15 (1): 133-181 (1993)A Notion of Non-Interference for Timed Automata., , , и . Fundam. Informaticae, 51 (1-2): 1-11 (2002)Maximally Parallel Probabilistic Semantics for Multiset Rewriting., , , и . Fundam. Informaticae, 112 (1): 1-17 (2011)A Decidable Notion of Timed Non-Interference., и . Fundam. Informaticae, 54 (2-3): 137-150 (2003)Algebraic Computational Models of OR-Parallel Execution of Prolog., , и . Acta Inf., 34 (6): 449-489 (1997)Minimal probabilistic P systems for modelling ecological systems., , , и . Theor. Comput. Sci., (2015)Investigating dynamic causalities in reaction systems., , , и . Theor. Comput. Sci., (2016)The Calculus of Looping Sequences., , , , и . SFM, том 5016 из Lecture Notes in Computer Science, стр. 387-423. Springer, (2008)