BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Croatia
1 × Denmark
1 × Japan
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × USA
Collaborated with:
D.Miller N.Benton M.Hofmann A.Scedrov M.I.Kanovich E.Pimentel C.Olarte G.Reis L.Lima M.H.0001 L.Jia B.T.Loo S.Kuznetsov T.B.Kirigin C.L.Talcott R.Perovic
Talks about:
logic (7) proof (4) program (3) linear (3) subexponenti (2) framework (2) concurr (2) effect (2) commut (2) relev (2)

Person: Vivek Nigam

DBLP DBLP: Nigam:Vivek

Contributed to:

ICLP 20142014
IJCAR 20142014
POPL 20142014
TLCA 20132013
LICS 20122012
RTA 20122012
PPDP 20112011
PPDP 20092009
IJCAR 20082008
CSL 20072007
IJCAR 20182018
PPDP 20162016

Wrote 12 papers:

ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving
A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
IJCAR-2014-NigamRL #automation #named #permutation #proving
Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
POPL-2014-Benton0N #logic
Abstract effects and proof-relevant logical relations (NB, MH, VN), pp. 619–632.
TLCA-2013-BentonHN #generative #logic
Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.
LICS-2012-Nigam #complexity #linear #logic #on the
On the Complexity of Linear Authorization Logics (VN), pp. 511–520.
RTA-2012-KanovichKNSTP #framework #process
A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code
Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
PPDP-2009-NigamM #algorithm #linear #logic #specification
Algorithmic specifications in linear logic with subexponentials (VN, DM), pp. 129–140.
IJCAR-2008-NigamM #linear #logic
Focusing in Linear Meta-logic (VN, DM), pp. 507–522.
CSL-2007-MillerN #proving
Incorporating Tables into Proofs (DM, VN), pp. 466–480.
IJCAR-2018-KanovichKNS #commutative #framework #logic
A Logical Framework with Commutative and Non-commutative Subexponentials (MIK, SK, VN, AS), pp. 228–245.
PPDP-2016-Benton0N #concurrent #source code
Effect-dependent transformations for concurrent programs (NB, MH0, VN), pp. 188–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.