Vivek Nigam

Geciteerd door

	Alles	Sinds 2016
Citaties	1079	667
h-index	18	14
i10-index	39	23

180

135

20062007200820092010201120122013201420152016201720182019202020217 2 10 23 43 29 40 55 84 101 78 127 128 160 165 5

Medeauteurs

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor math.upenn.edu
Tajana Ban KiriginUniversity of Rijeka, Department of MathematicsGeverifieerd e-mailadres voor math.uniri.hr
Iguatemi E. FonsecaFederal University of ParaíbaGeverifieerd e-mailadres voor ci.ufpb.br
Elaine PimentelUniversidade Federal do Rio Grande do NorteGeverifieerd e-mailadres voor mat.ufmg.br
Dale MillerDirector of Research, INRIAGeverifieerd e-mailadres voor inria.fr
Giselle ReisCarnegie Mellon University - QatarGeverifieerd e-mailadres voor cmu.edu
Boon Thau LooRCA Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor seas.upenn.edu
Limin JiaCarnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Carlos OlarteProfessor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, BrazilGeverifieerd e-mailadres voor ect.ufrn.br
Nick BentonEngineering Manager, FacebookGeverifieerd e-mailadres voor fb.com
Martin HofmannProfessor for Informatics, University of MunichGeverifieerd e-mailadres voor ifi.lmu.de
anduo wangTemple UniversityGeverifieerd e-mailadres voor temple.edu
Alisson V. BritoUniversidade Federal da Paraiba (UFPB)Geverifieerd e-mailadres voor ci.ufpb.br
Jennifer RexfordProfessor of Computer Science, Princeton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
Wenchao ZhouGeorgetown UniversityGeverifieerd e-mailadres voor cs.georgetown.edu
Joao LeiteUniversidade Nova de LisboaGeverifieerd e-mailadres voor fct.unl.pt
Rafael PeñalozaUniversity of Milano-BicoccaGeverifieerd e-mailadres voor unimib.it
Michael SchroederProfessor in Bioinformatics, TU DresdenGeverifieerd e-mailadres voor biotec.tu-dresden.de
Loic Alain RoyerGroup LeaderGeverifieerd e-mailadres voor czbiohub.org
Andrew KennedyFacebook LondonGeverifieerd e-mailadres voor fb.com

Vivek Nigam

Huawei

Geverifieerd e-mailadres voor huawei.com - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Algorithmic specifications in linear logic with subexponentials V Nigam, D Miller Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	87	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	64	2014
A framework for proof systems V Nigam, D Miller Journal of Automated Reasoning 45 (2), 157-188, 2010	47	2010
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	46	2012
Maintaining distributed logic programs incrementally V Nigam, L Jia, BT Loo, A Scedrov Computer Languages, Systems & Structures 38 (2), 158-180, 2012	44	2012
Incorporating tables into proofs D Miller, V Nigam International Workshop on Computer Science Logic, 466-480, 2007	39	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	32	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	31	2013
Slow TCAM exhaustion DDoS attack TA Pascoal, YG Dantas, IE Fonseca, V Nigam IFIP International Conference on ICT Systems Security and Privacy Protection …, 2017	29	2017
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	29	2014
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	27	2016
Exploiting non-canonicity in the sequent calculus V Nigam Ecole Polytechnique X, 2009	27	2009
Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011	24	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	24	2006
Subexponentials in non-commutative linear logic M Kanovich, S Kuznetsov, V Nigam, A Scedrov arXiv preprint arXiv:1709.03607, 2017	21	2017
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	21	2015
Profile based scheme against DDoS attack in WSN V Nigam, S Jain, K Burse 2014 Fourth international conference on communication systems and network …, 2014	19	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	18	2012
Focusing in linear meta-logic V Nigam, D Miller International Joint Conference on Automated Reasoning, 507-522, 2008	17	2008
Discrete vs. dense times in the analysis of cyber-physical security protocols M Kanovich, TB Kirigin, V Nigam, A Scedrov, C Talcott International Conference on Principles of Security and Trust, 259-279, 2015	15	2015

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs