3-Col problem modelling using simple kernel P systems M Gheorghe, F Ipate, R Lefticaru, MJ Pérez-Jiménez, A Ţurcanu, ... International Journal of Computer Mathematics 90 (4), 816-830, 2013 | 68 | 2013 |
Towards an integrated approach for model simulation, property extraction and verification of P systems R Lefticaru, F Ipate, L Valencia-Cabrera, A Turcanu, C Tudose, ... Tenth Brainstorming Week on Membrane Computing 1, 291-318, 2012 | 20 | 2012 |
Modeling, verification and testing of P systems using Rodin and ProB F Ipate, A Turcanu Proceedings of the Ninth Brainstorming Week on Membrane Computing, 209-219 …, 2011 | 14 | 2011 |
Computational properties of two P systems solving the 3-colouring problem A Turcanu, F Ipate 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 5 | 2012 |
Modelling and Analysis of E. coli Respiratory Chain A Ţurcanu, L Mierlă, F Ipate, A Stefanescu, H Bai, M Holcombe, S Coakley Applications of Membrane Computing in Systems and Synthetic Biology, 247-266, 2014 | 4 | 2014 |
On Model Checking of a Robotic Mechanism A Turcanu, T Shaikh, CN Mazilu Journal of Robotics and Automation 4 (1), 158-165, 2020 | 3 | 2020 |
Event-B model of P systems F Ipate, A Turcanu Proc. AVOCS'10, 0 | 2 | |
Using the Rodin Platform as a Programming Tool A Turcanu, F Ipate Proceedings of International Conference on Information Technology and …, 2022 | | 2022 |
Teme supliment Gazeta Matematica. Clasa a VI-a AT C. Manea, D. Petrica | | 2018 |
Teme supliment Gazeta Matematica. Clasa a V-a AT M. Haiducu, S. Peligrad | | 2018 |
Matematica clasa a 6-a Standard, Mate 2000+ AT S. Peligrad, I. Serdean | | 2016 |
An exact solution for a special recurrence relation AT C. Balcau Bul. Sci. ser. Matematica si Informatica 21, 2015 | | 2015 |
A compatibility system study using S-polynomials CB A. Turcanu Bul. Sci. ser. Matematica si Informatica 21, 2015 | | 2015 |
An exact solution for a Master Theorem type recurrence CB A. Turcanu Bul. Sci. ser. Matematica si Informatica 20, 83-90, 2014 | | 2014 |
MarioJ. Pérez-Jiménez, Adrian Ţurcanu, Luis Valencia Cabrera, Manuel García-Quismondo, Laurenţiu Mierlă, 3-Col problem modelling using simple kernel P systems M Gheorghe, F Ipate, R Lefticaru International Journal of Computer Mathematics 90 (4), 816-830, 2013 | | 2013 |
Algebră liniară şi geometrie analitică SC Andronescu, A Ţurcanu Editura Universităţii din Piteşti, 2009 | | 2009 |
Simplifying Event-B Models of P Systems Using Functions A Turcanu, F Ipate 13th International Conference on Membrane Computing, 455, 0 | | |