Sfoglia per Titolo
SAT-Based Cooperative Planning: A Proposal
2004-01-01 Benedetti, Marco; Carlucci Aiello, Luigia
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2002-01-01 Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective
2005-01-01 Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A.
SAT-Based Decision Procedures for Classical Modal Logics
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
SAT-based decision procedures for normal modal logics: a theoretical framework
1998-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo
SAT-based Model Checking for Security Protocols Analysis
2008-01-01 Armando, Alessandro; L., Compagna
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis
2003-01-01 Armando, Alessandro; Compagna, L.; Ganty, P.
Satellite Gateway Diversity in SDN/NFV-enabled satellite ground segment systems
2017-01-01 Ahmed, T.; Ferrus, R.; Fedrizzi, Riccardo; Sallent, O.; Kuhn, N.; Dubois, E.; Gelard, P.
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability checking and symbolic computation
2016-01-01 Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Satisfiability Modulo the Theory of Costs: Foundations and Applications
2010-01-01 Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico
Satisfiability Modulo Transcendental Functions via Incremental Linearization
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Satisfiability solving for software verification
2009-01-01 D., Deharbe; Ranise, Silvio
Satisfiability solving for software verification
2009-01-01 D., Déharbe; Ranise, Silvio
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview
2011-01-01 Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
2016-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| SAT-Based Cooperative Planning: A Proposal | 1-gen-2004 | Benedetti, Marco; Carlucci Aiello, Luigia | |
| SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2002 | Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
| SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A. | |
| SAT-Based Decision Procedures for Classical Modal Logics | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
| SAT-based decision procedures for normal modal logics: a theoretical framework | 1-gen-1998 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo | |
| SAT-based Model Checking for Security Protocols Analysis | 1-gen-2008 | Armando, Alessandro; L., Compagna | |
| SAT-based Model-Checking of Security Protocols using Planning Graph Analysis | 1-gen-2003 | Armando, Alessandro; Compagna, L.; Ganty, P. | |
| Satellite Gateway Diversity in SDN/NFV-enabled satellite ground segment systems | 1-gen-2017 | Ahmed, T.; Ferrus, R.; Fedrizzi, Riccardo; Sallent, O.; Kuhn, N.; Dubois, E.; Gelard, P. | |
| Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption | 1-gen-2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
| Satisfiability checking and symbolic computation | 1-gen-2016 | Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M. | |
| Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
| Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
| Satisfiability Modulo the Theory of Costs: Foundations and Applications | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico | |
| Satisfiability Modulo Transcendental Functions via Incremental Linearization | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Satisfiability solving for software verification | 1-gen-2009 | D., Deharbe; Ranise, Silvio | |
| Satisfiability solving for software verification | 1-gen-2009 | D., Déharbe; Ranise, Silvio | |
| Satisfying User Needs at the Right Time and in the Right Place: A Research Preview | 1-gen-2011 | Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna | |
| SATMC: a SAT-based Model Checker for Security Protocols | 1-gen-2004 | Armando, Alessandro; Compagna, L. | |
| SATMC: a SAT-based model checker for security protocols, business processes, and security APIs | 1-gen-2016 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. |
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