Vivek Nigam - Google Scholar Citations

Cited by

	All	Since 2014
Citations	825	613
h-index	16	14
i10-index	29	24

140

105

200620072008200920102011201220132014201520162017201820199 2 10 22 40 27 41 57 79 78 86 114 130 115

Co-authors

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Carolyn TalcottSRI InternationalVerified email at csl.sri.com
Tajana Ban KiriginUniversity of Rijeka, Department of MathematicsVerified email at math.uniri.hr
Elaine PimentelUniversidade Federal do Rio Grande do NorteVerified email at mat.ufmg.br
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Iguatemi E. FonsecaFederal University of ParaíbaVerified email at ci.ufpb.br
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Boon Thau LooUniversity of PennsylvaniaVerified email at seas.upenn.edu
Limin JiaCarnegie Mellon UniversityVerified email at cmu.edu
Carlos OlarteProfessor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, BrazilVerified email at ect.ufrn.br
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
anduo wangTemple UniversityVerified email at temple.edu
Joao LeiteAssociate Professor, Universidade Nova de LisboaVerified email at fct.unl.pt
Jennifer RexfordProfessor of Computer Science, Princeton UniversityVerified email at cs.princeton.edu
Wenchao ZhouGeorgetown UniversityVerified email at cs.georgetown.edu
Alisson V. BritoUniversidade Federal da Paraiba (UFPB)Verified email at ci.ufpb.br
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Michael SchroederProfessor in Bioinformatics, TU DresdenVerified email at biotec.tu-dresden.de
Andrew KennedyFacebook LondonVerified email at fb.com

Vivek Nigam

fortiss GmbH

Verified email at fortiss.org - Homepage

Model-Based Engineering Formal Methods Safety and Security Logic in Computer Science


Title	Cited by	Year
Algorithmic specifications in linear logic with subexponentials V Nigam, D Miller Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	77	2009
A selective defense for application layer ddos attacks YG Dantas, V Nigam, IE Fonseca 2014 IEEE Joint Intelligence and Security Informatics Conference, 75-82, 2014	44	2014
A framework for proof systems V Nigam, D Miller Journal of Automated Reasoning 45 (2), 157-188, 2010	42	2010
Maintaining distributed logic programs incrementally V Nigam, L Jia, BT Loo, A Scedrov Computer Languages, Systems & Structures 38 (2), 158-180, 2012	41	2012
FSR: Formal analysis and implementation toolkit for safe interdomain routing A Wang, L Jia, W Zhou, Y Ren, BT Loo, J Rexford, V Nigam, A Scedrov, ... IEEE/ACM Transactions on Networking (ToN) 20 (6), 1814-1827, 2012	37	2012
Incorporating tables into proofs D Miller, V Nigam International Workshop on Computer Science Logic, 466-480, 2007	37	2007
An extended framework for specifying and reasoning about proof systems V Nigam, E Pimentel, G Reis Journal of Logic and Computation 26 (2), 539-576, 2016	27	2016
A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013	25	2013
Exploiting non-canonicity in the sequent calculus V Nigam	25	2009
Prova: Rule-based java scripting for distributed web applications: A case study in bioinformatics A Kozlenkov, R Penaloza, V Nigam, L Royer, G Dawelbait, M Schroeder International Conference on Extending Database Technology, 899-908, 2006	24	2006
Abstract effects and proof-relevant logical relations N Benton, M Hofmann, V Nigam ACM SIGPLAN Notices 49 (1), 619-631, 2014	23	2014
Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011	20	2011
Towards the automated verification of cyber-physical security protocols: Bounding the number of timed intruders V Nigam, C Talcott, AA Urquiza European Symposium on Research in Computer Security, 450-470, 2016	19	2016
Profile based scheme against DDoS attack in WSN V Nigam, S Jain, K Burse 2014 Fourth international conference on communication systems and network …, 2014	18	2014
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	16	2015
A rewriting framework for activities subject to regulations M Kanovich, T Ban Kirigin, V Nigam, A Scedrov, C Talcott, R Perovic 23rd International Conference on Rewriting Techniques and Applications (RTA'12), 2012	16	2012
Focusing in linear meta-logic V Nigam, D Miller International Joint Conference on Automated Reasoning, 507-522, 2008	16	2008
Slow TCAM exhaustion DDoS attack TA Pascoal, YG Dantas, IE Fonseca, V Nigam IFIP International Conference on ICT Systems Security and Privacy Protection …, 2017	15	2017
A dynamic logic programming based system for agents with declarative goals V Nigam, J Leite International Workshop on Declarative Agent Languages and Technologies, 174-190, 2006	15	2006
On the complexity of linear authorization logics V Nigam Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012	13	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors