Vivek Nigam

Cited by

	All	Since 2017
Citations	1302	828
h-index	19	16
i10-index	45	30

200

100

150

200620072008200920102011201220132014201520162017201820192020202120227 2 10 23 43 29 37 54 80 84 76 135 121 162 162 197 47

Public access

View all

32 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Tajana Ban KiriginUniversity of Rijeka, Faculty of MathematicsVerified email at math.uniri.hr
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Iguatemi E. FonsecaFederal University of ParaíbaVerified email at ci.ufpb.br
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Boon Thau LooRCA Professor of Computer and Information Science, Associate Dean, UPennVerified email at seas.upenn.edu
Limin JiaCarnegie Mellon UniversityVerified email at cmu.edu
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Alisson V. BritoUniversidade Federal da Paraiba (UFPB)Verified email at ci.ufpb.br
anduo wangTemple UniversityVerified email at temple.edu
Joao LeiteUniversidade 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
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Michael SchroederProfessor in Bioinformatics, TU DresdenVerified email at biotec.tu-dresden.de
Loic Alain RoyerGroup LeaderVerified email at czbiohub.org
Andrew KennedyFacebook LondonVerified email at fb.com
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl

Vivek Nigam

Huawei

Verified email at huawei.com - Homepage

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


Title Sort by citations Sort by year Sort by title	Cited by 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	96	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	75	2014
A framework for proof systems V Nigam, D Miller Journal of Automated Reasoning 45 (2), 157-188, 2010	50	2010
Maintaining distributed logic programs incrementally V Nigam, L Jia, BT Loo, A Scedrov Computer Languages, Systems & Structures 38 (2), 158-180, 2012	48	2012
Slow TCAM exhaustion DDoS attack TA Pascoal, YG Dantas, IE Fonseca, V Nigam IFIP International Conference on ICT Systems Security and Privacy Protection …, 2017	45	2017
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 20 (6), 1814-1827, 2012	41	2012
Incorporating tables into proofs D Miller, V Nigam International Workshop on Computer Science Logic, 466-480, 2007	40	2007
Towards the automated verification of cyber-physical security protocols: Bounding the number of timed intruders V Nigam, C Talcott, A Aires Urquiza European Symposium on Research in Computer Security, 450-470, 2016	38	2016
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	38	2016
Abstract effects and proof-relevant logical relations N Benton, M Hofmann, V Nigam Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	38	2014
A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013	34	2013
Exploiting non-canonicity in the sequent calculus V Nigam Ecole Polytechnique X, 2009	28	2009
Subexponentials in non-commutative linear logic M Kanovich, S Kuznetsov, V Nigam, A Scedrov Mathematical Structures in Computer Science 29 (8), 1217-1249, 2019	27	2019
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	26	2015
Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011	26	2011
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	26	2006
Bounded memory Dolev–Yao adversaries in collaborative systems M Kanovich, TB Kirigin, V Nigam, A Scedrov Information and Computation 238, 233-261, 2014	22	2014
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	21	2012
A framework for analyzing adaptive autonomous aerial vehicles IA Mason, V Nigam, C Talcott, A Brito International Conference on Software Engineering and Formal Methods, 406-422, 2017	20	2017
Time, computational complexity, and probability in the analysis of distance-bounding protocols M Kanovich, T Ban Kirigin, V Nigam, A Scedrov, C Talcott Journal of Computer Security 25 (6), 585-630, 2017	19	2017

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

Follow this author

Cited by

Co-authors