Ciprian Dragomir

According to our database, Ciprian Dragomir authored at least 7 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Formal verification of P systems.

Ciprian Dragomir

PhD thesis, 2016

2014

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.

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

Fundam. Informaticae, 2014

2013

Model Checking Kernel P Systems.

Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla

Proceedings of the Membrane Computing, 2013

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems.

Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

Kernel P Systems: Applications and Implementations.

Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2010

An Integrated Approach to P Systems Formal Verification.

Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir

Proceedings of the Membrane Computing, 2010

2009

Formal Verification and Testing Based on P Systems.

Marian Gheorghe, Florentin Ipate, Ciprian Dragomir

Proceedings of the Membrane Computing, 10th International Workshop, 2009