Nik Sultana

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j1		Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson: LEO-II and Satallax on the Sledgehammer test bench. J. Applied Logic 11(1): 91-102 (2013)
i1		Christoph Benzmüller, Nik Sultana: Update report: LEO-II version 1.5. CoRR abs/1303.3761 (2013)
	2012
c3		Moritz Y. Becker, Alessandra Russo, Nik Sultana: Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy 2012: 161-175
	2008
c2		Nik Sultana, Simon J. Thompson: Mechanical verification of refactorings. PEPM 2008: 51-60
	2007
c1		Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana: Refactoring Functional Programs at the University of Kent. WRT 2007: 66-67

Coauthor Index

1	Moritz Y. Becker	[c3]
2	Christoph Benzmüller (Christoph Benzmueller)	[i1]
3	Jasmin Christian Blanchette (Jasmin Blanchette)	[j1]
4	Christopher Brown 0002	[c1]
5	Huiqing Li	[c1]
6	Lawrence C. Paulson	[j1]
7	Claus Reinke	[c1]
8	Alessandra Russo	[c3]
9	Simon J. Thompson	[c2] [c1]

Last update Sat May 18 19:39:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page