Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jean-Chrysostome Bolot
@inproceedings{DBLP:conf/ita/GoelaB17, author = {Naveen Goela and Jean Bolot}, title = {Advances in {DNA} storage}, booktitle = {2017 Information Theory and Applications Workshop, {ITA} 2017, San Diego, CA, USA, February 12-17, 2017}, pages = {1}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ITA.2017.8023453}, doi = {10.1109/ITA.2017.8023453}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/ita/GoelaB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kdd/KoutraDBWIFB17, author = {Danai Koutra and Abhilash Dighe and Smriti Bhagat and Udi Weinsberg and Stratis Ioannidis and Christos Faloutsos and Jean Bolot}, title = {{PNP:} Fast Path Ensemble Method for Movie Design}, booktitle = {Proceedings of the 23rd {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13 - 17, 2017}, pages = {1527--1536}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3097983.3098076}, doi = {10.1145/3097983.3098076}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kdd/KoutraDBWIFB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ita/GoelaB16, author = {Naveen Goela and Jean Bolot}, title = {Encoding movies and data in {DNA} storage}, booktitle = {2016 Information Theory and Applications Workshop, {ITA} 2016, La Jolla, CA, USA, January 31 - February 5, 2016}, pages = {1}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ITA.2016.7888163}, doi = {10.1109/ITA.2016.7888163}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ita/GoelaB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KoutraDBWIFB16, author = {Danai Koutra and Abhilash Dighe and Smriti Bhagat and Udi Weinsberg and Stratis Ioannidis and Christos Faloutsos and Jean Bolot}, title = {{PNP:} Fast Path Ensemble Method for Movie Design}, journal = {CoRR}, volume = {abs/1611.02388}, year = {2016}, url = {http://arxiv.org/abs/1611.02388}, eprinttype = {arXiv}, eprint = {1611.02388}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KoutraDBWIFB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/SerrorZB13, author = {J{\'{e}}r{\'{e}}my Serror and Hui Zang and Jean{-}Chrysostome Bolot}, title = {Measurement and modeling of paging channel overloads on a cellular network}, journal = {Comput. Networks}, volume = {57}, number = {13}, pages = {2499--2513}, year = {2013}, url = {https://doi.org/10.1016/j.comnet.2013.04.011}, doi = {10.1016/J.COMNET.2013.04.011}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/SerrorZB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/BolotFMNT13, author = {Jean Bolot and Nadia Fawaz and S. Muthukrishnan and Aleksandar Nikolov and Nina Taft}, editor = {Wang{-}Chiew Tan and Giovanna Guerrini and Barbara Catania and Anastasios Gounaris}, title = {Private decayed predicate sums on streams}, booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013}, pages = {284--295}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2448496.2448530}, doi = {10.1145/2448496.2448530}, timestamp = {Fri, 07 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/BolotFMNT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/SridharanB13, author = {Ashwin Sridharan and Jean Bolot}, title = {Location patterns of mobile users: {A} large-scale tudy}, booktitle = {Proceedings of the {IEEE} {INFOCOM} 2013, Turin, Italy, April 14-19, 2013}, pages = {1007--1015}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/INFCOM.2013.6566890}, doi = {10.1109/INFCOM.2013.6566890}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/SridharanB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmobile/RanjanZZB12, author = {Gyan Ranjan and Hui Zang and Zhi{-}Li Zhang and Jean Bolot}, title = {Are call detail records biased for sampling human mobility?}, journal = {{ACM} {SIGMOBILE} Mob. Comput. Commun. Rev.}, volume = {16}, number = {3}, pages = {33--44}, year = {2012}, url = {https://doi.org/10.1145/2412096.2412101}, doi = {10.1145/2412096.2412101}, timestamp = {Mon, 20 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmobile/RanjanZZB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/icl/BaccelliMVB11, author = {Fran{\c{c}}ois Baccelli and Sridhar Machiraju and Darryl Veitch and Jean Bolot}, title = {Probing for Loss: The Case Against Probe Trains}, journal = {{IEEE} Commun. Lett.}, volume = {15}, number = {5}, pages = {590--592}, year = {2011}, url = {https://doi.org/10.1109/LCOMM.2011.030911.101495}, doi = {10.1109/LCOMM.2011.030911.101495}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/icl/BaccelliMVB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dialm/Bolot11, author = {Jean Bolot}, editor = {Augustin Chaintreau and Dariusz R. Kowalski}, title = {Mining and modeling large scale cell phone data: invited talk}, booktitle = {FOMC'11, The Seventh {ACM} {SIGACT/SIGMOBILE} International Workshop on Foundations of Mobile Computing (part of {FCRC} 2011), San Jose, CA, USA, June 9, 2011, Proceedings}, pages = {1--3}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1998476.1998477}, doi = {10.1145/1998476.1998477}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dialm/Bolot11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BaccelliB11, author = {Fran{\c{c}}ois Baccelli and Jean Bolot}, title = {Modeling the economic value of the location data of mobile users}, booktitle = {{INFOCOM} 2011. 30th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 10-15 April 2011, Shanghai, China}, pages = {1467--1475}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/INFCOM.2011.5934934}, doi = {10.1109/INFCOM.2011.5934934}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/BaccelliB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobicom/ZangB11, author = {Hui Zang and Jean Bolot}, editor = {Parmesh Ramanathan and Thyaga Nandagopal and Brian Neil Levine}, title = {Anonymization of location data does not work: a large-scale measurement study}, booktitle = {Proceedings of the 17th Annual International Conference on Mobile Computing and Networking, {MOBICOM} 2011, Las Vegas, Nevada, USA, September 19-23, 2011}, pages = {145--156}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2030613.2030630}, doi = {10.1145/2030613.2030630}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobicom/ZangB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/networking/WillkommMBW11, author = {Daniel Willkomm and Sridhar Machiraju and Jean Bolot and Adam Wolisz}, editor = {Jordi Domingo{-}Pascual and Pietro Manzoni and Sergio Palazzo and Ana Pont and Caterina M. Scoglio}, title = {The Problem of Sensing Unused Cellular Spectrum}, booktitle = {{NETWORKING} 2011 - 10th International {IFIP} {TC} 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6641}, pages = {198--212}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20798-3\_15}, doi = {10.1007/978-3-642-20798-3\_15}, timestamp = {Fri, 09 Apr 2021 18:42:28 +0200}, biburl = {https://dblp.org/rec/conf/networking/WillkommMBW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-6123, author = {Jean Bolot and Nadia Fawaz and S. Muthukrishnan and Aleksandar Nikolov and Nina Taft}, title = {Private Decayed Sum Estimation under Continual Observation}, journal = {CoRR}, volume = {abs/1108.6123}, year = {2011}, url = {http://arxiv.org/abs/1108.6123}, eprinttype = {arXiv}, eprint = {1108.6123}, timestamp = {Mon, 10 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-6123.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/ZangBB10, author = {Hui Zang and Fran{\c{c}}ois Baccelli and Jean Bolot}, title = {Bayesian Inference for Localization in Cellular Networks}, booktitle = {{INFOCOM} 2010. 29th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 15-19 March 2010, San Diego, CA, {USA}}, pages = {1963--1971}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/INFCOM.2010.5462018}, doi = {10.1109/INFCOM.2010.5462018}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/ZangBB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ccr/YeVB09, author = {Tao Ye and Darryl Veitch and Jean Bolot}, title = {Improving wireless security through network diversity}, journal = {Comput. Commun. Rev.}, volume = {39}, number = {1}, pages = {34--44}, year = {2009}, url = {https://doi.org/10.1145/1496091.1496096}, doi = {10.1145/1496091.1496096}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ccr/YeVB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cm/WillkommMBW09, author = {Daniel Willkomm and Sridhar Machiraju and Jean Bolot and Adam Wolisz}, title = {Primary user behavior in cellular networks and implications for dynamic spectrum access}, journal = {{IEEE} Commun. Mag.}, volume = {47}, number = {3}, pages = {88--95}, year = {2009}, url = {https://doi.org/10.1109/MCOM.2009.4804392}, doi = {10.1109/MCOM.2009.4804392}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cm/WillkommMBW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ton/BaccelliMVB09, author = {Fran{\c{c}}ois Baccelli and Sridhar Machiraju and Darryl Veitch and Jean Bolot}, title = {The role of {PASTA} in network measurement}, journal = {{IEEE/ACM} Trans. Netw.}, volume = {17}, number = {4}, pages = {1340--1353}, year = {2009}, url = {http://doi.acm.org/10.1145/1618562.1618587}, doi = {10.1145/1618562.1618587}, timestamp = {Wed, 23 Sep 2009 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ton/BaccelliMVB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/LelargeB09, author = {Marc Lelarge and Jean Bolot}, title = {Economic Incentives to Increase Security in the Internet: The Case for Insurance}, booktitle = {{INFOCOM} 2009. 28th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 19-25 April 2009, Rio de Janeiro, Brazil}, pages = {1494--1502}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/INFCOM.2009.5062066}, doi = {10.1109/INFCOM.2009.5062066}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/LelargeB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/09/BolotL09, author = {Jean Bolot and Marc Lelarge}, editor = {M. Eric Johnson}, title = {Cyber Insurance as an Incentivefor Internet Security}, booktitle = {Managing Information Risk and the Economics of Security}, pages = {269--290}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-09762-6\_13}, doi = {10.1007/978-0-387-09762-6\_13}, timestamp = {Thu, 16 May 2019 20:41:15 +0200}, biburl = {https://dblp.org/rec/books/sp/09/BolotL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotL08, author = {Jean{-}Chrysostome Bolot and Marc Lelarge}, title = {A New Perspective on Internet Security using Insurance}, booktitle = {{INFOCOM} 2008. 27th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, {USA}}, pages = {1948--1956}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/INFOCOM.2008.259}, doi = {10.1109/INFOCOM.2008.259}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/BolotL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kdd/SeshadriMSBFL08, author = {Mukund Seshadri and Sridhar Machiraju and Ashwin Sridharan and Jean Bolot and Christos Faloutsos and Jure Leskovec}, editor = {Ying Li and Bing Liu and Sunita Sarawagi}, title = {Mobile call graphs: beyond power-law and lognormal distributions}, booktitle = {Proceedings of the 14th {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008}, pages = {596--604}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1401890.1401963}, doi = {10.1145/1401890.1401963}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kdd/SeshadriMSBFL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/LelargeB08, author = {Marc Lelarge and Jean Bolot}, editor = {Joan Feigenbaum and Yang Richard Yang}, title = {A local mean field analysis of security investments in networks}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 2008 Workshop on Economics of Networked Systems, NetEcon 2008, Seattle, WA, USA, August 22, 2008}, pages = {25--30}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1403027.1403034}, doi = {10.1145/1403027.1403034}, timestamp = {Thu, 27 Jan 2022 17:25:25 +0100}, biburl = {https://dblp.org/rec/conf/sigcomm/LelargeB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmetrics/LelargeB08, author = {Marc Lelarge and Jean Bolot}, editor = {Zhen Liu and Vishal Misra and Prashant J. Shenoy}, title = {Network externalities and the deployment of security features and protocols in the internet}, booktitle = {Proceedings of the 2008 {ACM} {SIGMETRICS} International Conference on Measurement and Modeling of Computer Systems, {SIGMETRICS} 2008, Annapolis, MD, USA, June 2-6, 2008}, pages = {37--48}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1375457.1375463}, doi = {10.1145/1375457.1375463}, timestamp = {Fri, 30 Jul 2021 16:13:32 +0200}, biburl = {https://dblp.org/rec/conf/sigmetrics/LelargeB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/weis/BolotL08, author = {Jean Bolot and Marc Lelarge}, title = {Cyber Insurance as an Incentive for {IT} Security}, booktitle = {7th Annual Workshop on the Economics of Information Security, {WEIS} 2008, Dartmouth College, Hanover, NH, USA, June 25-28, 2008}, year = {2008}, url = {http://weis2008.econinfosec.org/papers/Lelarge.pdf}, timestamp = {Thu, 22 Jul 2021 16:15:45 +0200}, biburl = {https://dblp.org/rec/conf/weis/BolotL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wmcsa/MachirajuCB08, author = {Sridhar Machiraju and Hao Chen and Jean Bolot}, editor = {Mirjana Spasojevic and Mark D. Corner}, title = {Distributed authentication for low-cost wireless networks}, booktitle = {Proceedings of the 9th Workshop on Mobile Computing Systems and Applications, HotMobile 2008, Napa Valley, California, USA, February 25-26, 2008}, pages = {55--59}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411759.1411774}, doi = {10.1145/1411759.1411774}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wmcsa/MachirajuCB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0803-3455, author = {Marc Lelarge and Jean Bolot}, title = {A Local Mean Field Analysis of Security Investments in Networks}, journal = {CoRR}, volume = {abs/0803.3455}, year = {2008}, url = {http://arxiv.org/abs/0803.3455}, eprinttype = {arXiv}, eprint = {0803.3455}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0803-3455.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ccr/MachirajuVBB07, author = {Sridhar Machiraju and Darryl Veitch and Fran{\c{c}}ois Baccelli and Jean Bolot}, title = {Adding definition to active probing}, journal = {Comput. Commun. Rev.}, volume = {37}, number = {2}, pages = {17--28}, year = {2007}, url = {https://doi.org/10.1145/1232919.1232922}, doi = {10.1145/1232919.1232922}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ccr/MachirajuVBB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imc/BaccelliMVB07, author = {Fran{\c{c}}ois Baccelli and Sridhar Machiraju and Darryl Veitch and Jean Bolot}, editor = {Constantine Dovrolis and Matthew Roughan}, title = {On optimal probing for delay and loss measurement}, booktitle = {Proceedings of the 7th {ACM} {SIGCOMM} Internet Measurement Conference, {IMC} 2007, San Diego, California, USA, October 24-26, 2007}, pages = {291--302}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1298306.1298346}, doi = {10.1145/1298306.1298346}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/imc/BaccelliMVB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobicom/ZangB07, author = {Hui Zang and Jean Bolot}, editor = {Evangelos Kranakis and Jennifer C. Hou and Ram Ramanathan}, title = {Mining call and mobility data to improve paging efficiency in cellular networks}, booktitle = {Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, {MOBICOM} 2007, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, September 9-14, 2007}, pages = {123--134}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1287853.1287868}, doi = {10.1145/1287853.1287868}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobicom/ZangB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imc/RibeiroTYB06, author = {Bruno F. Ribeiro and Donald F. Towsley and Tao Ye and Jean Bolot}, editor = {Jussara M. Almeida and Virg{\'{\i}}lio A. F. Almeida and Paul Barford}, title = {Fisher information of sampled packets: an application to flow size estimation}, booktitle = {Proceedings of the 6th {ACM} {SIGCOMM} Internet Measurement Conference, {IMC} 2006, Rio de Janeriro, Brazil, October 25-27, 2006}, pages = {15--26}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1177080.1177083}, doi = {10.1145/1177080.1177083}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/imc/RibeiroTYB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/BaccelliMVB06, author = {Fran{\c{c}}ois Baccelli and Sridhar Machiraju and Darryl Veitch and Jean Bolot}, editor = {Luigi Rizzo and Thomas E. Anderson and Nick McKeown}, title = {The role of {PASTA} in network measurement}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006}, pages = {231--242}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159913.1159940}, doi = {10.1145/1159913.1159940}, timestamp = {Wed, 21 Jul 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/sigcomm/BaccelliMVB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ws/SerrorZB06, author = {J{\'{e}}r{\'{e}}my Serror and Hui Zang and Jean{-}Chrysostome Bolot}, editor = {Radha Poovendran and Ari Juels}, title = {Impact of paging channel overloads or attacks on a cellular network}, booktitle = {Proceedings of the 2006 {ACM} Workshop on Wireless Security, Los Angeles, California, USA, September 29, 2006}, pages = {75--84}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1161289.1161304}, doi = {10.1145/1161289.1161304}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ws/SerrorZB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imc/LiuTYB05, author = {Yong Liu and Donald F. Towsley and Tao Ye and Jean{-}Chrysostome Bolot}, title = {An Information-theoretic Approach to Network Monitoring and Measurement}, booktitle = {Proceedings of the 5th Internet Measurement Conference, {IMC} 2005, Berkeley, California, USA, October 19-21, 2005}, pages = {159--172}, publisher = {{USENIX} Association}, year = {2005}, url = {http://www.usenix.org/events/imc05/tech/liu\_yong.html}, timestamp = {Mon, 09 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/imc/LiuTYB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmetrics/MachirajuVBNB05, author = {Sridhar Machiraju and Darryl Veitch and Fran{\c{c}}ois Baccelli and Antonio Nucci and Jean Bolot}, editor = {Derek L. Eager and Carey L. Williamson and Sem C. Borst and John C. S. Lui}, title = {Theory and practice of cross-traffic estimation}, booktitle = {Proceedings of the International Conference on Measurements and Modeling of Computer Systems, {SIGMETRICS} 2005, June 6-10, 2005, Banff, Alberta, Canada}, pages = {400--401}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1064212.1064274}, doi = {10.1145/1064212.1064274}, timestamp = {Fri, 30 Jul 2021 16:13:32 +0200}, biburl = {https://dblp.org/rec/conf/sigmetrics/MachirajuVBNB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/GrossglauserB00, author = {Matthias Grossglauser and Jean{-}Chrysostome Bolot}, title = {On Service Models for Multicast Transmission in Heterogeneous Environments}, booktitle = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Reaching the Promised Land of Communications, Tel Aviv, Israel, March 26-30, 2000}, pages = {71--80}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/INFCOM.2000.832175}, doi = {10.1109/INFCOM.2000.832175}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/GrossglauserB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BonaldMB00, author = {Thomas Bonald and Martin May and Jean{-}Chrysostome Bolot}, title = {Analytic Evaluation of {RED} Performance}, booktitle = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Reaching the Promised Land of Communications, Tel Aviv, Israel, March 26-30, 2000}, pages = {1415--1424}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/INFCOM.2000.832539}, doi = {10.1109/INFCOM.2000.832539}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/BonaldMB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ton/GrossglauserB99, author = {Matthias Grossglauser and Jean{-}Chrysostome Bolot}, title = {On the relevance of long-range dependence in network traffic}, journal = {{IEEE/ACM} Trans. Netw.}, volume = {7}, number = {5}, pages = {629--640}, year = {1999}, url = {https://doi.org/10.1109/90.803379}, doi = {10.1109/90.803379}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ton/GrossglauserB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/MayBJD99, author = {Martin May and Jean{-}Chrysostome Bolot and Alain Jean{-}Marie and Christophe Diot}, title = {Simple Performance Models of Differentiated Services Schemes for the Internet}, booktitle = {Proceedings {IEEE} {INFOCOM} '99, The Conference on Computer Communications, Eighteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, The Future Is Now, New York, NY, USA, March 21-25, 1999}, pages = {1385--1394}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/INFCOM.1999.752158}, doi = {10.1109/INFCOM.1999.752158}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/MayBJD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotFT99, author = {Jean{-}Chrysostome Bolot and Sacha Fosse{-}Parisis and Donald F. Towsley}, title = {Adaptive FEC-Based Error Control for Internet Telephony}, booktitle = {Proceedings {IEEE} {INFOCOM} '99, The Conference on Computer Communications, Eighteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, The Future Is Now, New York, NY, USA, March 21-25, 1999}, pages = {1453--1460}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/INFCOM.1999.752166}, doi = {10.1109/INFCOM.1999.752166}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infocom/BolotFT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ccr/BolotT98, author = {Jean{-}Chrysostome Bolot and Thierry Turletti}, title = {Experience with control mechanisms for packet video in the internet}, journal = {Comput. Commun. Rev.}, volume = {28}, number = {1}, pages = {4--15}, year = {1998}, url = {https://doi.org/10.1145/280549.280551}, doi = {10.1145/280549.280551}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ccr/BolotT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotF98, author = {Jean{-}Chrysostome Bolot and Sacha Fosse{-}Parisis}, title = {Adding Voice to a Distributed Game on the Internet}, booktitle = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29 - April 2, 1998}, pages = {480--487}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/INFCOM.1998.665065}, doi = {10.1109/INFCOM.1998.665065}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/BolotF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rfc/rfc2198, author = {Colin Perkins and Isidor Kouvelas and Orion Hodson and Vicky Hardman and Mark Handley and Jean{-}Chrysostome Bolot and Andr{\'{e}}s Vega{-}Garc{\'{\i}}a and Sacha Fosse{-}Parisis}, title = {{RTP} Payload for Redundant Audio Data}, journal = {{RFC}}, volume = {2198}, pages = {1--11}, year = {1997}, url = {https://doi.org/10.17487/RFC2198}, doi = {10.17487/RFC2198}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rfc/rfc2198.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/Bolot96, author = {Jean{-}Chrysostome Bolot}, title = {Cost-Quality Tradeoffs in the Internet}, journal = {Comput. Networks {ISDN} Syst.}, volume = {28}, number = {5}, pages = {645--651}, year = {1996}, url = {https://doi.org/10.1016/0169-7552(96)88648-X}, doi = {10.1016/0169-7552(96)88648-X}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cn/Bolot96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/BolotH96, author = {Jean{-}Chrysostome Bolot and Philipp Hoschka}, title = {Performance Engineering of the World Wide Web: Application to Dimensioning and Cache Design}, journal = {Comput. Networks}, volume = {28}, number = {7-11}, pages = {1397--1405}, year = {1996}, url = {https://doi.org/10.1016/0169-7552(96)00073-6}, doi = {10.1016/0169-7552(96)00073-6}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/BolotH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/wwwj/BolotH96, author = {Jean{-}Chrysostome Bolot and Philipp Hoschka}, title = {Performance Engineering of the World Wide Web}, journal = {World Wide Web J.}, volume = {1}, number = {3}, year = {1996}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/wwwj/BolotH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/Bolot96, author = {Jean{-}Chrysostome Bolot}, editor = {Joxan Jaffar and Roland H. C. Yap}, title = {End-to-End Behavior to the INternet: Measurements, Analysis, and Applications}, booktitle = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, {ASIAN} '96, Singapore, December 2-5, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1179}, pages = {362--376}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0027820}, doi = {10.1007/BFB0027820}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/Bolot96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icip/BolotT96, author = {Jean{-}Chrysostome Bolot and Thierry Turletti}, title = {Adaptive error control for packet video in the Internet}, booktitle = {Proceedings 1996 International Conference on Image Processing, Lausanne, Switzerland, September 16-19, 1996}, pages = {25--28}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/ICIP.1996.559424}, doi = {10.1109/ICIP.1996.559424}, timestamp = {Fri, 13 Aug 2021 09:26:01 +0200}, biburl = {https://dblp.org/rec/conf/icip/BolotT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotV96, author = {Jean{-}Chrysostome Bolot and Andr{\'{e}}s Vega{-}Garc{\'{\i}}a}, title = {Control Mechanisms for Packet Audio in the Internet}, booktitle = {Proceedings {IEEE} {INFOCOM} '96, The Conference on Computer Communications, Fifteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Networking the Next Generation, San Francisco, CA, USA, March 24-28, 1996}, pages = {232--239}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/INFCOM.1996.497898}, doi = {10.1109/INFCOM.1996.497898}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/BolotV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/GrossglauserB96, author = {Matthias Grossglauser and Jean{-}Chrysostome Bolot}, editor = {Deborah Estrin and Sally Floyd and Craig Partridge and Martha Steenstrup}, title = {On the Relevance of Long-Range Dependence in Network Traffic}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 1996 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Stanford, CA, USA, August 26-30, 1996}, pages = {15--24}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/248156.248159}, doi = {10.1145/248156.248159}, timestamp = {Wed, 21 Jul 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/sigcomm/GrossglauserB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcom/BolotS95, author = {Jean{-}Chrysostome Bolot and A. Udaya Shankar}, title = {Optimal least-squares approximations to the transient behavior of the stable {M/M/1} queue}, journal = {{IEEE} Trans. Commun.}, volume = {43}, number = {2/3/4}, pages = {1293--1298}, year = {1995}, url = {https://doi.org/10.1109/26.380172}, doi = {10.1109/26.380172}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcom/BolotS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nossdav/BolotCG95, author = {Jean{-}Chrysostome Bolot and Hugues Cr{\'{e}}pin and Andr{\'{e}}s Vega{-}Garc{\'{\i}}a}, editor = {Thomas D. C. Little and Riccardo Gusella}, title = {Analysis of Audio Packet Loss in the Internet}, booktitle = {Network and Operating System Support for Digital Audio and Video, 5th International Workshop, {NOSSDAV} '95, Durham, New Hampshire, USA, April 19-21, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1018}, pages = {154--165}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0019264}, doi = {10.1007/BFB0019264}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/nossdav/BolotCG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotT94, author = {Jean{-}Chrysostome Bolot and Thierry Turletti}, title = {A Rate Control Mechanism for Packet Video in the Internet}, booktitle = {Proceedings {IEEE} {INFOCOM} '94, The Conference on Computer Communications, Thirteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Networking for Global Communications, Toronto, Ontario, Canada, June 12-16, 1994}, pages = {1216--1223}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/INFCOM.1994.337568}, doi = {10.1109/INFCOM.1994.337568}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/BolotT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/BolotTW94, author = {Jean{-}Chrysostome Bolot and Thierry Turletti and Ian Wakeman}, editor = {Jon Crowcroft}, title = {Scalable Feedback Control for Multicast Video Distribution in the Internet}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31 - September 2, 1994}, pages = {58--67}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/190314.190320}, doi = {10.1145/190314.190320}, timestamp = {Wed, 21 Jul 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/sigcomm/BolotTW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ulpaa/AfifiB94, author = {Hossam Afifi and Jean{-}Chrysostome Bolot}, editor = {Manuel Medina and Nathaniel S. Borenstein}, title = {Using Cache Partitioning in {X.500} for Faster Name Resolution in {X.400}}, booktitle = {Upper Layer Protocols, Architectures and Applications, Proceedings of the {IFIP} {TC6/WG6.5} International Conference on Upper Layer Protocols, Architectures and Applications, Barcelona, Spain, 1-3 June, 1994}, series = {{IFIP} Transactions}, volume = {{C-25}}, pages = {327--340}, publisher = {Elsevier}, year = {1994}, timestamp = {Thu, 10 Jan 2002 15:44:44 +0100}, biburl = {https://dblp.org/rec/conf/ulpaa/AfifiB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jhsn/Bolot93, author = {Jean{-}Chrysostome Bolot}, title = {Characterizing End-to-End Packet Delay and Loss in the Internet}, journal = {J. High Speed Networks}, volume = {2}, number = {3}, pages = {305--323}, year = {1993}, url = {https://doi.org/10.3233/JHS-1993-2307}, doi = {10.3233/JHS-1993-2307}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jhsn/Bolot93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcsp/AltmanBB93, author = {Eitan Altman and Fran{\c{c}}ois Baccelli and Jean{-}Chrysostome Bolot}, editor = {Harry G. Perros and Yannis Viniotis}, title = {Discrete-Time Analysis of Adaptive Rate Control Mechanisms}, booktitle = {High Speed Networks and Their Performance, Proceedings of the {IFIP} {TC6} Task Force/WG6.4 Fifth International Conference on Data Communication Systems and their Performance, Raleigh, NC, USA, 26-28 October, 1993}, series = {{IFIP} Transactions}, volume = {{C-21}}, pages = {121--140}, publisher = {North-Holland}, year = {1993}, timestamp = {Thu, 10 Jan 2002 09:45:35 +0100}, biburl = {https://dblp.org/rec/conf/dcsp/AltmanBB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/BolotA93, author = {Jean{-}Chrysostome Bolot and Hossam Afifi}, title = {Evaluating Caching Schemes for the {X.500} Directory System}, booktitle = {Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, Pennsylvania, USA, May 25-28, 1993}, pages = {112--119}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/ICDCS.1993.287717}, doi = {10.1109/ICDCS.1993.287717}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/BolotA93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/Bolot93, author = {Jean{-}Chrysostome Bolot}, editor = {Imrich Chlamtac}, title = {End-to-End Packet Delay and Loss Behavior in the Internet}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 1993 Conference on Communications Architectures, Protocols and Applications, San Francisco, CA, USA, September 13-17, 1993}, pages = {289--298}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/166237.166265}, doi = {10.1145/166237.166265}, timestamp = {Wed, 21 Jul 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/sigcomm/Bolot93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BolotS92, author = {Jean{-}Chrysostome Bolot and A. Udaya Shankar}, title = {Analysis of a Fluid Approximation to Flow Control Dynamics}, booktitle = {Proceedings {IEEE} {INFOCOM} '92, The Conference on Computer Communications, Eleventh Annual Joint Conference of the {IEEE} Computer and Communications Societies, One World through Communications, Florence, Italy, May 4-8, 1992}, pages = {2398--2407}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/INFCOM.1992.263530}, doi = {10.1109/INFCOM.1992.263530}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/BolotS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ccr/BolotS90, author = {Jean{-}Chrysostome Bolot and A. Udaya Shankar}, title = {Dynamical behavior of rate-based flow control mechanisms}, journal = {Comput. Commun. Rev.}, volume = {20}, number = {2}, pages = {35--49}, year = {1990}, url = {https://doi.org/10.1145/378570.378633}, doi = {10.1145/378570.378633}, timestamp = {Wed, 21 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ccr/BolotS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BolotJ90, author = {Jean{-}Chrysostome Bolot and Pankaj Jalote}, title = {Functional Semantics of Programs with Exceptions}, journal = {Comput. Lang.}, volume = {15}, number = {4}, pages = {251--265}, year = {1990}, url = {https://doi.org/10.1016/0096-0551(90)90023-I}, doi = {10.1016/0096-0551(90)90023-I}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/BolotJ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pe/BolotSP90, author = {Jean{-}Chrysostome Bolot and A. Udaya Shankar and Brigitte Plateau}, title = {Performance Analysis of Transport Protocols over Congestive Channels}, journal = {Perform. Evaluation}, volume = {11}, number = {1}, pages = {45--65}, year = {1990}, url = {https://doi.org/10.1016/0166-5316(90)90026-F}, doi = {10.1016/0166-5316(90)90026-F}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/BolotSP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftcs/BolotJ89, author = {Jean{-}Chrysostome Bolot and Pankaj Jalote}, title = {Formal verification of programs with exceptions}, booktitle = {Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, {FTCS} 1989, Chicago, IL, USA, 21-23 June, 1989}, pages = {283--290}, publisher = {{IEEE} Computer Society}, year = {1989}, url = {https://doi.org/10.1109/FTCS.1989.105580}, doi = {10.1109/FTCS.1989.105580}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/ftcs/BolotJ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.