Skip to Main content Skip to Navigation
Help


...
hal-00870191v1  Journal articles
Ngoc DuongEmmanuel VincentRémi Gribonval. Spatial location priors for Gaussian model based reverberant audio source separation
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2013, 2013 (1), pp.149. ⟨10.1186/1687-6180-2013-149⟩
...
hal-00742687v1  Journal articles
Jonathan Le RouxEmmanuel Vincent. Consistent Wiener filtering for audio source separation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2013, 20 (3), pp.217-220. ⟨10.1109/LSP.2012.2225617⟩
...
hal-00803886v1  Journal articles
Stanislaw RaczynskiEmmanuel VincentShigeki Sagayama. Dynamic Bayesian networks for symbolic polyphonic pitch modeling
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013, 21 (9), pp.1830-1840
hal-00876128v1  Journal articles
Stanislaw RaczynskiSatoru FukayamaEmmanuel Vincent. Melody harmonisation with interpolated probabilistic models
Journal of New Music Research, Taylor & Francis (Routledge), 2013, 42 (3), pp.223-235. ⟨10.1080/09298215.2013.822000⟩
...
hal-00934941v1  Journal articles
Alexis BenichouxLaurent S. R. SimonEmmanuel VincentRémi Gribonval. Convex regularizations for the simultaneous recording of room impulse responses
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2014, ⟨10.1109/TSP.2014.2303431⟩
...
hal-00804567v2  Journal articles
Stanislaw RaczynskiEmmanuel Vincent. Genre-based music language modelling with latent hierarchical Pitman-Yor process allocation
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2014, 22 (3), pp.672-681
...
hal-00922378v1  Journal articles
Emmanuel VincentNancy BertinRémi GribonvalFrédéric Bimbot. From blind to guided audio source separation: How models and side information can improve the separation of sound
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2014, 31 (3), pp.107-115
...
hal-01070298v4  Journal articles
Nathan Souviraà-LabastieAnaik OliveroEmmanuel VincentFrédéric Bimbot. Multi-channel audio source separation using multiple deformed references
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2015, 23 (11), pp.1775-1787. ⟨10.1109/taslp.2015.2450494⟩
...
hal-01403210v1  Journal articles
Gabriel SargentFrédéric BimbotEmmanuel Vincent. Estimating the structural segmentation of popular music pieces under regularity constraints
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2017, ⟨10.1109/TASLP.2016.2635031⟩
...
hal-01593216v1  Journal articles
Nabil HallouErven RohouPhilippe Clauss. Runtime Vectorization Transformations of Binary Code
International Journal of Parallel Programming, Springer Verlag, 2017, 8 (6), pp.1536 - 1565. ⟨10.1007/s10766-016-0480-z⟩
...
hal-02268400v1  Journal articles
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, In press, 21 (1), ⟨10.1145/3343507⟩
hal-02368832v1  Journal articles
Lucca HirschiDavid BaeldeStéphanie Delaune. A method for unbounded verification of privacy-type properties
Journal of Computer Security, IOS Press, 2019, 27 (3), pp.277-342. ⟨10.3233/JCS-171070⟩