Concepedia

Nik Sultana

NS

Statistics

Publications

8

Citations

212

H-Index

8

Active since

2008

Affiliations

University of Cambridge(Current)

Imperial College London

California University of Pennsylvania

Freie Universität Berlin

Microsoft Research (United Kingdom)

Nik Sultana is an author at University of Cambridge specializing in computer science, computing, and computer engineering.

Publications per year

2008–2021

8

Publications

8

The Higher-Order Prover Leo-II

Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson et al. · Journal of Automated Reasoning · 2015 · 67 citations · Full text

Computing, Computer Science, Formal Methods +16

Mechanical verification of refactorings

Nik Sultana, Simon Thompson · 2008 · 28 citations

Computing, Computer Science, Formal Methods +13

Flightplan: Dataplane Disaggregation and Placement for P4 Programs

Nik Sultana, John Sonchack, Hans Giesen et al. · Networked Systems Design and Implementation · 2021 · 28 citations

Engineering, Aerospace Engineering, Computer Engineering +9

Emu: Rapid Prototyping of Networking Services

Nik Sultana, Salvator Galea, David Greaves et al. · Cambridge University Engineering Department Publications Database · 2017 · 24 citations · Full text

Engineering, Computer Engineering, Computer Science +17

LEO-II and Satallax on the Sledgehammer test bench

Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson · Journal of Applied Logic · 2012 · 22 citations

Engineering, Aerospace Engineering, Aerospace Structures +4

1–5 of 8