BibTeX records: Vivek Nigam

download as .bib file

@article{DBLP:journals/cn/PascoalFN20,
  author    = {T{\'{u}}lio A. Pascoal and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  title     = {Slow denial-of-service attacks on software defined networks},
  journal   = {Comput. Networks},
  volume    = {173},
  pages     = {107223},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.comnet.2020.107223},
  doi       = {10.1016/j.comnet.2020.107223},
  timestamp = {Wed, 13 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cn/PascoalFN20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KanovichKNS19,
  author    = {Max I. Kanovich and
               Stepan Kuznetsov and
               Vivek Nigam and
               Andre Scedrov},
  title     = {Subexponentials in non-commutative linear logic},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {29},
  number    = {8},
  pages     = {1217--1249},
  year      = {2019},
  url       = {https://doi.org/10.1017/S0960129518000117},
  doi       = {10.1017/S0960129518000117},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/KanovichKNS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NigamT19,
  author    = {Vivek Nigam and
               Ren{\'{e}} Thiemann},
  title     = {Logical and Semantic Frameworks with Applications},
  journal   = {Theor. Comput. Sci.},
  volume    = {781},
  pages     = {1--2},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.tcs.2019.05.023},
  doi       = {10.1016/j.tcs.2019.05.023},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/NigamT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NigamTU19,
  author    = {Vivek Nigam and
               Carolyn L. Talcott and
               Abra{\~{a}}o Aires Urquiza},
  editor    = {Joshua D. Guttman and
               Carl E. Landwehr and
               Jos{\'{e}} Meseguer and
               Dusko Pavlovic},
  title     = {Symbolic Timed Trace Equivalence},
  booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
               Dedicated to Catherine A. Meadows},
  series    = {Lecture Notes in Computer Science},
  volume    = {11565},
  pages     = {89--111},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19052-1\_8},
  doi       = {10.1007/978-3-030-19052-1\_8},
  timestamp = {Fri, 27 Mar 2020 08:59:04 +0100},
  biburl    = {https://dblp.org/rec/conf/birthday/NigamTU19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlTurkiKKNST19,
  author    = {Musab A. AlTurki and
               Tajana Ban Kirigin and
               Max I. Kanovich and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {Joshua D. Guttman and
               Carl E. Landwehr and
               Jos{\'{e}} Meseguer and
               Dusko Pavlovic},
  title     = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects
               of Security Protocols},
  booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
               Dedicated to Catherine A. Meadows},
  series    = {Lecture Notes in Computer Science},
  volume    = {11565},
  pages     = {192--213},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19052-1\_13},
  doi       = {10.1007/978-3-030-19052-1\_13},
  timestamp = {Fri, 27 Mar 2020 08:59:04 +0100},
  biburl    = {https://dblp.org/rec/conf/birthday/AlTurkiKKNST19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudnet/CorreaJFNRV19,
  author    = {Jo{\~{a}}o Henrique G. M. Corr{\^{e}}a and
               Epaminondas A. Sousa Junior and
               Iguatemi E. Fonseca and
               Vivek Nigam and
               Mois{\'{e}}s R. N. Ribeiro and
               Rodolfo da Silva Villa{\c{c}}a},
  title     = {Selectivity and Autoscaling as Complementary Defenses for DDoS Protection
               to Cloud Services},
  booktitle = {2019 {IEEE} 8th International Conference on Cloud Networking, CloudNet
               2019, Coimbra, Portugal, November 4-6, 2019},
  pages     = {1--3},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/CloudNet47604.2019.9064139},
  doi       = {10.1109/CloudNet47604.2019.9064139},
  timestamp = {Sun, 19 Apr 2020 11:24:55 +0200},
  biburl    = {https://dblp.org/rec/conf/cloudnet/CorreaJFNRV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/UrquizaAKKNST19,
  author    = {Abra{\~{a}}o Aires Urquiza and
               Musab A. AlTurki and
               Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Resource-Bounded Intruders in Denial of Service Attacks},
  booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
               NJ, USA, June 25-28, 2019},
  pages     = {382--396},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/CSF.2019.00033},
  doi       = {10.1109/CSF.2019.00033},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/csfw/UrquizaAKKNST19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NigamT19,
  author    = {Vivek Nigam and
               Carolyn L. Talcott},
  title     = {Formal Security Verification of Industry 4.0 Applications},
  booktitle = {24th {IEEE} International Conference on Emerging Technologies and
               Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
               2019},
  pages     = {1043--1050},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ETFA.2019.8869428},
  doi       = {10.1109/ETFA.2019.8869428},
  timestamp = {Thu, 24 Oct 2019 15:50:20 +0200},
  biburl    = {https://dblp.org/rec/conf/etfa/NigamT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SantosSN19,
  author    = {Aellison Cassimiro T. dos Santos and
               Ben Schneider and
               Vivek Nigam},
  editor    = {Clark W. Barrett and
               Jin Yang},
  title     = {{TSNSCHED:} Automated Schedule Generation for Time Sensitive Networking},
  booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
               CA, USA, October 22-25, 2019},
  pages     = {69--77},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/FMCAD.2019.8894249},
  doi       = {10.23919/FMCAD.2019.8894249},
  timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
  biburl    = {https://dblp.org/rec/conf/fmcad/SantosSN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CarlanNVT19,
  author    = {Carmen C{\^{a}}rlan and
               Vivek Nigam and
               Sebastian Voss and
               Alexandros Tsalidis},
  editor    = {Katinka Wolter and
               Ina Schieferdecker and
               Barbara Gallina and
               Michel Cukier and
               Roberto Natella and
               Naghmeh Ivaki and
               Nuno Laranjeiro},
  title     = {ExplicitCase: Tool-Support for Creating and Maintaining Assurance
               Arguments Integrated with System Models},
  booktitle = {{IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
               2019},
  pages     = {330--337},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ISSREW.2019.00093},
  doi       = {10.1109/ISSREW.2019.00093},
  timestamp = {Fri, 21 Feb 2020 09:24:57 +0100},
  biburl    = {https://dblp.org/rec/conf/issre/CarlanNVT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KondevaNRC19,
  author    = {Antoaneta Kondeva and
               Vivek Nigam and
               Harald Ruess and
               Carmen C{\^{a}}rlan},
  editor    = {Katinka Wolter and
               Ina Schieferdecker and
               Barbara Gallina and
               Michel Cukier and
               Roberto Natella and
               Naghmeh Ivaki and
               Nuno Laranjeiro},
  title     = {On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering},
  booktitle = {{IEEE} International Symposium on Software Reliability Engineering
               Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
               2019},
  pages     = {346--353},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ISSREW.2019.00095},
  doi       = {10.1109/ISSREW.2019.00095},
  timestamp = {Fri, 21 Feb 2020 09:24:57 +0100},
  biburl    = {https://dblp.org/rec/conf/issre/KondevaNRC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/SilvaSBBN19,
  author    = {Leydson Silva and
               Ewerton Salvador and
               Alisson V. Brito and
               Jose de Sousa Barros and
               Vivek Nigam},
  title     = {A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis},
  booktitle = {{IX} Brazilian Symposium on Computing Systems Engineering, {SBESC}
               2019, Natal, Brazil, November 19-22, 2019},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SBESC49506.2019.9046071},
  doi       = {10.1109/SBESC49506.2019.9046071},
  timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sbesc/SilvaSBBN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ReichCN19,
  author    = {Marina Reich and
               Tatiana Chuprina and
               Vivek Nigam},
  editor    = {Stephan Krusche and
               Kurt Schneider and
               Marco Kuhrmann and
               Robert Heinrich and
               Reiner Jung and
               Marco Konersmann and
               Eric Schmieders and
               Steffen Helke and
               Ina Schaefer and
               Andreas Vogelsang and
               Bj{\"{o}}rn Annigh{\"{o}}fer and
               Andreas Schweiger and
               Marina Reich and
               Andr{\'{e}} van Hoorn},
  title     = {Towards Computer-Aided Software Requirements Process},
  booktitle = {Proceedings of the Workshops of the Software Engineering Conference
               2019, Stuttgart, Germany, February 19, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2308},
  pages     = {75--78},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2308/aviose2019paper03.pdf},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/conf/se/ReichCN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LemosDFN18,
  author    = {Marcilio O. O. Lemos and
               Yuri Gil Dantas and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  title     = {On the accuracy of formal verification of selective defenses for TDoS
               attacks},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {94},
  pages     = {45--67},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.jlamp.2017.09.001},
  doi       = {10.1016/j.jlamp.2017.09.001},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/LemosDFN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Benton0N18,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  journal   = {Logical Methods in Computer Science},
  volume    = {14},
  number    = {1},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(1:25)2018},
  doi       = {10.23638/LMCS-14(1:25)2018},
  timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lmcs/Benton0N18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BentonHN18,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Effect-dependent transformations for concurrent programs},
  journal   = {Sci. Comput. Program.},
  volume    = {155},
  pages     = {27--51},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2017.11.001},
  doi       = {10.1016/j.scico.2017.11.001},
  timestamp = {Wed, 18 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/BentonHN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KanovichKNS18,
  author    = {Max I. Kanovich and
               Stepan Kuznetsov and
               Vivek Nigam and
               Andre Scedrov},
  editor    = {Didier Galmiche and
               Stephan Schulz and
               Roberto Sebastiani},
  title     = {A Logical Framework with Commutative and Non-commutative Subexponentials},
  booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10900},
  pages     = {228--245},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94205-6\_16},
  doi       = {10.1007/978-3-319-94205-6\_16},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/KanovichKNS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlTurkiKKNST18,
  author    = {Musab A. AlTurki and
               Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {David Lie and
               Mohammad Mannan},
  title     = {Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn
               Family of Protocols},
  booktitle = {Proceedings of the 2018 Workshop on Cyber-Physical Systems Security
               and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018},
  pages     = {60--71},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3264888.3264895},
  doi       = {10.1145/3264888.3264895},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/AlTurkiKKNST18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/ChenLGNLA18,
  author    = {Wei Chen and
               Yuhui Lin and
               Vashti Galpin and
               Vivek Nigam and
               Myungjin Lee and
               David Aspinall},
  editor    = {Lech Jan Janczewski and
               Miroslaw Kutylowski},
  title     = {Formal Analysis of Sneak-Peek: {A} Data Centre Attack and Its Mitigations},
  booktitle = {{ICT} Systems Security and Privacy Protection - 33rd {IFIP} {TC} 11
               International Conference, {SEC} 2018, Held at the 24th {IFIP} World
               Computer Congress, {WCC} 2018, Poznan, Poland, September 18-20, 2018,
               Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {529},
  pages     = {307--322},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99828-2\_22},
  doi       = {10.1007/978-3-319-99828-2\_22},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sec/ChenLGNLA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04066,
  author    = {Vivek Nigam and
               Carolyn L. Talcott and
               Abra{\~{a}}o Aires Urquiza},
  title     = {Symbolic Timed Observational Equivalence},
  journal   = {CoRR},
  volume    = {abs/1801.04066},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.04066},
  archivePrefix = {arXiv},
  eprint    = {1801.04066},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1801-04066.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-04866,
  author    = {Vivek Nigam and
               Alexander Pretschner and
               Harald Ruess},
  title     = {Model-Based Safety and Security Engineering},
  journal   = {CoRR},
  volume    = {abs/1810.04866},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.04866},
  archivePrefix = {arXiv},
  eprint    = {1810.04866},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1810-04866.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04826,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Compliance in Real Time Multiset Rewriting Models},
  journal   = {CoRR},
  volume    = {abs/1811.04826},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.04826},
  archivePrefix = {arXiv},
  eprint    = {1811.04826},
  timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-04826.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BarrosONB17,
  author    = {Jose de Sousa Barros and
               Thyago Oliveira and
               Vivek Nigam and
               Alisson V. Brito},
  title     = {Analysis of design strategies for unmanned aerial vehicles using co-simulation},
  journal   = {Design Autom. for Emb. Sys.},
  volume    = {21},
  number    = {3-4},
  pages     = {157--172},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10617-017-9190-z},
  doi       = {10.1007/s10617-017-9190-z},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/dafes/BarrosONB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/KanovichKNST17,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Time, computational complexity, and probability in the analysis of
               distance-bounding protocols},
  journal   = {J. Comput. Secur.},
  volume    = {25},
  number    = {6},
  pages     = {585--630},
  year      = {2017},
  url       = {https://doi.org/10.3233/JCS-0560},
  doi       = {10.3233/JCS-0560},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcs/KanovichKNST17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KanovichKNSTP17,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott and
               Ranko Perovic},
  title     = {A rewriting framework and logic for activities subject to regulations},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {27},
  number    = {3},
  pages     = {332--375},
  year      = {2017},
  url       = {https://doi.org/10.1017/S096012951500016X},
  doi       = {10.1017/S096012951500016X},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/KanovichKNSTP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NigamOP17,
  author    = {Vivek Nigam and
               Carlos Olarte and
               Elaine Pimentel},
  title     = {On subexponentials, focusing and modalities in concurrent systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {693},
  pages     = {35--58},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.06.009},
  doi       = {10.1016/j.tcs.2017.06.009},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/NigamOP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/PascoalDFN17,
  author    = {T{\'{u}}lio A. Pascoal and
               Yuri Gil Dantas and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  editor    = {Sabrina De Capitani di Vimercati and
               Fabio Martinelli},
  title     = {Slow {TCAM} Exhaustion DDoS Attack},
  booktitle = {{ICT} Systems Security and Privacy Protection - 32nd {IFIP} {TC} 11
               International Conference, {SEC} 2017, Rome, Italy, May 29-31, 2017,
               Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {502},
  pages     = {17--31},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-58469-0\_2},
  doi       = {10.1007/978-3-319-58469-0\_2},
  timestamp = {Wed, 17 May 2017 12:30:16 +0200},
  biburl    = {https://dblp.org/rec/conf/sec/PascoalDFN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MasonNTB17,
  author    = {Ian i. Mason and
               Vivek Nigam and
               Carolyn L. Talcott and
               Alisson Vasconcelos De Brito},
  editor    = {Antonio Cerone and
               Marco Roveri},
  title     = {A Framework for Analyzing Adaptive Autonomous Aerial Vehicles},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
               DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
               4-5, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10729},
  pages     = {406--422},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-74781-1\_28},
  doi       = {10.1007/978-3-319-74781-1\_28},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sefm/MasonNTB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XavierORN18,
  author    = {Bruno Xavier and
               Carlos Olarte and
               Giselle Reis and
               Vivek Nigam},
  editor    = {Sandra Alves and
               Renata Wasserman},
  title     = {Mechanizing Focused Linear Logic in Coq},
  booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
               {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {338},
  pages     = {219--236},
  publisher = {Elsevier},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.entcs.2018.10.014},
  doi       = {10.1016/j.entcs.2018.10.014},
  timestamp = {Wed, 05 Feb 2020 13:49:05 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/XavierORN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2016,
  editor    = {Vivek Nigam and
               M{\'{a}}rio Florido},
  title     = {11th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2016, Porto, Portugal, January 1, 2016},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {332},
  publisher = {Elsevier},
  year      = {2017},
  url       = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/332/suppl/C},
  timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lsfa/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KanovichKNST17,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Time, Computational Complexity, and Probability in the Analysis of
               Distance-Bounding Protocols},
  journal   = {CoRR},
  volume    = {abs/1702.03504},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.03504},
  archivePrefix = {arXiv},
  eprint    = {1702.03504},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KanovichKNST17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-05193,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  journal   = {CoRR},
  volume    = {abs/1708.05193},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.05193},
  archivePrefix = {arXiv},
  eprint    = {1708.05193},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1708-05193.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04162,
  author    = {Marcilio O. O. Lemos and
               Yuri Gil Dantas and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  title     = {On the Accuracy of Formal Verification of Selective Defenses for TDoS
               Attacks},
  journal   = {CoRR},
  volume    = {abs/1709.04162},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.04162},
  archivePrefix = {arXiv},
  eprint    = {1709.04162},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1709-04162.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NigamPR16,
  author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  title     = {An extended framework for specifying and reasoning about proof systems},
  journal   = {J. Log. Comput.},
  volume    = {26},
  number    = {2},
  pages     = {539--576},
  year      = {2016},
  url       = {https://doi.org/10.1093/logcom/exu029},
  doi       = {10.1093/logcom/exu029},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/logcom/NigamPR16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BentonK0N16,
  author    = {Nick Benton and
               Andrew Kennedy and
               Martin Hofmann and
               Vivek Nigam},
  editor    = {Sam Lindley and
               Conor McBride and
               Philip W. Trinder and
               Donald Sannella},
  title     = {Counting Successes: Effects and Transformations for Non-deterministic
               Programs},
  booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
               Philip Wadler on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9600},
  pages     = {56--72},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30936-1\_3},
  doi       = {10.1007/978-3-319-30936-1\_3},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/BentonK0N16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/NigamTU16,
  author    = {Vivek Nigam and
               Carolyn L. Talcott and
               Abra{\~{a}}o Aires Urquiza},
  editor    = {Ioannis G. Askoxylakis and
               Sotiris Ioannidis and
               Sokratis K. Katsikas and
               Catherine A. Meadows},
  title     = {Towards the Automated Verification of Cyber-Physical Security Protocols:
               Bounding the Number of Timed Intruders},
  booktitle = {Computer Security - {ESORICS} 2016 - 21st European Symposium on Research
               in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9879},
  pages     = {450--470},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45741-3\_23},
  doi       = {10.1007/978-3-319-45741-3\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/esorics/NigamTU16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KanovichKNST16,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {Martin Fr{\"{a}}nzle and
               Nicolas Markey},
  title     = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed
               Systems},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
               Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9884},
  pages     = {228--244},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44878-7\_14},
  doi       = {10.1007/978-3-319-44878-7\_14},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/formats/KanovichKNST16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Benton0N16,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  editor    = {James Cheney and
               Germ{\'{a}}n Vidal},
  title     = {Effect-dependent transformations for concurrent programs},
  booktitle = {Proceedings of the 18th International Symposium on Principles and
               Practice of Declarative Programming, Edinburgh, United Kingdom, September
               5-7, 2016},
  pages     = {188--201},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2967973.2968602},
  doi       = {10.1145/2967973.2968602},
  timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/Benton0N16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/BarrosONB16,
  author    = {Jose de Sousa Barros and
               Thyago Oliveira and
               Vivek Nigam and
               Alisson V. Brito},
  title     = {A Framework for the Analysis of {UAV} Strategies Using Co-simulation},
  booktitle = {{VI} Brazilian Symposium on Computing Systems Engineering, {SBESC}
               2026, Jo{\~{a}}o Pessoa, Para{\'{\i}}ba, Brazil, November 1-4,
               2016},
  pages     = {9--15},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://doi.org/10.1109/SBESC.2016.011},
  doi       = {10.1109/SBESC.2016.011},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sbesc/BarrosONB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
  author    = {Carolyn L. Talcott and
               Vivek Nigam and
               Farhad Arbab and
               Tobias Kapp{\'{e}}},
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  title     = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
               Systems},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {1--35},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8\_1},
  doi       = {10.1007/978-3-319-34096-8\_1},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DantasLFN16,
  author    = {Yuri Gil Dantas and
               Marcilio O. O. Lemos and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  editor    = {Dorel Lucanu},
  title     = {Formal Specification and Verification of a Selective Defense for TDoS
               Attacks},
  booktitle = {Rewriting Logic and Its Applications - 11th International Workshop,
               {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
               April 2-3, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9942},
  pages     = {82--97},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44802-2\_5},
  doi       = {10.1007/978-3-319-44802-2\_5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wrla/DantasLFN16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NigamF17,
  author    = {Vivek Nigam and
               M{\'{a}}rio Florido},
  editor    = {Vivek Nigam and
               M{\'{a}}rio Florido},
  title     = {Preface},
  booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
               {LSFA} 2016, Porto, Portugal, January 1, 2016},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {332},
  pages     = {1--2},
  publisher = {Elsevier},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2017.04.001},
  doi       = {10.1016/j.entcs.2017.04.001},
  timestamp = {Wed, 05 Feb 2020 13:50:27 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/NigamF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NigamTU16,
  author    = {Vivek Nigam and
               Carolyn L. Talcott and
               Abra{\~{a}}o Aires Urquiza},
  title     = {Towards the Automated Verification of Cyber-Physical Security Protocols:
               Bounding the Number of Timed Intruders},
  journal   = {CoRR},
  volume    = {abs/1605.08563},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.08563},
  archivePrefix = {arXiv},
  eprint    = {1605.08563},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/NigamTU16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KanovichKNST16,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed
               Systems},
  journal   = {CoRR},
  volume    = {abs/1606.07886},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.07886},
  archivePrefix = {arXiv},
  eprint    = {1606.07886},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KanovichKNST16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OlartePN15,
  author    = {Carlos Olarte and
               Elaine Pimentel and
               Vivek Nigam},
  title     = {Subexponential concurrent constraint programming},
  journal   = {Theor. Comput. Sci.},
  volume    = {606},
  pages     = {98--120},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.06.031},
  doi       = {10.1016/j.tcs.2015.06.031},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/OlartePN15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NigamDKMT15,
  author    = {Vivek Nigam and
               Robin Donaldson and
               Merrill Knapp and
               Tim McCarthy and
               Carolyn L. Talcott},
  editor    = {Olivier F. Roux and
               J{\'{e}}r{\'{e}}mie Bourdon},
  title     = {Inferring Executable Models from Formalized Experimental Evidence},
  booktitle = {Computational Methods in Systems Biology - 13th International Conference,
               {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9308},
  pages     = {90--103},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23401-4\_9},
  doi       = {10.1007/978-3-319-23401-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/cmsb/NigamDKMT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/KanovichKNST15,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {Riccardo Focardi and
               Andrew C. Myers},
  title     = {Discrete vs. Dense Times in the Analysis of Cyber-Physical Security
               Protocols},
  booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
               2015, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9036},
  pages     = {259--279},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46666-7\_14},
  doi       = {10.1007/978-3-662-46666-7\_14},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/post/KanovichKNST15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NigamRL15,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  editor    = {Iliano Cervesato and
               Carsten Sch{\"{u}}rmann},
  title     = {Towards the Automated Generation of Focused Proof Systems},
  booktitle = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
               Fiji, 23rd November 2015},
  series    = {{EPTCS}},
  volume    = {197},
  pages     = {1--6},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.197.1},
  doi       = {10.4204/EPTCS.197.1},
  timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/NigamRL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PimentelNN16,
  author    = {Elaine Pimentel and
               Vivek Nigam and
               Jo{\~{a}}o Neto},
  editor    = {Mario R. F. Benevides and
               Ren{\'{e}} Thiemann},
  title     = {Multi-focused Proofs with Different Polarity Assignments},
  booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
               with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
               1, 2015},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {323},
  pages     = {163--179},
  publisher = {Elsevier},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.011},
  doi       = {10.1016/j.entcs.2016.06.011},
  timestamp = {Wed, 05 Feb 2020 13:51:47 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PimentelNN16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Benton0N15,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Effect-Dependent Transformations for Concurrent Programs},
  journal   = {CoRR},
  volume    = {abs/1510.02419},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.02419},
  archivePrefix = {arXiv},
  eprint    = {1510.02419},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Benton0N15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GaboardiNT15,
  author    = {Marco Gaboardi and
               Vivek Nigam and
               Tachio Terauchi},
  title     = {Logic and Verification Methods in Security and Privacy {(NII} Shonan
               Meeting 2015-16)},
  journal   = {{NII} Shonan Meet. Rep.},
  volume    = {2015},
  year      = {2015},
  url       = {http://shonan.nii.ac.jp/shonan/report/no-2015-16/},
  timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/shonan-reports/GaboardiNT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KanovichKNS14,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  title     = {Bounded memory protocols},
  journal   = {Comput. Lang. Syst. Struct.},
  volume    = {40},
  number    = {3-4},
  pages     = {137--154},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.cl.2014.05.003},
  doi       = {10.1016/j.cl.2014.05.003},
  timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cl/KanovichKNS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PaivaBNP14,
  author    = {Valeria de Paiva and
               Mario R. F. Benevides and
               Vivek Nigam and
               Elaine Pimentel},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {1--2},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.008},
  doi       = {10.1016/j.entcs.2013.12.008},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PaivaBNP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KanovichKNS14,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  title     = {Bounded memory Dolev-Yao adversaries in collaborative systems},
  journal   = {Inf. Comput.},
  volume    = {238},
  pages     = {233--261},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ic.2014.07.011},
  doi       = {10.1016/j.ic.2014.07.011},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/KanovichKNS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Nigam14,
  author    = {Vivek Nigam},
  title     = {A framework for linear authorization logics},
  journal   = {Theor. Comput. Sci.},
  volume    = {536},
  pages     = {21--41},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.02.018},
  doi       = {10.1016/j.tcs.2014.02.018},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Nigam14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PimentelON14,
  author    = {Elaine Pimentel and
               Carlos Olarte and
               Vivek Nigam},
  title     = {A Proof Theoretic Study of Soft Concurrent Constraint Programming},
  journal   = {Theory Pract. Log. Program.},
  volume    = {14},
  number    = {4-5},
  pages     = {649--663},
  year      = {2014},
  url       = {https://doi.org/10.1017/S147106841400026X},
  doi       = {10.1017/S147106841400026X},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/PimentelON14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamRL14,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  editor    = {St{\'{e}}phane Demri and
               Deepak Kapur and
               Christoph Weidenbach},
  title     = {Quati: An Automated Tool for Proving Permutation Lemmas},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  pages     = {255--261},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6\_18},
  doi       = {10.1007/978-3-319-08587-6\_18},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/NigamRL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/DantasNF14,
  author    = {Yuri Gil Dantas and
               Vivek Nigam and
               Iguatemi E. Fonseca},
  title     = {A Selective Defense for Application Layer DDoS Attacks},
  booktitle = {{IEEE} Joint Intelligence and Security Informatics Conference, {JISIC}
               2014, The Hague, The Netherlands, 24-26 September, 2014},
  pages     = {75--82},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://doi.org/10.1109/JISIC.2014.21},
  doi       = {10.1109/JISIC.2014.21},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/conf/isi/DantasNF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Benton0N14,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {Abstract effects and proof-relevant logical relations},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {619--632},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2535838.2535869},
  doi       = {10.1145/2535838.2535869},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/Benton0N14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PimentelON14,
  author    = {Elaine Pimentel and
               Carlos Olarte and
               Vivek Nigam},
  title     = {A Proof Theoretic Study of Soft Concurrent Constraint Programming},
  journal   = {CoRR},
  volume    = {abs/1405.2329},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.2329},
  archivePrefix = {arXiv},
  eprint    = {1405.2329},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/PimentelON14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NigamRL13,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Checking Proof Transformations with {ASP}},
  journal   = {Theory Pract. Log. Program.},
  volume    = {13},
  number    = {4-5-Online-Supplement},
  year      = {2013},
  url       = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013007.pdf},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/NigamRL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NigamOP13,
  author    = {Vivek Nigam and
               Carlos Olarte and
               Elaine Pimentel},
  editor    = {Pedro R. D'Argenio and
               Hern{\'{a}}n C. Melgratti},
  title     = {A General Proof System for Modalities in Concurrent Constraint Programming},
  booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
               {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8052},
  pages     = {410--424},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40184-8\_29},
  doi       = {10.1007/978-3-642-40184-8\_29},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/NigamOP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KanovichKNS13,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  editor    = {Jason Crampton and
               Sushil Jajodia and
               Keith Mayes},
  title     = {Bounded Memory Protocols and Progressing Collaborative Systems},
  booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
               in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8134},
  pages     = {309--326},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40203-6\_18},
  doi       = {10.1007/978-3-642-40203-6\_18},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/esorics/KanovichKNS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BentonHN13,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  editor    = {Masahito Hasegawa},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
               {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7941},
  pages     = {48--60},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7\_6},
  doi       = {10.1007/978-3-642-38946-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/tlca/BentonHN13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlarteNP14,
  author    = {Carlos Olarte and
               Vivek Nigam and
               Elaine Pimentel},
  editor    = {Maribel Fern{\'{a}}ndez and
               Marcelo Finger},
  title     = {Dynamic Spaces in Concurrent Constraint Programming},
  booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
               {LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {305},
  pages     = {103--121},
  publisher = {Elsevier},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.entcs.2014.06.008},
  doi       = {10.1016/j.entcs.2014.06.008},
  timestamp = {Wed, 05 Feb 2020 13:54:30 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/OlarteNP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/NigamJLS12,
  author    = {Vivek Nigam and
               Limin Jia and
               Boon Thau Loo and
               Andre Scedrov},
  title     = {Maintaining distributed logic programs incrementally},
  journal   = {Comput. Lang. Syst. Struct.},
  volume    = {38},
  number    = {2},
  pages     = {158--180},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.cl.2012.02.001},
  doi       = {10.1016/j.cl.2012.02.001},
  timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cl/NigamJLS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/WangJZRLRNST12,
  author    = {Anduo Wang and
               Limin Jia and
               Wenchao Zhou and
               Yiqing Ren and
               Boon Thau Loo and
               Jennifer Rexford and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {{FSR:} formal analysis and implementation toolkit for safe interdomain
               routing},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {20},
  number    = {6},
  pages     = {1814--1827},
  year      = {2012},
  url       = {https://doi.org/10.1109/TNET.2012.2187924},
  doi       = {10.1109/TNET.2012.2187924},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ton/WangJZRLRNST12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/NigamKSTKP12,
  author    = {Vivek Nigam and
               Tajana Ban Kirigin and
               Andre Scedrov and
               Carolyn L. Talcott and
               Max I. Kanovich and
               Ranko Perovic},
  editor    = {Gang Luo and
               Jiming Liu and
               Christopher C. Yang},
  title     = {Towards an automated assistant for clinical investigations},
  booktitle = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
               FL, USA, January 28-30, 2012},
  pages     = {773--778},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2110363.2110456},
  doi       = {10.1145/2110363.2110456},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ihi/NigamKSTKP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Nigam12,
  author    = {Vivek Nigam},
  title     = {On the Complexity of Linear Authorization Logics},
  booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
  pages     = {511--520},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/LICS.2012.61},
  doi       = {10.1109/LICS.2012.61},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/Nigam12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KanovichKNSTP12,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott and
               Ranko Perovic},
  editor    = {Ashish Tiwari},
  title     = {A Rewriting Framework for Activities Subject to Regulations},
  booktitle = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series    = {LIPIcs},
  volume    = {15},
  pages     = {305--322},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2012},
  url       = {https://doi.org/10.4230/LIPIcs.RTA.2012.305},
  doi       = {10.4230/LIPIcs.RTA.2012.305},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/rta/KanovichKNSTP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5692,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Abstract Effects and Proof-Relevant Logical Relations},
  journal   = {CoRR},
  volume    = {abs/1212.5692},
  year      = {2012},
  url       = {http://arxiv.org/abs/1212.5692},
  archivePrefix = {arXiv},
  eprint    = {1212.5692},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1212-5692.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NigamJLS11,
  author    = {Vivek Nigam and
               Limin Jia and
               Boon Thau Loo and
               Andre Scedrov},
  editor    = {Peter Schneider{-}Kamp and
               Michael Hanus},
  title     = {Maintaining distributed logic programs incrementally},
  booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  pages     = {125--136},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2003476.2003495},
  doi       = {10.1145/2003476.2003495},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/NigamJLS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NigamM10,
  author    = {Vivek Nigam and
               Dale Miller},
  title     = {A Framework for Proof Systems},
  journal   = {J. Autom. Reasoning},
  volume    = {45},
  number    = {2},
  pages     = {157--188},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10817-010-9182-1},
  doi       = {10.1007/s10817-010-9182-1},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jar/NigamM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KanovichKNS10,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  editor    = {Pierpaolo Degano and
               Sandro Etalle and
               Joshua D. Guttman},
  title     = {Bounded Memory Dolev-Yao Adversaries in Collaborative Systems},
  booktitle = {Formal Aspects of Security and Trust - 7th International Workshop,
               {FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6561},
  pages     = {18--33},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-19751-2\_2},
  doi       = {10.1007/978-3-642-19751-2\_2},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ifip1-7/KanovichKNS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NigamJWLS10,
  author    = {Vivek Nigam and
               Limin Jia and
               Anduo Wang and
               Boon Thau Loo and
               Andre Scedrov},
  editor    = {Berndt M{\"{u}}ller},
  title     = {An Operational Semantics for Network Datalog},
  booktitle = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10,
               Edinburgh, UK, July 14, 2010},
  series    = {EPiC Series in Computing},
  volume    = {7},
  pages     = {68--81},
  publisher = {EasyChair},
  year      = {2010},
  url       = {http://www.easychair.org/publications/paper/53007},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/NigamJWLS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NigamPR11,
  author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  editor    = {Edward Hermann Haeusler and
               Luis Fari{\~{n}}as del Cerro},
  title     = {Specifying Proof Systems in Linear Logic with Subexponentials},
  booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
               Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {269},
  pages     = {109--123},
  publisher = {Elsevier},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2011.03.009},
  doi       = {10.1016/j.entcs.2011.03.009},
  timestamp = {Wed, 05 Feb 2020 13:55:51 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/NigamPR11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NigamM09,
  author    = {Vivek Nigam and
               Dale Miller},
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Algorithmic specifications in linear logic with subexponentials},
  booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  pages     = {129--140},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1599410.1599427},
  doi       = {10.1145/1599410.1599427},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/NigamM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/NigamP08,
  author    = {Vivek Nigam and
               Roland Priemer},
  title     = {Generalized Blind Delayed Source Separation Model for Online Non-invasive
               Twin-fetal Sound Separation: {A} Phantom Study},
  journal   = {J. Medical Systems},
  volume    = {32},
  number    = {2},
  pages     = {123--135},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10916-007-9115-7},
  doi       = {10.1007/s10916-007-9115-7},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jms/NigamP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/XuNRC08,
  author    = {Jingye Xu and
               Vivek Nigam and
               Abinash Roy and
               Masud H. Chowdhury},
  title     = {Compound noise separation in digital circuits using blind source separation},
  journal   = {Microelectron. J.},
  volume    = {39},
  number    = {8},
  pages     = {1083--1092},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.mejo.2008.01.070},
  doi       = {10.1016/j.mejo.2008.01.070},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/mj/XuNRC08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamM08,
  author    = {Vivek Nigam and
               Dale Miller},
  editor    = {Alessandro Armando and
               Peter Baumgartner and
               Gilles Dowek},
  title     = {Focusing in Linear Meta-logic},
  booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5195},
  pages     = {507--522},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7\_42},
  doi       = {10.1007/978-3-540-71070-7\_42},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/NigamM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerN07,
  author    = {Dale Miller and
               Vivek Nigam},
  editor    = {Jacques Duparc and
               Thomas A. Henzinger},
  title     = {Incorporating Tables into Proofs},
  booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
               Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
               2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4646},
  pages     = {466--480},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74915-8\_35},
  doi       = {10.1007/978-3-540-74915-8\_35},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/MillerN07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/NigamP06,
  author    = {Vivek Nigam and
               Roland Priemer},
  title     = {Fuzzy logic based variable step size algorithm for blind delayed source
               separation},
  journal   = {Fuzzy Sets Syst.},
  volume    = {157},
  number    = {13},
  pages     = {1851--1863},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.fss.2006.03.009},
  doi       = {10.1016/j.fss.2006.03.009},
  timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fss/NigamP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/NigamP06,
  author    = {Vivek Nigam and
               Roland Priemer},
  title     = {A Snore Extraction Method from Mixed Sound for a Mobile Snore Recorder},
  journal   = {J. Medical Systems},
  volume    = {30},
  number    = {2},
  pages     = {91--99},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10916-005-7986-z},
  doi       = {10.1007/s10916-005-7986-z},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jms/NigamP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccas/NigamCP06,
  author    = {Vivek Nigam and
               Masud H. Chowdhury and
               Roland Priemer},
  title     = {Separation of Individual Noise Sources from Compound Noise Measurements
               in Digital Circuits},
  booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS}
               2006, Singapore, 4-7 December 2006},
  pages     = {1603--1606},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {https://doi.org/10.1109/APCCAS.2006.342070},
  doi       = {10.1109/APCCAS.2006.342070},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/apccas/NigamCP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/NigamL06,
  author    = {Vivek Nigam and
               Jo{\~{a}}o Leite},
  editor    = {Matteo Baldoni and
               Ulle Endriss},
  title     = {A Dynamic Logic Programming Based System for Agents with Declarative
               Goals},
  booktitle = {Declarative Agent Languages and Technologies IV, 4th International
               Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4327},
  pages     = {174--190},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11961536\_12},
  doi       = {10.1007/11961536\_12},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/dalt/NigamL06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbtw/KozlenkovPNRDS06,
  author    = {Alexander Kozlenkov and
               Rafael Pe{\~{n}}aloza and
               Vivek Nigam and
               Lo{\"{\i}}c Royer and
               Gihan Dawelbait and
               Michael Schroeder},
  editor    = {Torsten Grust and
               Hagen H{\"{o}}pfner and
               Arantza Illarramendi and
               Stefan Jablonski and
               Marco Mesiti and
               Sascha M{\"{u}}ller and
               Paula{-}Lavinia Patranjan and
               Kai{-}Uwe Sattler and
               Myra Spiliopoulou and
               Jef Wijsen},
  title     = {Prova: Rule-Based Java Scripting for Distributed Web Applications:
               {A} Case Study in Bioinformatics},
  booktitle = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops
               PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on
               the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4254},
  pages     = {899--908},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11896548\_68},
  doi       = {10.1007/11896548\_68},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/edbtw/KozlenkovPNRDS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/NigamCP06,
  author    = {Vivek Nigam and
               Masud H. Chowdhury and
               Roland Priemer},
  title     = {Compound noise analysis in digital circuits using blind source separation},
  booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
               May 2006, Island of Kos, Greece},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {https://doi.org/10.1109/ISCAS.2006.1692988},
  doi       = {10.1109/ISCAS.2006.1692988},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/iscas/NigamCP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/NigamL06,
  author    = {Vivek Nigam and
               Jo{\~{a}}o Leite},
  editor    = {Rafael H. Bordini and
               Mehdi Dastani and
               J{\"{u}}rgen Dix and
               Amal El Fallah{-}Seghrouchni},
  title     = {Adding Knowledge Updates to 3APL},
  booktitle = {Programming Multi-Agent Systems, 4th International Workshop, ProMAS
               2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4411},
  pages     = {165--181},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/978-3-540-71956-4\_10},
  doi       = {10.1007/978-3-540-71956-4\_10},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/promas/NigamL06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics