| Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | Phare |
- K. Altisen, S. Devismes, A. Durand, C. Johnen, F. Petit : “Self-stabilizing Systems in Spite of High Dynamics”, Theoretical Computer Science, pp. 113966, (Elsevier) [Altisen 2023]
- I. Alvarez, L. Zaleski, J.‑P. Briot, M. De A. Irving : “Collective management of environmental commons with multiple usages: A guaranteed viability approach”, Ecological Modelling, vol. 475, pp. 110186, (Elsevier) [Alvarez 2023]
- S. Angelopoulos, K. Canhilal, M. Hawkins : “From Groups to Communities: A Resource Mobilization Theory Perspective on the Emergence of Communities”, Information Systems Frontiers, pp. 18 p., (Springer Verlag) [Angelopoulos 2023]
- E. Bampis, C.‑E. Cella, B. Escoffier, M. Rocco, A. Teiller : “Target-based computer-assisted orchestration: Complexity and approximation algorithms”, European Journal of Operational Research, vol. 304 (3), pp. 926-938, (Elsevier) [Bampis 2023]
- J. Berthomieu, S. Graillat, D. Lesnoff, Th. Mary : “Modular matrix multiplication on GPU for polynomial system solving”, ACM Communications in Computer Algebra, (Association for Computing Machinery (ACM)) [Berthomieu 2023]
- L. Blin, L. Feuilloley, G. Le Bouder : “Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms”, Discrete Mathematics and Theoretical Computer Science, vol. 25 (1), LIPIcs, pp. 5, (DMTCS) [Blin 2023b]
- E.‑C. Boghiu, F. Hirsch, P.‑Sh. Lin, M. Quintino, J. Bowles : “Device-independent and semi-device-independent entanglement certification in broadcast Bell scenarios”, SciPost Physics Core, vol. 6 (2), pp. 028 [Boghiu 2023]
- R. Booth, A. Kissinger, D. Markham, C. Meignant, S. Perdrix : “Outcome determinism in measurement-based quantum computation with qudits”, Journal of Physics A: Mathematical and Theoretical, vol. 56 (11), pp. 115303, (IOP Publishing) [Booth 2023]
- S. Bouchard, Y. Dieudonné, A. Labourel, A. Pelc : “Almost-Optimal Deterministic Treasure Hunt in Unweighted Graphs”, ACM Transactions on Algorithms, vol. 19 (3), pp. 1-32, (Association for Computing Machinery) [Bouchard 2023]
- Q. Bramas, A. Lamani, S. Tixeuil : “Stand up indulgent gathering”, Theoretical Computer Science, vol. 939, pp. 63-77, (Elsevier) [Bramas 2023b]
- Q. Bramas, A. Lamani, S. Tixeuil : “The agreement power of disagreement”, Theoretical Computer Science, vol. 954, pp. 113772, (Elsevier) [Bramas 2023d]
- J. Capco, M. Safey El Din, J. Schicho : “Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics”, Journal of Symbolic Computation, vol. 115, pp. 320-345, (Elsevier) [Capco 2023]
- Th. Chamelot, D. Couroussé, K. Heydemann : “MAFIA: Protecting the microarchitecture of embedded systems against fault injection attacks”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (IEEE) [Chamelot 2023]
- M. Darrin, A. Samudre, M. Sahun, S. Atwell, C. Badens, A. Charrier, E. Helfer, A. Viallat, V. Cohen‑Addad, S. Giffard‑Roisin : “Classification of red cell dynamics with convolutional and recurrent neural networks: a sickle cell disease case study”, Scientific Reports, vol. 13 (1), pp. 745, (Nature Publishing Group) [Darrin 2023]
- L. De Forges De Parny, O. Alibart, J. Debaud, S. Gressani, A. Lagarrigue, A. Martin, A. Metrat, M. Schiavon, T. Troisi, E. Diamanti, P. Gélard, E. Kerstel, S. Tanzilli, M. Van Den Bossche : “Satellite-based Quantum Information Networks: Use cases, Architecture, and Roadmap”, Communications Physics, vol. 6 (1), pp. 12, (Nature Research) [De Forges De Parny 2023]
- X. Défago, A. Heriban, S. Tixeuil, K. Wada : “Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space”, Robotics and Autonomous Systems, vol. 163, pp. 104378, (Elsevier) [Défago 2023]
- Ch. Denis, J. Nicogossian : “Du gène à l'octet : la communication phygitale pour une utilisation responsable de l'Intelligence Artificielle dans le domaine médical”, Dalloz IP/IT : droit de la propriété intellectuelle et du numérique n°3, pp. 145-150, (Éditions Dalloz [2016-....]) [Denis 2023]
- D. Ebler, M. Horodecki, M. Marciniak, T. Młynik, M. Quintino, M. Studziński : “Optimal universal quantum circuits for unitary complex conjugation”, IEEE Transactions on Information Theory, (Institute of Electrical and Electronics Engineers) [Ebler 2023]
- Ch. Eder, P. Lairez, R. Mohr, M. Safey El Din : “A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System”, Journal of Symbolic Computation, vol. 119, pp. 1-21, (Elsevier) [Eder 2023b]
- J.‑Ch. Faugère, G. Labahn, M. Safey El Din, E. Schost, Th. Vu : “Computing critical points for invariant algebraic systems”, Journal of Symbolic Computation, vol. 116, pp. 365-399, (Elsevier) [Faugère 2023]
- E. Ferrier‑Barbut, I. Avellino, G. CANLORBE, M.‑A. Vitrani, V. Luengo : “Learning With Pedagogical Models: Videos As Adjuncts to Apprenticeship for Surgical Training”, Proceedings of the ACM on Human-Computer Interaction, vol. 7 (CSCW1), pp. 139:1-139:40, (Association for Computing Machinery (ACM)) [Ferrier-Barbut 2023]
- Th. Gerald, H. Zaatiti, H. Hajri, N. Baskiotis, O. Schwander : “A hyperbolic approach for learning communities on graphs”, Data Mining and Knowledge Discovery, (Springer) [Gerald 2023]
- P. Guillou, J. Vidal, J. Tierny : “Discrete Morse Sandwich: Fast Computation of Persistence Diagrams for Scalar Data -- An Algorithm and A Benchmark”, IEEE Transactions on Visualization and Computer Graphics, pp. 1-18, (Institute of Electrical and Electronics Engineers) [Guillou 2023]
- H. Li, M. Trocan, M. Sawan, D. Galayko : “ICRICS: iterative compensation recovery for image compressive sensing”, Signal, Image and Video Processing, (Springer Verlag) [Li 2023]
- K. Li, K. He, S. Graillat, H. Jiang, T. Gu, J. Liu : “Multi-level parallel multi-layer block reproducible summation algorithm”, Parallel Computing, vol. 115, pp. 102996, (Elsevier) [Li 2023]
- Y. Liu, K. Zhang, B. Hou, Q. Li, J. Feng, Th.‑M.‑T. Nguyen, A. De La Fortelle : “Real-time traffic impedance and priority based cooperative path planning mechanism for SOC-ITS: Efficiency and equilibrium”, Simulation Modelling Practice and Theory, vol. 122, pp. 102683, (Elsevier) [Liu 2023]
- R. Maack, J. Lukasczyk, J. Tierny, H. Hagen, R. Maciejewski, Ch. Garth : “Parallel Computation of Piecewise Linear Morse-Smale Segmentations”, IEEE Transactions on Visualization and Computer Graphics, pp. 1-14, (Institute of Electrical and Electronics Engineers) [Maack 2023]
- V. Magron, M. Safey El Din, T.‑H. VU : “Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients”, SIAM Journal on Optimization, vol. 33 (1), (Society for Industrial and Applied Mathematics) [Magron 2023]
- M. Mezzarobba : “Rounding Error Analysis of Linear Recurrences Using Generating Series”, Electronic Transactions on Numerical Analysis, vol. 58, pp. 196-227, (Kent State University Library) [Mezzarobba 2023]
- M. Olejniczak, J. Tierny : “Topological data analysis of vortices in the magnetically-induced current density in LiH molecule”, Physical Chemistry Chemical Physics, (Royal Society of Chemistry) [Olejniczak 2023]
- M. Olivier, S. Rey, D. Voilmy, J.‑G. Ganascia, K. Lan Hing Ting : “Combining Cultural Probes and Interviews with Caregivers to Co-Design a Social Mobile Robotic Solution”, Innovation and Research in BioMedical engineering, vol. 44 (1), pp. 100729, (Elsevier Masson) [Olivier 2023]
- H. Ouzia, R. Vicente Pinto, N. Maculan : “A New Second-Order Conic Optimization Model for the Euclidean Steiner Tree Problem in R^d”, International Transactions in Operational Research, (Wiley) [Ouzia 2023]
- E. Papanastasiou, A. Giovanidis : “Constrained Expectation-Maximisation for inference of social graphs explaining online user-user interactions”, Social Network Analysis and Mining, vol. 13 (1), pp. 41, (Springer) [Papanastasiou 2023]
- R. Prébet, M. Safey El Din, E. Schost : “Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results”, Journal of Symbolic Computation, pp. 102234, (Elsevier) [Prébet 2023]
- M. Renner, A. Tavakoli, M. Quintino : “Classical Cost of Transmitting a Qubit”, Physical Review Letters, vol. 130 (12), pp. 120801, (American Physical Society) [Renner 2023]
- N. Shah, A. Misra, A. Miné, R. Venkat, R. Upadrasta : “BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation”, ACM Transactions on Architecture and Code Optimization, vol. 20 (1), pp. 1-28, (Association for Computing Machinery) [Shah 2023]
- E. Simon, B. Amann, R. Liu, S. Gançarski : “Controlling the Correctness of Aggregation Operations During Sessions of Interactive Analytic Queries”, Journal of data and information quality, (ACM) [Simon 2023]
- F. Su, Ch. Liu, Haralampos‑G. Stratigopoulos : “Testability and Dependability of AI Hardware: Survey, Trends, Challenges, and Perspectives”, IEEE Design & Test, (IEEE) [Su 2023]
- L. Sylvestre, E. Chailloux, J. Sérot : “Accelerating OCaml Programs on FPGA”, International Journal of Parallel Programming, (Springer Verlag) [Sylvestre 2023]
- S. Thiria, Ch. Sorror, Th. Archambault, A. Charantonis, D. Béréziat, C. Mejia, J.‑M. Molines, M. Crépon : “Downscaling of ocean fields by fusion of heterogeneous observations using Deep Learning algorithms”, Ocean Modelling, vol. 182, pp. 102174, (Elsevier) [Thiria 2023]
- J. Vaubaillon, Ch. Loir, C. Ciocan, M. Kandeepan, M. Millet, A. Cassagne, L. Lacassagne, P. Da Fonseca, F. Zander, D. Buttsworth, S. Loehle, J. Tóth, S. Gray, A. Moingeon, N. Rambaux : “A 2022 τ-Herculid meteor cluster from an airborne experiment: automated detection, characterization, and consequences for meteoroids”, Astronomy and Astrophysics - A&A, (EDP Sciences) [Vaubaillon 2023]
- Ö. Yalçin, S. Lallé, C. Conati : “The Impact of Intelligent Pedagogical Agents' Interventions on Student Behavior and Performance in Open-Ended Game Design Environments”, ACM Transactions on Interactive Intelligent Systems, (Association for Computing Machinery (ACM)) [Yalçin 2023]