Search the dblp DataBase

Publications of Author

1. Vivek Nigam, João Leite
   A Dynamic Logic Programming Based System for Agents with Declarative Goals. [Citation Graph (0, 0)][DBLP]
   DALT, 2006, pp:174-190 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   EDBT Workshops, 2006, pp:899-908 [Conf]
   
3. Vivek Nigam, Roland Priemer
   Fuzzy logic based variable step size algorithm for blind delayed source separation. [Citation Graph (0, 0)][DBLP]
   Fuzzy Sets and Systems, 2006, v:157, n:13, pp:1851-1863 [Journal]
   
4. Dale Miller, Vivek Nigam
   Incorporating Tables into Proofs. [Citation Graph (0, 0)][DBLP]
   CSL, 2007, pp:466-480 [Conf]
   
5. Vivek Nigam, Masud H. Chowdhury, Roland Priemer
   Compound noise analysis in digital circuits using blind source separation. [Citation Graph (0, 0)][DBLP]
   ISCAS, 2006, pp:- [Conf]
   
6. Vivek Nigam, João Leite
   Adding Knowledge Updates to 3APL. [Citation Graph (0, 0)][DBLP]
   PROMAS, 2006, pp:165-181 [Conf]
   
7. 
   Focusing in Linear Meta-logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Algorithmic specifications in linear logic with subexponentials. [Citation Graph (, )][DBLP]
   
   
9. 
   Separation of Individual Noise Sources from Compound Noise Measurements in Digital Circuits. [Citation Graph (, )][DBLP]