Vivek Nigam
AuthID: R-006-E1M
1
TITLE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
AUTHORS: Vivek Nigam; Tajana Ban Kirigin; Carolyn L Talcott; Joshua D Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security, VOLUME: 12300
AUTHORS: Vivek Nigam; Tajana Ban Kirigin; Carolyn L Talcott; Joshua D Guttman; Stepan Kuznetsov; Boon Thau Loo; Mitsuhiro Okada;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security, VOLUME: 12300
INDEXED IN: 
DBLP
DBLP2
TITLE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
INDEXED IN: DBLP
DBLP3
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2016, SOURCE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2016, SOURCE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
INDEXED IN: DBLP
DBLP