Vivek Nigam Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR abs/1702.03504 (2017)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic: A rewriting framework and logic for activities subject to regulations. Mathematical Structures in Computer Science 27(3): 332-375 (2017)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTúlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam: Slow TCAM Exhaustion DDoS Attack. SEC 2017: 17-31
2016
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza: Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR abs/1605.08563 (2016)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR abs/1606.07886 (2016)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElaine Pimentel, Vivek Nigam, João Neto: Multi-focused Proofs with Different Polarity Assignments. Electr. Notes Theor. Comput. Sci. 323: 163-179 (2016)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Elaine Pimentel, Giselle Reis: An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26(2): 539-576 (2016)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam: Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World 2016: 56-72
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza: Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) 2016: 450-470
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS 2016: 228-244
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Martin Hofmann, Vivek Nigam: Effect-dependent transformations for concurrent programs. PPDP 2016: 188-201
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito: A Framework for the Analysis of UAV Strategies Using Co-simulation. SBESC 2016: 9-15
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé: Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam: Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA 2016: 82-97
2015
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Martin Hofmann, Vivek Nigam: Effect-Dependent Transformations for Concurrent Programs. CoRR abs/1510.02419 (2015)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Olarte, Elaine Pimentel, Vivek Nigam: Subexponential concurrent constraint programming. Theor. Comput. Sci. 606: 98-120 (2015)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott: Inferring Executable Models from Formalized Experimental Evidence. CMSB 2015: 90-103
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST 2015: 259-279
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Giselle Reis, Leonardo Lima: Towards the Automated Generation of Focused Proof Systems. WoF'15 2015: 1-6
2014
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov: Bounded memory protocols. Computer Languages, Systems & Structures 40(3-4): 137-154 (2014)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElaine Pimentel, Carlos Olarte, Vivek Nigam: A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR abs/1405.2329 (2014)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 300: 1-2 (2014)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Olarte, Vivek Nigam, Elaine Pimentel: Dynamic Spaces in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 305: 103-121 (2014)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov: Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. 238: 233-261 (2014)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam: A framework for linear authorization logics. Theor. Comput. Sci. 536: 21-41 (2014)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElaine Pimentel, Carlos Olarte, Vivek Nigam: A Proof Theoretic Study of Soft Concurrent Constraint Programming. TPLP 14(4-5): 649-663 (2014)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Giselle Reis, Leonardo Lima: Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR 2014: 255-261
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca: A Selective Defense for Application Layer DDoS Attacks. JISIC 2014: 75-82
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Martin Hofmann, Vivek Nigam: Abstract effects and proof-relevant logical relations. POPL 2014: 619-632
2013
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Giselle Reis, Leonardo Lima: Checking Proof Transformations with ASP. TPLP 13(4-5-Online-Supplement) (2013)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Carlos Olarte, Elaine Pimentel: A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR 2013: 410-424
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov: Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS 2013: 309-326
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Martin Hofmann, Vivek Nigam: Proof-Relevant Logical Relations for Name Generation. TLCA 2013: 48-60
2012
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov: Maintaining distributed logic programs incrementally. Computer Languages, Systems & Structures 38(2): 158-180 (2012)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Martin Hofmann, Vivek Nigam: Abstract Effects and Proof-Relevant Logical Relations .CoRR abs/1212.5692 (2012)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic: Towards an automated assistant for clinical investigations. IHI 2012: 773-778
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam: On the Complexity of Linear Authorization Logics. LICS 2012: 511-520
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic: A Rewriting Framework for Activities Subject to Regulations. RTA 2012: 305-322
2011
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Elaine Pimentel, Giselle Reis: Specifying Proof Systems in Linear Logic with Subexponentials. Electr. Notes Theor. Comput. Sci. 269: 109-123 (2011)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov: Maintaining distributed logic programs incrementally. PPDP 2011: 125-136
2010
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Dale Miller: A Framework for Proof Systems. J. Autom. Reasoning 45(2): 157-188 (2010)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov: Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust 2010: 18-33
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov: An Operational Semantics for Network Datalog. LAM@LICS 2010: 68-81
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Dale Miller: Algorithmic specifications in linear logic with subexponentials. PPDP 2009: 129-140
2008
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek 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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingye Xu, Vivek Nigam, Abinash Roy, Masud H. Chowdhury: Compound noise separation in digital circuits using blind source separation. Microelectronics Journal 39(8): 1083-1092 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Dale Miller: Focusing in Linear Meta-logic. IJCAR 2008: 507-522
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDale Miller, Vivek Nigam: Incorporating Tables into Proofs. CSL 2007: 466-480
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Roland Priemer: Fuzzy logic based variable step size algorithm for blind delayed source separation. Fuzzy Sets and Systems 157(13): 1851-1863 (2006)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Roland Priemer: A Snore Extraction Method from Mixed Sound for a Mobile Snore Recorder. J. Medical Systems 30(2): 91-99 (2006)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Masud H. Chowdhury, Roland Priemer: Separation of Individual Noise Sources from Compound Noise Measurements in Digital Circuits. APCCAS 2006: 1603-1606
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, Masud H. Chowdhury, Roland Priemer: Compound noise analysis in digital circuits using blind source separation. ISCAS 2006
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181

Coauthor Index

1Farhad Arbab[c25]
2Jose de Sousa Barros[c26]
3Mario R. F. Benevides[j14]
4Nick Benton[c30] [c27] [i3] [c18] [c15] [i1]
5Alisson Vasconcelos De Brito
Alisson V. Brito
[c26]
6Masud H. Chowdhury[j3] [c5] [c2]
7Yuri Gil Dantas[c31] [c24] [c19]
8Gihan Dawelbait[c3]
9Robin Donaldson[c23]
10Iguatemi E. Fonseca[c31] [c24] [c19]
11Martin Hofmann 0001[c30] [c27] [i3] [c18] [c15] [i1]
12Limin Jia[j8] [j7] [c11] [c9]
13Max I. Kanovich[i6] [j19] [i4] [c28] [c22] [j15] [j12] [c16] [c14] [c12] [c10]
14Tobias Kappé[c25]
15Andrew Kennedy[c30]
16Tajana Ban Kirigin[i6] [j19] [i4] [c28] [c22] [j15] [j12] [c16] [c14] [c12] [c10]
17Merrill Knapp[c23]
18Alexander Kozlenkov[c3]
19João Leite[c4] [c1]
20Marcilio O. O. Lemos[c24]
21Leonardo Lima[c21] [c20] [j9]
22Boon Thau Loo[j8] [j7] [c11] [c9]
23Timothy McCarthy
Tim McCarthy
[c23]
24Dale Miller[j5] [c8] [c7] [c6]
25João Neto[j18]
26Carlos Olarte[j16] [i2] [j13] [j10] [c17]
27Thyago Oliveira[c26]
28Valeria de Paiva[j14]
29Túlio A. Pascoal[c31]
30Rafael Peñaloza[c3]
31Ranko Perovic[j19] [c14] [c12]
32Elaine Pimentel[j18] [j17] [j16] [i2] [j14] [j13] [j10] [c17] [j6]
33Roland Priemer[j4] [j2] [j1] [c5] [c2]
34Giselle Reis[j17] [c21] [c20] [j9] [j6]
35Yiqing Ren[j7]
36Jennifer Rexford[j7]
37Abinash Roy[j3]
38Loïc Royer[c3]
39Andre Scedrov[i6] [j19] [i4] [c28] [c22] [j15] [j12] [c16] [j8] [j7] [c14] [c12] [c11] [c10] [c9]
40Michael Schroeder[c3]
41Carolyn L. Talcott[i6] [j19] [i5] [i4] [c29] [c28] [c25] [c23] [c22] [j7] [c14] [c12]
42Abraão Aires Urquiza[i5] [c29]
43Anduo Wang[j7] [c9]
44Jingye Xu[j3]
45Wenchao Zhou[j7]

 

Last update 2017-06-17 01:04 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page