Sostenibilità, "imprativo" etico per il design
2012-01-01 Bradini, Luca
Mario Ceroli, l'arte nell'ogetto d'uso
2010-01-01 Bradini, Luca
The effects of rock heterogeneity on compaction localization in porous carbonates
2014-01-01 Cilona, Antonino; Daniel Roy, Faulkner; Tondi, Emanuele; Agosta, Fabrizio; Lucia, Mancini; Rustichelli, Andrea; Patrick, Baud; Sergio, Vinciguerra
A Formal Approach to Autonomic Systems Programming: The SCEL Language
2014-01-01 De Nicola, R.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco
Structural properties of fractured and faulted Cretaceous platform carbonates, Murge Plateau (southern Italy)
2014-01-01 Korneva, Irina; Tondi, Emanuele; Agosta, Fabrizio; Rustichelli, Andrea; V., Spina; R., Bitonte; R., Di Cuia
Helical Disruptions in Small Loops of DNA
2015-01-01 Zoli, Marco
An Accessible Verification Environment for UML Models of Services
2011-01-01 F., Banti; R., Pugliese; Tiezzi, Francesco
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios
2012-01-01 M., Masi; R., Pugliese; Tiezzi, Francesco
A WSDL-based type system for asynchronous WS-BPEL processes
2011-01-01 L., Lapadula; R., Pugliese; Tiezzi, Francesco
A Calculus for Orchestration of Web Services
2012-01-01 R., Pugliese; Tiezzi, Francesco
A logical verification methodology for service-oriented computing
2012-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
Using formal methods to develop WS-BPEL applications
2012-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
Modeling adaptation with Klaim
2012-01-01 Gjondrekaj, E.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco
La concorrenza dell'ex e gli "onesti usi in materia industriale e commerciale"
2014-01-01 Larocca, Serafina Rosaria
La riabilitazione del debitore pluriprotestato tra dubbi interpretativo-applicativi e intervento del legislatore.
2014-01-01 Larocca, Serafina Rosaria
TAPAs: A Tool for the Analysis of Process Algebras
2008-01-01 Calzolai, F.; De Nicola, R.; Loreti, M.; Tiezzi, Francesco
A tool for rapid development of WS-BPEL applications
2010-01-01 L., Cesari; R., Pugliese; Tiezzi, Francesco
Blind-date Conversation Joining
2013-01-01 L., Cesari; R., Pugliese; Tiezzi, Francesco
High affinity ligands and potent antagonists for the α1D-adrenergic receptor. Novel 3,8-disubstituted [1]benzothieno[3,2-d]pyrimidine derivatives
2014-01-01 G., Romeo; L., Salerno; V., Pittalà; M. N., Modica; M. A., Siracusa; L., Materia; Buccioni, Michela; Marucci, Gabriella; K. P., Minneman
Towards Reversible Sessions
2014-01-01 Tiezzi, Francesco; N., Yoshida
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Sostenibilità, "imprativo" etico per il design | 1-gen-2012 | Bradini, Luca | Articolo | |
| Mario Ceroli, l'arte nell'ogetto d'uso | 1-gen-2010 | Bradini, Luca | Articolo | |
| The effects of rock heterogeneity on compaction localization in porous carbonates | 1-gen-2014 | Cilona, Antonino; Daniel Roy, Faulkner; Tondi, Emanuele; Agosta, Fabrizio; Lucia, Mancini; Rustichelli, Andrea; Patrick, Baud; Sergio, Vinciguerra | Articolo | |
| A Formal Approach to Autonomic Systems Programming: The SCEL Language | 1-gen-2014 | De Nicola, R.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco | Articolo | |
| Structural properties of fractured and faulted Cretaceous platform carbonates, Murge Plateau (southern Italy) | 1-gen-2014 | Korneva, Irina; Tondi, Emanuele; Agosta, Fabrizio; Rustichelli, Andrea; V., Spina; R., Bitonte; R., Di Cuia | Articolo | |
| Helical Disruptions in Small Loops of DNA | 1-gen-2015 | Zoli, Marco | Articolo | |
| An Accessible Verification Environment for UML Models of Services | 1-gen-2011 | F., Banti; R., Pugliese; Tiezzi, Francesco | Articolo | |
| Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios | 1-gen-2012 | M., Masi; R., Pugliese; Tiezzi, Francesco | Articolo | |
| A WSDL-based type system for asynchronous WS-BPEL processes | 1-gen-2011 | L., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo | |
| A Calculus for Orchestration of Web Services | 1-gen-2012 | R., Pugliese; Tiezzi, Francesco | Articolo | |
| A logical verification methodology for service-oriented computing | 1-gen-2012 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Articolo | |
| Using formal methods to develop WS-BPEL applications | 1-gen-2012 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Articolo | |
| Modeling adaptation with Klaim | 1-gen-2012 | Gjondrekaj, E.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco | Articolo | |
| La concorrenza dell'ex e gli "onesti usi in materia industriale e commerciale" | 1-gen-2014 | Larocca, Serafina Rosaria | Articolo | |
| La riabilitazione del debitore pluriprotestato tra dubbi interpretativo-applicativi e intervento del legislatore. | 1-gen-2014 | Larocca, Serafina Rosaria | Articolo | |
| TAPAs: A Tool for the Analysis of Process Algebras | 1-gen-2008 | Calzolai, F.; De Nicola, R.; Loreti, M.; Tiezzi, Francesco | Articolo | |
| A tool for rapid development of WS-BPEL applications | 1-gen-2010 | L., Cesari; R., Pugliese; Tiezzi, Francesco | Articolo | |
| Blind-date Conversation Joining | 1-gen-2013 | L., Cesari; R., Pugliese; Tiezzi, Francesco | Articolo | |
| High affinity ligands and potent antagonists for the α1D-adrenergic receptor. Novel 3,8-disubstituted [1]benzothieno[3,2-d]pyrimidine derivatives | 1-gen-2014 | G., Romeo; L., Salerno; V., Pittalà; M. N., Modica; M. A., Siracusa; L., Materia; Buccioni, Michela; Marucci, Gabriella; K. P., Minneman | Articolo | |
| Towards Reversible Sessions | 1-gen-2014 | Tiezzi, Francesco; N., Yoshida | Articolo |
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
- 1 PUBBLICAZIONE SU RIVISTA17570
Data di pubblicazione
- In corso di stampa9
- 2020 - 20274453
- 2010 - 20195768
- 2000 - 20094096
- 1990 - 19992416
- 1980 - 1989736
- 1970 - 197991
- 1969 - 19691
Editore
- Societa Botanica Italiana:Via la ...97
- Elsevier BV:PO Box 211, 1000 AE A...76
- American Institute of Physics:2 H...72
- Elsevier Science Limited:Oxford F...63
- Università degli studi di Camerin...37
- American Chemical Society:1155 Si...29
- Trepuzzi (LE) : Francesco Torre29
- -Naples Italy: Casa Editrice Jovi...28
- Giuffre Editore Spa:via Busto Ars...21
- Giuffrè20
Rivista
- PHYSICAL REVIEW A190
- PHYSICAL REVIEW LETTERS157
- INFORMATORE BOTANICO ITALIANO127
- JOURNAL OF MEDICINAL CHEMISTRY123
- ANIMALS117
- PHYSICAL REVIEW. B, CONDENSED MAT...94
- SCIENTIFIC REPORTS93
- INORGANICA CHIMICA ACTA92
- CLASSICAL AND QUANTUM GRAVITY88
- PHYSICAL REVIEW. B, CONDENSED MATTER86
Keyword
- Animals26
- metabolism22
- oxidative stress20
- blood19
- Hemoglobins18
- inflammation18
- Humans16
- probiotics16
- dog13
- Italy13
Lingua
- eng14418
- ita3389
- fre53
- ger33
- spa32
- por16
- scr6
- enm4
- hrv4
- mul2
Accesso al fulltext
- no fulltext10894
- open3835
- reserved2432
- partially open407
- embargoed2