Shear modelling of beam-column joints for the nonlinear seismic analysis of r.c. framed structures retrofitted with damped braces
2018-01-01 Mazza, Fabio
Statistical Model Checking of Distributed Real-Time Actor Systems
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Statistical Model Checking of Multi-Agent Systems
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Model Checking Mutual Exclusion Algorithms Using UPPAAL
2016-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
LONG TERM SOLAR HEAT STORAGE THROUGH UNDERGROUND WATER TANKS FOR THE HEATING OF HOUSING
1981-01-01 Cucumo, M; Marinelli, V; Oliveti, G; Sabato, A
The 4rd international workshop on multi-agent systems and simulation (MAS&S): Engineering complex systems through agent-based modeling and simulation, MALLOW-MAS&S'10
2010-01-01 Bernon, Carole; Garro, Alfredo; Gomez-Sanz, Jorge J.
System dependability analysis: Main issues and possible solutions
2014-01-01 Garro, Alfredo
Systemic Risk analysis through SE methods and techniques
2017-01-01 Tundis, Andrea; Mühlhäuser, Max; Gallo, Teresa; Garro, Alfredo; Saccá, Domenico; Citrigno, Simona; Graziano, Sabrina
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan
A Java library for easing the distributed simulation of space systems
2017-01-01 Falcone, Alberto; Garro, Alfredo
Simulation-based verification of system requirements: An integrated solution
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan
Systemic risk modeling & evaluation through simulation & Bayesian networks
2017-01-01 Tundis, Andrea; Mühlhäuser, Max; Garro, Alfredo; Gallo, Teresa; Saccá, Domenico; Citrigno, Ida Simona; Graziano, Sabrina
Dependability assessment of a deicing system through the RAMSAS method
2017-01-01 Tundis, Andrea; Ferretto, Davide; Garro, Alfredo; Brusa, Eugenio; Muhlhauser, Max
Engineering systems by combining BPMN and HLA-based distributed simulation
2017-01-01 Falcone, Alberto; Garro, Alfredo; Daambrogio, Andrea; Giglio, Andrea
Calculation of counter current flows of liquid and gas in the flooding regime
1979-01-01 Marinelli, V; Oliveti, G; Sabato, A
A coupled ALE-Cohesive formulation for layered structural systems
2017-01-01 Funari, Marco Francesco; Greco, Fabrizio; Lonetti, Paolo
Parametric study and shrinkage modelling of natural rubber sheet drying using COMSOL multiphysics
2017-01-01 Ajani, C.; Kumar, A.; Curcio, S.; Tekasakul, P.
Machining Simulation of Ti6Al4V under Dry and Cryogenic Conditions
2017-01-01 Imbrogno, Stano; Sartori, Stefano; Bordin, Alberto; Bruschi, Stefania; Umbrello, Domenico
Microstructural and hardness changes in aluminum alloy Al-7075: Correlating machining and equal channel angular pressing
2017-01-01 Imbrogno, Stano; Segebade, Eric; Fellmeth, Andreas; Gerstenmeyer, Michael; Zanger, F.; Schulze, Volker; Umbrello, Domenico
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 ...16707
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20272693
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...555
- IEEE378
- Springer326
- Springer Verlag161
- CEUR-WS158
- Springer Science and Business Med...151
- IEEE Computer Society138
- Elsevier B.V.129
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE72
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE50
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS172
- LECTURE NOTES IN COMPUTER SCIENCE132
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE21
- PROCEDIA CIRP20
- LECTURE NOTES IN NETWORKS AND SYS...19
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Answer Set Programming76
- Artificial Intelligence75
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11325
- ita3493
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16680
- open22
- embargoed6
- reserved1