Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lefticaru, Raluca
39  Ergebnisse:
Personensuche X
?
1

Tumour Detection and Segmentation in MRI Scans of the Gut A..:

, In: Advances in Intelligent Systems and Computing; Advances in Computational Intelligence Systems,
Azeez, Olatunji ; Lefticaru, Raluca - p. 528-541 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Detection of Cyberbullying on Social Media Platforms Using ..:

, In: Advances in Intelligent Systems and Computing; Advances in Computational Intelligence Systems,
Ali, Mohammad Usmaan ; Lefticaru, Raluca - p. 220-233 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Implementation relations and testing for cyclic systems: Ad..:

Núñez, Manuel ; Hierons, Robert M. ; Lefticaru, Raluca
Robotics and Autonomous Systems.  165 (2023)  - p. 104426 , 2023
Link: https://doi.org/10.1016/..
 
?
4

A model learning based testing approach for kernel P system:

Ipate, Florentin ; Niculescu, Ionuţ ; Lefticaru, Raluca..
Theoretical Computer Science.  965 (2023)  - p. 113975 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Spiking neural P systems: matrix representation and formal ..:

Gheorghe, Marian ; Lefticaru, Raluca ; Konur, Savas..
Journal of Membrane Computing.  3 (2021)  2 - p. 133-148 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Fundamental results for learning deterministic extended fin..:

Ipate, Florentin ; Gheorghe, Marian ; Lefticaru, Raluca
Theoretical Computer Science.  862 (2021)  - p. 160-173 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Implementation relations and testing for cyclic systems wit..:

Lefticaru, Raluca ; Hierons, Robert M. ; Núñez, Manuel
Journal of Systems and Software.  170 (2020)  - p. 110738 , 2020
Link: https://doi.org/10.1016/..
 
?
8

A verified and optimized Stream X‐Machine testing method, w..:

Simons, Anthony J. H. ; Lefticaru, Raluca
Software Testing, Verification and Reliability.  30 (2020)  3 - p. , 2020
Link: https://doi.org/10.1002/..
 
?
9

Mutation Testing for RoboChart:

, In: Software Engineering for Robotics,
Hierons, Robert M. ; Gazda, Maciej ; Gómez-Abajo, Pablo.. - p. 345-375 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Testing Identifiable Kernel P Systems Using an X-Machine Ap..:

, In: Membrane Computing; Lecture Notes in Computer Science,
Gheorghe, Marian ; Ipate, Florentin ; Lefticaru, Raluca. - p. 142-159 , 2019
Link: https://doi.org/10.1007/..
 
?
11

An Implementation Relation for Cyclic Systems with Refusals..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Lefticaru, Raluca ; Hierons, Robert M. ; Núñez, Manuel - p. 393-409 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Testing Robots Using CSP:

, In: Tests and Proofs; Lecture Notes in Computer Science,
Cavalcanti, Ana ; Baxter, James ; Hierons, Robert M.. - p. 21-38 , 2019
Link: https://doi.org/10.1007/..
 
?
13

P colonies and kernel P systems:

Csuhaj-Varjú, Erzsébet ; Gheorghe, Marian ; Lefticaru, Raluca
International Journal of Advances in Engineering Sciences and Applied Mathematics.  10 (2018)  3 - p. 181-192 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Kernel P systems: From modelling to verification and testin:

Gheorghe, Marian ; Ceterchi, Rodica ; Ipate, Florentin..
Theoretical Computer Science.  724 (2018)  - p. 45-60 , 2018
Link: https://doi.org/10.1016/..
 
?
15

3-Col problem modelling using simple kernel P systems:

Gheorghe, Marian ; Ipate, Florentin ; Lefticaru, Raluca...
International Journal of Computer Mathematics.  90 (2013)  4 - p. 816-830 , 2013
Link: https://doi.org/10.1080/..
 
1-15