Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Fong Wan Heng

Probabilistic Simple Sticker Systems

2017English

Related publications

Probabilistic Proof Systems

BRICS Report Series
1994English

Probabilistic Generation of Finite Simple Groups

Journal of Algebra
Number TheoryAlgebra
2000English

Active Diagnosis for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Probabilistic Logic for Intelligent Systems

Advances in Intelligent Systems and Computing
ControlSystems EngineeringComputer Science
2018English

Weak Bisimulation for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy