Data types with symmetries via action containers
A systematic literature review of cyber security monitoring in maritime
Using incremental inductive logic programming for learning spoofing attacks on maritime automatic identification system data
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Autonomous vessels collision verification: geometric optimization
Finiteness of symbolic derivatives in Lean
Craig interpolation for a semi-substructural logic
Procontainers for idioms, arrows and monads
Monoid structures on indexed containers
Leakage-free probabilistic Jasmin programs
Drawing strategies analysis for the embedded figure tests
Statistical machine learning techniques for wave spectre estimation in coastal seas
Constraint programming-based verification of COLREG safety
SecRef*: securely sharing mutable references between verified and unverified code in F*