C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alex James
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 8
Top Topics
Information Acquisition
Model Checker
Formal Verification
Denoising
Top Venues
CoRR
ICECS 2022
Ecol. Informatics
ICFEM
</>
Publications
</>
Rajalekshmi TR
,
Rinku Rani Das
,
Chithra R
,
Alex James
Graphene-based RRAM devices for neural computing.
CoRR
(2023)
B. Naresh Kumar Reddy
,
Alex James
,
Aruru Sai Kumar
Fault-Tolerant Core Mapping for NoC based architectures with improved Performance and Energy Efficiency.
ICECS 2022
(2022)
Alex James
,
Alwen Tiu
,
Nisansala Yatapanage
PFMC: a parallel symbolic model checker for security protocol verification.
CoRR
(2022)
Alex James
,
Leon Ong Chua
Variability-aware Memristive Crossbars - A Tutorial.
CoRR
(2022)
Ajaydas. U. R
,
B. Naresh Kumar Reddy
,
Alex James
Hardware Implementation of an efficient FIR filter for ECG Signal Denoising Application.
ICECS 2022
(2022)
Alex James
,
Alwen Tiu
,
Nisansala Yatapanage
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.
ICFEM
(2022)
Julie Mugford
,
Elena Moltchanova
,
Michael J. Plank
,
Jon Sullivan
,
Andrea E. Byrom
,
Alex James
Citizen science decisions: A Bayesian approach optimises effort.
Ecol. Informatics
63 (2021)
Mark R. Mittrick
,
John T. Richardson
,
Derrik E. Asher
,
Alex James
,
Timothy P. Hanratty
Using the Value of Information (VoI) Metric to Improve Sensemaking.
CoRR
(2018)