Isaque M. S. Lima

Publication Activity (10 Years)

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

Top Topics

Dynamic Epistemic Logic

Sensitivity Analysis

Mathematical Morphology

Top Venues

Publications

Mario R. F. Benevides, Isaque M. S. Lima
Dynamic Epistemic Logic with Communication Actions. CoRR (2019)
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
On Diagrams and General Model Checkers. Diagrams (2018)