Alan Khoja

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

Statistical Analysis

Video Sequences

Top Venues

Publications

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Automated Consistency Analysis for Legal Contracts. SPIN (2022)
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Formal Modeling and Analysis of Legal Contracts using ContractCheck. CoRR (2022)