research
∙
07/14/2022
Realizability Problem for Constraint LTL
Constraint linear-time temporal logic (CLTL) is an extension of LTL that...
share
research
∙
09/25/2019
Query Preserving Watermarking Schemes for Locally Treelike Databases
Watermarking is a way of embedding information in digital documents. Muc...
research
∙
08/20/2019
Verification of Flat FIFO Systems
The decidability and complexity of reachability problems and model-check...
research
∙
04/08/2019
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
We consider numerical functions weakly computable by grammar-controlled ...
research
∙
02/21/2018