A nonlinear waveguide array with inhomogeneous poling pattern for the generation of photon pairs
2016-01-01 Lenzini, F.; Titchener, J.; Kasture, S.; Poddubny, A. N.; Boes, A.; Haylock, B.; Villa, M.; Mitchell, A.; Solntsev, A. S.; Sukhorukov, A. A.; Lobino, M.
Single atom sub Atto-Newton force sensor in three-dimensions
2017-01-01 Streed, E. W.; Blums, V.; Piotrowski, M.; Hussain, M. I.; Norton, B. G.; Connell, S.; Gensemer, S.; Lobino, M.
Quantum tomography of a nonlinear photonic circuit by classical sum-frequency generation measurements
2017-01-01 Lenzini, F.; Poddubny, A. N.; Titchener, J.; Fisher, P.; Boes, A.; Kasture, S.; Haylock, B.; Villa, M.; Mitchell, A.; Solntsev, A. S.; Sukhorukov, A. A.; Lobino, M.
Superconducting nanowire single-photon detector on lithium niobate
2018-01-01 Smirnov, E.; Golikov, A.; Zolotov, P.; Kovalyuk, V.; Lobino, M.; Voronov, B.; Korneev, A.; Goltsman, G.
A Computational Offloading Framework for Object Detection in Mobile Devices
2018-01-01 Abdelaty, M.; Mokhtar, A.
Scalable automated analysis of access control and privacy policies
2017-01-01 Truong, A.; Ranise, S.; Nguyen, T. T.
Verifying the interplay of authorization policies and workflow in service-oriented architectures
2009-01-01 Barletta, M.; Ranise, S.; Vigano, L.
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints
2011-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
PADS: Practical Attestation for Highly Dynamic Swarm Topologies
2018-01-01 Ambrosin, M.; Conti, M.; Lazzeretti, R.; Rabbani, M. M.; Ranise, S.
Cerberus: Automated synthesis of enforcement mechanisms for security-sensitive business processes
2016-01-01 Compagna, L.; dos Santos, D. R.; Ponta, S. E.; Ranise, S.
Termination of constraint contextual rewriting
2000-01-01 Armando, A.; Ranise, S.
Lazy abstraction with interpolants for arrays
2012-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, S.; Sharygina, N.
Building extended canonizers by graph-based deduction
2007-01-01 Ranise, S.; Scharff, C.
Uniform derivation of decision procedures by superposition
2001-01-01 Armando, A.; Ranise, S.; Rusinowitch, M.
Towards verification of security-aware e-services
2009-01-01 Ranise, S.
Aegis: Automatic enforcement of security policies in workflow-driven web applications
2017-01-01 Compagna, L.; Dos Santos, D. R.; Ponta, S. E.; Ranise, S.
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
2009-01-01 Ghilardi, S; Ranise, S
The SMT-LIB Initiative and the Rise of SMT: (HVC 2010 Award Talk)
2011-01-01 Barrett, C.; de Moura, L.; Ranise, S.; Stump, A.; Tinelli, C.
SMT-based enforcement and analysis of NATO content-based protection and release policies
2016-01-01 Armando, A.; Ranise, S.; Traverso, R.; Wrona, K.
Design, formal specification and analysis of multi-factor authentication solutions with a single sign-on experience
2018-01-01 Carbone, R.; Ranise, S.; Vigano, L.; Sciarretta, G.
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
- 04 Convegni (Proceedings)20179
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20263266
- 2010 - 20197189
- 2000 - 20096473
- 1990 - 19992661
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2267
- Institute of Electrical and Elect...950
- Springer895
- ACM386
- IEEE Computer Society310
- Springer Verlag293
- SPIE182
- Association for Computational Lin...171
- CEUR-WS165
- Association for Computing Machinery160
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE44
- IJCAI27
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE675
- CEUR WORKSHOP PROCEEDINGS256
- PROCEEDINGS OF SPIE, THE INTERNAT...172
- IEEE INTERNATIONAL GEOSCIENCE AND...135
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...93
- DIGEST - IEEE ANTENNAS AND PROPAG...58
- PROCEEDINGS - IEEE COMPUTER SOCIE...55
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...30
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...6
- Settore L-ANT/08 - Archeologia Cr...5
- Settore ICAR/17 - Disegno4
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15121
- ita3554
- und133
- fre93
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14995
- reserved3206
- open1492
- partially open478
- mixed8
- embargoed2