BibTeX records: Pierre Rousseau

download as .bib file

@inproceedings{DBLP:conf/iscc/ChateauRACPP14,
  author       = {Johan Chateau and
                  Pierre Rousseau and
                  Gregory Albiston and
                  Beverley Cook and
                  Stylianos Papanastasiou and
                  Evtim Peytchev},
  title        = {Implementation and evaluation of particle filtering for indoor positioning},
  booktitle    = {{IEEE} Symposium on Computers and Communications, {ISCC} 2014, Funchal,
                  Madeira, Portugal, June 23-26, 2014},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISCC.2014.6912587},
  doi          = {10.1109/ISCC.2014.6912587},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/ChateauRACPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jgtools/RousseauJG08,
  author       = {Pierre Rousseau and
                  Vincent Jolivet and
                  Djamchid Ghazanfarpour},
  title        = {{GPU} Rainfall},
  journal      = {J. Graph. Tools},
  volume       = {13},
  number       = {4},
  pages        = {17--33},
  year         = {2008},
  url          = {https://doi.org/10.1080/2151237X.2008.10129270},
  doi          = {10.1080/2151237X.2008.10129270},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgtools/RousseauJG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/PajaultPR08,
  author       = {Christophe Pajault and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  Pierre Rousseau},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Keiichi Yasumoto and
                  Khaled El{-}Fakih},
  title        = {Adapting Petri Nets Reductions to Promela Specifications},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
                  June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5048},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68855-6\_6},
  doi          = {10.1007/978-3-540-68855-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PajaultPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/securware/MelchorCGJR08,
  author       = {Carlos Aguilar Melchor and
                  Beno{\^{\i}}t Crespin and
                  Philippe Gaborit and
                  Vincent Jolivet and
                  Pierre Rousseau},
  editor       = {Andr{\'{e}} Cotton and
                  Oana Dini and
                  Antonio Fernandez G{\'{o}}mez{-}Skarmeta and
                  Mihaela Ion and
                  Manuela Popescu and
                  Masaru Takesue},
  title        = {High-Speed Private Information Retrieval Computation on {GPU}},
  booktitle    = {Proceedings of the Second International Conference on Emerging Security
                  Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
                  2008, Cap Esterel, France},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SECURWARE.2008.55},
  doi          = {10.1109/SECURWARE.2008.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/securware/MelchorCGJR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cg/RousseauJG06,
  author       = {Pierre Rousseau and
                  Vincent Jolivet and
                  Djamchid Ghazanfarpour},
  title        = {Realistic real-time rain rendering},
  journal      = {Comput. Graph.},
  volume       = {30},
  number       = {4},
  pages        = {507--518},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.cag.2006.03.013},
  doi          = {10.1016/J.CAG.2006.03.013},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cg/RousseauJG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Rousseau06,
  author       = {Pierre Rousseau},
  editor       = {Elie Najm and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  V{\'{e}}ronique Donzeau{-}Gouge},
  title        = {A New Approach for Concurrent Program Slicing},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
                  September 26-29, 2006},
  series       = {Lecture Notes in Computer Science},
  volume       = {4229},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11888116\_18},
  doi          = {10.1007/11888116\_18},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Rousseau06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/EvangelistaKPPR05,
  author       = {Sami Evangelista and
                  Claude Kaiser and
                  Christophe Pajault and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  Pierre Rousseau},
  editor       = {Tullio Vardanega and
                  Andy J. Wellings},
  title        = {Dynamic Tasks Verification with Quasar},
  booktitle    = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
                  Conference on Reliable Software Technologies, York, UK, June 20-24,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3555},
  pages        = {91--104},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499909\_8},
  doi          = {10.1007/11499909\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/EvangelistaKPPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/EvangelistaKPR03,
  author       = {Sami Evangelista and
                  Claude Kaiser and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  Pierre Rousseau},
  editor       = {Jean{-}Pierre Rosen and
                  Alfred Strohmeier},
  title        = {Quasar: {A} New Tool for Concurrent Ada Programs Analysis},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
                  Conference on Reliable Software Technologies, Toulouse, France, June
                  16-20, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2655},
  pages        = {168--181},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44947-7\_12},
  doi          = {10.1007/3-540-44947-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/EvangelistaKPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/EvangelistaKPR03,
  author       = {Sami Evangelista and
                  Claude Kaiser and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
                  Pierre Rousseau},
  editor       = {Robert C. Leif and
                  Ricky E. Sward},
  title        = {Verifying linear time temporal logic properties of concurrent Ada
                  programs with quasar},
  booktitle    = {Proceedings of the 2003 Annual {ACM} SIGAda International Conference
                  on Ada: The Engineering of Correct and Reliable Software for Real-Time
                  {\&} Distributed Systems using Ada and Related Technologies 2003,
                  San Diego, CA, USA, December 7-11, 2003},
  pages        = {17--24},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/958420.958424},
  doi          = {10.1145/958420.958424},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/EvangelistaKPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.