|
Title
|
Authors
|
Published in
|
Date
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|