×

zbMATH — the first resource for mathematics

Raghothaman, Mukund

Compute Distance To:
Author ID: raghothaman.mukund Recent zbMATH articles by "Raghothaman, Mukund"
Published as: Raghothaman, Mukund
Documents Indexed: 6 Publications since 2013

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 33 times in 17 Documents Cited by Year
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
7
2013
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
6
2014
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
3
2015
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
3
2015
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
6
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
7
2013

Citations by Year