Silvio Ghilardi < Silvio Ranise < Silvio Traversaro

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

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |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