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
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 10 out of a total of 15 results for community: Students Publications.
(0.051 seconds)
Now showing items 1-10 of 15
1
2
Next Page
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
)
Specification construction using equivalence relations and SMT solvers -
Abou Ismail, Rabeeh Ghaleb,
(
2015
)
Model repair via SAT solving -
Sakr, Mouhammad Issam,
(
2014
)
Reliability-based structural design of retaining walls supporting spatially variable soils
Tarhini, Batoul Ahmad
(
2019
)
Effect of deterioration of integral railings on one-span multilane concrete slab bridges
El Sankari, Hazem Ali
(
2020
)
Behavioural modeling and abstraction of concurrent programs.
Soueidi, Chukri Albert
(
2019
)
High speed architectures for accelerating neuromorphic vision algorithms.
Elia, Gaby Ebrahim.
(
2012
)
Automatic loop parallelization -
Tarhini, Ali Abbas,
(
2013
)
3D face reconstruction and recognition using stereo images.
Dawi, Mohammad Hassan.
(
2012
)
Now showing items 1-10 of 15
1
2
Next Page
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
Abou Ismail, Rabeeh Ghaleb, (1)
Dabbagh, Mehiar Mohamed Zouhair. (1)
Dawi, Mohammad Hassan. (1)
El Sankari, Hazem Ali (1)
Elia, Gaby Ebrahim. (1)
Farjo, Joan Mounir, (1)
Hallal, Rayan Ali (1)
Jaber, Ameen Ali, (1)
Kaitoua, Abdulrahman Abdulmajid, (1)
Khalil, Al-Abbass Adham (1)
... View More
Subject
Software engineering. (15)
Computer algorithms. (4)
Computer software -- Verification. (4)
Computer programming. (3)
Computer logic. (2)
Computer vision. (2)
Formal methods (Computer science) (2)
Image processing. (2)
Kernel functions. (2)
Parallel programming (Computer science) (2)
... View More
Date Issued
2014 (4)
2019 (4)
2012 (3)
2013 (2)
2015 (1)
2020 (1)
Has File(s)
Yes (14)
No (1)