Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 127
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.
Mostrati risultati da 21 a 40 di 127
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