AUB ScholarWorks
Search
AUB ScholarWorks Home
→
Students Publications
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 4 out of a total of 4 results for community: Students Publications.
(0.01 seconds)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Verification of software and embedded systems using AIG solvers -
Noureddine, Mohamad Ali,
(
2014
)
Mining for significant execution profiles for software assessment -
Farjo, Joan Mounir,
(
2014
)
Model repair via SAT solving -
Sakr, Mouhammad Issam,
(
2014
)
Morphology-based entity and relational entity information extraction framework for Arabic -
Jaber, Ameen Ali,
(
2014
)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of AUB ScholarWorks
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Discover
Author
Farjo, Joan Mounir, (1)
Jaber, Ameen Ali, (1)
Noureddine, Mohamad Ali, (1)
Sakr, Mouhammad Issam, (1)
Subject
Software engineering. (4)
Computer software -- Verification. (2)
Arabic language -- Morphology. (1)
Artificial intelligence. (1)
Cluster analysis. (1)
Computational linguistics. (1)
Computer logic. (1)
Computer programs -- Verification. (1)
Computer systems -- Verification. (1)
Data mining -- Software. (1)
... View More
Date Issued
2014 (4)
Has File(s)
Yes (4)