 | 2009 |
|---|
| 9 |       | Vivek Nigam,
Dale Miller:
Algorithmic specifications in linear logic with subexponentials.
PPDP 2009: 129-140 |
| 2008 |
|---|
| 8 | | Vivek Nigam,
Dale Miller:
Focusing in Linear Meta-logic.
IJCAR 2008: 507-522 |
| 7 | | Vivek Nigam,
Roland Priemer:
Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study.
J. Medical Systems 32(2): 123-135 (2008) |
| 2007 |
|---|
| 6 | | Dale Miller,
Vivek Nigam:
Incorporating Tables into Proofs.
CSL 2007: 466-480 |
| 2006 |
|---|
| 5 | | Vivek Nigam,
João Leite:
A Dynamic Logic Programming Based System for Agents with Declarative Goals.
DALT 2006: 174-190 |
| 4 | | 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 | | Vivek Nigam,
Masud H. Chowdhury,
Roland Priemer:
Compound noise analysis in digital circuits using blind source separation.
ISCAS 2006 |
| 2 | | Vivek Nigam,
João Leite:
Adding Knowledge Updates to 3APL.
PROMAS 2006: 165-181 |
| 1 | | 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) |
