Raluca Lefticaru

• Colaboraciones en obras colectivas (5)

• Colaboraciones en obras colectivas

  • Seleccionado

    Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems

    Raluca Lefticaru, Florentin Ipate , Luis Valencia Cabrera , Adrian Turcanu, Cristina Tudose, Marian Gheorghe , Mario de Jesús Pérez Jiménez , Ionut Mihai Niculescu, Ciprian Dragomir

    Tenth Brainstorming Week on Membrane Computing / Francisco José Romero Campero (ed. lit.) , Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Manuel Garcia-Quismondo Fernandez (ed. lit.), Luis Felipe Macías Ramos (ed. lit.), Luis Valencia Cabrera (ed. lit.) , Vol. 1, 2012, ISBN 9788494005657, págs. 291-318

    • Texto completo
    
  • Seleccionado

    Towards Automated Verification of P Systems Using Spin

    Raluca Lefticaru, Cristina Tudose, Florentin Ipate

    Ninth Brainstorming Week On Membrane Computing / Miguel Ángel Martínez del Amor (ed. lit.) , Gheorghe Paun (ed. lit.) , Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Francisco José Romero Campero (ed. lit.) , Luis Valencia Cabrera (ed. lit.) , 2011, ISBN 9788461518371, págs. 237-250

    • Texto completo
    
  • Seleccionado

    Tuning P Systems for Solving the Broadcasting Problem

    Raluca Lefticaru, Florentin Ipate , Marian Gheorghe , Zhang Gexiang

    10th International Workshop on Membrane Computing / coord. por Gheorge Paun, Mario de Jesús Pérez Jiménez , Agustín Riscos Núñez , Grzegorz Rozenberg, Arto Salomaa, 2010, ISBN 978-3-642-11466-3, págs. 354-370

    
  • Seleccionado

    Model Checking Based Test Generation from P Systems Using P-Lingua

    Raluca Lefticaru, Florentin Ipate , Marian Gheorghe

    Eighth Brainstorming Week on Membrane Computing / Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Agustín Riscos Núñez (ed. lit.) , 2010, ISBN 9788461423576, págs. 157-176

    • Texto completo
    
  • Seleccionado

    Tuning P Systems for Solving the Broadcasting Problem

    Raluca Lefticaru, Florentin Ipate , Marian Gheorghe , Ge-xiang Zhang

    Tenth Workshop on Membrane Computing / coord. por Gheorge Paun, Mario de Jesús Pérez Jiménez , Agustín Riscos Núñez , 2009, págs. 337-354

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.