Showing
1 - 11
results of
11
for search '
Lefticaru, Raluca
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Lefticaru, Raluca
Showing
1 - 11
results of
11
for search '
Lefticaru, Raluca
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
A verified and optimized Stream X-Machine testing method, with application to cloud service certification
by
Simons, A.J.H.
,
Lefticaru
,
Raluca
Published 2020
Get full text
2
Fundamental results for learning deterministic extended finite state machines from queries
by
Ipate, F.
,
Gheorghe, Marian
,
Lefticaru
,
Raluca
Published 2020
Get full text
3
P colonies and kernel P systems
by
Csuhaj-Varju, E.
,
Gheorghe, Marian
,
Lefticaru
,
Raluca
Published 2018
Get full text
4
Message from the A-MOST 2021 Workshop Chairs
by
Lefticaru
,
Raluca
,
Lorber, F.
,
Turker, U.C.
Published 2021
Get full text
5
Implementation relations and testing for cyclic systems with refusals and discrete time
by
Lefticaru
,
Raluca
,
Hierons, R.M.
,
Núñez, M.
Published 2020
Get full text
6
Message from A-MOST 2020 Chairs
by
Hierons, Rob
,
Nunez, Manuel
,
Pretschner, Alexander
,
Lefticaru
,
Raluca
Published 2021
Get full text
7
Analyzing Crowd-Sourced Information and Social Media for Crisis Management
by
Andrews, S.
,
Day, T.
,
Domdouzis, K.
,
Hirsch, L.
,
Lefticaru
,
Raluca
,
Orphanides, C.
Published 2020
Get full text
8
A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning
by
Wang, X.
,
Zhang, G.
,
Zhao, J.
,
Rong, H.
,
Ipate, F.
,
Lefticaru
,
Raluca
Published 2020
Get full text
9
Spiking Neural P Systems Simulation and Verification
by
Lefticaru
,
Raluca
,
Gheorghe, Marian
,
Konur, Savas
,
Niculescu, I.M.
,
Adorna, H.N.
Published 2021
Get full text
10
Spiking neural P systems: matrix representation and formal verification
by
Gheorghe, Marian
,
Lefticaru
,
Raluca
,
Konur, Savas
,
Niculescu, I.M.
,
Adorna, H.N.
Published 2021
Get full text
11
Mutation Testing for RoboChart
by
Hierons, R.M.
,
Gazda, M.
,
Gomez-Abajo, P.
,
Lefticaru
,
Raluca
,
Merayo, M.G.
Published 2021
Get full text
Search Tools:
Get RSS Feed
—
Email this Search
Loading...