Sfoglia per Autore
Towards Mathematical Agents -- Combining MathWeb-SB and LBA
2001-01-01 Zimmer, J.; Armando, Alessandro; Giromini, C.
Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture
2001-01-01 Armando, Alessandro; Zini, D.
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
2001-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, S.
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation
2001-01-01 Armando, Alessandro; Jabelean, T.
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
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2002-01-01 Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
Automatic SAT-compilation of Protocol Insecurity Problems via Reduction to Planning
2002-01-01 Armando, Alessandro; Campagna, L.
Symbolic Model-Checking of Linear Programs
2002-01-01 Armando, Alessandro; De Lucia, P.
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.
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning
2002-01-01 Armando, Alessandro; Compagna, L.
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L.
The Rewriting Approach to Satisfiability Procedures
2003-01-01 Armando, Alessandro; Ranise, S.; Rusinowitch, M.
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis
2003-01-01 Armando, Alessandro; Compagna, L.; Ganty, P.
Abstraction-driven SAT-based Analysis of Security Protocols
2003-01-01 Armando, Alessandro; Compagna, L.
Constraint Contextual Rewriting
2003-01-01 Armando, Alessandro; Ranise, S.
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
Software Model Checking using Linear Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Mantovani, J.
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Towards Mathematical Agents -- Combining MathWeb-SB and LBA | 1-gen-2001 | Zimmer, J.; Armando, Alessandro; Giromini, C. | |
Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture | 1-gen-2001 | Armando, Alessandro; Zini, D. | |
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics | 1-gen-2001 | Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, S. | |
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation | 1-gen-2001 | Armando, Alessandro; Jabelean, T. | |
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 | |
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2002 | Armando, Alessandro; C., Castellini; E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
Automatic SAT-compilation of Protocol Insecurity Problems via Reduction to Planning | 1-gen-2002 | Armando, Alessandro; Campagna, L. | |
Symbolic Model-Checking of Linear Programs | 1-gen-2002 | Armando, Alessandro; De Lucia, P. | |
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. | |
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning | 1-gen-2002 | Armando, Alessandro; Compagna, L. | |
The AVISS Security Protocol Analysis Tool | 1-gen-2002 | Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L. | |
The Rewriting Approach to Satisfiability Procedures | 1-gen-2003 | Armando, Alessandro; Ranise, S.; Rusinowitch, M. | |
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis | 1-gen-2003 | Armando, Alessandro; Compagna, L.; Ganty, P. | |
Abstraction-driven SAT-based Analysis of Security Protocols | 1-gen-2003 | Armando, Alessandro; Compagna, L. | |
Constraint Contextual Rewriting | 1-gen-2003 | Armando, Alessandro; Ranise, S. | |
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints | 1-gen-2004 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M. | |
Software Model Checking using Linear Constraints | 1-gen-2004 | Armando, Alessandro; Castellini, C.; Mantovani, J. | |
SATMC: a SAT-based Model Checker for Security Protocols | 1-gen-2004 | Armando, Alessandro; 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