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

75 citations

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

6 papers · 1 filter

cs.LO2011★ 4 cited

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communicat…

cs.LO2011★ 7 cited

Automata and temporal logic over arbitrary linear time

Julien Cristau

Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running syst…

cs.LO2010★ 1 cited

Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes

Marie Ferbus-Zanda, Serge Grigorieff

We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: rando…

cs.LO2010

ASMs and Operational Algorithmic Completeness of Lambda Calculus

Marie Ferbus-Zanda, Serge Grigorieff

We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any…

cs.LO2010

Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality

Marie Ferbus-Zanda

We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: rando…

cs.LO2007★ 33 cited

A Logic of Reachable Patterns in Linked Data-Structures

Greta Yorsh, Alexander Rabinovich, Mooly Sagiv +2

We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The m…