| 2008 |
|---|
| 7 | EE | Vivek Nigam,
Dale Miller:
Focusing in Linear Meta-logic.
IJCAR 2008: 507-522 |
| 2007 |
|---|
| 6 | EE | Dale Miller,
Vivek Nigam:
Incorporating Tables into Proofs.
CSL 2007: 466-480 |
| 2006 |
|---|
| 5 | EE | Vivek Nigam,
João Leite:
A Dynamic Logic Programming Based System for Agents with Declarative Goals.
DALT 2006: 174-190 |
| 4 | EE | Alexander Kozlenkov,
Rafael Peñaloza,
Vivek Nigam,
Loïc Royer,
Gihan Dawelbait,
Michael Schroeder:
Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.
EDBT Workshops 2006: 899-908 |
| 3 | EE | Vivek Nigam,
Masud H. Chowdhury,
Roland Priemer:
Compound noise analysis in digital circuits using blind source separation.
ISCAS 2006 |
| 2 | EE | Vivek Nigam,
João Leite:
Adding Knowledge Updates to 3APL.
PROMAS 2006: 165-181 |
| 1 | EE | Vivek Nigam,
Roland Priemer:
Fuzzy logic based variable step size algorithm for blind delayed source separation.
Fuzzy Sets and Systems 157(13): 1851-1863 (2006) |
