×

zbMATH — the first resource for mathematics

Firsov, Denis

Compute Distance To:
Author ID: firsov.denis Recent zbMATH articles by "Firsov, Denis"
Published as: Firsov, D.; Firsov, Denis
Documents Indexed: 6 Publications since 2006

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 9 times in 9 Documents Cited by Year
Domain decomposition methods in image denoising using Gaussian curvature. Zbl 1092.94004
Firsov, D.; Lui, S. H.
4
2006
Efficient Mendler-style lambda-encodings in cedille. Zbl 06946983
Firsov, Denis; Blair, Richard; Stump, Aaron
1
2018
Certified CYK parsing of context-free languages. Zbl 1371.68137
Firsov, Denis; Uustalu, Tarmo
1
2014
Certified parsing of regular languages. Zbl 1303.68077
Firsov, Denis; Uustalu, Tarmo
1
2013
Mathematical model of ice melting on transmission lines. Zbl 1120.35043
Sadov, S. Yu.; Shivakumar, P. N.; Firsov, D.; Lui, S. H.; Thulasiram, R.
1
2007
A fast deblurring algorithm. Zbl 1104.65326
Firsov, D.; Lui, S. H.
1
2006
Efficient Mendler-style lambda-encodings in cedille. Zbl 06946983
Firsov, Denis; Blair, Richard; Stump, Aaron
1
2018
Certified CYK parsing of context-free languages. Zbl 1371.68137
Firsov, Denis; Uustalu, Tarmo
1
2014
Certified parsing of regular languages. Zbl 1303.68077
Firsov, Denis; Uustalu, Tarmo
1
2013
Mathematical model of ice melting on transmission lines. Zbl 1120.35043
Sadov, S. Yu.; Shivakumar, P. N.; Firsov, D.; Lui, S. H.; Thulasiram, R.
1
2007
Domain decomposition methods in image denoising using Gaussian curvature. Zbl 1092.94004
Firsov, D.; Lui, S. H.
4
2006
A fast deblurring algorithm. Zbl 1104.65326
Firsov, D.; Lui, S. H.
1
2006

Citations by Year