Loïc Pottier
Orcid: 0000-0002-7681-3521Affiliations:
- INRIA, France
According to our database1,
Loïc Pottier
authored at least 45 papers
between 1988 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Concurr. Comput. Pract. Exp., 2023
2022
Future Gener. Comput. Syst., 2022
Proceedings of the PEARC '22: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 10, 2022
Proceedings of the IEEE/ACM Workshop on Workflows in Support of Large-Scale Science, 2022
Proceedings of the IEEE/ACM Workshop on Workflows in Support of Large-Scale Science, 2022
Proceedings of the IEEE/ACM International Workshop on Performance Modeling, 2022
On the Feasibility of Simulation-Driven Portfolio Scheduling for Cyberinfrastructure Runtime Systems.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 2022
Proceedings of the 18th IEEE International Conference on e-Science, 2022
Proceedings of the 18th IEEE International Conference on e-Science, 2022
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022
2021
J. Comput. Sci., 2021
Workflows Community Summit: Advancing the State-of-the-art of Scientific Workflows Management Systems Research and Development.
CoRR, 2021
CoRR, 2021
Proceedings of the 2021 IEEE Workshop on Workflows in Support of Large-Scale Science (WORKS), 2021
Proceedings of the 2021 IEEE Workshop on Workflows in Support of Large-Scale Science (WORKS), 2021
Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021
2020
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development - Technical Report.
CoRR, 2020
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development.
Proceedings of the IEEE/ACM Workflows in Support of Large-Scale Science, 2020
Proceedings of the Computational Science - ICCS 2020, 2020
Modeling the Performance of Scientific Workflow Executions on HPC Platforms with Burst Buffers.
Proceedings of the IEEE International Conference on Cluster Computing, 2020
2019
Int. J. High Perform. Comput. Appl., 2019
Characterizing In Situ and In Transit Analytics of Molecular Dynamics Simulations for Next-Generation Supercomputers.
Proceedings of the 15th International Conference on eScience, 2019
Cyberinfrastructure Center of Excellence Pilot: Connecting Large Facilities Cyberinfrastructure.
Proceedings of the 15th International Conference on eScience, 2019
Exploration of Workflow Management Systems Emerging Features from Users Perspectives.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019
2018
Co-scheduling for large-scale applications : memory and resilience. (Ordonnancement concurrent d'applications à grande échelle : mémoire et résilience).
PhD thesis, 2018
Int. J. High Perform. Comput. Appl., 2018
Int. J. High Perform. Comput. Appl., 2018
Proceedings of the 47th International Conference on Parallel Processing, 2018
2017
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017
2016
Proceedings of the 45th International Conference on Parallel Processing, 2016
2008
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
Proceedings of the LPAR 2008 Workshops, 2008
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008
2003
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003
2002
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002
2001
Extraction dans le Calcul des Constructions Inductives.
Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001
1999
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars.
Proceedings of the Fifth International Conference on Document Analysis and Recognition, 1999
1998
Proceedings of the Document Recognition V, San Jose, CA, USA, January 24, 1998, 1998
1996
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996
1992
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992
1991
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
1990
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990
1988
Proceedings of the Symbolic and Algebraic Computation, 1988