Vivek Nigam - Concepedia

Author

Vivek Nigam

Also Known As

Nigam, V., Nigam, Vivek, V Nigam, V. Nigam, V.P. Nigam, VIVEK NIGAM, Vedant Nigam, Vivek Nigam, Vivek P. Nigam, Vivek Prakash Nigam

160

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Universidade Federal da Paraíba Ludwig-Maximilians-Universität München University of Illinois Chicago SRI International Fortiss

About

Vivek Nigam is an author at Universidade Federal da Paraíba specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	25	697
2	Law	2	2	33
3	Health Sciences	1	1	64
4	Language Studies	1	1	35
5	Medicine	1	1	353

Vivek Nigam

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
A neural-network-based detection of epilepsy Vivek Nigam, Daniel Graupe Neurological Research Computational NeuroscienceEeg Signal ProcessingNeuroinformaticsDiagnosisNeurophysiological Biomarkers	2004	353
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking Aellison Cassimiro Teixeira dos Santos, Ben Schneider, Vivek Nigam Time-sensitive NetworkingEngineeringEdge ComputingSchedule GenerationTime Sensitive Networking	2019	68
Accessing heart dynamics to estimate durations of heart sounds Vivek Nigam, Roland Priemer Physiological Measurement MusicHeart SoundEngineeringHeart SoundsHealth Sciences	2005	64
Algorithmic specifications in linear logic with subexponentials Vivek Nigam, Dale Miller EngineeringSubstructural LogicAlgorithmic ExpressivenessAutomated ReasoningPropositional Logic	2009	63
A Selective Defense for Application Layer DDoS Attacks Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca Ddos DetectionEngineeringInternet Traffic AnalysisInformation SecurityNetwork Layer	2014	60
Slow denial-of-service attacks on software defined networks Túlio Pascoal, Iguatemi E. Fonseca, Vivek Nigam Computer Networks Ddos DetectionEngineeringInformation SecuritySlow Denial-of-service AttacksDenial-of-service Attack	2020	54
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing Anduo Wang, Limin Jia, Wenchao Zhou, IEEE/ACM Transactions on Networking EngineeringInformation SecurityNetwork RoutingVerificationSoftware Analysis	2012	40
Abstract effects and proof-relevant logical relations Nick Benton, Martin Hofmann, Vivek Nigam Region-based Effect SystemEngineeringType TheoryClassical LogicProof System	2014	35
A dynamic method to estimate the time split between the A2 and P2 components of the S2 heart sound Vivek Nigam, Roland Priemer Physiological Measurement Source SeparationEngineeringMeasurementDynamic MethodAcoustic Modeling	2006	30
An extended framework for specifying and reasoning about proof systems Vivek Nigam, Elaine Pimentel, Giselle Reis Journal of Logic and Computation ReasoningEngineeringSubstructural LogicAutomated ReasoningVerification	2014	30

Page 1