22 citations · 44 across the 3 of their papers we have counts for
3 papers
cond-mat.mtrl-sci2022★ 22 cited
Plasma-enhanced atomic layer deposition of AlO on graphene using monolayer hBN as interfacial layer
Barbara Canto, Martin Otto, Michael J. Powell +7
The deposition of dielectric materials on graphene is one of the bottlenecks for unlocking the potential of graphene in electronic applications. In this paper we demonstrate the pl…
cs.LO2014★ 16 cited
Decidability Results for the Boundedness Problem
Achim Blumensath, Martin Otto, Mark Weyer
We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(…
cs.DB2012★ 6 cited
Queries with Guarded Negation (full version)
Vince Barany, Balder ten Cate, Martin Otto
A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason ab…