Sfoglia per Rivista LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
2013-01-01 Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening
Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems
2017-01-01 Bucchiarone, Antonio; De Sanctis, Martina; Marconi, Annapaola
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
2013-01-01 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
RDL---Rewrite and Decision procedure Laboratory
2001-01-01 Armando, Alessandro; Compagna, L.; Ranise, Silvio
A Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method
2018-01-01 Franch, Xavier; Ralyté, Jolita; Perini, Anna; Abelló, Alberto; Ameller, David; Gorroñogoitia, Jesús; Nadal, Sergi; Oriol, Marc; Seyff, Norbert; Siena, Alberto; Susi, Angelo
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
2018-01-01 Cerone, Antonio; Roveri, Marco
Termination of Constraint Contextual Rewriting
2000-01-01 Armando, Alessandro; Ranise, Silvio
The MathSAT5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
Theory and Applications of Satisfiability Testing – SAT 2012
2012-01-01 Cimatti, Alessandro; Sebastiani, Roberto
“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing
2011-01-01 Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Modular Approach to MaxSAT Modulo Theories | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
| An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening | |
| Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems | 1-gen-2017 | Bucchiarone, Antonio; De Sanctis, Martina; Marconi, Annapaola | |
| Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening | |
| RDL---Rewrite and Decision procedure Laboratory | 1-gen-2001 | Armando, Alessandro; Compagna, L.; Ranise, Silvio | |
| A Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method | 1-gen-2018 | Franch, Xavier; Ralyté, Jolita; Perini, Anna; Abelló, Alberto; Ameller, David; Gorroñogoitia, Jesús; Nadal, Sergi; Oriol, Marc; Seyff, Norbert; Siena, Alberto; Susi, Angelo | |
| Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers | 1-gen-2018 | Cerone, Antonio; Roveri, Marco | |
| Termination of Constraint Contextual Rewriting | 1-gen-2000 | Armando, Alessandro; Ranise, Silvio | |
| The MathSAT5 SMT Solver | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
| Theory and Applications of Satisfiability Testing – SAT 2012 | 1-gen-2012 | Cimatti, Alessandro; Sebastiani, Roberto | |
| “Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing | 1-gen-2011 | Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela |
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