Levent Erkök

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 2

Top Topics

Feature Selection

Machine Learning Methods

Top Venues

IEEE Trans. Computers

Publications

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root. IEEE Trans. Computers 67 (3) (2018)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs). CoRR (2017)
Iavor S. Diatchki, Lee Pike, Levent Erkök
Practical Considerations in Control-Flow Integrity Monitoring. ICST Workshops (2011)
Levent Erkök, Magnus Carlsson, Adam Wick
Hardware/software co-verification of cryptographic algorithms using Cryptol. FMCAD (2009)
Levent Erkök, John Matthews
Pragmatic equivalence and safety checking in Cryptol. PLPV (2009)
Levent Erkök, John Matthews
High assurance programming in Cryptol. CSIIRW (2009)
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
Imperative Functional Programming with Isabelle/HOL. TPHOLs (2008)
Levent Erkök, John Launchbury, Andrew Moran
Semantics of value recursion for Monadic Input/Output. RAIRO Theor. Informatics Appl. 36 (2) (2002)
Levent Erkök, John Launchbury
A recursive do for Haskell. Haskell (2002)
Levent Erkök, John Launchbury
Recursive monadic bindings. ICFP (2000)