Raluca Lefticaru

Cited by

	All	Since 2019
Citations	971	441
h-index	16	11
i10-index	28	15

120

2008200920102011201220132014201520162017201820192020202120222023202410 11 28 55 54 49 56 52 56 78 70 87 73 108 69 62 42

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Florentin IpateProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Mario J. Pérez-JiménezUniversidad de SevillaVerified email at us.es
Luis Valencia CabreraUniversidad de SevillaVerified email at us.es
Junbo ZhaoDirector DOE CyberCARED and Castleman Term Professor, University of ConnecticutVerified email at uconn.edu
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Adrian TurcanuAssistant Professor in Mathematical and Computer Sciences, Heriot-Watt UniversityVerified email at hw.ac.uk
Ferrante NeriProfessor of Machine Learning and Artificial Intelligence, NICE group, University of SurreyVerified email at surrey.ac.uk
Manuel García-QuismondoOneThree BiotechVerified email at us.es
Manuel NúñezUniversidad Complutense de MadridVerified email at ucm.es
Anthony J H SimonsSenior Lecturer, University of SheffieldVerified email at sheffield.ac.uk
Rodica CeterchiProfessor of Computer Science, University of Bucharest, Faculty of Mathematics and CSVerified email at fmi.unibuc.ro
Unal YildirimHubei University of Automotive TechnologyVerified email at huat.edu.cn
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Dr. Constantinos Orphanides CEngConceptual Structures Research Group, Sheffield Hallam UniversityVerified email at shu.ac.uk
Ignacio Perez-HurtadoUniversity of SevilleVerified email at us.es
Mike StannettSenior Lecturer (Theoretical Computer Science), Sheffield UniversityVerified email at sheffield.ac.uk
Erzsébet Csuhaj-VarjúDepartment of Algorithms and their Applications, Faculty of Informatics, Eötvös Loránd UniversityVerified email at inf.elte.hu
Ionut DincaUniversitatea din PitestiVerified email at upit.ro

Raluca Lefticaru

Associate Professor, University of Bradford

Verified email at bradford.ac.uk - Homepage

Computer Science Software Engineering Software Testing Model-Based Testing Membrane Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots X Wang, G Zhang, F Neri, T Jiang, J Zhao, M Gheorghe, F Ipate, ...	116	2016
Automatic state-based test generation using genetic algorithms R Lefticaru, F Ipate Ninth international symposium on symbolic and numeric algorithms for …, 2007	105	2007
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	69	2013
Functional search-based testing from state machines R Lefticaru, F Ipate 2008 1st International Conference on Software Testing, Verification, and …, 2008	68	2008
A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning X Wang, G Zhang, J Zhao, H Rong, F Ipate, R Lefticaru	67	2015
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. G Zhang, F Zhou, X Huang, J Cheng, M Gheorghe, F Ipate, R Lefticaru J. Univers. Comput. Sci. 18 (13), 1821-1841, 2012	44	2012
Model checking kernel P systems C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla Membrane Computing: 14th International Conference, CMC 2013, Chişinău …, 2014	37	2014
Test generation from P systems using model checking F Ipate, M Gheorghe, R Lefticaru The Journal of Logic and Algebraic Programming 79 (6), 350-362, 2010	32	2010
A particle swarm optimization based on P systems F Zhou, G Zhang, H Rong, M Gheorghe, J Cheng, F Ipate, R Lefticaru 2010 Sixth International Conference on Natural Computation 6, 3003-3007, 2010	30	2010
Formal verification of P systems using Spin F Ipate, R Lefticaru, C Tudose International Journal of Foundations of Computer Science 22 (01), 133-142, 2011	29	2011
Kernel P systems: from modelling to verification and testing M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru Theoretical Computer Science, 2018	26	2018
Kernel P systems: Applications and implementations F Ipate, R Lefticaru, L Mierlă, LV Cabrera, H Han, G Zhang, C Dragomir, ... Proceedings of The Eighth International Conference on Bio-Inspired Computing …, 2013	25	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, ... Proceedings of the Tenth Brainstorming Week on Membrane Computing, 291-318 …, 2012	21	2012
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering R Lefticaru, S Konur, U Yildirim, A Uddin, F Campean, M Gheorghe IEEE International Conference on Cyber, Physical and Social Computing …, 2017	20	2017
An Integrated Approach to P Systems Formal Verification M Gheorghe, F Ipate, R Lefticaru, C Dragomir Int. Conf. on Membrane Computing 6501, 226-239, 2010	20	2010
Spiking neural P systems: matrix representation and formal verification M Gheorghe, R Lefticaru, S Konur, IM Niculescu, HN Adorna Journal of Membrane Computing 3 (2), 133-148, 2021	19	2021
Using genetic algorithms and model checking for P systems automatic design C Tudose, R Lefticaru, F Ipate Nature Inspired Cooperative Strategies for Optimization (NICSO 2011), 285-302, 2011	15	2011
Testing robots using CSP A Cavalcanti, J Baxter, RM Hierons, R Lefticaru Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019	14	2019
A comparative landscape analysis of fitness functions for search-based testing R Lefticaru, F Ipate 2008 10th international symposium on symbolic and numeric algorithms for …, 2008	14	2008
Towards automated verification of P systems using Spin R Lefticaru, C Tudose, F Ipate Natural Computing for Simulation and Knowledge Discovery, 159-170, 2011	13	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors