Silvio Ghilardi < Silvio Ranise < Silvio Traversaro

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
001100 (2006-11)	Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Automatic Combinability of Rewriting-Based Satisfiability Procedures
001186 (2002)	David Déharbe ; Silvio Ranise [France]	BDD-Driven First-Order Satisfiability Procedures (Extended Version)
001331 (2006-03)	Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Building and Combining Satisfiability Procedures for Software Verification
001548 (2007-07-17)	Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie]	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
001550 (2010-02)	Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
001551 (2008)	Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
001567 (2005)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba	Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic
001583 (2005-03-14)	Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero Zarba [France]	Combining Lists with Non-Stably Infinite Theories
001586 (2007-09)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Combining Proof-Producing Decision Procedures
001602 (2005-09)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis]	Combining data structures with nonstably infinite theories using many-sorted logic
001B11 (2006-11)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France]	Decision Procedures for the Formal Analysis of Software
001B14 (2007)	Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie]	Decision procedures for extensions of the theory of arrays
003523 (2004)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
003585 (2009)	Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]	New results on rewrite-based satisfiability procedures
003592 (2007-09-10)	Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie]	Noetherianity and Combination Problems
003704 (2005-09)	Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France]	On Structural Information and the Experimental Evaluation of SMT Tools
003706 (2005-10)	Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	On Superposition-Based Satisfiability Procedures and their Combination
003D51 (2006-08-21)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Producing Conflict Sets for Combination of Theories
003E45 (2004-05)	Jean-François Couchot [France] ; Frédéric Dadeau [France] ; David Déharbe [France] ; Silvio Ranise [France]	Proving and Debugging Set-Based Specifications
004E40 (2008-08-12)	Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie] ; Daniele Zucchelli [Italie]	Towards SMT Model Checking of Array-Based Systems
005056 (2001)	Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France]	Uniform Derivation of Decision Procedures by Superposition

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Silvio Ranise" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Silvio Ranise" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Silvio Ranise
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022