Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.041 a 4.060 di 7.939
Circe: A grammar-based oracle for testing Cross-site scripting in web applications
2013-01-01 Avancini, Andrea; Ceccato, Mariano
A Machine Learning Pipeline for Discriminant Pathways Identification
2012-01-01 A., Barla; Jurman, Giuseppe; Visintainer, Roberto; M., Squillario; Filosi, Michele; S., Riccadonna; Furlanello, Cesare
How Environmental Factors Impact Outdoor Sensor Networks: A Case Study
2013-01-01 Ramona, Marfievici; Murphy, Amy Lynn; Picco, Gian Pietro; Federico, Ossi; Francesca, Cagnacci
State-based event modeling
2013-01-01 Botti Benevides, Alessander; Masolo, C.
Trustworthy Opportunistic Access to the Internet of Services
2013-01-01 Armando, Alessandro; Castiglione, A.; Costa, G.; Fiore, U.; Merlo, A.; Verderame, L.; You, I.
OCRA: A tool for checking the refinement of temporal contracts
2013-01-01 Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Parameterized Verification of Broadcast Networks of Register Automata
2013-01-01 Delzanno, G.; Sangnier, A.; Traverso, Riccardo
Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper)
2012-01-01 Solimando, A.; Traverso, Riccardo
Specification and Validation of Link Reversal Routing via Graph Transformations
2013-01-01 Delzanno, G.; Traverso, Riccardo
A Formal Model of Asynchronous Broadcast Communication
2012-01-01 Delzanno, G.; Traverso, Riccardo
On the Verification of Timed Ad Hoc Networks
2011-01-01 Abdulla, P.; Delzanno, G.; Rezine, O.; Sangnier, A.; Traverso, Riccardo
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
2012-01-01 Delzanno, G.; Sangnier, A.; Traverso, Riccardo; Zavattaro, G.
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks
2013-01-01 Delzanno, G.; Traverso, Riccardo
Pre-concentration and incubation analysis chambers integration: a strategy for enhanced microsystem detection probability of viable Escherichia coli in milk
2013-01-01 Mortari, Alessia; Adami, Andrea; Collini, Cristian; Morganti, Elisa; De Plano, Lm; Nicolò, Ms; Guglielmino, S; Lorenzelli, Leandro
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Slavnov-Taylor Identity for the Effective Field Theory of the Color Glass Condensate
2013-01-01 Binosi, Daniele; A., Quadri; Triantafyllopoulos, Dionysios
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Dominant Set Approach to ECG Biometrics
2013-01-01 Andrè, Lourenço; Rota Bulò, Samuel; Carlos, Carreiras; Hugo, Silva; Ana L. N., Fred; Marcello, Pelillo
Is data clustering in adversarial settings secure?
2013-01-01 Battista, Biggio; Ignazio, Pillai; Rota Bulò, Samuel; Davide, Ariu; Marcello, Pelillo; Fabio, Roli
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Circe: A grammar-based oracle for testing Cross-site scripting in web applications | 1-gen-2013 | Avancini, Andrea; Ceccato, Mariano | |
| A Machine Learning Pipeline for Discriminant Pathways Identification | 1-gen-2012 | A., Barla; Jurman, Giuseppe; Visintainer, Roberto; M., Squillario; Filosi, Michele; S., Riccadonna; Furlanello, Cesare | |
| How Environmental Factors Impact Outdoor Sensor Networks: A Case Study | 1-gen-2013 | Ramona, Marfievici; Murphy, Amy Lynn; Picco, Gian Pietro; Federico, Ossi; Francesca, Cagnacci | |
| State-based event modeling | 1-gen-2013 | Botti Benevides, Alessander; Masolo, C. | |
| Trustworthy Opportunistic Access to the Internet of Services | 1-gen-2013 | Armando, Alessandro; Castiglione, A.; Costa, G.; Fiore, U.; Merlo, A.; Verderame, L.; You, I. | |
| OCRA: A tool for checking the refinement of temporal contracts | 1-gen-2013 | Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano | |
| IC3 Modulo Theories via Implicit Predicate Abstraction | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
| Parameterized Verification of Broadcast Networks of Register Automata | 1-gen-2013 | Delzanno, G.; Sangnier, A.; Traverso, Riccardo | |
| Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) | 1-gen-2012 | Solimando, A.; Traverso, Riccardo | |
| Specification and Validation of Link Reversal Routing via Graph Transformations | 1-gen-2013 | Delzanno, G.; Traverso, Riccardo | |
| A Formal Model of Asynchronous Broadcast Communication | 1-gen-2012 | Delzanno, G.; Traverso, Riccardo | |
| On the Verification of Timed Ad Hoc Networks | 1-gen-2011 | Abdulla, P.; Delzanno, G.; Rezine, O.; Sangnier, A.; Traverso, Riccardo | |
| On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks | 1-gen-2012 | Delzanno, G.; Sangnier, A.; Traverso, Riccardo; Zavattaro, G. | |
| Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks | 1-gen-2013 | Delzanno, G.; Traverso, Riccardo | |
| Pre-concentration and incubation analysis chambers integration: a strategy for enhanced microsystem detection probability of viable Escherichia coli in milk | 1-gen-2013 | Mortari, Alessia; Adami, Andrea; Collini, Cristian; Morganti, Elisa; De Plano, Lm; Nicolò, Ms; Guglielmino, S; Lorenzelli, Leandro | |
| SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
| Slavnov-Taylor Identity for the Effective Field Theory of the Color Glass Condensate | 1-gen-2013 | Binosi, Daniele; A., Quadri; Triantafyllopoulos, Dionysios | |
| Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic | 1-gen-2014 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
| Dominant Set Approach to ECG Biometrics | 1-gen-2013 | Andrè, Lourenço; Rota Bulò, Samuel; Carlos, Carreiras; Hugo, Silva; Ana L. N., Fred; Marcello, Pelillo | |
| Is data clustering in adversarial settings secure? | 1-gen-2013 | Battista, Biggio; Ignazio, Pillai; Rota Bulò, Samuel; Davide, Ariu; Marcello, Pelillo; Fabio, Roli |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.041 a 4.060 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
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