Login / Signup
Dana Fisman
ORCID
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 48
Top Topics
Special Issue
Regular Languages
Topological Relations
Temporal Reasoning
Top Venues
CoRR
CSL
Log. Methods Comput. Sci.
Formal Methods Syst. Des.
</>
Publications
</>