Loic Pottier

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 3

Top Topics

Scheduling Problem

Online Transaction Processing

Scientific Workflows

Top Venues

Publications

Rafael Ferreira da Silva, Henri Casanova, Kyle Chard, Dan Laney, Dong H. Ahn, Shantenu Jha, Carole A. Goble, Lavanya Ramakrishnan, J. Luc Peterson, Bjoern Enders, Douglas Thain, Ilkay Altintas, Yadu N. Babuji, Rosa M. Badia, Vivien Bonazzi, Tainã Coleman, Michael R. Crusoe, Ewa Deelman, Frank Di Natale, Paolo Di Tommaso, Thomas Fahringer, Rosa Filgueira, Grigori Fursin, Alex Ganose, Björn A. Grüning, Daniel S. Katz, Olga Kuchar, Ana Kupresanin, Bertram Ludäscher, Ketan Maheshwari, Marta Mattoso, Kshitij Mehta, Todd S. Munson, Jonathan Ozik, Tom Peterka, Loic Pottier, Tim Randles, Stian Soiland-Reyes, Benjamín Tovar, Matteo Turilli, Thomas D. Uram, Karan Vahi, Michael Wilde, Matthew Wolf, Justin M. Wozniak
Workflows Community Summit: Bringing the Scientific Workflows Community Together. CoRR (2021)
Guillaume Aupy, Anne Benoit, Brice Goglin, Loic Pottier, Yves Robert
Co-Scheduling HPC Workloads on Cache-Partitioned CMP Platforms. CLUSTER (2018)
Anne Benoit, Loic Pottier, Yves Robert
Resilient Application Co-scheduling with Processor Redistribution. ICPP (2016)
Loic Pottier
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. LPAR Workshops (2008)
Yves Bertot, Frédérique Guilhot, Loic Pottier
Visualizing Geometrical Statements with GeoView. Electron. Notes Theor. Comput. Sci. 103 (2004)
Laurent Chicli, Loic Pottier, Carlos Simpson
Mathematical Quotients and Quotient Types in Coq. TYPES (2002)
Loic Pottier
Extraction dans le Calcul des Constructions Inductives. JFLA (2001)
Andreas Kosmala, Gerhard Rigoll, Stephane Lavirotte, Loic Pottier
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars. ICDAR (1999)
Loic Pottier
. ISSAC (1996)
C. Faure, André Galligo, J. Grimm, Loic Pottier
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. DISCO (1992)
Loic Pottier
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms. RTA (1991)
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in Associative-Commutative Theories. MFCS (1991)
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in Associative-Commutative Theories. IWWERT (1991)
André Galligo, J. Grimm, Loic Pottier
The design of SISYPHE: a system for doing symbolic and algebraic computations. DISCO (1990)
André Galligo, Loic Pottier, Carlo Traverso
Greater Easy Common Divisor and Standard Basis Completion Algorithms. ISSAC (1988)