( en | de | ru )

 

Disambiguation of "Lefticaru, Raluca"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Test generation from P systems using model checking., , and . J. Log. Algebraic Methods Program., 79 (6): 350-362 (2010)Functional Search-based Testing from State Machines., and . ICST, page 525-528. IEEE Computer Society, (2008)3-Col problem modelling using simple kernel P systems., , , , , , , and . Int. J. Comput. Math., 90 (4): 816-830 (2013)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)A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing., and . SYNASC, page 201-208. IEEE Computer Society, (2008)An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms., and . SEFM, volume 7504 of Lecture Notes in Computer Science, page 293-307. Springer, (2012)Towards Automated Verification of P Systems Using Spin., , and . IJNCR, 2 (3): 1-12 (2011)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)Spiking neural P systems: matrix representation and formal verification., , , , and . J. Membr. Comput., 3 (2): 133-148 (2021)Fundamental results for learning deterministic extended finite state machines from queries., , and . Theor. Comput. Sci., (2021)