News

• boutry.20.iwcia1 — Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020

  21 July 2020

• boutry.20.iwcia2 — Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
  21 July 2020
• verna.20.hdr —
  10 July 2020
• renkin.20.atva — Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)
  7 July 2020
• movn.20.cviu — Computer Vision and Image Understanding
  2 June 2020
• renault.20.isse — Innovations in Systems and Software Engineering: a NASA journal (ISSE)
  2 June 2020
• boutry.20.brainles — Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019
  1 June 2020
• pommellet.20.isse — Innovations in Systems and Software Engineering: a NASA journal (ISSE)
  15 May 2020
• blahoudek.20.cav — Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)
  14 May 2020
• movn.20.phd —
  18 February 2020
• zhao.19.stacom — Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers
  7 February 2020
• drumetz.20.icassp — Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
  24 January 2020
• newton.20.tfp — Trends in Functional Programming
  14 January 2020
• atlan.20.spie — Label-free Biomedical Imaging and Sensing (LBIS) 2020
  1 January 2020
• verna.19.tug — TUGboat
  6 November 2019
• huynh.19.prl — Pattern Recognition Letters
  20 September 2019
• poitrenaud.19.icfem — Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)
  2 August 2019
• baier.19.atva — Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)
  29 July 2019
• tochon.19.pr — Pattern Recognition
  1 July 2019
• boutry.19.dgci — Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)
  18 June 2019
• carlinet.19.gretsi — Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
  14 June 2019
• esteban.19.gretsi — Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
  14 June 2019
• esteban.19.caip — Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)
  7 June 2019
• wang.19.tmi — IEEE Transactions on Medical Imaging
  11 April 2019
• kuijf.19.tmi — IEEE Transactions on Medical Imaging
  10 April 2019
• bloemen.19.sttt — International Journal on Software Tools for Technology Transfer
  1 April 2019
• verna.19.els — 12th European Lisp Symposium
  1 April 2019
• valais.19.els — 12th European Lisp Symposium
  1 April 2019
• carlinet.19.ismm — Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
  13 March 2019
• puybareau.19.ismm — Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
  13 March 2019
• boutry.19.ismm — Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
  13 March 2019
• tochon.19.ismm — Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
  13 March 2019
• le-frioux.19.tacas — Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
  13 February 2019
• boutry.19.jmiv — Journal of Mathematical Imaging and Vision
  4 February 2019
• puybareau.19.cbm — Computers in Biology and Medicine
  22 January 2019
• newton.19.els — European Lisp Symposium
  14 January 2019
• rivet.19.isbi — Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)
  19 December 2018
• huynh.18.phd —
  1 December 2018
• carlinet.19.csi — Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI)
  26 November 2018
• puybareau.18.brainles — Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI
  5 November 2018
• newton.18.phd —
  1 November 2018
• puybareau.18.stacom — Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI
  25 October 2018
• rivet.19.spie — Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V
  25 October 2018
• roynard.18.rrpr — Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)
  25 October 2018
• newton.18.meta — Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection
  14 September 2018
• newton.18.tocl — ACM Transactions on Computational Logic
  28 August 2018
• boutry.18.is — Information Sciences
  4 July 2018
• renault.18.vecos — Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)
  14 June 2018
• michaud.18.synt — Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018
  7 June 2018
• boldo.18.arith — 25th IEEE Symposium on Computer Arithmetic
  1 June 2018

... further results