Frédéric Magniette

International Conference on Software Composition · 2002–2004

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

Whom Frédéric Magniette trusts overall

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

  1. W. Hoeffding
  2. Nicholas I. Fisher

Who trusts Frédéric Magniette overall

  1. Marta Z. Kwiatkowska

Papers from Frédéric Magniette's perspective

Ordered by how strongly the researchers Frédéric Magniette trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
  2. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  3. Probability inequalities for sum of bounded random variables
  4. Probability Inequalities for Sums of Bounded Random Variables
  5. FT-MPI: Fault Tolerant MPI, Supporting Dynamic Applications in a Dynamic World (PVM/MPI)
  6. I Computational Complexity
  7. Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs (Measurement and Modeling of Computer Systems)
  8. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  9. Learning Metric-Topological Maps for Indoor Mobile Robot Navigation
  10. Communication in reactive multiagent robotic systems

Their papers