Niraj Basnet

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Mazurkiewicz Traces

Fourier Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate Monitoring in Distributed Cyber-Physical Systems. RV (2021)
Niraj Basnet, Houssam Abbas
Logical Signal Processing: A Fourier Analysis of Temporal Logic. RV (2020)
Niraj Basnet, Houssam Abbas
Logical Signal Processing: a Fourier Analysis of Temporal Logic. CoRR (2020)