Anastas Nikolov

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 5

Top Topics

Formal Verification

Service Provisioning

Distributed Computing Systems

Top Venues

Int. J. Reason. based Intell. Syst.

Int. J. Embed. Syst.

Publications

Ivaylo Atanasov, Anastas Nikolov, Evelina Pencheva
An approach to transform Internet of Things data into knowledge. Int. J. Embed. Syst. 9 (5) (2017)
Ivaylo Atanasov, Anastas Nikolov, Evelina Pencheva
An approach to transformation of data into knowledge for power control in smart homes. Int. J. Reason. based Intell. Syst. 9 (2) (2017)
Ivaylo Atanasov, Anastas Nikolov, Evelina Pencheva
Study on generic functionality for quality of service control in M2M communications. BlackSeaCom (2016)
Anastas Nikolov, Evelina Pencheva, Ivaylo Atanasov
Formal verification of connectivity management models in M2M communications. BlackSeaCom (2016)
Anastas Nikolov, Evelina Pencheva, Ivaylo Atanasov, Kamelia Nikolova
A Case of Service Interaction in M2M Device Management. NTMS (2016)
Ivaylo Atanasov, Anastas Nikolov, Evelina Pencheva, Rozalina Dimova, Martin Ivanov
An Approach to Data Annotation for Internet of Things. Int. J. Inf. Technol. Web Eng. 10 (4) (2015)