Follow
Adrian Turcanu
Adrian Turcanu
Assistant Professor in Mathematical and Computer Sciences, Heriot-Watt University
Verified email at hw.ac.uk
Title
Cited by
Cited by
Year
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
682013
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
202012
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
142011
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
52012
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
42014
On Model Checking of a Robotic Mechanism
A Turcanu, T Shaikh, CN Mazilu
Journal of Robotics and Automation 4 (1), 158-165, 2020
32020
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
The system can't perform the operation now. Try again later.
Articles 1–17