Periodo de publicación recogido
|
|
|
Marian Gheorghe, Florentin Ipate
Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / María del Carmen Graciani Díaz (ed. lit.), Agustín Riscos Núñez (ed. lit.), Gheorghe Paun (ed. lit.), Grzegorz Rozenberg (ed. lit.), Arto Salomaa (ed. lit.), 2018, ISBN 978-3-030-00265-7, págs. 130-141
Kernel P Systems Modelling, Testing and Verification
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Konur Savas
Fourteenth Brainstorming Week on Membrane Computing / María del Carmen Graciani Díaz (ed. lit.), David Orellana Martín (ed. lit.), Agustín Riscos Núñez (ed. lit.), Alvaro Romero Jiménez (ed. lit.), Luis Valencia Cabrera (ed. lit.), 2016, ISBN 9788494631610, págs. 205-230
kPWorkbench: A Software Framework for Kernel P Systems
Marian Gheorghe, Florentin Ipate, Laurentiu Mierla, Konur Savas
Thirteenth Brainstorming Week on Membrane Computing / Luis Felipe Macías Ramos (ed. lit.), Gheorge Paun (ed. lit.), Agustín Riscos Núñez (ed. lit.), Luis Valencia Cabrera (ed. lit.), 2015, ISBN 9788494436628, págs. 179-193
Modelling and analysis of E.coli respiratory chain
Adrian Turcanu, Laurentiu Mierla, Florentin Ipate, Alin Stefanescu, Hao Bai, Mike Holcombe, Simon Coakley
Applications of membrane computing in systems and synthetic biology / coord. por Pierluigi Frisco, Marian Gheorghe, Mario de Jesús Pérez Jiménez, 2014, ISBN 978-3-319-03190-3, págs. 247-266
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
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
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
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
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Florentin Ipate, Adrian Turcanu
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. 209-219
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
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
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
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition
Liu Chunxiu, Zhang Gexiang, Liu Hongwen, Marian Gheorghe, Florentin Ipate
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. 371-384
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
Mutation Based Testing of P Systems
Florentin Ipate, Marian Gheorghe
Seventh Brainstorming Week on Membrane Computing / Rosa M. Gutiérrez Escudero (ed. lit.), Miguel Ángel Gutiérrez Naranjo (ed. lit.), Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.), Agustín Riscos Núñez (ed. lit.), Vol. 1, 2009, ISBN 9788461328376, págs. 231-246
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
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
An Improved Membrane Algorithm for Solving Time-Frequency Atom Descomposition
Liu Chunxiu, Zhang Gexiang, Liu Hongwen, Marian Gheorghe, Florentin Ipate
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. 355-368
Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
3rd International Workshop on Membrane Computing / coord. por Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron, 2003, ISBN 3-540-00611-7, págs. 43-57
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados