Vivek Nigam
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 74
Publications (10 Years): 74
Publications
- Gerald Whitters, Vivek Nigam, Carolyn L. Talcott
- Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
- Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
- Yuri Gil Dantas, Vivek Nigam, Harald Ruess
- Vivek Nigam, René Thiemann
- Vivek Nigam, Carolyn L. Talcott
- Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
- Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
- Nick Benton, Martin Hofmann, Vivek Nigam
- Vivek Nigam, Alexander Pretschner, Harald Ruess
- Nick Benton, Martin Hofmann, Vivek Nigam
- Nick Benton, Martin Hofmann, Vivek Nigam
- Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
- Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
- Vivek Nigam, Elaine Pimentel, Giselle Reis
- Vivek Nigam, Mário Florido
- Nick Benton, Martin Hofmann, Vivek Nigam
- Vivek Nigam, Giselle Reis, Leonardo Lima
- Carlos Olarte, Elaine Pimentel, Vivek Nigam
- Elaine Pimentel, Vivek Nigam, João Neto
- Nick Benton, Martin Hofmann, Vivek Nigam
- Nick Benton, Martin Hofmann, Vivek Nigam
- Elaine Pimentel, Carlos Olarte, Vivek Nigam
- Vivek Nigam, Giselle Reis, Leonardo Lima
- Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
- Vivek Nigam
- Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
- Carlos Olarte, Vivek Nigam, Elaine Pimentel
- Nick Benton, Martin Hofmann, Vivek Nigam
- Vivek Nigam, Giselle Reis, Leonardo LimaChecking Proof Transformations with ASP. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
- Vivek Nigam
- Nick Benton, Martin Hofmann, Vivek Nigam
- Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov