Silvio Ranise

2009
40	EE	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): (2009)
2008
39	EE	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Towards SMT Model Checking of Array-Based Systems. IJCAR 2008: 67-82
2007
38	EE	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. CADE 2007: 362-378
37	EE	Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli: From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Deduction and Decision Procedures 2007
36	EE	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Noetherianity and Combination Problems. FroCos 2007: 206-220
35	EE	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Combining Proof-Producing Decision Procedures. FroCos 2007: 237-251
34	EE	Silvio Ranise, Christelle Scharff: Building Extended Canonizers by Graph-Based Deduction. ICTAC 2007: 440-454
33	EE	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Decision procedures for extensions of the theory of arrays. Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007)
32	EE	David Déharbe, Silvio Ranise, Jorgiano Vidal: Distributing the Workload in a Lazy Theorem-Prover. Electr. Notes Theor. Comput. Sci. 184: 21-37 (2007)
2006
31	EE	David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
30	EE	Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527
29	EE	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. JELIA 2006: 177-189
28	EE	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
27	EE	Silvio Ranise, Calogero G. Zarba: A Theory of Singly-Linked Lists and its Extensible Decision Procedure. SEFM 2006: 206-215
26	EE	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures CoRR abs/cs/0604054: (2006)
25	EE	Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)
24	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006)
2005
23	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349
22	EE	Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba: Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCos 2005: 48-64
21	EE	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCos 2005: 65-80
20	EE	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
19	EE	Alessandro Armando, Luca Compagna, Silvio Ranise: Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45
2004
18	EE	David Déharbe, Abdessamad Imine, Silvio Ranise: Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275
17	EE	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC 2004: 372-386
16	EE	Pascal Fontaine, Silvio Ranise, Calogero G. Zarba: Combining Lists with Non-stably Infinite Theories. LPAR 2004: 51-66
15	EE	Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise: Proving and Debugging Set-Based Specifications. Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004)
14		Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comp. Soc. 9(2): 17-36 (2004)
2003
13	EE	David Déharbe, Silvio Ranise: Light-Weight Theorem Proving for Debugging and Verifying Units of Code. SEFM 2003: 220-228
12	EE	Silvio Ranise, David Déharbe: Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
11	EE	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003)
10	EE	Alessandro Armando, Silvio Ranise: Constraint contextual rewriting. J. Symb. Comput. 36(1-2): 193-216 (2003)
2002
9	EE	Silvio Ranise: Combining Generic and Domain Specific Reasoning by Using Contexts. AISC 2002: 305-318
2001
8	EE	Alessandro Armando, Felice Peccia, Silvio Ranise: The Phase Transition of the Linear Inequalities Problem. CP 2001: 422-432
7	EE	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527
6	EE	Alessandro Armando, Luca Compagna, Silvio Ranise: System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669
5		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)
4	EE	Alessandro Armando, Silvio Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. UCS 7(2): 124-140 (2001)
2000
3		Alessandro Armando, Silvio Ranise: Termination of Constraint Contextual Rewriting. FroCos 2000: 47-61
1998
2	EE	Alessandro Armando, Erica Melis, Silvio Ranise: Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38
1	EE	Alessandro Armando, Silvio Ranise: From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. AISC 1998: 42-54

Coauthor Index

1	Alessandro Armando	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [19] [21] [26] [40]
2	Thomas Ball	[25]
3	Bernhard Beckert	[25]
4	Maria Paola Bonacina	[21] [26] [30] [40]
5	Marco Bozzano	[23] [24]
6	Roberto Bruttomesso	[23] [24]
7	Alessandro Cimatti	[23] [24]
8	Alessandro Coglio	[5]
9	Luca Compagna	[6] [19]
10	Jean-Francois Couchot	[14] [15]
11	Frédéric Dadeau	[15]
12	David Déharbe	[12] [13] [14] [15] [18] [31] [32]
13	Pascal Fontaine	[16] [31]
14	Silvio Ghilardi	[29] [30] [33] [36] [37] [38] [39]
15	Alain Giorgetti	[14] [15]
16	Fausto Giunchiglia	[5]
17	Cordell Green	[25]
18	Reiner Hähnle	[25]
19	C. A. R. Hoare (Tony Hoare)	[25]
20	Abdessamad Imine	[18]
21	Tommi A. Junttila	[23] [24]
22	Hélène Kirchner	[20] [28]
23	Erica Melis	[2]
24	Enrica Nicolini	[29] [30] [33] [36] [37] [38] [39]
25	Felice Peccia	[8]
26	Sriram K. Rajamani	[25]
27	Christophe Ringeissen	[17] [20] [22] [28] [31] [35]
28	Peter van Rossum	[23] [24]
29	Michaël Rusinowitch	[7] [11]
30	Christelle Scharff	[34]
31	Stephan Schulz	[21] [26] [40]
32	Roberto Sebastiani	[23] [24]
33	Douglas R. Smith	[25]
34	Cesare Tinelli	[25]
35	Duc-Khanh Tran	[17] [20] [28] [35]
36	Jorgiano Vidal	[32]
37	Calogero G. Zarba	[16] [22] [27]
38	Daniele Zucchelli	[29] [30] [33] [36] [37] [38] [39]

Colors in the list of coauthors