| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7651993 (Why is no real title available?) | 2023-02-09 | Paper |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
1517.68074 | 2022-12-22 | Paper |
Monadic decomposition in integer linear arithmetic
(available as arXiv preprint) | 2022-11-09 | Paper |
| Computing linear arithmetic representation of reachability relation of one-counter automata | 2022-09-01 | Paper |
| A decidable extension of data automata | 2021-03-03 | Paper |
A decidable extension of data automata
(available as arXiv preprint) | 2021-03-03 | Paper |
| Register automata with linear arithmetic | 2021-01-19 | Paper |
Register automata with linear arithmetic
(available as arXiv preprint) | 2021-01-19 | Paper |
Separation logic with linearly compositional inductive predicates and set data constraints
(available as arXiv preprint) | 2020-10-22 | Paper |
| Tractability of separation logic with inductive definitions: beyond lists | 2020-05-27 | Paper |
| The complexity of SORE-definability problems | 2020-05-26 | Paper |
The commutativity problem of the MapReduce framework: a transducer-based approach
Computer Aided Verification | 2019-05-03 | Paper |
| Semipositivity in separation logic with two variables | 2018-08-16 | Paper |
| Satisfiability of compositional separation logic with tree predicates and data constraints | 2017-09-22 | Paper |
| On the satisfiability of indexed linear temporal logics | 2017-09-12 | Paper |
| Extending temporal logics with data variable quantifications | 2017-04-25 | Paper |
On temporal logics with data variable quantifications: decidability and complexity
Information and Computation | 2016-11-18 | Paper |
Survey on formal models to reason about infinite data values
Journal of Software | 2016-10-06 | Paper |
A complete decision procedure for linearly compositional separation logic with data constraints
Automated Reasoning | 2016-09-05 | Paper |
On automated lemma generation for separation logic with inductive definitions
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)
Theoretical Computer Science | 2014-03-13 | Paper |
| scientific article; zbMATH DE number 6109856 (Why is no real title available?) | 2012-11-22 | Paper |
| Verifying recursive active documents with positive data tree rewriting | 2012-08-29 | Paper |
Feasibility of motion planning on acyclic and strongly connected directed graphs
Discrete Applied Mathematics | 2010-10-11 | Paper |
A note on the characterization of TL [EF]
Information Processing Letters | 2010-01-29 | Paper |
Logical locality entails frugal distributed computation over graphs (extended abstract)
Graph-Theoretic Concepts in Computer Science | 2010-01-21 | Paper |
Feasibility of Motion Planning on Directed Graphs
Lecture Notes in Computer Science | 2009-06-03 | Paper |
| The complexity of dual models problem of propositional linear temporal logics | 2009-03-06 | Paper |
On the Expressive Power of QLTL
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
| scientific article; zbMATH DE number 2213332 (Why is no real title available?) | 2006-01-26 | Paper |
Audio-visual speech recognition using MPEG-4 compliant visual features
EURASIP Journal on Applied Signal Processing | 2004-03-16 | Paper |
