List of bibliographic references indexed by Silvio Ranise
Number of relevant bibliographic references: 53.
[20-40] [
0 - 20][
0 - 50][
40-52][
40-60]
Ident. | Authors (with country if any) | Title |
---|
005613 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
005614 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
005888 (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 |
005921 (2005-09) |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
005927 (2005-09) |
Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
005A75 (2005-03-14) |
Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero Zarba [France] | Combining Lists with Non-Stably Infinite Theories |
005D31 (2005) |
Silvio Ranise ; Christophe Ringeissen ; Calogero Zarba | Combining data structures with nonstably infinite theories using many-sorted logic |
005E00 (2005) |
Pascal Fontaine ; Silvio Ranise ; Calogero Zarba | Combining Lists with Non-Stably Infinite Theories |
005E25 (2005) |
Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | On Superposition-Based Satisfiability Procedures and their Combination |
006203 (2005) |
Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [France] | R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation |
006222 (2005) |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal |
006223 (2005) |
Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh Tran | On Superposition-Based Satisfiability Procedures and Their Combination |
006225 (2005) |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
006263 (2005) |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
006288 (2005) |
Silvio Ranise ; Christophe Ringeissen ; Calogero G. Zarba | Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic |
006375 (2005) |
Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero G. Zarba [France] | Combining lists with non-stably infinite theories |
006544 (2005) |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
006650 (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 |
006912 (2004) |
Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Nelson-Oppen, Shostak and the Extended Canonizer : A Family Picture with a Newborn |
006C48 (2004) |
David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
006F48 (2004) |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Silvio Ranise"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Silvio Ranise" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|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 | |