IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.201 a 5.220 di 7.939
Titolo Data di pubblicazione Autore(i) File
LTL Model Checking for Security Protocols 1-gen-2007 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 1-gen-2006 Armando, Alessandro; Mantovani, J.; Platania, L.
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 AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 1-gen-2005 Armando, Alessandro; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. H.; Heam, P.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', L.; Vigneron, L.
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.
Towards Mathematical Agents -- Combining MathWeb-SB and LBA 1-gen-2001 Zimmer, J.; Armando, Alessandro; Giromini, C.
RDL---Rewrite and Decision procedure Laboratory 1-gen-2001 Armando, Alessandro; Compagna, L.; Ranise, Silvio
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 1-gen-2011 Alberti, F.; Armando, Alessandro; Ranise, Silvio
Termination of Constraint Contextual Rewriting 1-gen-2000 Armando, Alessandro; Ranise, Silvio
The Phase Transition of the Linear Inequalities Problem 1-gen-2001 Armando, Alessandro; Peccia, F.; Ranise, Silvio
Cooperative Access Control for the Grid 1-gen-2010 Merlo, A.; Armando, Alessandro
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2004 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
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.
SATMC: a SAT-based Model Checker for Security Protocols 1-gen-2004 Armando, Alessandro; Compagna, L.
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 1-gen-2004 Armando, Alessandro; Compagna, L.; Lierler, Y.
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 1-gen-2003 Armando, Alessandro; Compagna, L.; Ganty, P.
Software Model Checking using Linear Constraints 1-gen-2004 Armando, Alessandro; Castellini, C.; Mantovani, J.
Abstraction-driven SAT-based Analysis of Security Protocols 1-gen-2003 Armando, Alessandro; Compagna, L.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.201 a 5.220 di 7.939
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1