2 citations · 2 across the 2 of their papers we have counts for
4 papers
Monitoring edge-geodetic sets in graphs
Subhadeep R. Dev, Sanjana Dey, Florent Foucaud +2
We introduce a new graph-theoretic concept in the area of network monitoring. In this area, one wishes to monitor the vertices and/or the edges of a network (viewed as a graph) in…
Probabilistic Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal +2
We present -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational sem…
Regular and First Order List Functions
Mikolaj Bojanczyk, Laure Daviaud, Krishna Shankara Narayanan
We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pair…
Regular Transducer Expressions for Regular Transformations
Vrunda Dave, Paul Gastin, Krishna Shankara Narayanan
Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show tha…