#### Filter Results:

- Full text PDF available (15)

#### Publication Year

2005

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Luca Alberucci, Alessandro Facchini
- J. Symb. Log.
- 2009

We study the strictness of the modal µ-calculus hierarchy over some restricted classes of transition systems. First, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite models. Second, we prove that over transitive systems the hierarchy collapses to the… (More)

- Alessandro Facchini, Filip Murlak, Michal Skrzypczak
- 2013 28th Annual ACM/IEEE Symposium on Logic in…
- 2013

For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognise this language with a non-deterministic or alternating parity automaton. These questions are known as, respectively, the non-deterministic and the alternating Rabin-Mostowski index problems. Whether they can be answered effectively is a… (More)

- Adriana Bigi, Elisa Boanini, +4 authors Luigina Sturba
- Biomaterials
- 2005

We obtained a fast biomimetic deposition of hydroxyapatite (HA) coatings on Ti6Al4V substrates using a slightly supersaturated Ca/P solution, with an ionic composition simpler than that of simulated body fluid (SBF). At variance with other fast deposition methods, which produce amorphous calcium phosphate coatings, the new proposed composition allows one to… (More)

- Isabella Tognarini, Sabina Sorace, +12 authors Maria Luisa Brandi
- Biomaterials
- 2008

Long-term stability of arthroplasty prosthesis depends on the integration between the bone tissue and the implanted biomaterials, which requires the contribution of osteoblastic precursors and their continuous differentiation into the osteoblastic phenotype. Classically, these interactions are tested in vitro using mesenchymal stem cells (MSCs) isolated and… (More)

- Gemma Leone, Paola Torricelli, Antonio Chiumiento, Alessandro Facchini, Rolando Barbucci
- Journal of biomedical materials research. Part A
- 2008

Degeneration of intervertebral discs is the most common cause of back pain. The first phase of this degenerative process involves the nucleus pulposus (NP). A rapid recovery of this structure can prevent further degradation of the annulus fibrosus. A new amidic derivative of alginate (AAA) was developed to obtain a polysaccharide possessing some of the… (More)

- Adriana Bigi, Milena Fini, +7 authors Roberto Giardino
- Biomaterials
- 2008

An in vivo study was carried out on uncoated and hydroxyapatite (HA)-coated nanostructured Ti13Nb11Zr alloy in comparison with high-grade Ti6Al4V, to investigate the effect of the different surfaces on osteointegration rate. A highly effective method to obtain a fast biomimetic deposition of a thin layer of nanocrystalline HA was applied to coat both… (More)

- Luca Alberucci, Alessandro Facchini
- Studia Logica
- 2009

We show that the modal µ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after two iterations and answer to a question posed by van Benthem in [vBe06]. Further, we introduce the modal µ ∼-calculus by allowing fixpoint con-structors for any formula where the fixpoint variable appears guarded but not… (More)

- Jacques Duparc, Alessandro Facchini, Filip Murlak
- FSTTCS
- 2011

Alternating automata on infinite trees induce operations on languages which do not preserve natural equivalence relations, like having the same Mostowski–Rabin index, the same Borel rank, or being continuously reducible to each other (Wadge equivalence). In order to prevent this, alternation needs to be restricted to the choice of direction in the tree. For… (More)

- Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
- CSL-LICS
- 2014

We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal <i>μ</i>-calculus where the application of the least fixpoint operator <i>μp</i>.φ is restricted to formulas φ that are continuous in <i>p</i>. Our proof is automata-theoretic in nature; in particular, we… (More)

- Balder ten Cate, Alessandro Facchini
- MFCS
- 2011

We provide several effective equivalent characterizations of EF (the modal logic of the descendant relation) on arbitrary trees. More specifically, we prove that, for EF-bisimulation invariant properties of trees, being definable by an EF formula, being a Borel set, and being definable in weak monadic second order logic, all coincide. The proof builds upon… (More)