Vivek Nigam - Wissenschaftliche Veröffentlichungen

(1 - 13 von 14

)

Slow denial-of-service attacks on software defined networks -...

www.sciencedirect.com

· Vivek Nigam is a research scientist leading the safety and security project group at fortiss. He is a Tenured Associate Professor at the Federal ...

dblp: 60. Birthday: Philip Wadler

dblp.uni-trier.de

Bibliographic content of 60. Birthday: Philip Wadler

dblp: Vivek Nigam

dblp.org

Vivek Nigam, Carolyn L. Talcott: Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR abs ( 2023) [j28] Vivek Nigam, Carolyn L. Talcott: Automated construction of security integrity wrappers for Industry 4.0 applications. J.

dblp: Declarative Agent Languages and Technologies 2006

dblp.uni-trier.de

Bibliographic content of Declarative Agent Languages and Technologies 2006

Search results for "Vivek Nigam" – FacetedDBLP

dblp.l3s.de

Could not connect to: Too many connections

dblp: Nick Benton

dblp.uni-trier.de

List of computer science publications by Nick Benton

Modeling and Analysis of Information Systems » Guest Prof.

www.mais.informatik.tu-darmstadt.de

WebGuest Prof. Vivek Nigam Prof. Vivek Nigam from the Federal University of Parnaíba is visiting MAIS on September 5-7.

dblp: Vivek Nigam

dblp.uni-trier.de

List of computer science publications by Vivek Nigam

dblp: Roland Priemer

dblp.uni-trier.de

List of computer science publications by Roland Priemer

PPDP 2011: Symposium Program

www-ps.informatik.uni-kiel.de

13th International ACM SIGPLAN Symposium on Symposium on Principles and Practice of Declarative Programming - PPDP 2011

Call for Participation: PPDP from Michael Hanus on

www-ps.informatik.uni-kiel.de

Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov. Maintaining Distributed Logic Programs Incrementally * Rémy Haemmerlé, Pedro ...

[DL] WoLLIC Call for Short Presentations and Participation

mailman.informatik.uni-bremen.de

*Organising Committee* Vivek Nigam <http://www.math.upenn.edu/~vnigam/> (U Penn) Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> ...

Text 135 KB - Description Logics

mailman.informatik.uni-bremen.de

... Frank Wolter <http://www.csc.liv.ac.uk/~frank/> (Liverpool) * * *Organising Committee* Vivek Nigam <http://www.math.upenn.edu/~vnigam/> (UPenn) Anjolina ...

Verwandte Suchanfragen zu Vivek Nigam

Personen
Vorname "Vivek" (497)
Name "Nigam" (66)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Vivek Nigam