( en | de | ru )

 

Disambiguation of "Gheorghe, Marian"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.

, , and . WASA, volume 752 of CEUR Workshop Proceedings, page 37-44. CEUR-WS.org, (2011)

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

Using Process Mining Metrics to Measure Noisy Process Fidelity., and . EASE, BCS, (2009)3-Col problem modelling using simple kernel P systems., , , , , , , and . Int. J. Comput. Math., 90 (4): 816-830 (2013)Deterministic stream X-machines based on grammar systems., , and . Where Mathematics, Computer Science, Linguistics and Biology Meet, page 13-23. Kluwer Academic Publishers, (2001)Two (infinite?) hierarchies of vector languages., and . Bulletin of the EATCS, (1986)A Variant of Distributed P Systems for Real Time Cross Layer Optimization., , , , and . J. Univers. Comput. Sci., 18 (13): 1760-1781 (2012)A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems., and . IEEE ACM Trans. Comput. Biol. Bioinform., 12 (2): 360-371 (2015)A model learning based testing approach for spiking neural P systems., and . Theor. Comput. Sci., (2022)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)