EPL
Place Sainte Barbe 2/L5.02.01
1348 Louvain-la-Neuve
- Accueil
- Répertoire
- Sébastien Jodogne
Sébastien Jodogne
Professeur
Jodogne, Sébastien. Apport du logiciel libre en imagerie médicale. In: Revue médicale de Liège, Vol. 79, no.S1, p. 75-83 (2024).
Ward, Bradley ; Pyr dit Ruys, Sébastien ; Balligand, Jean-Luc ; Belkhir, Leïla ; Cani, Patrice D. ; Collet, Jean-François ; De Greef, Julien ; Dewulf, Joseph P. ; Gatto, Laurent ; Haufroid, Vincent ; Jodogne, Sébastien ; Kabamba-Mukadi, Benoît ; Lingurski, Maxime ; Yombi, Jean Cyr ; Vertommen, Didier ; Elens, Laure. Deep Plasma Proteomics with Data-Independent Acquisition: Clinical Study Protocol Optimization with a COVID-19 Cohort.. In: Journal of proteome research, Vol. 23, no. 9, p. 3806-3822 (2024). doi:10.1021/acs.jproteome.4c00104.
Kirkove, D ; Ben Mustapha, S ; Jodogne, Sébastien ; Pétré, B. L'utilisation de l'imagerie médicale en tant qu'outil d'éducation thérapeutique du patient en radiothérapie : étude de faisabilité. In: Revue médicale de Liège, Vol. 79, no.S1, p. 100-106 (2024).
Mathys, Aurore ; Pollet, Yann ; Gressin, Adrien ; Muth, Xavier ; Brecko, Jonathan ; Dekoninck, Wouter ; Vandenspiegel, Didier ; Jodogne, Sébastien ; Semal, Patrick. Sphaeroptica: A tool for pseudo-3D visualization and 3D measurements on arthropods. In: PLOS ONE, Vol. 19, no.10, p. 1-32 (2024). doi:10.1371/journal.pone.0311887.
Ward, Bradley ; Yombi, Jean Cyr ; Balligand, Jean-Luc ; Cani, Patrice D. ; Collet, Jean-François ; De Greef, Julien ; Dewulf, Joseph P. ; Gatto, Laurent ; Haufroid, Vincent ; Jodogne, Sébastien ; Kabamba-Mukadi, Benoît ; Pyr dit Ruys, Sébastien ; Vertommen, Didier ; Elens, Laure ; Belkhir, Leïla. HYGIEIA: HYpothesizing the Genesis of Infectious Diseases and Epidemics through an Integrated Systems Biology Approach. In: Viruses, Vol. 14, no. 7, p. 1373 [1-17] (2022). doi:10.3390/v14071373.
Kirkove, Delphine ; Barthelemy, Nicole ; Coucke, Philippe ; Mievis, Carole ; Ben Mustapha, Selma ; Jodogne, Sébastien ; Dardenne, Nadia ; Donneau, Anne-Françoise ; Pétré, Benoît. Étude de faisabilité : l'utilisation de l'imagerie médicale en éducation thérapeutique en radiothérapie. In: Cancer Radiothérapie, Vol. 26, no. 8, p. 1034-1044 (2022). doi:10.1016/j.canrad.2022.04.004.
Vandaele, Rémy ; Aceto, Jessica ; Muller, Marc ; Péronnet, Frédérique ; Debat, Vincent ; Wang, Ching-Wei ; Huang, Cheng-Ta ; Jodogne, Sébastien ; Martinive, Philippe ; Geurts, Pierre ; Marée, Raphaël. Landmark detection in 2D bioimages for geometric morphometrics: a multi-resolution tree-based approach. In: Scientific Reports, Vol. 8, no.1, p. 13 (2018). doi:10.1038/s41598-017-18993-5.
Jodogne, Sébastien. The Orthanc Ecosystem for Medical Imaging. In: Journal of Digital Imaging, Vol. 31, no.3, p. 341-352 (2018). doi:10.1007/s10278-018-0082-y.
Lovinfosse, Pierre ; Koopmansch, Benjamin ; Lambert, Frederic ; Jodogne, Sébastien ; Kustermans, Gaelle ; Hatt, Mathieu ; Visvikis, Dimitris ; Seidel, Laurence ; Polus, Marc ; Albert, Adelin ; Delvenne, Philippe ; Hustinx, Roland. 18F-FDG PET/CT imaging in rectal cancer: relationship with the RAS mutational status. In: The British Journal of Radiology, Vol. 89, no.1063, p. 20160212 (2016). doi:10.1259/bjr.20160212.
Lovinfosse, Pierre ; Janvary, Zsolt Levente ; Coucke, Philippe ; Jodogne, Sébastien ; Bernard, Claire ; Hatt, Mathieu ; Visvikis, Dimitris ; Jansen, Nicolas ; Duysinx, Bernard ; Hustinx, Roland. FDG PET/CT texture analysis for predicting the outcome of lung cancer treated by stereotactic body radiation therapy. In: European Journal of Nuclear Medicine and Molecular Imaging, Vol. 43, no. 8, p. 1453-1460 (2016). doi:10.1007/s00259-016-3314-8.
Vandaele, R. ; Marée, R. ; Coucke, P. ; Lenaerts, E. ; Gulyban, A. ; Lallemand, F. ; Geurts, P. ; Jodogne, Sébastien ; Martinive, P.. Automated landmarks detection for rigid registration between the simulation-CT and the treatment CBCT. In: Radiotherapy and Oncology, Vol. 115, no.1, p. S834-S835 (2015). doi:10.1016/s0167-8140(15)41521-x.
Wang, Ching-Wei ; Huang, Cheng-Ta ; Hsieh, Meng-Che ; Li, Chung-Hsing ; Chang, Sheng-Wei ; Li, Wei-Cheng ; Vandaele, Remy ; Maree, Raphael ; Jodogne, Sébastien ; Geurts, Pierre ; Chen, Cheng ; Zheng, Guoyan ; Chu, Chengwen ; Mirzaalian, Hengameh ; Hamarneh, Ghassan ; Vrtovec, Tomaz ; Ibragimov, Bulat. Evaluation and Comparison of Anatomical Landmark Detection Methods for Cephalometric X-Ray Images: A Grand Challenge. In: IEEE Transactions on Medical Imaging, Vol. 34, no.9, p. 1890-1900 (2015). doi:10.1109/tmi.2015.2412951.
Withofs, Nadia ; Bernard, Claire ; Van der Rest, Catherine ; Martinive, Philippe ; Hatt, Mathieu ; Jodogne, Sébastien ; Visvikis, Dimitris ; Lee, John Aldo ; Coucke, Philippe A ; Hustinx, Roland. FDG PET/CT for rectal carcinoma radiotherapy treatment planning: comparison of functional volume delineation algorithms and clinical challenges.. In: Journal of Applied Clinical Medical Physics, Vol. 15, no.5, p. 4696 (2014). doi:10.1120/jacmp.v15i5.4696.
Lallemand, François ; Lakosi, Ferenc ; Hustinx, Roland ; Withofs, Nadia ; Meunier, Paul ; Tshibanda, Luaba ; Jodogne, Sébastien ; Coucke, Philippe ; Martinive, Philippe. Utilisation de l'imagerie fonctionnelle en radiothérapie. In: Revue médicale de Liège, Vol. 69, no.S1, p. 20-28 (2014).
Jodogne, Sébastien ; Sobczak, S. ; Devillers, M. ; Lenaerts, E. ; Martinive, P. ; Coucke, P.. Orthanc - Lightweight, scriptable DICOM server for medical image management in radiotherapy. In: Radiotherapy and Oncology, Vol. 106, no.1, p. S491 (2013). doi:10.1016/s0167-8140(15)33607-0.
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Kroemer, Oliver ; Peters, Jan. Learning visual representations for perception-action systems. In: The International Journal of Robotics Research, Vol. 30, no.3, p. 294-307 (2010). doi:10.1177/0278364910382464.
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. P2P file sharing for P2P computing. In: Multiagent and Grid Systems, Vol. 5, no.2, p. 137-164 (2009). doi:10.3233/mgs-2009-0124.
Jodogne, Sébastien ; Piater, J. H.. Closed-Loop Learning of Visual Control Policies. In: Journal of Artificial Intelligence Research, Vol. 28, no.1, p. 349-391 (2007). doi:10.1613/jair.2110.
Boigelot, Bernard ; Jodogne, Sébastien ; Wolper, Pierre. An effective decision procedure for linear arithmetic over the integers and reals. In: ACM Transactions on Computational Logic, Vol. 6, no.3, p. 614-633 (2005). doi:10.1145/1071596.1071601.
Jodogne, Sébastien. On the Use of WebAssembly for Rendering and Segmenting Medical Images. In: Ana Cecília A. Roque, Denis Gracanin, Ronny Lorenz, Athanasios Tsanas, Nathalie Bier, Ana Fred, Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies : 15th International Joint Conference, BIOSTEC 2022, Virtual Event, February 9–11, 2022 (Communications in Computer and Information Science; 1814), Springer, 2023, p. 393-414. 978-3-031-38853-8. doi:10.1007/978-3-031-38854-5_20.
Chatzopoulos, Edouard ; Jodogne, Sébastien. Assessing the Impact of Deep Learning Backbones for Mass Detection in Breast Imaging. Artificial Intelligence in Healthcare (AIiH 2024) (Swansea, United Kingdom, du 04/09/2024 au 06/09/2024). In: Lecture Notes in Computer Science, Vol. 14976, p. 33-47 (2024). doi:10.1007/978-3-031-67285-9_3.
Langlois, Quentin ; Jodogne, Sébastien. Embeddings for Motor Imagery Classification. IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP 2024) (London, UK, du 22/09/2024 au 25/09/2024). In: Proc. of IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP 2024), p. 1-6. doi:10.1109/MLSP58920.2024.10734730.
Chatzopoulos, Edouard ; Jodogne, Sébastien. Integrated and Interoperable Platform for Detecting Masses on Mammograms. 34th Medical Informatics Europe Conference (MIE 2024) (Athens, Greece, du 25/08/2024 au 29/08/2024). In: Studies in Health Technology and Informatics, Vol. 316, p. 1103-1107 (2024). doi:10.3233/SHTI240603.
Langlois, Quentin ; Szelagowski, Nicolas ; Vanderdonckt, Jean ; Jodogne, Sébastien. Open Platform for the De-identification of Burned-in Texts in Medical Images using Deep Learning. 11th International Conference on Bioimaging (BIOIMAGING 2024) (Rome, Italy, du 21/02/2024 au 23/02/2024). In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), Vol. 1, p. 297-304 (2024). doi:10.5220/0012430300003657.
Sadre, Wei ; Huet-Dastarac, Margerie ; Deffet, Sylvain ; Sterpin, Edmond ; Barragan Montero, Ana Maria ; Jodogne, Sébastien ; Lee, John Aldo. PARROT - A Versatile Platform for AI-Driven Image Segmentation and Dose Prediction. Medical Imaging and Computer-Aided Diagnosis (MICAD) (Manchester, UK, du 19/11/2024 au 21/11/2024). In: Proc. of the 5th International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2024) (Accepté/Sous presse).
Jodogne, Sébastien. Plateforme libre, intégrée et interopérable pour la détection de masses en mammographie. Colloque International du Réseau d’Excellence des Sciences de l’Ingénieur de la Francophonie (RESCIF) (Yaoundé, Cameroon, du 18/04/2024 au 19/04/2024).
Semal, Patrick ; Mathys, Aurore ; Brecko, Jonathan ; Chapman, Tara ; Pollet, Yann ; Herpers, Jean-Marc ; Theeten, Franck ; Van den Spiegel, Didier ; Tilleux, Caroline ; Angenon, Els ; Jodogne, Sébastien. Serveur multimédia DICOM pour le partage des numérisations des collections anthropologiques. 35e édition du Colloque du Groupement des Anthropologistes de Langue Française (GALF) (Bruxelles, du 16/10/2024 au 19/10/2024).
Jodogne, Sébastien. Setting a PACS on FHIR. 17th International Conference on Health Informatics (HEALTHINF 2024) (Rome, Italy, du 21/02/2024 au 23/02/2024). In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), Vol. 2, p. 123-131 (2024). doi:10.5220/0012384600003657.
Fierens, Amaury ; Jodogne, Sébastien. BERTinchamps: Cost-Effective Training of Large Language Models for Medical Tasks in French. Workshop on Natural Language for Artificial Intelligence (NL4AI, 7th edition) (Rome, Italy, du 06/11/2023 au 09/11/2023). In: CEUR Workshop Proceedings, Vol. 3551 (2023).
Jodogne, Sébastien. Client-Side Application of Deep Learning Models Through Teleradiology. Medical Informatics Europe 2023 (Gothenburg, Sweden, du 22/05/2023 au 25/05/2023). In: Studies in Health Technology and Informatics, Vol. 302, no.1, p. 997-1001 (2023). doi:10.3233/shti230325.
Fierens, Amaury ; Gregoir, Thibault ; Jodogne, Sébastien. Interoperable Encoding and 3D Printing of Anatomical Structures. 10th International Conference on Bioinformatics Research and Applications (ICBRA 2023) (Barcelona, Spain, du 22/09/2023 au 24/09/2023). In: ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications, p. 20-26 (2023). doi:10.1145/3632047.3632051.
Jodogne, Sébastien. On the Use of DICOM as a Storage Layer for IIIF. DaSCHCon on IIIF, 3D & Interoperability (Basel, Switzerland, 25/10/2023).
Langlois, Quentin ; Jodogne, Sébastien. Practical Study of Deep Learning Models for Speech Synthesis. PETRA '23: Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments (Corfu Greece). In: Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA '23), Association for Computing Machinery: New York, NY, USA, 2023. 979-8-4007-0069-9, p. 700–706. doi:10.1145/3594806.3596536.
Jodogne, Sébastien. Simple, effective deployment of Web viewers for medical imaging in an open platform. EuSoMII Annual Meeting 2023. AI: Connecting the dots (Pisa, Italy, du 13/10/2023 au 14/10/2023). doi:https://doi.org/10.26226/m.64ae6f4f56241620f72a77cd.
Misonne, Thibaud ; Jodogne, Sébastien. Federated learning for heart segmentation. 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP) (Nafplio, Greece, du 26/6/2022 au 29/6/2022). In: 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP), 2022. 978-1-6654-7823-6. doi:10.1109/ivmsp54334.2022.9816345.
Jodogne, Sébastien. Rendering Medical Images using WebAssembly. 15th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOIMAGING 2022) (du 09/02/2022 au 11/02/2022). In: Proc. of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies (Volume 2), 2022. 978-989-758-552-4, 43-51. doi:10.5220/0000156300003123.
Jodogne, Sébastien. Automatically publishing medical images from a filesystem as a DICOM server. EuSoMII Annual Meeting (23/10/2021). In: Insights into Imaging, Vol. 13, no. S2, p. 7.
Kirkove, Delphine ; Barthelemy, Nicole ; Coucke, Philippe ; Mievis, Carole ; Ben Mustapha, Selma ; Dardenne, Nadia ; Jodogne, Sébastien ; Pétré, Benoît. Etude pilote : évaluation de l'impact de l'utilisation de l'imagerie médicale comme outil d'éducation thérapeutique du patient en radiothérapie. 8ème Congrès de la Société d'Education Thérapeutique Européenne.
Jodogne, Sébastien. Importing and serving open-data medical images to support Artificial Intelligence research. EuSoMII Annual Meeting (23/10/2021). In: Insights into Imaging, Vol. 13, no. S1, p. 6. doi:10.1186/s13244-022-01168-w.
Kanoun, S. ; Silva, Y.E. ; Vongsalat, A. ; Jodogne, Sébastien ; Lambrechts, F. ; Berriolo-Riedinger, A. ; Caselles, O. ; Tal, I. ; Berry, I. ; Courbon, F.. Automating DICOM retrieve from PACS with free and open-source software. Annual Congress of the European Association of Nuclear Medicine (Düsseldorf, du 13/10/2018 au 17/10/2018). In: European journal of nuclear medicine and molecular imaging, Vol. 45, no. S1, p. 298 (2018). doi:10.1007/s00259-018-4148-3.
Vongsalat, A. ; Kanoun, S. ; Berriolo-Riedinger, A. ; Humbert, O. ; Jodogne, Sébastien ; Lambrechts, F. ; Vallot, D. ; Pascal, P. ; Tal, I. ; Berry, I. ; Courbon, F.. Automating de-identification and sharing DICOMs with a free and open-source software. Annual Congress of the European Association of Nuclear Medicine (Düsseldorf, du 13/10/2018 au 17/10/2018). In: European journal of nuclear medicine and molecular imaging, Vol. 45, no.S1, p. 299 (2018).
Vandaele, Rémy ; Lallemand, François ; Martinive, Philippe ; Gulyban, Akos ; Jodogne, Sébastien ; Coucke, Philippe ; Geurts, Pierre ; Marée, Raphaël. Automated Multimodal Volume Registration based on Supervised 3D Anatomical Landmark Detection. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-226-4, p. 333-340. doi:10.5220/0006153803330340.
Jodogne, Sébastien ; Lenaerts, Éric ; Marquet, Lara ; Erpicum, Charlotte ; Greimers, Roland ; Gillet, Pierre ; Hustinx, Roland ; Delvenne, Philippe. Open Implementation of DICOM for Whole-Slide Microscopic Imaging. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-227-1, p. 81-87. doi:10.5220/0006155100810087.
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Free and Open-Source Software for Medical Imaging in Hospitals. BioWin Day 2014.
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Logiciel libre pour l'imagerie médicale en milieu hospitalier. Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH 2014).
Bernard, Claire ; Paulus, Cyril ; Jodogne, Sébastien ; Hustinx, Roland. Automated platform for the quality control of PET-CT scanners following AFCN/FANC recommendations. Belgian Hospital Physicists Association Symposium (BHPA).
Jodogne, Sébastien ; Bernard, C. ; Devillers, M. ; Lenaerts, E. ; Coucke, P.. Orthanc - A lightweight, restful DICOM server for healthcare and medical research. 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013) (San Francisco, CA, USA, du 7/4/2013 au 11/4/2013). In: 2013 IEEE 10th International Symposium on Biomedical Imaging, Vol. 1, no.1, p. 190-193 (2013). doi:10.1109/isbi.2013.6556444.
Jodogne, Sébastien ; Sobczak, Sonia ; Devillers, Magali ; Lenaerts, Eric ; Coucke, Philippe. Orthanc - Lightweight, scriptable DICOM server for image management in radiotherapy departments. Belgian Hospital Physicists Association Symposium (BHPA).
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Krömer, Oliver ; Peters, Jan. Learning Visual Representations for Interactive Systems. 14th International Symposium on Robotics Research. In: Springer Tracts in Advanced Robotics : Robotics Research, 2009. 9783642194566, p. 399-416. doi:10.1007/978-3-642-19457-3_24.
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. Scheduling data-intensive bags of tasks in P2P grids with bittorrent-enabled data distribution. Second Workshop on Use of P2P, GRID and Agents for the Development of Content Networks (UPGRADE '07) (Monterey, California, USA, 25/6/2007). In: UPGRADE '07: Proceedings of the second workshop on Use of P2P, GRID and agents for the development of content networks, 2007. 978-1-59593-718-6, p. 39-48. doi:10.1145/1272980.1272990.
Jodogne, Sébastien ; Briquet, Cyril ; Piater, Justus H.. Approximate Policy Iteration for Closed-Loop Learning of Visual Tasks. European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 210-221 (2006). doi:10.1007/11871842_23.
Barnich, Olivier ; Jodogne, Sébastien ; Van Droogenbroeck, Marc. Robust Analysis of Silhouettes by Morphological Size Distributions. Advanced Concepts for Intelligent Vision Systems (ACIVS). In: Lecture Notes in Computer Science, Vol. 4179, no.1, p. 734-745 (2006). doi:10.1007/11864349_67.
Jodogne, Sébastien ; Piater, Justus H.. Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions. 17th European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 222-233 (2006). doi:10.1007/11871842_24.
Jodogne, Sébastien ; Piater, J.. Apprentissage Interactif de Liaisons Directes entre Perceptions Visuelles et Actions . ORASIS'05 - Proceedings of the "Congrès des jeunes chercheurs en vision par ordinateur".
Jodogne, Sébastien ; Piater, Justus H.. Interactive learning of mappings from visual percepts to actions. 22nd international conference on Machine learning (ICML 2005) (Bonn, Germany, du 7/8/2005 au 11/8/2005). In: ICML '05: Proceedings of the 22nd international conference on Machine learning, 2005. 978-1-59593-180-1, p. 393-400. doi:10.1145/1102351.1102401.
Jodogne, Sébastien ; Piater, J.. Learning, then Compacting Visual Policies. 7th European Workshop on Reinforcement Learning.
Jodogne, Sébastien ; Piater, J.. Reinforcement Learning of Perceptual Classes using Q Learning Updates. IASTED International Conference on Artificial Intelligence and Applications.
Jodogne, Sébastien ; Scalzo, F. ; Piater, J.H.. Task-Driven Learning of Spatial Combinations of Visual Features. 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) (San Diego, CA, USA). In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Workshops, 2005. 0-7695-2660-8. doi:10.1109/cvpr.2005.539.
Jodogne, Sébastien ; Piater, J.. Controlling an Agent by Focusing its Attention on Interactively Selected Patterns. URSI (International Union of Radio Science) Forum 2004.
Jodogne, Sébastien ; Piater, Justus H.. Interactive Selection of Visual Features through Reinforcement Learning. Proceedings of AI-2004, 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. In: Research and Development in Intelligent Systems XXI, 2004. 9781852339074, p. 285-298. doi:10.1007/1-84628-102-4_21.
Boigelot, Bernard ; Herbreteau, Frédéric ; Jodogne, Sébastien. Hybrid Acceleration Using Real Vector Automata. International Conference on Computer Aided Verification. In: Lecture Notes in Computer Science, Vol. 2725, no.1, p. 193-205 (2003). doi:10.1007/978-3-540-45069-6_19.
Jodogne, Sébastien. Automata-based Representations for the Verification of Hybrid Systems. Summer School Modelling and Verification of Parallel Processes (MOVEP).
Boigelot, Bernard ; Jodogne, Sébastien ; Wolper, Pierre. On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. International Joint Conference on Automated Reasoning (IJCAR 2001). In: Lecture Notes in Computer Science, Vol. 2083, no.1, p. 611-625 (2001). doi:10.1007/3-540-45744-5_50.