Vivek Nigam

Cited by

	All	Since 2019
Citations	1813	1076
h-index	23	18
i10-index	59	39

220

110

165

20062007200820092010201120122013201420152016201720182019202020212022202320246 3 9 23 43 32 35 56 85 90 74 128 122 166 166 188 206 190 157

Public access

View all

34 articles

1 article

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
Iguatemi E. FonsecaFederal University of ParaíbaVerified email at ci.ufpb.br
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Boon Thau LooRCA Professor of Computer and Information Science, Senior Associate Dean, UPennVerified email at seas.upenn.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
Wenchao ZhouGeorgetown UniversityVerified email at cs.georgetown.edu
Joao LeiteProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Jennifer RexfordProfessor of Computer Science, Princeton UniversityVerified email at cs.princeton.edu
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
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Robin DonaldsonStanford UniversityVerified email at ecree.com
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute

Vivek Nigam

Apple

Verified email at apple.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	119	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	91	2014
Slow TCAM exhaustion DDoS attack TA Pascoal, YG Dantas, IE Fonseca, V Nigam ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International …, 2017	80	2017
A framework for proof systems V Nigam, D Miller Journal of Automated Reasoning 45, 157-188, 2010	60	2010
Slow denial-of-service attacks on software defined networks TA Pascoal, IE Fonseca, V Nigam Computer Networks 173, 107223, 2020	54	2020
TSNSCHED: Automated schedule generation for time sensitive networking ACT dos Santos, B Schneider, V Nigam 2019 Formal Methods in Computer Aided Design (FMCAD), 69-77, 2019	54	2019
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	54	2012
Maintaining distributed logic programs incrementally V Nigam, L Jia, B Thau Loo, A Scedrov Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011	53	2011
Subexponentials in non-commutative linear logic M Kanovich, S Kuznetsov, V Nigam, A Scedrov Mathematical Structures in Computer Science 29 (8), 1217-1249, 2019	50	2019
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	48	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	42	2014
Incorporating tables into proofs D Miller, V Nigam International workshop on computer science logic, 466-480, 2007	42	2007
Towards the automated verification of cyber-physical security protocols: Bounding the number of timed intruders V Nigam, C Talcott, A Aires Urquiza Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016	39	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	38	2013
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 Current Trends in Database Technology–EDBT 2006: EDBT 2006 Workshops PhD …, 2006	31	2006
Exploiting non-canonicity in the sequent calculus V Nigam Ecole Polytechnique X, 2009	29	2009
A framework for analyzing adaptive autonomous aerial vehicles IA Mason, V Nigam, C Talcott, A Brito Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018	27	2018
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	27	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	27	2011
Bounded memory Dolev–Yao adversaries in collaborative systems M Kanovich, TB Kirigin, V Nigam, A Scedrov Information and computation 238, 233-261, 2014	26	2014

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

Cited by

Co-authors