( en | de | ru )

 

Disambiguation of "Aman, Bogdan"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of membrane systems with delays via Petri nets with delays.

, and . Theor. Comput. Sci., (2015)

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.

Viktor Aman

Aman Shakya

Aman Kabir

Wolfgang Aman

Aman Geldyyev

 

Other publications of authors with the same name

On the Reachability Problem in P Systems with Mobile Membranes., and . Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 113-123. Springer, (2007)Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility., , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 432-443. Springer, (2013)Typed Membrane Systems., and . Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 169-181. Springer, (2009)Formalizing the Behavior of Biological Processes with Mobility., and . UC, volume 6079 of Lecture Notes in Computer Science, page 187. Springer, (2010)Synchronization of rules in membrane computing., and . J. Membr. Comput., 1 (4): 233-240 (2019)Relating randomized right-hand sides to communicating rewriting rules., and . Theor. Comput. Sci., (September 2023)Travelling salesman problem in tissue P systems with costs., and . J. Membr. Comput., 3 (2): 97-104 (2021)Imprecise Probability for Multiparty Session Types in Process Algebra., and . CoRR, (2020)Efficiently solving the Bin Packing problem through bio-inspired mobility., and . Acta Informatica, 54 (4): 435-445 (2017)P Systems with Anti-Matter., , and . Int. Conf. on Membrane Computing, volume 8961 of Lecture Notes in Computer Science, page 66-85. Springer, (2014)