The SCEAS System
Navigation Menu

Search the dblp DataBase


Laurent Hascoët: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Benjamin Dauvergne, Laurent Hascoët
    The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:566-573 [Conf]
  2. Laurent Hascoët, Mariano Vázquez, Alain Dervieux
    Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction. [Citation Graph (0, 0)][DBLP]
    ICCSA (2), 2003, pp:85-94 [Conf]
  3. Laurent Hascoët
    A tactic-driven system for building proofs. [Citation Graph (0, 0)][DBLP]
    SPLT, 1988, pp:31-52 [Conf]
  4. Laurent Hascoët
    Automatic Placement of Communications in Mesh-Partitioning Parallelization. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1997, pp:136-144 [Conf]
  5. Michael Fagan, Laurent Hascoët, Jean Utke
    Data Representation Alternatives in Semantically Augmented Numerical Models. [Citation Graph (0, 0)][DBLP]
    SCAM, 2006, pp:85-94 [Conf]
  6. Laksono Adhianto, François Bodin, Barbara M. Chapman, Laurent Hascoët, Aron Kneer, David Lancaster, I. C. Wolton, M. Wirtz
    Tools for OpenMP application development: the POST project. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:12, pp:1177-1191 [Journal]
  7. Laurent Hascoët, Uwe Naumann, Valérie Pascual
    "To be recorded" analysis in reverse-mode automatic differentiation. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2005, v:21, n:8, pp:1401-1417 [Journal]
  8. Laurent Hascoët
    Partial Evaluation with Inference Rules. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:187-209 [Journal]
  9. Laurent Hascoët
    A method for automatic placement of communications in SPMD parallelisation. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2001, v:27, n:13, pp:1655-1664 [Journal]
  10. Laurent Hascoët, Mauricio Araya-Polo
    Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  11. Toward adjoinable MPI. [Citation Graph (, )][DBLP]

  12. A Framework for Proving Correctness of Adjoint Message-Passing Programs. [Citation Graph (, )][DBLP]

  13. Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002