( en | de | ru )

 

Disambiguation of "Lefticaru, Raluca"

Author of the publication

copydeleteadd this publication to your clipboard
Kernel P Systems: Applications and Implementations.

, , , , , , , , and . BIC-TA, volume 212 of Advances in Intelligent Systems and Computing, page 1081-1089. Springer, (2013)

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.

Raluca Petru

Raluca Cosgarea

Raluca Uricaru

Raluca Petru

Raluca Hera

 

Other publications of authors with the same name

Functional Search-based Testing from State Machines., and . ICST, page 525-528. IEEE Computer Society, (2008)A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing., and . SYNASC, page 201-208. IEEE Computer Society, (2008)An Implementation Relation for Cyclic Systems with Refusals and Discrete Time., , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 393-409. Springer, (2019)X-Machine Based Testing for Cloud Services., and . ESOCC Workshops, volume 508 of Communications in Computer and Information Science, page 175-189. Springer, (2014)Formal Verification of P Systems with Active Membranes through Model Checking., , , , and . Int. Conf. on Membrane Computing, volume 7184 of Lecture Notes in Computer Science, page 215-225. Springer, (2011)Tuning P Systems for Solving the Broadcasting Problem., , , and . Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 354-370. Springer, (2009)Testing Robots Using CSP., , , and . TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 21-38. Springer, (2019)A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm., , and . SYNASC, page 153-160. IEEE Computer Society, (2017)Automatic State-Based Test Generation Using Genetic Algorithms., and . SYNASC, page 188-195. IEEE Computer Society, (2007)Towards Automated Verification of P Systems Using Spin., , and . IJNCR, 2 (3): 1-12 (2011)