Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vivek Nigam
@article{DBLP:journals/jaihc/SantosFSNF23,
author = {Aellison Cassimiro T. dos Santos and
Jos{\'{e}} L. Soares Filho and
{\'{A}}villa {\'{I}}. S. Silva and
Vivek Nigam and
Iguatemi E. Fonseca},
title = {{BLE} injection-free attack: a novel attack on bluetooth low energy
devices},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {14},
number = {5},
pages = {5749--5759},
year = {2023},
url = {https://doi.org/10.1007/s12652-019-01502-z},
doi = {10.1007/S12652-019-01502-Z},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaihc/SantosFSNF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/DantasMCNBFPST23,
author = {Yuri Gil Dantas and
Tiziano Munaro and
Carmen C{\^{a}}rlan and
Vivek Nigam and
Simon Barner and
Shiqing Fan and
Alexander Pretschner and
Ulrich Sch{\"{o}}pp and
Sergey Tverdyshev},
title = {A Toolchain for Synthesizing and Validating Safety Architectures},
journal = {{SN} Comput. Sci.},
volume = {4},
number = {4},
pages = {335},
year = {2023},
url = {https://doi.org/10.1007/s42979-023-01712-5},
doi = {10.1007/S42979-023-01712-5},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/DantasMCNBFPST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/DantasN23,
author = {Yuri Gil Dantas and
Vivek Nigam},
title = {Automating Safety and Security Co-design through Semantically Rich
Architecture Patterns},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {7},
number = {1},
pages = {5:1--5:28},
year = {2023},
url = {https://doi.org/10.1145/3565269},
doi = {10.1145/3565269},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/DantasN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WhittersNT23,
author = {Gerald Whitters and
Vivek Nigam and
Carolyn L. Talcott},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Incremental Rewriting Modulo {SMT}},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {560--576},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_32},
doi = {10.1007/978-3-031-38499-8\_32},
timestamp = {Tue, 12 Sep 2023 07:57:19 +0200},
biburl = {https://dblp.org/rec/conf/cade/WhittersNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/DantasBKNS23,
author = {Yuri Gil Dantas and
Simon Barner and
Pei Ke and
Vivek Nigam and
Ulrich Sch{\"{o}}pp},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {Automating Vehicle {SOA} Threat Analysis Using a Model-Based Methodology},
booktitle = {Proceedings of the 9th International Conference on Information Systems
Security and Privacy, {ICISSP} 2023, Lisbon, Portugal, February 22-24,
2023},
pages = {180--191},
publisher = {SciTePress},
year = {2023},
url = {https://doi.org/10.5220/0011786400003405},
doi = {10.5220/0011786400003405},
timestamp = {Thu, 11 May 2023 10:52:54 +0200},
biburl = {https://dblp.org/rec/conf/icissp/DantasBKNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/TerzimehicBDSNK23,
author = {Tarik Terzimehic and
Simon Barner and
Yuri Gil Dantas and
Ulrich Sch{\"{o}}pp and
Vivek Nigam and
Pei Ke},
title = {Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo
Autonomous Driving Platform},
booktitle = {20th International Conference on Software Architecture, {ICSA} 2023
- Companion, L'Aquila, Italy, March 13-17, 2023},
pages = {309--316},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSA-C57050.2023.00070},
doi = {10.1109/ICSA-C57050.2023.00070},
timestamp = {Fri, 28 Apr 2023 15:39:23 +0200},
biburl = {https://dblp.org/rec/conf/icsa/TerzimehicBDSNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/NigamT23,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Cristina David and
Meng Sun},
title = {Automating Recoverability Proofs for Cyber-Physical Systems with Runtime
Assurance Architectures},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_1},
doi = {10.1007/978-3-031-35257-7\_1},
timestamp = {Fri, 30 Jun 2023 22:40:45 +0200},
biburl = {https://dblp.org/rec/conf/tase/NigamT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11564,
author = {Vivek Nigam and
Carolyn L. Talcott},
title = {Technical-Report: Automating Recoverability Proofs for Cyber-Physical
Systems with Runtime Assurance Architectures},
journal = {CoRR},
volume = {abs/2304.11564},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11564},
doi = {10.48550/ARXIV.2304.11564},
eprinttype = {arXiv},
eprint = {2304.11564},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/NigamT22,
author = {Vivek Nigam and
Carolyn L. Talcott},
title = {Automated construction of security integrity wrappers for Industry
4.0 applications},
journal = {J. Log. Algebraic Methods Program.},
volume = {126},
pages = {100745},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100745},
doi = {10.1016/J.JLAMP.2021.100745},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/NigamT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NigamKMT22,
author = {Vivek Nigam and
Minyoung Kim and
Ian A. Mason and
Carolyn L. Talcott},
title = {Detection and diagnosis of deviations in distributed systems of autonomous
agents},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {9},
pages = {1254--1282},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000251},
doi = {10.1017/S0960129522000251},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NigamKMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/AlturkiKKNST22,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {On the Security and Complexity of Periodic Systems},
journal = {{SN} Comput. Sci.},
volume = {3},
number = {5},
pages = {356},
year = {2022},
url = {https://doi.org/10.1007/s42979-022-01223-9},
doi = {10.1007/S42979-022-01223-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/AlturkiKKNST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AlturkiKKNST22,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {On the Formalization and Computational Complexity of Resilience Problems
for Cyber-Physical Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {96--113},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_8},
doi = {10.1007/978-3-031-17715-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AlturkiKKNST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/DantasMCNBFPST22,
author = {Yuri Gil Dantas and
Tiziano Munaro and
Carmen C{\^{a}}rlan and
Vivek Nigam and
Simon Barner and
Shiqing Fan and
Alexander Pretschner and
Ulrich Sch{\"{o}}pp and
Sergey Tverdyshev},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {A Model-based System Engineering Plugin for Safety Architecture Pattern
Synthesis},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {36--47},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010831700003119},
doi = {10.5220/0010831700003119},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/DantasMCNBFPST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT22,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Kyungmin Bae},
title = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting
Modulo {SMT}},
booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
pages = {212--229},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9\_11},
doi = {10.1007/978-3-031-12441-9\_11},
timestamp = {Wed, 03 Aug 2022 15:28:31 +0200},
biburl = {https://dblp.org/rec/conf/wrla/NigamT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10563,
author = {Yuri Gil Dantas and
Vivek Nigam},
title = {Automating Safety and Security Co-Design through Semantically-Rich
Architectural Patterns},
journal = {CoRR},
volume = {abs/2201.10563},
year = {2022},
url = {https://arxiv.org/abs/2201.10563},
eprinttype = {arXiv},
eprint = {2201.10563},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10563.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12347,
author = {Yuri Gil Dantas and
Simon Barner and
Pei Ke and
Vivek Nigam and
Ulrich Sch{\"{o}}pp},
title = {Technical Report: Automating Vehicle {SOA} Threat Analysis using a
Model-Based Methodology},
journal = {CoRR},
volume = {abs/2212.12347},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.12347},
doi = {10.48550/ARXIV.2212.12347},
eprinttype = {arXiv},
eprint = {2212.12347},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-12347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/UrquizaAKKNST21,
author = {Abra{\~{a}}o Aires Urquiza and
Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Resource and timing aspects of security protocols},
journal = {J. Comput. Secur.},
volume = {29},
number = {3},
pages = {299--340},
year = {2021},
url = {https://doi.org/10.3233/JCS-200012},
doi = {10.3233/JCS-200012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/UrquizaAKKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KanovichKNST21,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {On the Complexity of Verification of Time-Sensitive Distributed Systems},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {251--275},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_14},
doi = {10.1007/978-3-030-91631-2\_14},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KanovichKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamRRR21,
author = {Vivek Nigam and
Giselle Reis and
Samar Rahmouni and
Harald Ruess},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Proof Search and Certificates for Evidential Transactions},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {234--251},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_14},
doi = {10.1007/978-3-030-79876-5\_14},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NigamRRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/PimentelON21,
author = {Elaine Pimentel and
Carlos Olarte and
Vivek Nigam},
editor = {Naoki Kobayashi},
title = {Process-As-Formula Interpretation: {A} Substructural Multimodal View
(Invited Talk)},
booktitle = {6th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
(Virtual Conference)},
series = {LIPIcs},
volume = {195},
pages = {3:1--3:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.3},
doi = {10.4230/LIPICS.FSCD.2021.3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fscd/PimentelON21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/AlturkiKKNST21,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {On Security Analysis of Periodic Systems: Expressiveness and Complexity},
booktitle = {Proceedings of the 7th International Conference on Information Systems
Security and Privacy, {ICISSP} 2021, Online Streaming, February 11-13,
2021},
pages = {43--54},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010195100430054},
doi = {10.5220/0010195100430054},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icissp/AlturkiKKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03531,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {On the Complexity of Verification of Time-Sensitive Distributed Systems:
Technical Report},
journal = {CoRR},
volume = {abs/2105.03531},
year = {2021},
url = {https://arxiv.org/abs/2105.03531},
eprinttype = {arXiv},
eprint = {2105.03531},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/PascoalFN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KanovichKNS20,
author = {Max I. Kanovich and
Stepan L. Kuznetsov and
Vivek Nigam and
Andre Scedrov},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Soft Subexponentials and Multiplexing},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {500--517},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_29},
doi = {10.1007/978-3-030-51074-9\_29},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KanovichKNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/DantasNT20,
author = {Yuri Gil Dantas and
Vivek Nigam and
Carolyn L. Talcott},
title = {A Formal Security Assessment Framework for Cooperative Adaptive Cruise
Control},
booktitle = {{IEEE} Vehicular Networking Conference, {VNC} 2020, New York, NY,
USA, December 16-18, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/VNC51378.2020.9318334},
doi = {10.1109/VNC51378.2020.9318334},
timestamp = {Mon, 25 Jan 2021 11:10:27 +0100},
biburl = {https://dblp.org/rec/conf/vnc/DantasNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT20,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Automated Construction of Security Integrity Wrappers for Industry
4.0 Applications},
booktitle = {Rewriting Logic and Its Applications - 13th International Workshop,
{WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12328},
pages = {197--215},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63595-4\_11},
doi = {10.1007/978-3-030-63595-4\_11},
timestamp = {Mon, 14 Dec 2020 17:03:10 +0100},
biburl = {https://dblp.org/rec/conf/wrla/NigamT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10251,
author = {Yuri Gil Dantas and
Antoaneta Kondeva and
Vivek Nigam},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Less Manual Work for Safety Engineers: Towards an Automated Safety
Reasoning with Safety Patterns},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {244--257},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.29},
doi = {10.4204/EPTCS.325.29},
timestamp = {Wed, 04 Nov 2020 16:04:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2020scedrov,
editor = {Vivek Nigam and
Tajana Ban Kirigin and
Carolyn L. Talcott and
Joshua D. Guttman and
Stepan L. Kuznetsov and
Boon Thau Loo and
Mitsuhiro Okada},
title = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12300},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62077-6},
doi = {10.1007/978-3-030-62077-6},
isbn = {978-3-030-62076-9},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2020scedrov.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15080,
author = {Yuri Gil Dantas and
Vivek Nigam and
Harald Ruess},
title = {Security Engineering for {ISO} 21434},
journal = {CoRR},
volume = {abs/2012.15080},
year = {2020},
url = {https://arxiv.org/abs/2012.15080},
eprinttype = {arXiv},
eprint = {2012.15080},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KanovichKNS19,
author = {Max I. Kanovich and
Stepan L. 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, 07 Dec 2022 00:00:00 +0100},
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 = {Thu, 21 Sep 2023 09:08:34 +0200},
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 00:00:00 +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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Wed, 07 Dec 2022 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 Ramezani 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 = {Mon, 28 Dec 2020 11:31:03 +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 Ramezani 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 00:00:00 +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 = {Sat, 05 Sep 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 = {https://ceur-ws.org/Vol-2308/aviose2019paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
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 = {Wed, 07 Dec 2022 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 = {Log. Methods Comput. Sci.},
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 = {Wed, 07 Dec 2022 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, 07 Dec 2022 00:00:00 +0100},
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 L. 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 = {Mon, 28 Aug 2023 21:17:45 +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 = {Wed, 07 Dec 2022 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, 07 Sep 2023 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},
eprinttype = {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},
eprinttype = {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},
eprinttype = {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 = {Des. Autom. Embed. Syst.},
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 = {Wed, 07 Dec 2022 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, 28 Aug 2023 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, 07 Dec 2022 00:00:00 +0100},
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, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NigamOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbrc/PascoalCBNF17,
author = {T{\'{u}}lio A. Pascoal and
Jo{\~{a}}o Henrique G. M. Corr{\^{e}}a and
Rafael Brayner and
Vivek Nigam and
Iguatemi E. Fonseca},
editor = {Ant{\^{o}}nio Abel{\'{e}}m and
Eduardo Cerqueira},
title = {M{\'{o}}dulo de Prote{\c{c}}{\~{a}}o contra Ataques de Nega{\c{c}}{\~{a}}o
de Servi{\c{c}}o na Camada de Aplica{\c{c}}{\~{a}}o: uma An{\'{a}}lise
de Qualidade de Servi{\c{c}}o e Experi{\^{e}}ncia de Usu{\'{a}}
rio{\({_\ast}\)}},
booktitle = {{XXXV} Brazilian Symposium on Computer Networks and Distributed Systems,
{SBRC} 2017, Bel{\'{e}}m, Brazil, May 15-19, 2018},
year = {2017},
url = {https://sol.sbc.org.br/index.php/sbrc/article/view/2679},
timestamp = {Tue, 18 Jan 2022 09:22:56 +0100},
biburl = {https://dblp.org/rec/conf/sbrc/PascoalCBNF17.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 = {Sat, 30 Sep 2023 01:00:00 +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 A. 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 = {Thu, 29 Feb 2024 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, 07 Dec 2022 00:00:00 +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},
eprinttype = {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},
eprinttype = {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},
eprinttype = {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, 07 Dec 2022 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 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, 19 Sep 2023 14:44:32 +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 = {Thu, 23 Mar 2023 00:00:00 +0100},
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 = {Tue, 21 Mar 2023 00:00:00 +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},
eprinttype = {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},
eprinttype = {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, 17 Feb 2021 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 = {Mon, 01 May 2023 01:00:00 +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},
eprinttype = {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 = {https://shonan.nii.ac.jp/seminars/069/},
timestamp = {Thu, 04 Mar 2021 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 = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KanovichKNS14.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 = {Wed, 07 Dec 2022 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 = {Wed, 17 Feb 2021 00:00:00 +0100},
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 = {Mon, 01 May 2023 01:00:00 +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 = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/Benton0N14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imla/2013,
editor = {Valeria de Paiva and
Mario R. F. Benevides and
Vivek Nigam and
Elaine Pimentel},
title = {Proceedings of the 6th Workshop on Intuitionistic Modal Logic and
Applications, {IMLA} 2013, in association with {UNILOG} 2013, Rio
de Janeiro, Brazil, April 7, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {300},
publisher = {Elsevier},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/300/suppl/C},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imla/2013.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},
eprinttype = {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 = {Fri, 14 Apr 2023 01:00:00 +0200},
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 = {Sun, 02 Oct 2022 16:16:31 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BentonHN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaivaBNP14,
author = {Valeria de Paiva and
Mario R. F. Benevides and
Vivek Nigam and
Elaine Pimentel},
editor = {Valeria de Paiva and
Mario R. F. Benevides and
Vivek Nigam and
Elaine Pimentel},
title = {Preface},
booktitle = {Proceedings of the 6th Workshop on Intuitionistic Modal Logic and
Applications, {IMLA} 2013, in association with {UNILOG} 2013, Rio
de Janeiro, Brazil, April 7, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {300},
pages = {1--2},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.12.008},
doi = {10.1016/J.ENTCS.2013.12.008},
timestamp = {Tue, 22 Nov 2022 11:54:17 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaivaBNP14.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 = {Fri, 12 Feb 2021 00:00:00 +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 = {Mon, 26 Jun 2023 01:00:00 +0200},
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 = {Sat, 30 Sep 2023 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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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},
eprinttype = {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 = {Mon, 26 Jun 2023 01:00:00 +0200},
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. Reason.},
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 = {Sat, 09 Apr 2022 01:00:00 +0200},
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 = {https://doi.org/10.29007/f89j},
doi = {10.29007/F89J},
timestamp = {Mon, 26 Jun 2023 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 = {Fri, 12 Feb 2021 00:00:00 +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 = {Sat, 09 Apr 2022 01:00:00 +0200},
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 Syst.},
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 = {Mon, 08 Jun 2020 01:00:00 +0200},
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 = {Sat, 09 Apr 2022 01:00:00 +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 = {Sat, 09 Apr 2022 01:00:00 +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 Syst.},
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 = {Mon, 08 Jun 2020 01:00:00 +0200},
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 = {Fri, 09 Apr 2021 01:00:00 +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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edbtw/KozlenkovPNRDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/NigamP06,
author = {Vivek Nigam and
Roland Priemer},
title = {A Procedure to Extract the Aortic and the Pulmonary Sounds from the
Phonocardiogram},
booktitle = {28th International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
- September 3, 2006, Main Volume},
pages = {5715--5718},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IEMBS.2006.259535},
doi = {10.1109/IEMBS.2006.259535},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/NigamP06.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 = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/NigamL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-01 23:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
