Denis Cousineau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2005–2026
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Sound Automatic Lock Placement for Concurrent Programs with Pointers. | Nicolas Waldburger, Florian Faissole, Ryo Okabe, Denis Cousineau |
| 2023 | CogSci | Dynamic Modeling of Visual Search. | Zainab Mohamed, Denis Cousineau, Samuel Harding, Richard M. Shiffrin |
| 2023 | CPP | Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. | Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial |
| 2021 | FMICS | Automated Verification of Temporal Properties of Ladder Programs. | Cludio Belo Loureno, Denis Cousineau, Florian Faissole, Claude March, David Mentr, Hiroaki Inoue |
| 2019 | CogSci | Boundaries of Creativity: Thick or Thin Organization? | Jean-Christophe Goulet-Pelletier, Denis Cousineau |
| 2019 | TAP | Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. | Eric Lavillonnire, David Mentr, Denis Cousineau |
| 2017 | IJCNN | Are recurrent associative memories good models of decision making? Modelling discrimination decisions from different perspectives. | Bradley Harding, Marc-Andre Goulet, Denis Cousineau, Sylvain Chartier |
| 2012 | CogSci | Solving nonogram puzzles by reinforcement learning. | Frdric Dandurand, Denis Cousineau, Thomas R. Shultz |
| 2012 | FM | TLA + Proofs. | Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernn Vanzetto |
| 2011 | IJCNN | A multi-state model of cortical memory. | Jean-Philippe Thivierge, Frdric Dandurand, Denis Cousineau |
| 2005 | IJCNN | Learning of an XOR problem in the presence of noise and redundancy. | Denis Cousineau |