Special

Semantic search

Title Authors Published in Date
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.apsec Tuning SAT Solvers for LTL Model Checking Anissa Kheireddine, Étienne Renault, Souheib Baarir Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) 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
saouli.23.vmcai CosySEL: Improving SAT Solving Using Local Symmetries S Saouli, S Baarir, C Dutheillet, J Devriendt 24th International Conference on Verification, Model Checking, and Abstract Interpretation 8 December 2022
dziadek.23.fm Energy Problems in Finite and Timed Automata with Büchi Conditions Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier International Symposium on Formal Methods (FM) 8 December 2022
vallade.22.setta Diversifying a Parallel SAT Solver with Bayesian Moment Matching V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir Symposium on Dependable Software Engineering TheoriesTools and Applications 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
movn.22.nips Topology-Aware Method to Segment 3D Plan Tissue Images Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio 36th Conference on Neural Information Processing SystemsAI for Science Workshop 25 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
roynard.22.gpce A Modern C++ Point of View of Programming in Image Processing Michaël Roynard, Edwin Carlinet, Thierry Géraud Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) 10 October 2022
esteban.22.gpce The Cost of Dynamism in Static Languages for Image Processing Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) 10 October 2022
zhao.22.iros Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor Zhou Zhao, Zhenyu Lu 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems 1 October 2022
duluard.22.mlsa Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery Pierre Duluard, Xinqing Li, Marc Plantevit, Céline Robardet, Romain Vuillemot Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022 19 September 2022
kamal.22.xkdd Improving the Quality of Rule-Based GNN Explanations Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I 12 September 2022
fahrenberg.22.concur A Kleene Theorem for Higher-Dimensional Automata Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański 33rd International Conference on Concurrency Theory (CONCUR 2022) 6 September 2022
newton.22.ifl Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map Jim Newton Symposium on Implementation and Application of Functional Languages 31 August 2022
lepage.22.interspeech Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning Théo Lepage, Réda Dehak Proc. Interspeech 2022 28 August 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
veyrin-forrer.22.ijcai What Does my GNN Really Capture? On Exploring Internal GNN Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet International Joint Conference on Artificial Intelligence 2022 23 July 2022
akshay.22.stacs On Robustness for the Skolem and Positivity Problems S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala 39th International Symposium on Theoretical Aspects of Computer Science STACS 7 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
esteban.22.gretsi.1 Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
esteban.22.gretsi.2 Généricité dynamique pour des algorithmes morphologiques Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
duret.22.cav From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) 6 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
or.22.transparence Données, Transparence et Démocratie Olivier Ricou 1 May 2022
renkin.22.forte Effective Reductions of Mealy Machines Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) 26 April 2022
paviot.22.forte LTL under reductions with weaker conditions than stutter invariance Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) 18 April 2022
esteban.22.icpr Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna Proceedings of the 26th International Conference on Pattern Recognition 8 April 2022
abadie.22.das A Benchmark of Named Entity Recognition Approaches in Historical Documents Nathalie Abadie, Edwin Carlinet, Joseph Chazalon, Bertrand Duménieu Proceedings of the 15th IAPR International Workshop on Document Analysis System 7 April 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
veyrin-forrer.22.egc Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 March 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
verna.22.els ETAP: Experimental Typesetting Algorithms Platform Didier Verna 15th European Lisp Symposium 1 March 2022
casares.22.tacas Practical Applications of the Alternating Cycle Decomposition Antonio Casares, Alexandre Duret-Lutz, Klara J Meyer, Florian Renkin, Salomon Sickert Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22) 1 February 2022
mandel.22.aghm GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E Schaefer, P Parrend, L Faivre, K Jobard Garou, D Geneviève, V Ruault, D Martin, CaumesR., T Smol, J Ghoumid, F Ropert Conquer, J Kummeling, C Ockeloen, T Kleefstra, D Koolen Assises de Génétique Humaine et Médicale 1 February 2022
remil.22.egc Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents Youcef Remil, Anes Bendimerad, Marc Plantevit, Céline Robardet, Mehdi Kaytoue Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 January 2022
guillaume.22.egc Hate Speech and Toxic Comment Detection using Transformers Pierre Guillaume, Corentin Duchene, Réda Dehak Workshop EGC 2022 DL for NLP 12 January 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
el-madhoun.22.aina New Security Protocols for Offline Point-of-Sale Machines Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle 36th International Conference on Advanced Information Networking and Applications (AINA) 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
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
rida.22.raccisc Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks A Abou Rida, R Amhaz, P Parrend Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities 1 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
boutry.22.dgmm Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts Nicolas Boutry, Laurent Najman, Gilles Bertrand Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 31 December 2021
boutry.21.miccai Residual 3D U-Net with Localization for Brain Tumor Segmentation Marc Demoustier, Ines Khemir, Lucien Martin-Gaffé, Nicolas Boutry, Quoc Duon Nguyen International MICCAI Brainlesion Workshop 31 December 2021
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
movn.21.bmvc Introducing the Boundary-Aware Loss for Deep Image Segmentation Minh Ôn Vũ Ngoc, Yizi Chen, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud, Nicolas Boutry Proceedings of the 32nd British Machine Vision Conference (BMVC) 28 November 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
raymon.21.urai VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation A Raymond, B Brument, P Parrend Upper-Rhine Artificial Intelligence Symposium 1 October 2021
rida.21.cn Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks A Abou Rida, P Parrend, R Amhaz Complex Network 2021 1 October 2021
el-madhoune.21.csnet A Secure Blockchain-Based Architecture for the COVID-19 Data Network Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi 2021 5th Cyber Security in Networking Conference (CSNet) 1 October 2021
kheireddine.21.cp Towards Better Heuristics for Solving Bounded Model Checking Problems Anissa Kheireddine, Étienne Renault, Souheib Baarir Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21) 31 August 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
kirszenberg.21.spin Go2Pins: A Framework for the LTL Verification of Go Programs Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) 8 June 2021
chazalon.21.icdar.1 Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation Joseph Chazalon, Edwin Carlinet Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.2 ICDAR 2021 Competition on Historical Map Segmentation Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chen.21.icdar Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
estopinan.21.eusipco Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz Proceedings of the 29th European Signal Processing Conference (EUSIPCO) 4 May 2021
hacquard.21.els A Corpus Processing and Analysis Pipeline for Quickref Antoine Hacquard, Didier Verna Proceedings of the 14th European Lisp Symposium (ELS) 1 May 2021
newton.21.els A Portable, Simple, Embeddable Type System Jim Newton, Adrien Pommellet Proceedings of the 14th European Lisp Symposium (ELS) 26 April 2021
maldonado-ruiz.21.ifip An Innovative and Decentralized Identity Framework Based on Blockchain Technology Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS) 1 April 2021
boutry.21.dgmm.3 Stability of the Tree of Shapes to Additive Noise Nicolas Boutry, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.1 An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.2 A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation Nicolas Boutry, Thierry Géraud Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 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
chen.21.dgmm Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
bloch.21.dgmm On Some Associations Between Mathematical Morphology and Artificial Intelligence Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
kirszenberg.21.dgmm Going beyond p-convolutions to learn grayscale morphological operators Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 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
espie.21.eurocon Debug Packages in OpenBSD Marc Espie EuroBSDCon 2021 1 January 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
grelot.21.cesar Automation of Binary Analysis: From Open Source Collection to Threat Intelligence Frederic Grelot, Sébastien Larinier, SalmonMarie Proceedings of the 28th C&ESAR 1 January 2021
nejati.20.cp A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) 31 December 2020
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
zhao.20.icpr.2 Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
zhao.20.icpr.1 FOANet: A Focus of Attention Network with Application to Myocardium Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
buatois.19.brainles Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon International MICCAI Brainlesion Workshop 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
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
vallade.20.nfm On the Usefulness of Clause Strengthening in Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) 1 August 2020
boutry.20.iwcia1 Euler Well-Composedness Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
boutry.20.iwcia2 A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
rivet.20.phd Non-iterative methods for image improvement in digital holography of the retina Julie Rivet 17 July 2020
verna.20.hdr (Dynamic (Programming Paradigms)) ;; Performance and Expressivity Didier Verna 10 July 2020
renkin.20.atva Practical “Paritizing” of Emerson–Lei Automata Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) 7 July 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
boutry.20.brainles Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 1 June 2020
vallade.20.sat Community and LBD-based Clause Sharing Policy for Parallel SAT Solving Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) 1 June 2020