
Loïc Pottier
Person information
- affiliation: INRIA, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c23]Loïc Pottier, Rafael Ferreira da Silva
, Henri Casanova, Ewa Deelman:
Modeling the Performance of Scientific Workflow Executions on HPC Platforms with Burst Buffers. CLUSTER 2020: 92-103 - [c22]Tu Mai Anh Do, Loïc Pottier, Stephen Thomas, Rafael Ferreira da Silva
, Michel A. Cuendet, Harel Weinstein, Trilce Estrada, Michela Taufer
, Ewa Deelman:
A Novel Metric to Evaluate In Situ Workflows. ICCS (1) 2020: 538-553 - [c21]Rafael Ferreira da Silva, Loïc Pottier, Tainã Coleman, Ewa Deelman, Henri Casanova:
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development. WORKS@SC 2020: 49-56 - [i2]Rafael Ferreira da Silva, Loïc Pottier, Tainã Coleman, Ewa Deelman, Henri Casanova:
WorkflowHub: Community Framework for Enabling Scientific Workflow Research and Development - Technical Report. CoRR abs/2009.00250 (2020)
2010 – 2019
- 2019
- [j5]Guillaume Aupy
, Anne Benoit, Brice Goglin, Loïc Pottier
, Yves Robert
:
Co-scheduling HPC workloads on cache-partitioned CMP platforms. Int. J. High Perform. Comput. Appl. 33(6) (2019) - [c20]Ryan Mitchell, Loïc Pottier
, Steve Jacobs, Rafael Ferreira da Silva
, Mats Rynge, Karan Vahi, Ewa Deelman:
Exploration of Workflow Management Systems Emerging Features from Users Perspectives. BigData 2019: 4537-4544 - [c19]Michela Taufer
, Ewa Deelman, Stephen Thomas, Michael R. Wyatt II, Tu Mai Anh Do, Loïc Pottier, Rafael Ferreira da Silva
, Harel Weinstein, Michel A. Cuendet, Trilce Estrada:
Characterizing In Situ and In Transit Analytics of Molecular Dynamics Simulations for Next-Generation Supercomputers. eScience 2019: 188-198 - [c18]Ewa Deelman, Ryan Mitchell, Loïc Pottier, Mats Rynge, Erik Scott, Karan Vahi, Marina Kogan, Jasmine Mann, Tom Gulbransen, Daniel Allen, David Barlow, Anirban Mandal, Santiago Bonarrigo, Chris Clark, Leslie Goldman, Tristan Goulden, Phil Harvey, David Hulsander, Steve Jacobs, Christine Laney, Ivan Lobo-Padilla, Jeremy Sampson, Valerio Pascucci, John Staarmann, Steve Stone, Susan Sons, Jane Wyngaard, Charles Vardeman, Steve Petruzza, Ilya Baldin, Laura Christopherson
:
Cyberinfrastructure Center of Excellence Pilot: Connecting Large Facilities Cyberinfrastructure. eScience 2019: 449-457 - 2018
- [b1]Loïc Pottier:
Co-scheduling for large-scale applications : memory and resilience. (Ordonnancement concurrent d'applications à grande échelle : mémoire et résilience). University of Lyon, France, 2018 - [j4]Anne Benoit, Loïc Pottier
, Yves Robert:
Resilient co-scheduling of malleable applications. Int. J. High Perform. Comput. Appl. 32(1): 89-103 (2018) - [j3]Guillaume Aupy, Anne Benoit, Sicheng Dai, Loïc Pottier
, Padma Raghavan, Yves Robert, Manu Shantharam:
Co-scheduling Amdahl applications on cache-partitioned systems. Int. J. High Perform. Comput. Appl. 32(1): 123-138 (2018) - [c17]Guillaume Aupy, Anne Benoit, Brice Goglin, Loic Pottier, Yves Robert:
Co-Scheduling HPC Workloads on Cache-Partitioned CMP Platforms. CLUSTER 2018: 348-358 - [c16]Anne Benoit, Swann Perarnau, Loïc Pottier
, Yves Robert:
A Performance Model to Execute Workflows on High-Bandwidth-Memory Architectures. ICPP 2018: 36:1-36:10 - 2017
- [c15]Guillaume Aupy, Anne Benoit, Loïc Pottier
, Padma Raghavan, Yves Robert, Manu Shantharam:
Co-Scheduling Algorithms for Cache-Partitioned Systems. IPDPS Workshops 2017: 874-883 - 2016
- [c14]Anne Benoit, Loic Pottier
, Yves Robert:
Resilient Application Co-scheduling with Processor Redistribution. ICPP 2016: 123-132 - 2010
- [i1]Loïc Pottier:
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. CoRR abs/1007.3615 (2010)
2000 – 2009
- 2008
- [c13]Benjamin Grégoire, Loïc Pottier, Laurent Théry:
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. Automated Deduction in Geometry 2008: 42-59 - [c12]Loic Pottier:
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. LPAR Workshops 2008 - 2004
- [j2]Yves Bertot, Frédérique Guilhot, Loic Pottier:
Visualizing Geometrical Statements with GeoView. Electron. Notes Theor. Comput. Sci. 103: 49-65 (2004) - 2002
- [c11]Laurent Chicli, Loic Pottier, Carlos Simpson:
Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107 - 2001
- [c10]Loic Pottier:
Extraction dans le Calcul des Constructions Inductives. JFLA 2001: 49-58
1990 – 1999
- 1999
- [j1]Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry:
CtCoq: an environment for mathematical reasoning. SIGSAM Bull. 33(3): 21-22 (1999) - [c9]Andreas Kosmala, Gerhard Rigoll, Stephane Lavirotte, Loic Pottier:
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars. ICDAR 1999: 107-110 - 1998
- [c8]Stéphane Lavirotte, Loïc Pottier:
Mathematical formula recognition using graph grammar. Document Recognition 1998: 44-52 - 1996
- [c7]Loic Pottier:
The Euclidean Algorithm in Dimension n. ISSAC 1996: 40-42 - 1992
- [c6]C. Faure, André Galligo, J. Grimm, Loic Pottier:
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. DISCO 1992: 44-55 - 1991
- [c5]Emmanuel Kounalis, Denis Lugiez, Loic Pottier:
A Solution of the Complement Problem in Associative-Commutative Theories. IWWERT 1991: 197-214 - [c4]Emmanuel Kounalis, Denis Lugiez, Loic Pottier:
A Solution of the Complement Problem in Associative-Commutative Theories. MFCS 1991: 287-297 - [c3]Loic Pottier:
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms. RTA 1991: 162-173 - 1990
- [c2]André Galligo, J. Grimm, Loic Pottier:
The design of SISYPHE: a system for doing symbolic and algebraic computations. DISCO 1990: 30-39
1980 – 1989
- 1988
- [c1]André Galligo, Loic Pottier, Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms. ISSAC 1988: 162-176
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-14 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint