21 citations · 38 across the 18 of their papers we have counts for
4 papers · 1 filter
On the convergence of sequences in the space of -iterated function systems with applications
Praveen M, Sunil Mathew
This article discusses the notion of convergence of sequences of iterated function systems. The technique of iterated function systems is one of the several methods to construct ob…
On iterated function systems and algebraic properties of Lipschitz maps in partial metric spaces
Praveen M, Sunil Mathew
This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems('s). Also, the article proves the Collage theorem for partial…
WEX: Formal Specifications for Windows in Stream Processing
S Hitarth, M. Praveen
A key operation in processing an unbounded data stream is windowing, which extracts finite portions of streams for further handling. The existing frameworks and query languages eit…
Realizability Problem for Constraint LTL
Ashwin Bhaskar, M. Praveen
Constraint linear-time temporal logic (CLTL) is an extension of LTL that is interpreted on sequences of valuations of variables over an infinite domain. The atomic formulas are int…