Integrating goal model analysis with iterative design
2017-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
Dealing with incompleteness in automata-based model checking
2016-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews
2018-01-01 Spoletini, P.; Ferrari, A.; Bano, M.; Zowghi, D.; Gnesi, S.
Supporting verification-driven incremental distributed design of components
2018-01-01 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Vigabatrin and psychosis: Is there a direct correlation [Vigabatrin e psicosi: Esiste una vera correlazione?]
1997-01-01 Veggiotti, P.; De Agostini, G.; Muzio, C.; Termine, C.; Lanzi, G.
In vitro evaluation of cytocompatibility of silicone used in plastic implants
1994-01-01 Ciapetti, G.; Cenni, E.; Reho, A.; Valdatta, L.; Faga, A.; Pizzoferrato, A.
Tridimensional computed tomography (TC 3D) in plastics: First personal experience
1994-01-01 Cecchini, A. M.; Pricca, P.; Valdatta, L.; Castelli, M.; Poggi, P.; Cecchini, A.
Lymphocytic subpopulations exposed to silicone in vitro: Cytofluorimetric analysis
1994-01-01 Granchi, D.; Savarino, L.; Cavedagna, D.; Faga, A.; Valdatta, L.; Reho, A.; Pizzoferrato, A.
Legality of the anatomic dissection
1993-01-01 Faga, A.; Valdatta, L.; Boggio Robutti, G.
Liposuction: Metabolic aspects in different body regions [RICADUTA METABOLICA DELLA LIPOSUZIONE NEI VARI DISTRETTI ANATOMICI]
1993-01-01 Valdatta, L.; Faga, A.; Reho, A.; Garassino, E.; Boggio Robutti, G.
The effects of Heterologous Lyophilized Collagen on microvascular anastomoses: Haemostasis and vascular repair
1993-01-01 Figl, A.; Reho, A.; Tateo, A.; Valdatta, L.; Beghe, F.; Faga, A.
Dermatofibrosarcoma protuberans: Critical review of clinical casuistry
1991-01-01 Sanna, M.; Valdatta, L.; Biazzi, M.
An unusual case of tumor of the facial mesostructure
1991-01-01 Biazzi, M.; Fioni, L.; Valdatta, L.
Extended vulvectomy for carcinoma: Observations on reconstructive technique
1991-01-01 Faga, A.; Valdatta, L.; Boggio Robutti, G.
Tissue reaction to silicon: Evaluation through experimental implants
1994-01-01 Faga, A.; Valdatta, L.; Reho, A.; Stea, S.; Donati, M. E.; Pizzoferrato, A.
The experience of intercultural dialogue in the Amazonian University UCSS-Nopoki and its implications for SETI and Big History
2020-01-01 Musso, Paolo; Asla, Mariano; Atachahua, Wilmer; Azcona, Guisella; Capatinta, María; Gómez, Ángel; Lagos, David; López, Didier; Navarro, Janina; Pereyra, Carlota; Vargas, Teófilo; Viaña, Carlos; Vilcapuma, Patricia
Evidence of seismogenic activity of Perales Fault in the Ixtlahuaca Basin, Mexico
2015-01-01 VELÁZQUEZ BUCIO, M; Benente, Luigi; Hugo Garduño-Monroy, Victor; Michetti, ALESSANDRO MARIA; Groppelli, Gianluca
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
2020-01-01 Fiorentini, C.; Ferrari, M.
Impaired autonomic vascular control: a non linear dynamic analysis
2003-01-01 Merati, Giampiero; Di Rienzo, M.; Veicsteinas, A.; Castiglioni, P.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Integrating goal model analysis with iterative design | 1-gen-2017 | Menghi, C.; Spoletini, P.; Ghezzi, C. | |
| COVER: Change-based goal verifier and reasoner | 1-gen-2017 | Menghi, C.; Spoletini, P.; Ghezzi, C. | |
| Dealing with incompleteness in automata-based model checking | 1-gen-2016 | Menghi, C.; Spoletini, P.; Ghezzi, C. | |
| Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews | 1-gen-2018 | Spoletini, P.; Ferrari, A.; Bano, M.; Zowghi, D.; Gnesi, S. | |
| Supporting verification-driven incremental distributed design of components | 1-gen-2018 | Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C. | |
| Vigabatrin and psychosis: Is there a direct correlation [Vigabatrin e psicosi: Esiste una vera correlazione?] | 1-gen-1997 | Veggiotti, P.; De Agostini, G.; Muzio, C.; Termine, C.; Lanzi, G. | |
| In vitro evaluation of cytocompatibility of silicone used in plastic implants | 1-gen-1994 | Ciapetti, G.; Cenni, E.; Reho, A.; Valdatta, L.; Faga, A.; Pizzoferrato, A. | |
| Tridimensional computed tomography (TC 3D) in plastics: First personal experience | 1-gen-1994 | Cecchini, A. M.; Pricca, P.; Valdatta, L.; Castelli, M.; Poggi, P.; Cecchini, A. | |
| Lymphocytic subpopulations exposed to silicone in vitro: Cytofluorimetric analysis | 1-gen-1994 | Granchi, D.; Savarino, L.; Cavedagna, D.; Faga, A.; Valdatta, L.; Reho, A.; Pizzoferrato, A. | |
| Legality of the anatomic dissection | 1-gen-1993 | Faga, A.; Valdatta, L.; Boggio Robutti, G. | |
| Liposuction: Metabolic aspects in different body regions [RICADUTA METABOLICA DELLA LIPOSUZIONE NEI VARI DISTRETTI ANATOMICI] | 1-gen-1993 | Valdatta, L.; Faga, A.; Reho, A.; Garassino, E.; Boggio Robutti, G. | |
| The effects of Heterologous Lyophilized Collagen on microvascular anastomoses: Haemostasis and vascular repair | 1-gen-1993 | Figl, A.; Reho, A.; Tateo, A.; Valdatta, L.; Beghe, F.; Faga, A. | |
| Dermatofibrosarcoma protuberans: Critical review of clinical casuistry | 1-gen-1991 | Sanna, M.; Valdatta, L.; Biazzi, M. | |
| An unusual case of tumor of the facial mesostructure | 1-gen-1991 | Biazzi, M.; Fioni, L.; Valdatta, L. | |
| Extended vulvectomy for carcinoma: Observations on reconstructive technique | 1-gen-1991 | Faga, A.; Valdatta, L.; Boggio Robutti, G. | |
| Tissue reaction to silicon: Evaluation through experimental implants | 1-gen-1994 | Faga, A.; Valdatta, L.; Reho, A.; Stea, S.; Donati, M. E.; Pizzoferrato, A. | |
| The experience of intercultural dialogue in the Amazonian University UCSS-Nopoki and its implications for SETI and Big History | 1-gen-2020 | Musso, Paolo; Asla, Mariano; Atachahua, Wilmer; Azcona, Guisella; Capatinta, María; Gómez, Ángel; Lagos, David; López, Didier; Navarro, Janina; Pereyra, Carlota; Vargas, Teófilo; Viaña, Carlos; Vilcapuma, Patricia | |
| Evidence of seismogenic activity of Perales Fault in the Ixtlahuaca Basin, Mexico | 1-gen-2015 | VELÁZQUEZ BUCIO, M; Benente, Luigi; Hugo Garduño-Monroy, Victor; Michetti, ALESSANDRO MARIA; Groppelli, Gianluca | |
| A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms? | 1-gen-2020 | Fiorentini, C.; Ferrari, M. | |
| Impaired autonomic vascular control: a non linear dynamic analysis | 1-gen-2003 | Merati, Giampiero; Di Rienzo, M.; Veicsteinas, A.; Castiglioni, P. |
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
- Atti di Convegno479
- Articoli su Riviste1
Data di pubblicazione
- 2020 - 202562
- 2010 - 2019210
- 2000 - 2009139
- 1990 - 199959
- 1980 - 19899
- 1978 - 19791
Editore
- Bulzoni1
- Elsevier BV:PO Box 211, 1000 AE A...1
- Italian Association of Chemical E...1
- Lippincott, Williams & Wilkin...1
- Marine Biological Laboratory:7 MB...1
- Trans Tech Publications Limited:B...1
Rivista
- BLOOD16
- HAEMATOLOGICA16
- RIVISTA ITALIANA DI CHIRURGIA PLA...16
- JOURNAL OF PHYSICS. CONFERENCE SE...14
- LECTURE NOTES IN COMPUTER SCIENCE13
- GIORNALE ITALIANO DI MEDICINA DEL...12
- POS PROCEEDINGS OF SCIENCE11
- EPJ WEB OF CONFERENCES10
- ELECTRONIC NOTES IN THEORETICAL C...9
- MINERVA ANESTESIOLOGICA9
Serie
- CEUR WORKSHOP PROCEEDINGS11
- PROCEEDINGS OF SPIE, THE INTERNAT...9
- LECTURE NOTES IN ARTIFICIAL INTEL...6
- PROCEEDINGS OF THE ... ANNUAL CON...4
- WIT TRANSACTIONS ON ECOLOGY AND T...4
- CONTEMPORARY MATHEMATICS3
- IEEE ENGINEERING IN MEDICINE AND ...3
- CHEMICAL ENGINEERING TRANSACTIONS2
- IFIP ADVANCES IN INFORMATION AND ...2
- LECTURE NOTES IN COMPUTER SCIENCE2
Keyword
- Physics and Astronomy (all)13
- Condensed Matter Physics5
- Nuclear and High Energy Physics5
- and Optics4
- Atomic and Molecular Physics4
- Blockchain4
- Double beta decay4
- Materials Science (all)4
- Artifact-driven monitoring3
- Business process monitoring3
Lingua
- eng213
- ita55
- fre3
- und1
Accesso al fulltext
- no fulltext419
- reserved31
- open30