output
20032013
most citedAnisotropic Reinforcement of Nanocomposites Tuned by Magnetic Orientation of the Filler Network

75 citations

researchers with a paper here
collaborating institutions
Showing 2012 · cs.LOShow all

2 papers · 2 filters

cs.LO2012★ 4 cited

Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics

Rodica Bozianu, Cătălin Dima, Constantin Enea

We show that the model-checking problem is decidable for a fragment of the epistemic μ-calculus. The fragment allows free variables within the scope of epistemic modalities in a re…

cs.LO2012★ 6 cited

IO vs OI in Higher-Order Recursion Schemes

Axel Haddad

We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the s…