Irena Schindler

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Formal Verification

Temporally Extended Goals

Linear Temporal Logic

Bounded Model Checking

Top Venues

ACM Trans. Comput. Log.

Publications

Arne Meier, Sebastian Ordyniak, M. S. Ramanujan, Irena Schindler
Backdoors for Linear Temporal Logic. Algorithmica 81 (2) (2019)
Martin Lück, Arne Meier, Irena Schindler
Parametrised Complexity of Satisfiability in Temporal Logic. ACM Trans. Comput. Log. 18 (1) (2017)
Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler
Backdoors for Linear Temporal Logic. IPEC (2016)
Arne Meier, Sebastian Ordyniak, M. S. Ramanujan, Irena Schindler
Strong Backdoors for Linear Temporal Logic. CoRR (2016)