Nika Pona

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Communication Protocol

Defeasible Logic

Top Venues

Publications

Nika Pona, Vadim Zaliva
Research Report: Formally-Verified ASN.1 Protocol C-language Stack. SP Workshops (2020)
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten
When logic lays down the law. CoRR (2018)