Concepedia

L. Barker

LB

Statistics

Publications

1

Citations

26

H-Index

1

Active since

2009

Affiliations

University College Dublin(Current)

L. Barker is an author at University College Dublin specializing in formal verification, discrete mathematics, and automated reasoning.

Top concepts

EngineeringGraph TheoryVerificationFormal MethodsComputer ScienceProof ComplexityOrder-sorted LogicAutomated ReasoningFormal VerificationDiscrete Mathematics

Publications per year

2009–2009

1

Publications

1

On the Complexity of the Verification of the Costas Property

L. Barker, Konstantinos Drakakis, Scott Rickard · Proceedings of the IEEE · 2009 · 26 citations

Mathematical Programming, Costas Permutation, Computational Complexity Theory +20

1–1 of 1