Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pierre Rousseau
@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} }
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.