IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Relazione (in Volume): [3798] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.661 a 3.680 di 3.798
Titolo Data di pubblicazione Autore(i) File
Sediment flushing from an Alpine reservoir: hydraulic monitoring and biological impact 1-gen-2008 Espa, Paolo; Compare, S; Crosa, Giuseppe; Bondiolotti, F; Gentili, G; Sibilla, S.
A symbolic manipulation system for combinatorial problems 1-gen-1986 Massazza, Paolo; Mauri, G; Righi, P; Torelli, M.
Holonomic generating functions and context free languages 1-gen-1990 Massazza, Paolo; Sabadini, Nicoletta
Some applications and techniques for generating functions 1-gen-1989 Massazza, Paolo; Sabadini, Nicoletta
On generating sand piles 1-gen-2008 Massazza, Paolo
On the Square Root of Languages 1-gen-2000 Bertoni, Alberto; Massazza, Paolo
Effetti della gestione forestale sulla chirotterofauna: ricchezza specifica e ripristino delle selve castanili. 1-gen-2008 Spada, Martina; Bontadina, F; Zambelli, N; Obrist, M. K.; Rathey, E; Szentkuti, S; Martinoli, Adriano; Moretti, M.
La chirotterofauna nelle foreste tropicali dei Monti Udzungwa (Eastern Arc, Tanzania centro-meridionale). 1-gen-2008 Trentin, L; Agnelli, P; Martinoli, Adriano; Rovero, F.
Sivers function: from small to large transverse momenta 1-gen-2008 Ratcliffe, PHILIP GEORGE; Teryaev, O.
Relating Leading and Higher Twist Contributions to Nucleon Spin Structure 1-gen-2009 Ratcliffe, PHILIP GEORGE; Teryaev, O. V.
Dominant contribution in pion production single-spin asymmetries 1-gen-2008 Ratcliffe, PHILIP GEORGE; Ramilli, M.
Trio2Promela: a model checker for temporal metric specifications 1-gen-2007 Bianculli, D.; Morzenti, A.; Pradella, M.; San Pietro, P.; Spoletini, Paola
A timed extension of WSCoL 1-gen-2007 Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola
Meson--exchange currents in one-- and two-- nucleon emission induced by electromagnetic probes 1-gen-1994 Benenti, Giuliano; Giusti, C.; Pacati, F. D.
A new quantum phase in two dimesions 1-gen-1999 Benenti, Giuliano; Waintal, X.; Pichard, J. L.
Effects of static imperfections for quantum computing 1-gen-2003 Benenti, Giuliano; Casati, Giulio
Towards the exhaustive verification of real-time aspects in controller implementation 1-gen-2008 Furia C. A, Mazzucchelli M.; Spoletini, Paola
A model checking approach to verify BPEL4WS workflows 1-gen-2007 Bianculli, D.; Ghezzi, C.; Spoletini, Paola
Formal verification of production systems performance: a new approach to the detailed system design phase 1-gen-2006 Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M.
A formal approach supporting the specification and verification of business conversation requirements. 1-gen-2005 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.661 a 3.680 di 3.798
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 Convegno3798
Autore
  • RADA, ELENA CRISTINA212
  • FERRARI, ELENA176
  • LAVAZZA, LUIGI ANTONIO148
  • CLERICI, MATTEO139
  • RAGAZZI, MARCO139
  • CARMINATI, BARBARA106
  • MORASCA, SANDRO99
  • SIENI, ELISABETTA95
  • BINAGHI, ELISABETTA94
  • GALLO, IGNAZIO91
Data di pubblicazione
  • In corso di stampa7
  • 2020 - 2027552
  • 2010 - 20191597
  • 2000 - 20091063
  • 1990 - 1999376
  • 1980 - 1989178
  • 1971 - 197925
Editore
  • Institute of Electrical and Elect...102
  • Springer93
  • IEEE Computer Society78
  • IEEE72
  • ACM50
  • Springer Verlag45
  • CEUR-WS28
  • Optica Publishing Group (formerly...27
  • WITPress25
  • Springer Science and Business Med...23
Rivista
  • GIORNALE ITALIANO DI MEDICINA DEL...3
  • ACM INTERNATIONAL CONFERENCE PROC...1
  • CLINICAL TOXICOLOGY1
  • IEEE TRANSACTIONS ON NEURAL SYSTE...1
  • INTERNATIONAL JOURNAL OF ENERGY P...1
  • JAHRBUCH FÜR INTERNATIONALE GERMA...1
  • LECTURE NOTES IN COMPUTER SCIENCE1
  • NEUROCOMPUTING1
  • RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE68
  • CEUR WORKSHOP PROCEEDINGS54
  • Optics InfoBase Conference Papers38
  • PROCEEDINGS OF SPIE, THE INTERNAT...29
  • LECTURE NOTES IN ARTIFICIAL INTEL...25
  • WIT TRANSACTIONS ON ECOLOGY AND T...19
  • AIP CONFERENCE PROCEEDINGS13
  • WIT TRANSACTIONS ON ECOLOGY AND T...12
  • INTERNATIONAL ASTRONAUTICAL CONGR...8
  • LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
  • MSW40
  • Computer Networks and Communications22
  • bio-drying21
  • Physics and Astronomy (all)21
  • Electrical and Electronic Enginee...20
  • Computer Science (all)18
  • Nuclear and High Energy Physics18
  • SETI18
  • Software18
  • selective collection17
Lingua
  • eng1314
  • ita362
  • fre16
  • spa8
  • ger5
  • rus3
  • gre2
  • und2
  • enm1
  • mul1
Accesso al fulltext
  • no fulltext3358
  • reserved292
  • open138
  • restricted10