|
Title
|
Authors
|
Published in
|
Date
|
fahrenberg.23.alguniv
|
Catoids and Modal Convolution Algebras
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
Algebra Universalis
|
5 March 2023
|
boutry.23.jmiv
|
Discrete Morse Functions and Watersheds
|
Gilles Bertrand, Nicolas Boutry, Laurent Najman
|
Journal of Mathematical Imaging and Vision (Special Edition)
|
1 January 2023
|
iferroudjene.22.dami
|
Methods for Explaining Top-N Recommendations Through Subgroup Discovery
|
Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin
|
Data Mining and Knowledge Discovery
|
10 December 2022
|
renault.22.sttt
|
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)
|
Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau
|
International Journal on Software Tools for Technology Transfer (STTT)
|
9 December 2022
|
kheireddine.22.constraints
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Constraints
|
9 December 2022
|
abate.22.lites
|
Introduction to the Special Issue on Distributed Hybrid Systems
|
Alessandro Abate, Uli Fahrenberg, FränzleMartin
|
Leibniz Transactions on Embedded Systems
|
8 December 2022
|
fahrenberg.22.lites
|
Higher-Dimensional Timed and Hybrid Automata
|
Uli Fahrenberg
|
Leibniz Transactions on Embedded Systems
|
8 December 2022
|
movn.22.pr
|
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images
|
Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud
|
Pattern Recognition
|
3 December 2022
|
fahrenberg.22.scp
|
Featured Games
|
Uli Fahrenberg, Axel Legay
|
Science of Computer Programming
|
1 November 2022
|
veyrin-forrer.22.dke
|
In Pursuit of the Hidden Features of GNN's Internal Representations
|
Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet
|
Data & Knowledge Engineering
|
26 October 2022
|
veyrin-forrer.22.dami
|
On GNN Explainability with Activation Rules
|
Luca Veyrin-Forrer, Ataollah Kamal, Marc Plantevit, Céline Robardet, DuffnerStefan
|
Data Mining and Knowledge Discovery
|
20 October 2022
|
moranges.22.taffc
|
Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions
|
Maelle Moranges, Marc Plantevit, Moustafa Bensafi
|
IEEE Transactions on Affective Computing
|
24 July 2022
|
droste.22.iandc
|
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
|
Manfred Droste, Sven Dziadek, Werner Kuich
|
Information and Computation
|
30 June 2022
|
fahrenberg.22.iandc
|
Posets With Interfaces as a Model for Concurrency
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
Information and Computation
|
30 June 2022
|
boutry.22.jmiv.2
|
Some Equivalence Relation between Persistent Homology and Morphological Dynamics
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
17 May 2022
|
hermary.22.jmiv
|
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers
|
Romain Hermary, Guillaume Tochon, Élodie Puybareau, Alexandre Kirszenberg, Jesús Angulo
|
Journal of Mathematical Imaging and Vision
|
4 April 2022
|
shi.21.itip
|
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation
|
Tianyi Shi, Nicolas Boutry, Yongchao Xu, Thierry Géraud
|
IEEE Transactions on Image Processing
|
22 March 2022
|
tschora.22.apen
|
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning
|
Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet
|
Applied Energy
|
10 March 2022
|
blin.22.tpds
|
Max-Tree Computation on GPUs
|
Nicolas Blin, Edwin Carlinet, Florian Lemaitre, Lionel Lacassagne, Thierry Géraud
|
IEEE Transactions on Parallel and Distributed Systems
|
9 March 2022
|
mehta.22.melba
|
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results
|
Raghav Mehta, Angelos Filos, Ujjwal Baid, Chiharu Sako, Richard McKinley, Michael Rebsamen, Katrin Dätwyler, Raphael Meier, Piotr Radojewski, Gowtham Krishnan Murugesan, Sahil Nalawade, Chandan Ganesh, Ben Wagner, YuFang F., Baowei Fei, Ananth J Madhuranthakam, Joseph A Maldjian, Laura Daza, GómezCatalina, Pablo Arbeláez, Chengliang Dai, Shuo Wang, Hadrien Reynaud, Yuanhan Mo, Elsa Angelini, Yike Guo, Wenjia Bai, BanerjeeSubhashis, Linmin Pei, Murat AK, Sarahi Rosas-González, Ilyess Zemmoura, Clovis Tauber, Minh Hoang Vu, Tufve Nyholm, Tommy Löfstedt, Laura Mora Ballestar, Veronica Vilaplana, Hugh McHugh, Gonzalo Maso Talou, Alan Wang, Jay Patel, Ken Chang, Katharina Hoebel, Mishka Gidwani, Nishanth Arun, Sharut Gupta, Mehak Aggarwal, Praveer Singh, Elizabeth R Gerstner, Jayashree Kalpathy-Cramer, Nicolas Boutry, Alexis Huard, VidyaratneLasitha, Md Monibor Rahman, Khan M Iftekharuddin, Joseph Chazalon, Elodie Puybareau, TochonGuillaume, Jun Ma, Mariano Cabezas, LladoXavier, Arnau Oliver, Liliana Valencia, Sergi Valverde, Mehdi Amian, SoltaninejadMohammadreza, Andriy Myronenko, Ali Hatamizadeh, Xue Feng, Quan Dou, Nicholas Tustison, MeyerCraig, Nisarg A Shah, Sanjay Talbar, WeberMarc-André, Abhishek Mahajan, Andras Jakab, Roland Wiest, Hassan M Fathallah-Shaykh, Arash Nazeri, Mikhail Milchenko, Daniel Marcus, Aikaterini Kotrotsou, Rivka Colen, John Freymann, Justin Kirby, Christos Davatzikos, MenzeBjoern, Spyridon Bakas, Yarin Gal, Tal Arbel
|
Journal of Machine Learning for Biomedical Imaging (MELBA)
|
9 January 2022
|
maldonado-ruiz.22.ieee
|
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
IEEE Access
|
1 January 2022
|
beaudoin.22.eit
|
How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education
|
Laurent Beaudoin, Loïca Avanthey
|
|
1 January 2022
|
avanthey.22.rs
|
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions
|
Loïca Avanthey, Laurent Beaudoin
|
Remote Sensing
|
1 January 2022
|
beaudoin.22.jmse
|
Automatically Guided Selection of a Set of Underwater Calibration Images
|
Laurent Beaudoin, Loïca Avanthey, Charles Villard, BunelCorentin
|
|
1 January 2022
|
randrianasoa.21.softx
|
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation
|
Jimmy Francky Randrianasoa, Camille Kurtz, Éric Desjardin, Nicolas Passat
|
SoftwareX
|
17 December 2021
|
boutry.21.joco
|
Strong Euler Wellcomposedness
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago
|
Journal of Combinatorial Optimization
|
23 November 2021
|
boutry.21.jmiv
|
Continuous Well-Composedness implies Digital Well-Composedness in n-D
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
9 November 2021
|
sekuboyina.21.media
|
VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images
|
Anjany Sekuboyina, Malek E Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li, Giles Tetteh, Jan Kukačka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, Daguang Xu, and Felix Ambellan, Tamaz Amiranashvili, Moritz Ehlke, Hans Lamecker, Sebastian Lehnert, Marilia Lirio, Nicolás Pérez de Olaguer, Heiko Ramm, Manish Sahu, Alexander Tack, Stefan Zachow, Tao Jiang, Xinjun Ma, Christoph Angerman, Xin Wang, Kevin Brown, Matthias Wolf, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Houa, Zhiqiang He, Chan Zeng, Zheng Xiangshang, Xu Liming, Tucker J Netherton, Raymond P Mumme, Laurence E Court, Zixun Huang, Chenhang He, Li-Wen Wang, Sai Ho Ling, Lê Duy Huỳnh, Nicolas Boutry, Roman Jakubicek, Jiri Chmelik, Supriti Mulay, Mohanasankar Sivaprakasam, Johannes C Paetzold, Suprosanna Shit, Ivan Ezhov, Benedikt Wiestler, Ben Glocker, Alexander Valentinitsch, Markus Rempfler, Björn H Menze, Jan S Kirschke
|
Medical Image Analysis
|
22 July 2021
|
boutry.21.media
|
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy
|
Sharib Ali, Mariia Dmitrieva, Noha Ghatwary, Sophia Bano, Gorkem Polat, Alptekin Temizel, Adrian Krenzer, Amar Hekalo, Yun Bo Guo, Bogdan Matuszewski, Mourad Gridach, Irina Voiculescu, Vishnusai Yoganand, Arnav Chavan, Aryan Raj, Nhan T Nguyen, Dat Q Tran, Le Duy Huynh, Nicolas Boutry, Shahadate Rezvy, Haijian Chen, Yoon Ho Choi, Anand Subramanian, Velmurugan Balasubramanian, Xiaohong W Gao, Hongyu Hu, Yusheng Liao, Danail Stoyanov, Christian Daul, Stefano Realdon, Renato Cannizzaro, Dominique Lamarque, Terry Tran-Nguyen, Adam Bailey, Barbara Braden, James East, Jens Rittscher
|
Medical Image Analysis
|
24 February 2021
|
christian.21.cs
|
A blockchain-based certificate revocation management and status verification system
|
Yves Christian Elloh Adja, Badis Hammi, Ahmed Serhrouchni, Sherali Zeadally
|
Computers & Security
|
1 January 2021
|
hammi.21.ieee
|
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams
|
Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen
|
IEEE Transactions on Engineering Management
|
1 January 2021
|
kim.20.media
|
PAIP 2019: Liver Cancer Segmentation Challenge
|
Yoo Jung Kim, Hyungjoon Jang, Kyoungbun Lee, Seongkeun Park, Sung-Gyu Min, Choyeon Hong, Jeong Hwan Park, Kanggeun Lee, Jisoo Kim, Wonjae Hong, Hyun Jung, Yanling Liu, Haran Rajkumar, Mahendra Khened, Ganapathy Krishnamurthi, Sen Yang, Xiyue Wang, Chang Hee Han, Jin Tae Kwak, Jianqiang Ma, Zhe Tang, Bahram Marami, Jack Zeineh, Zixu Zhao, Pheng-Ann Heng, Rudiger Schmitz, Frederic Madesta, Thomas Rosch, Rene Werner, Jie Tian, Matteo Bovio, Xiufeng Zhang, Yifeng Zhu, Se Young Chun, Won-Ki Jeong, Peom Park, Jinwook Choi, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
xiong.20.media
|
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging
|
Zhaohan Xiong, Qing Xia, Zhiqiang Hu, Ning Huang, Cheng Bian, Yefeng Zheng, Sulaiman Vesal, Nishant Ravikumar, Andreas Maier, Xin Yang, Pheng-Ann Heng, Dong Ni, Caizi Li, Qianqian Tong, Weixin Si, Younes Khoudli, Thierry Géraud, Chen Chen, Wenjia Bai, Daniel Rueckert, Lingchao Xu, Xiahai Zhuang, Xinzhe Luo, Shuman Jia, Maxime Sermesant, Yashu Liu, Kuanquan Wang, Davide Borra, Alessandro Masci, Cristiana Corsi, Coen de Vente, Mitko Veta, Rashed Karim, Chandrakanth Jayachandran Preetha, Sandy Engelhardt, Menyun Qiao, Yuanyuan Wang, Qian Tao, Marta Nunez-Garcia, Oscar Camara, Nicolo Savioli, Pablo Lamata, Jichao Zhao, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
boutry.20.jmiv.2
|
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
boutry.20.jmiv.1
|
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
movn.20.cviu
|
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation
|
Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud
|
Computer Vision and Image Understanding
|
2 June 2020
|
renault.20.isse
|
Improving swarming using genetic algorithms
|
Etienne Renault
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
2 June 2020
|
pommellet.20.isse
|
LTL Model Checking for Communicating Concurrent Programs
|
Adrien Pommellet, Tayssir Touili
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
15 May 2020
|
huynh.19.prl
|
Connected Filters on Generalized Shape-Spaces
|
Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud
|
Pattern Recognition Letters
|
20 September 2019
|
tochon.19.pr
|
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
|
Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot
|
Pattern Recognition
|
1 July 2019
|
wang.19.tmi
|
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge
|
Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen
|
IEEE Transactions on Medical Imaging
|
11 April 2019
|
kuijf.19.tmi
|
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge
|
H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu
|
IEEE Transactions on Medical Imaging
|
10 April 2019
|
bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 2019
|
boutry.19.jmiv
|
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
4 February 2019
|
puybareau.19.cbm
|
High Throughput Automated Detection of Axial Malformations in Medaka Embryo
|
Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot
|
Computers in Biology and Medicine
|
22 January 2019
|
newton.18.tocl
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
|
Jim Newton, Didier Verna
|
ACM Transactions on Computational Logic
|
28 August 2018
|
boutry.18.is
|
Weakly Well-Composed Cell Complexes over nD Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Information Sciences
|
4 July 2018
|
goetz.18.tpds
|
Parallel Computation of Component Trees on Distributed Memory Machines
|
Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel
|
IEEE Transactions on Parallel and Distributed Systems
|
2 April 2018
|
xu.18.media
|
The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities
|
Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud
|
Medical Image Analysis
|
22 March 2018
|
verna.18.programming
|
Lisp, Jazz, Aikido
|
Didier Verna
|
The Art, Science and Engineering of Programming Journal
|
5 February 2018
|
demaille.17.sacs
|
Derived-Term Automata of Multitape Expressions with Composition
|
Akim Demaille
|
Scientific Annals of Computer Science
|
29 December 2017
|
boutry.17.jmiv
|
A Tutorial on Well-Composedness
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
12 October 2017
|
rusinol.17.mtap
|
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness
|
Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito
|
Multimedia Tools and Applications
|
29 June 2017
|
tochon.17.tgrs
|
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking
|
Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi
|
IEEE Transactions on Geoscience and Remote Sensing
|
20 April 2017
|
xu.16.prl
|
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Pattern Recognition Letters
|
20 May 2016
|
xu.16.pami
|
Hierarchical Segmentation Using Tree-Based Shape Spaces
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
11 April 2016
|
fabrizio.16.ijdar
|
TextCatcher: A method to detect curved and challenging text in natural scenes
|
Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel
|
International Journal on Document Analysis and Recognition
|
8 April 2016
|
calarasanu.16.ivc
|
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions
|
Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson
|
Image and Vision Computing
|
1 February 2016
|
carlinet.15.itip
|
MToS: A Tree of Shapes for Multivariate Images
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
26 October 2015
|
renault.16.sttt
|
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
International Journal on Software Tools for Technology Transfer (STTT)
|
26 October 2015
|
xu.15.pami
|
Connected Filtering on Tree-Based Shape-Spaces
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
5 June 2015
|
xu.14.itip
|
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection
|
Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman
|
IEEE Transactions on Image Processing
|
3 October 2014
|
carlinet.14.itip
|
A Comparative Review of Component Tree Computation Algorithms
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
16 June 2014
|
duret.14.ijccbs
|
LTL Translation Improvements in Spot 1.0
|
Alexandre Duret-Lutz
|
International Journal on Critical Computer-Based Systems
|
6 March 2014
|
fabrizio.13.paa
|
Text detection in street level image
|
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord
|
Pattern Analysis and Applications
|
5 November 2013
|
shum.13.taslp
|
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
IEEE Transactions on Audio, Speech, and Language Processing
|
7 June 2013
|
lazzara.13.ijdar
|
Efficient Multiscale Sauvola's Binarization
|
Guillaume Lazzara, Thierry Géraud
|
International Journal of Document Analysis and Recognition (IJDAR)
|
25 April 2013
|
fabrizio.12.spic
|
Motion compensation based on Tangent Distance prediction for video compression
|
Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat
|
Signal Processing: Image Communication
|
9 February 2012
|
bensalem.12.topnoc
|
Model Checking using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)
|
1 January 2012
|
dehak.11.taslp
|
Front-End Factor Analysis For Speaker Verification
|
Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet
|
IEEE Transactions on Audio, Speech, and Language Processing
|
1 May 2011
|
dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
verna.10.jucs
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2010
|
hamez.09.fi
|
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation
|
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
|
Fundamenta Informaticae
|
1 January 2009
|
verna.08.jucs
|
Binary Methods Programming: the CLOS Perspective (extended version)
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2008
|
verna.06.ijcs
|
How to make Lisp go faster than C
|
Didier Verna
|
IAENG International Journal of Computer Science
|
1 December 2006
|
yoruk.06.itip
|
Shape-based hand recognition
|
Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon
|
IEEE Transactions on Image Processing
|
1 July 2006
|
darbon.06.jmiv
|
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
darbon.06.jmivb
|
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
laplante.07.tocl
|
Probabilistic abstraction for model checking: an approach based on property testing
|
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
|
ACM Transactions on Computational Logic
|
21 November 2005
|
borghi.06.crossroads
|
C-Transformers — A Framework to Write C Program Transformations
|
Alexandre Borghi, Valentin David, Akim Demaille
|
ACM Crossroads
|
16 October 2005
|
dehak.05.pami
|
Spatial reasoning with relative incomplete information on relative positioning
|
Réda Dehak, Isabelle Bloch, Henri Maître
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
1 September 2005
|
lombardy.04.tcs
|
Introducing Vaucanson
|
Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
|
Theoretical Computer Science
|
1 November 2004
|
geraud.04.jasp
|
Fast road network extraction in satellite images using mathematical morphology and Markov random fields
|
Thierry Géraud, Jean-Baptiste Mouret
|
EURASIP Journal on Applied Signal Processing
|
5 September 2004
|
bloch.05.prl
|
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI
|
Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud
|
Pattern Recognition Letters
|
9 July 2004
|
bloch.03.ai
|
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging
|
Isabelle Bloch, Thierry Géraud, Henri Maître
|
Artificial Intelligence
|
1 August 2003
|