Security-by-contract for the future internet
2009-01-01 Massacci, Fabio; F., Piessens; I., Siahaan
Do You Really Mean What You Actually Enforced? Edit Automata Revisited
2009-01-01 Bielova, Nataliia; Massacci, Fabio
How to capture and use legal patterns in IT
2009-01-01 A., Krausova; Massacci, Fabio; A., Saidane
Towards Practical Enforcement Theories
2009-01-01 Bielova, Nataliia; Massacci, Fabio; A., Micheletti
Theory and practice of economic integration: the process of convergence towards the euro for the Visegrad-4 countries
2009-01-01 Passamani, Giuliana
Inflation convergence between EU non-euro states and euro area states
2008-01-01 Passamani, Giuliana
Quantitative assessment for organisational security & dependability
2009-01-01 Asnar, Yudistira Dwi Wardhana; M., Felici; Massacci, Fabio; A., Tedeschi; Yautsiukhin, Artsiom
Time series convergence within I(2) models: the case of daily long term bond yields in the euro area
2009-01-01 Passamani, Giuliana
International parity relations between Albania and euro area
2009-01-01 Passamani, Giuliana; E., Perndoj
Modelling the convergence of long-term bond yields in the European Monetary Union
2009-01-01 Passamani, Giuliana
Model predictive control — Ideas for the next generation
1999-01-01 Bemporad, Alberto; G., FERRARI TRECATE; D., Mignone; M., Morari; F. D., Torrisi
Observability and controllability of piecewise affine and hybrid systems
1999-01-01 Bemporad, Alberto; G., FERRARI TRECATE; M., Morari
Moving horizon estimation for hybrid systems and fault detection
1999-01-01 Bemporad, Alberto; D., Mignone; M., Morari
Model predictive control: A multi-parametric programming approach
2000-01-01 Bemporad, Alberto; N. A., Bozinis; V., Dua; M., Morari; E. N., Pistikopoulos
A framework for control, fault detection, state estimation and verification of hybrid systems
1999-01-01 D., Mignone; Bemporad, Alberto; M., Morari
Multi-objective prioritisation and reconfiguration for the control of constrained hybrid systems
2000-01-01 E. C., Kerrigan; Bemporad, Alberto; D., Mignone; M., Morari; J. M., Maciejowski
A geometric approach to the Legendre transformation
2004-01-01 Pagani, Enrico
Global Relations for Liquid-granular Flows over Mobile Bed in a Wide Range of Slope Values.
2009-01-01 Armanini, Aronne; A., Paris
Sediment Transport in Vegetated Rivers.
2009-01-01 Armanini, Aronne; Cavedon, Valentina; Righetti, Maurizio
Software model checking via large-block encoding
2009-01-01 D., Beyer; Cimatti, Alessandro; Griggio, Alberto; E., Keremoglu; Sebastiani, Roberto
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)20271
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263341
- 2010 - 20197199
- 2000 - 20096476
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2256
- Institute of Electrical and Elect...959
- Springer898
- ACM386
- IEEE Computer Society316
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS169
- Association for Computing Machinery164
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- 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 SCIENCE684
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- 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...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
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
- eng15207
- ita3560
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15009
- reserved3242
- open1524
- partially open488
- mixed8
- embargoed2