Hubert Garavel

Lecture Notes in Computer Science · 2003–2012

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 11 researchers here, as inferred from the citation graph.

Whom Hubert Garavel trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Frank Ghenassia
  2. Iroon Polytechniou

Who trusts Hubert Garavel overall

  1. Vijay Victor D'Silva
  2. Daniel Kroening
  3. Edmund M. Clarke
  4. M. Wenzel
  5. Josselin Feist
  6. Lawrence Charles Paulson
  7. Gustavo Grieco
  8. Alex Groce
  9. Georg Weissenbacher
  10. Flavio Lerda

Papers from Hubert Garavel's perspective

Ordered by how strongly the researchers Hubert Garavel trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Transaction Level Modeling with SystemC
  2. Concurrency State Models and Java Programs (Parallel Distributed Comput. Pract.)
  3. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
  4. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  5. Feasibility of bioremediation by white-rot fungi (Applied Microbiology and Biotechnology)
  6. Production of organic acids and oxalate decarboxylase in lignin-degrading white rot fungi
  7. Review: lignin conversion by manganese peroxidase (MnP)
  8. NUSMV: a new symbolic model checker (International Journal on Software Tools for Technology Transfer (STTT))
  9. Space/time trade-offs in hash coding with allowable errors
  10. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))

Their papers