( en | de | ru )

 

Disambiguation of "Gheorghe, Marian"

Author of the publication

copydeleteadd this publication to your clipboard
Comparative Analysis of Statistical Model Checking Tools.

, , , and . Int. Conf. on Membrane Computing, volume 10105 of Lecture Notes in Computer Science, page 119-135. Springer, (2016)

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.

Gheorghe Adam

Gheorghe Stanomir

Gheorghe Radulescu

Gheorghe Dragu

Gheorghe Baia

 

Other publications of authors with the same name

Two (infinite?) hierarchies of vector languages., and . Bulletin of the EATCS, (1986)Deterministic stream X-machines based on grammar systems., , and . Where Mathematics, Computer Science, Linguistics and Biology Meet, page 13-23. Kluwer Academic Publishers, (2001)3-Col problem modelling using simple kernel P systems., , , , , , , and . Int. J. Comput. Math., 90 (4): 816-830 (2013)A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems., and . IEEE ACM Trans. Comput. Biol. Bioinform., 12 (2): 360-371 (2015)A Variant of Distributed P Systems for Real Time Cross Layer Optimization., , , , and . J. Univers. Comput. Sci., 18 (13): 1760-1781 (2012)A model learning based testing approach for spiking neural P systems., and . Theor. Comput. Sci., (2022)Using Process Mining Metrics to Measure Noisy Process Fidelity., and . EASE, BCS, (2009)Membrane system models for super-Turing paradigms., and . Nat. Comput., 11 (2): 253-259 (2012)Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework., , , , , and . HPCC-ICESS, page 538-545. IEEE Computer Society, (2012)A Modified Estimation of Distribution Algorithm for Numeric Optimization., , , , , and . BIC-TA, page 114-119. IEEE Computer Society, (2011)