Sfoglia per Autore Ranise, Silvio
Termination of Constraint Contextual Rewriting
2000-01-01 Armando, Alessandro; Ranise, Silvio
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics
2001-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, Silvio
Uniform Derivation of Decision Procedures by Superposition
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
A Superposition Based Methodology to Design Satisfiability Decision Procedures
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
The Phase Transition of the Linear Inequalities Problem
2001-01-01 Armando, Alessandro; Peccia, F.; Ranise, Silvio
Coommunication Protocols for Mathematical Services based on KQML and OMRS
2001-01-01 Armando, Alessandro; Kohlhase, M.; Ranise, Silvio
RDL---Rewrite and Decision procedure Laboratory
2001-01-01 Armando, Alessandro; Compagna, L.; Ranise, Silvio
High Performance Deduction for verification: a case study in the theory of arrays
2002-01-01 Armando, Alessandro; Bonacina, M. P.; Sehgal, A. K.; Ranise, Silvio; Rusinowitch, M.
Scalable Automated Proving and Debugging of Set-Based Specfications
2004-01-01 Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio
Abstraction-Driven Verification of Array Programs
2004-01-01 D., Déharbe; A., Imine; Ranise, Silvio
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
2004-01-01 Ranise, Silvio; C., Ringeissen; D. K., Tran
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
2005-01-01 Ranise, Silvio; C., Ringeissen; C. G., Zarba
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
2005-01-01 Armando, Alessandro; Compagna, L.; Ranise, Silvio
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
On Superposition-Based Satisfiability Procedures and Their Combination
2005-01-01 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
2005-01-01 Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S.
Efficient Theory Combination via Boolean Search
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Combining Lists with Non-stably Infinite Theories
2005-01-01 P., Fontaine; Ranise, Silvio; C. G., Zarba
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
2005-01-01 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Termination of Constraint Contextual Rewriting | 1-gen-2000 | Armando, Alessandro; Ranise, Silvio | |
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics | 1-gen-2001 | Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio | |
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio | |
Uniform Derivation of Decision Procedures by Superposition | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio; Rusinowitch, M. | |
A Superposition Based Methodology to Design Satisfiability Decision Procedures | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio; Rusinowitch, M. | |
The Phase Transition of the Linear Inequalities Problem | 1-gen-2001 | Armando, Alessandro; Peccia, F.; Ranise, Silvio | |
Coommunication Protocols for Mathematical Services based on KQML and OMRS | 1-gen-2001 | Armando, Alessandro; Kohlhase, M.; Ranise, Silvio | |
RDL---Rewrite and Decision procedure Laboratory | 1-gen-2001 | Armando, Alessandro; Compagna, L.; Ranise, Silvio | |
High Performance Deduction for verification: a case study in the theory of arrays | 1-gen-2002 | Armando, Alessandro; Bonacina, M. P.; Sehgal, A. K.; Ranise, Silvio; Rusinowitch, M. | |
Scalable Automated Proving and Debugging of Set-Based Specfications | 1-gen-2004 | Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio | |
Abstraction-Driven Verification of Array Programs | 1-gen-2004 | D., Déharbe; A., Imine; Ranise, Silvio | |
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn | 1-gen-2004 | Ranise, Silvio; C., Ringeissen; D. K., Tran | |
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic | 1-gen-2005 | Ranise, Silvio; C., Ringeissen; C. G., Zarba | |
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation | 1-gen-2005 | Armando, Alessandro; Compagna, L.; Ranise, Silvio | |
Efficient Satisfiability Modulo Theories via Delayed Theory Combination | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto | |
On Superposition-Based Satisfiability Procedures and Their Combination | 1-gen-2005 | H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran | |
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal | 1-gen-2005 | Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S. | |
Efficient Theory Combination via Boolean Search | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto | |
Combining Lists with Non-stably Infinite Theories | 1-gen-2005 | P., Fontaine; Ranise, Silvio; C. G., Zarba | |
Efficient Satisfiability Modulo Theories via Delayed Theory Combination | 1-gen-2005 | Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile