BibTeX records: Vivek Nigam

download as .bib file

@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 = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/dafes/BarrosONB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/NigamF17,
  author    = {Vivek Nigam and
               M{\'{a}}rio Florido},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {332},
  pages     = {1--2},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.entcs.2017.04.001},
  doi       = {10.1016/j.entcs.2017.04.001},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/NigamF17},
  bibsource = {dblp computer science bibliography, http://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   = {Journal of Computer Security},
  volume    = {25},
  number    = {6},
  pages     = {585--630},
  year      = {2017},
  url       = {https://doi.org/10.3233/JCS-0560},
  doi       = {10.3233/JCS-0560},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcs/KanovichKNST17},
  bibsource = {dblp computer science bibliography, http://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   = {Mathematical Structures in Computer Science},
  volume    = {27},
  number    = {3},
  pages     = {332--375},
  year      = {2017},
  url       = {https://doi.org/10.1017/S096012951500016X},
  doi       = {10.1017/S096012951500016X},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mscs/KanovichKNSTP17},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/NigamOP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sec/PascoalDFN17,
  author    = {T{\'{u}}lio A. Pascoal and
               Yuri Gil Dantas and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  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},
  pages     = {17--31},
  year      = {2017},
  crossref  = {DBLP:conf/sec/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    = {http://dblp.org/rec/bib/conf/sec/PascoalDFN17},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KanovichKNST17},
  bibsource = {dblp computer science bibliography, http://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 = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1708-05193},
  bibsource = {dblp computer science bibliography, http://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 = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1709-04162},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/PimentelNN16,
  author    = {Elaine Pimentel and
               Vivek Nigam and
               Jo{\~{a}}o Neto},
  title     = {Multi-focused Proofs with Different Polarity Assignments},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {323},
  pages     = {163--179},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.011},
  doi       = {10.1016/j.entcs.2016.06.011},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/PimentelNN16},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/NigamPR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BentonK0N16,
  author    = {Nick Benton and
               Andrew Kennedy and
               Martin Hofmann and
               Vivek Nigam},
  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},
  pages     = {56--72},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016wadler},
  url       = {https://doi.org/10.1007/978-3-319-30936-1_3},
  doi       = {10.1007/978-3-319-30936-1_3},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/BentonK0N16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esorics/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},
  booktitle = {Computer Security - {ESORICS} 2016 - 21st European Symposium on Research
               in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings,
               Part {II}},
  pages     = {450--470},
  year      = {2016},
  crossref  = {DBLP:conf/esorics/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-45741-3_23},
  doi       = {10.1007/978-3-319-45741-3_23},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esorics/NigamTU16},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {228--244},
  year      = {2016},
  crossref  = {DBLP:conf/formats/2016},
  url       = {https://doi.org/10.1007/978-3-319-44878-7_14},
  doi       = {10.1007/978-3-319-44878-7_14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/formats/KanovichKNST16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Benton0N16,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/ppdp/2016},
  url       = {http://doi.acm.org/10.1145/2967973.2968602},
  doi       = {10.1145/2967973.2968602},
  timestamp = {Wed, 07 Sep 2016 13:16:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/Benton0N16},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2016},
  crossref  = {DBLP:conf/sbesc/2016},
  url       = {https://doi.org/10.1109/SBESC.2016.011},
  doi       = {10.1109/SBESC.2016.011},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbesc/BarrosONB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
  author    = {Carolyn L. Talcott and
               Vivek Nigam and
               Farhad Arbab and
               Tobias Kapp{\'{e}}},
  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},
  pages     = {1--35},
  year      = {2016},
  crossref  = {DBLP:conf/sfm/2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8_1},
  doi       = {10.1007/978-3-319-34096-8_1},
  timestamp = {Wed, 24 May 2017 08:30:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfm/TalcottNAK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DantasLFN16,
  author    = {Yuri Gil Dantas and
               Marcilio O. O. Lemos and
               Iguatemi E. Fonseca and
               Vivek Nigam},
  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},
  pages     = {82--97},
  year      = {2016},
  crossref  = {DBLP:conf/wrla/2016},
  url       = {https://doi.org/10.1007/978-3-319-44802-2_5},
  doi       = {10.1007/978-3-319-44802-2_5},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wrla/DantasLFN16},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/NigamTU16},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KanovichKNST16},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/OlartePN15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NigamDKMT15,
  author    = {Vivek Nigam and
               Robin Donaldson and
               Merrill Knapp and
               Tim McCarthy and
               Carolyn L. Talcott},
  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},
  pages     = {90--103},
  year      = {2015},
  crossref  = {DBLP:conf/cmsb/2015},
  url       = {https://doi.org/10.1007/978-3-319-23401-4_9},
  doi       = {10.1007/978-3-319-23401-4_9},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cmsb/NigamDKMT15},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {259--279},
  year      = {2015},
  crossref  = {DBLP:conf/post/2015},
  url       = {https://doi.org/10.1007/978-3-662-46666-7_14},
  doi       = {10.1007/978-3-662-46666-7_14},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/post/KanovichKNST15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/NigamRL15,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Towards the Automated Generation of Focused Proof Systems},
  booktitle = {Proceedings First International Workshop on Focusing, WoF'15 2015,
               Suva, Fiji, 23rd November 2015.},
  pages     = {1--6},
  year      = {2015},
  crossref  = {DBLP:journals/corr/CervesatoS15},
  url       = {https://doi.org/10.4204/EPTCS.197.1},
  doi       = {10.4204/EPTCS.197.1},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/NigamRL15},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Benton0N15},
  bibsource = {dblp computer science bibliography, http://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   = {Computer Languages, Systems {\&} Structures},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cl/KanovichKNS14},
  bibsource = {dblp computer science bibliography, http://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   = {Electr. 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, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/PaivaBNP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/OlarteNP14,
  author    = {Carlos Olarte and
               Vivek Nigam and
               Elaine Pimentel},
  title     = {Dynamic Spaces in Concurrent Constraint Programming},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {305},
  pages     = {103--121},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2014.06.008},
  doi       = {10.1016/j.entcs.2014.06.008},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/OlarteNP14},
  bibsource = {dblp computer science bibliography, http://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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/KanovichKNS14},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/tcs/Nigam14},
  bibsource = {dblp computer science bibliography, http://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   = {{TPLP}},
  volume    = {14},
  number    = {4-5},
  pages     = {649--663},
  year      = {2014},
  url       = {https://doi.org/10.1017/S147106841400026X},
  doi       = {10.1017/S147106841400026X},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/PimentelON14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamRL14,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  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},
  pages     = {255--261},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6_18},
  doi       = {10.1007/978-3-319-08587-6_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cade/NigamRL14},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2014},
  crossref  = {DBLP:conf/isi/2014},
  url       = {https://doi.org/10.1109/JISIC.2014.21},
  doi       = {10.1109/JISIC.2014.21},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isi/DantasNF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/Benton0N14,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {http://doi.acm.org/10.1145/2535838.2535869},
  doi       = {10.1145/2535838.2535869},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/Benton0N14},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/PimentelON14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/NigamRL13,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Checking Proof Transformations with {ASP}},
  journal   = {{TPLP}},
  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 = {Mon, 21 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/NigamRL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/NigamOP13,
  author    = {Vivek Nigam and
               Carlos Olarte and
               Elaine Pimentel},
  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},
  pages     = {410--424},
  year      = {2013},
  crossref  = {DBLP:conf/concur/2013},
  url       = {https://doi.org/10.1007/978-3-642-40184-8_29},
  doi       = {10.1007/978-3-642-40184-8_29},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/concur/NigamOP13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KanovichKNS13,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  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},
  pages     = {309--326},
  year      = {2013},
  crossref  = {DBLP:conf/esorics/2013},
  url       = {https://doi.org/10.1007/978-3-642-40203-6_18},
  doi       = {10.1007/978-3-642-40203-6_18},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esorics/KanovichKNS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BentonHN13,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  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},
  pages     = {48--60},
  year      = {2013},
  crossref  = {DBLP:conf/tlca/2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7_6},
  doi       = {10.1007/978-3-642-38946-7_6},
  timestamp = {Wed, 17 May 2017 14:24:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tlca/BentonHN13},
  bibsource = {dblp computer science bibliography, http://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   = {Computer Languages, Systems {\&} Structures},
  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, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cl/NigamJLS12},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/ton/WangJZRLRNST12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/ihi/2012},
  url       = {http://doi.acm.org/10.1145/2110363.2110456},
  doi       = {10.1145/2110363.2110456},
  timestamp = {Fri, 21 Jul 2017 13:46:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ihi/NigamKSTKP12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/lics/2012},
  url       = {https://doi.org/10.1109/LICS.2012.61},
  doi       = {10.1109/LICS.2012.61},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/Nigam12},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {305--322},
  year      = {2012},
  crossref  = {DBLP:conf/rta/2012},
  url       = {https://doi.org/10.4230/LIPIcs.RTA.2012.305},
  doi       = {10.4230/LIPIcs.RTA.2012.305},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rta/KanovichKNSTP12},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1212-5692},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/NigamPR11,
  author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  title     = {Specifying Proof Systems in Linear Logic with Subexponentials},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {269},
  pages     = {109--123},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.03.009},
  doi       = {10.1016/j.entcs.2011.03.009},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/NigamPR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NigamJLS11,
  author    = {Vivek Nigam and
               Limin Jia and
               Boon Thau Loo and
               Andre Scedrov},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/ppdp/2011},
  url       = {http://doi.acm.org/10.1145/2003476.2003495},
  doi       = {10.1145/2003476.2003495},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/NigamJLS11},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/jar/NigamM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/KanovichKNS10,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov},
  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},
  pages     = {18--33},
  year      = {2010},
  crossref  = {DBLP:conf/ifip1-7/2010},
  url       = {https://doi.org/10.1007/978-3-642-19751-2_2},
  doi       = {10.1007/978-3-642-19751-2_2},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifip1-7/KanovichKNS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/NigamJWLS10,
  author    = {Vivek Nigam and
               Limin Jia and
               Anduo Wang and
               Boon Thau Loo and
               Andre Scedrov},
  title     = {An Operational Semantics for Network Datalog},
  booktitle = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10,
               Edinburgh, UK, July 14, 2010},
  pages     = {68--81},
  year      = {2010},
  crossref  = {DBLP:conf/lics/2010lam},
  url       = {http://www.easychair.org/publications/paper/53007},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/NigamJWLS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NigamM09,
  author    = {Vivek Nigam and
               Dale Miller},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/ppdp/2009},
  url       = {http://doi.acm.org/10.1145/1599410.1599427},
  doi       = {10.1145/1599410.1599427},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/NigamM09},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jms/NigamP08},
  bibsource = {dblp computer science bibliography, http://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   = {Microelectronics Journal},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mj/XuNRC08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamM08,
  author    = {Vivek Nigam and
               Dale Miller},
  title     = {Focusing in Linear Meta-logic},
  booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  pages     = {507--522},
  year      = {2008},
  crossref  = {DBLP:conf/cade/2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7_42},
  doi       = {10.1007/978-3-540-71070-7_42},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cade/NigamM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerN07,
  author    = {Dale Miller and
               Vivek Nigam},
  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},
  pages     = {466--480},
  year      = {2007},
  crossref  = {DBLP:conf/csl/2007},
  url       = {https://doi.org/10.1007/978-3-540-74915-8_35},
  doi       = {10.1007/978-3-540-74915-8_35},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/csl/MillerN07},
  bibsource = {dblp computer science bibliography, http://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 and Systems},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fss/NigamP06},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jms/NigamP06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/apccas/2006},
  url       = {https://doi.org/10.1109/APCCAS.2006.342070},
  doi       = {10.1109/APCCAS.2006.342070},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apccas/NigamCP06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dalt/NigamL06,
  author    = {Vivek Nigam and
               Jo{\~{a}}o Leite},
  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},
  pages     = {174--190},
  year      = {2006},
  crossref  = {DBLP:conf/dalt/2006},
  url       = {https://doi.org/10.1007/11961536_12},
  doi       = {10.1007/11961536_12},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dalt/NigamL06},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {899--908},
  year      = {2006},
  crossref  = {DBLP:conf/edbtw/2006},
  url       = {https://doi.org/10.1007/11896548_68},
  doi       = {10.1007/11896548_68},
  timestamp = {Wed, 11 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/edbtw/KozlenkovPNRDS06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/iscas/2006},
  url       = {https://doi.org/10.1109/ISCAS.2006.1692988},
  doi       = {10.1109/ISCAS.2006.1692988},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/NigamCP06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/promas/NigamL06,
  author    = {Vivek Nigam and
               Jo{\~{a}}o Leite},
  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},
  pages     = {165--181},
  year      = {2006},
  crossref  = {DBLP:conf/promas/2006},
  url       = {https://doi.org/10.1007/978-3-540-71956-4_10},
  doi       = {10.1007/978-3-540-71956-4_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/promas/NigamL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sec/2017,
  editor    = {Sabrina De Capitani di Vimercati and
               Fabio Martinelli},
  title     = {{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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-58469-0},
  doi       = {10.1007/978-3-319-58469-0},
  isbn      = {978-3-319-58468-3},
  timestamp = {Wed, 17 May 2017 12:30:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sec/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016wadler,
  editor    = {Sam Lindley and
               Conor McBride and
               Philip W. Trinder and
               Donald Sannella},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30936-1},
  doi       = {10.1007/978-3-319-30936-1},
  isbn      = {978-3-319-30935-4},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2016wadler},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esorics/2016-2,
  editor    = {Ioannis G. Askoxylakis and
               Sotiris Ioannidis and
               Sokratis K. Katsikas and
               Catherine A. Meadows},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45741-3},
  doi       = {10.1007/978-3-319-45741-3},
  isbn      = {978-3-319-45740-6},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esorics/2016-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/formats/2016,
  editor    = {Martin Fr{\"{a}}nzle and
               Nicolas Markey},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44878-7},
  doi       = {10.1007/978-3-319-44878-7},
  isbn      = {978-3-319-44877-0},
  timestamp = {Fri, 26 May 2017 00:50:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/formats/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2016,
  editor    = {James Cheney and
               Germ{\'{a}}n Vidal},
  title     = {Proceedings of the 18th International Symposium on Principles and
               Practice of Declarative Programming, Edinburgh, United Kingdom, September
               5-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2967973},
  doi       = {10.1145/2967973},
  isbn      = {978-1-4503-4148-6},
  timestamp = {Wed, 07 Sep 2016 13:16:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbesc/2016,
  title     = {{VI} Brazilian Symposium on Computing Systems Engineering, {SBESC}
               2026, Jo{\~{a}}o Pessoa, Para{\'{\i}}ba, Brazil, November 1-4,
               2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7827383},
  isbn      = {978-1-5090-2653-1},
  timestamp = {Mon, 20 Mar 2017 12:37:48 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sbesc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sfm/2016,
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-34096-8},
  doi       = {10.1007/978-3-319-34096-8},
  isbn      = {978-3-319-34095-1},
  timestamp = {Wed, 24 May 2017 08:30:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wrla/2016,
  editor    = {Dorel Lucanu},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44802-2},
  doi       = {10.1007/978-3-319-44802-2},
  isbn      = {978-3-319-44801-5},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wrla/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2015,
  editor    = {Olivier F. Roux and
               J{\'{e}}r{\'{e}}mie Bourdon},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23401-4},
  doi       = {10.1007/978-3-319-23401-4},
  isbn      = {978-3-319-23400-7},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cmsb/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/post/2015,
  editor    = {Riccardo Focardi and
               Andrew C. Myers},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46666-7},
  doi       = {10.1007/978-3-662-46666-7},
  isbn      = {978-3-662-46665-0},
  timestamp = {Wed, 24 May 2017 08:30:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/post/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/CervesatoS15,
  editor    = {Iliano Cervesato and
               Carsten Sch{\"{u}}rmann},
  title     = {Proceedings First International Workshop on Focusing, WoF'15 2015,
               Suva, Fiji, 23rd November 2015},
  series    = {{EPTCS}},
  volume    = {197},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.197},
  doi       = {10.4204/EPTCS.197},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CervesatoS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cade/2014,
  editor    = {St{\'{e}}phane Demri and
               Deepak Kapur and
               Christoph Weidenbach},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6},
  doi       = {10.1007/978-3-319-08587-6},
  isbn      = {978-3-319-08586-9},
  timestamp = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cade/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isi/2014,
  title     = {{IEEE} Joint Intelligence and Security Informatics Conference, {JISIC}
               2014, The Hague, The Netherlands, 24-26 September, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6968676},
  isbn      = {978-1-4799-6363-8},
  timestamp = {Wed, 10 Dec 2014 09:04:43 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isi/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2013,
  editor    = {Pedro R. D'Argenio and
               Hern{\'{a}}n C. Melgratti},
  title     = {{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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40184-8},
  doi       = {10.1007/978-3-642-40184-8},
  isbn      = {978-3-642-40183-1},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esorics/2013,
  editor    = {Jason Crampton and
               Sushil Jajodia and
               Keith Mayes},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40203-6},
  doi       = {10.1007/978-3-642-40203-6},
  isbn      = {978-3-642-40202-9},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esorics/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tlca/2013,
  editor    = {Masahito Hasegawa},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38946-7},
  doi       = {10.1007/978-3-642-38946-7},
  isbn      = {978-3-642-38945-0},
  timestamp = {Wed, 17 May 2017 14:24:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tlca/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ihi/2012,
  editor    = {Gang Luo and
               Jiming Liu and
               Christopher C. Yang},
  title     = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
               FL, USA, January 28-30, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2110363},
  isbn      = {978-1-4503-0781-9},
  timestamp = {Fri, 21 Jul 2017 13:46:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ihi/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2012,
  title     = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6275587},
  isbn      = {978-1-4673-2263-8},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rta/2012,
  editor    = {Ashish Tiwari},
  title     = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series    = {LIPIcs},
  volume    = {15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12003},
  isbn      = {978-3-939897-38-5},
  timestamp = {Tue, 26 Feb 2013 10:42:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/rta/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2011,
  editor    = {Peter Schneider{-}Kamp and
               Michael Hanus},
  title     = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0776-5},
  timestamp = {Tue, 18 Oct 2011 19:19:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip1-7/2010,
  editor    = {Pierpaolo Degano and
               Sandro Etalle and
               Joshua D. Guttman},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19751-2},
  doi       = {10.1007/978-3-642-19751-2},
  isbn      = {978-3-642-19750-5},
  timestamp = {Fri, 19 May 2017 01:26:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifip1-7/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2010lam,
  editor    = {Berndt M{\"{u}}ller},
  title     = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10,
               Edinburgh, UK, July 14, 2010},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=451148882},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/2010lam},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2009,
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-568-0},
  timestamp = {Tue, 22 Sep 2009 21:52:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cade/2008,
  editor    = {Alessandro Armando and
               Peter Baumgartner and
               Gilles Dowek},
  title     = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5195},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7},
  doi       = {10.1007/978-3-540-71070-7},
  isbn      = {978-3-540-71069-1},
  timestamp = {Sun, 12 Nov 2017 23:10:46 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cade/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2007,
  editor    = {Jacques Duparc and
               Thomas A. Henzinger},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74915-8},
  doi       = {10.1007/978-3-540-74915-8},
  isbn      = {978-3-540-74914-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apccas/2006,
  title     = {{IEEE} Asia Pacific Conference on Circuits and Systems 2006, {APCCAS}
               2006, Singapore, 4-7 December 2006},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4145316},
  isbn      = {1-4244-0387-1},
  timestamp = {Fri, 08 May 2015 15:30:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apccas/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dalt/2006,
  editor    = {Matteo Baldoni and
               Ulle Endriss},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11961536},
  doi       = {10.1007/11961536},
  isbn      = {3-540-68959-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dalt/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/edbtw/2006,
  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     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11896548},
  doi       = {10.1007/11896548},
  isbn      = {3-540-46788-2},
  timestamp = {Thu, 20 Jul 2017 09:26:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/edbtw/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscas/2006,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
               May 2006, Island of Kos, Greece},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11145},
  isbn      = {0-7803-9389-9},
  timestamp = {Fri, 20 May 2016 09:41:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/promas/2006,
  editor    = {Rafael H. Bordini and
               Mehdi Dastani and
               J{\"{u}}rgen Dix and
               Amal El Fallah{-}Seghrouchni},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71956-4},
  doi       = {10.1007/978-3-540-71956-4},
  isbn      = {978-3-540-71955-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/promas/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier