Ciprian Dragomir

• Colaboraciones en obras colectivas (6)

• Colaboraciones en obras colectivas

  • Seleccionado

    Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

    Konur Savas, Marian Gheorghe , Ciprian Dragomir, Florentin Ipate , Natalio Krasnogor

    Twelfth Brainstorming Week on Membrane Computing / Luis Felipe Macías Ramos (ed. lit.), Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Agustín Riscos Núñez (ed. lit.) , Luis Valencia Cabrera (ed. lit.) , 2014, ISBN 9788494005640, págs. 221-234

    • Texto completo
    
  • Seleccionado

    Kernel P Systems - Version 1

    Marian Gheorghe , Florentin Ipate , Ciprian Dragomir, Laurentiu Mierla, Luis Valencia Cabrera , Manuel Garcia-Quismondo Fernandez, Mario de Jesús Pérez Jiménez

    Eleventh Brainstorming Week on Membrane Computing / Luis Valencia Cabrera (ed. lit.) , Manuel Garcia-Quismondo Fernandez (ed. lit.), Luis Felipe Macías Ramos (ed. lit.), Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Agustín Riscos Núñez (ed. lit.) , 2013, ISBN 9788494069192, págs. 97-124

    • Texto completo
    
  • Seleccionado

    A Kernel P System

    Marian Gheorghe , Florentin Ipate , 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. 153-169

    • Texto completo
    
  • 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

    Formal Verification and Testing Based on P Systems

    Marian Gheorghe , Florentin Ipate , Ciprian Dragomir

    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. 54-65

    
  • Seleccionado

    Formal Verification and Testing Based on P Systems

    Marian Gheorghe , Florentin Ipate , Ciprian Dragomir

    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. 33-34

    

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.