Dipartimento di
Scienze Ambientali, Informatica e Statistica

Catalogo pubblicazioni

Il catalogo delle pubblicazioni del Dipartimento attinge le informazioni da ARCA, l'archivio istituzionale ad accesso aperto della ricerca di Ca' Foscari.

Rimuovi filtri

8208  pubblicazioni

76 Libri
83 Curatele
16 Brevetti
4442 Contributi in rivista
621 Contributi in volume
2787 Contributi in atti convegno
183 Altro
Abstract Interpretation Based Verification of Non-Functional Requirements

CORTESI A.; LOGOZZO F.

(2005) in Jean-Marie Jacquet, Gian Pietro Picco, Coordination Models and Languages, Heidelberg, Springer verlag, vol. 3454, pp. 49-62, Convegno: Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 (ISBN 354025630X) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS

CORTESI A.; FILE' G.

(1991) in Charles Consel, Olivier Danvy, Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, 1515 BROADWAY, NEW YORK, NY 10036, ASSOC COMPUTING MACHINERY, vol. 26, pp. 52-61, Convegno: Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 (ISBN 0897914333) (Articolo in Atti di convegno)

Characterization of contaminated soil and groundwater surrounding an illegal landfill (S.Giuliano, Venice, Italy) by principal component analysis and kriging

CRITTO A.; CARLON C.; MARCOMINI A.

(2003) in ENVIRONMENTAL POLLUTION, vol. 122, pp. 235-244 (ISSN 0269-7491) (Articolo su rivista)
Link DOI

Liquid Chromatography-electrospray-mass spectrometry as a valuable tool for characterizing biodegradation intermediates of branched alcohol ethoxylate surfactants.

DI CORCIA A.; CRESCENZI C.; MARCOMINI A.; SAMPERI R.

(1998) in ENVIRONMENTAL SCIENCE & TECHNOLOGY, vol. 32, pp. 711-718 (ISSN 0013-936X) (Articolo su rivista)

Modelling Complex User Experiences in Distributed Interaction Environments

PITTARELLO F.; FOGLI D.

(2005), Proceedings of DMS 2005, 11th International Conference on Distributed Multimedia Systems, Knowledge Systems Institute, pp. 184-189, Convegno: DMS 2005, 11th International Conference on Distributed Multimedia Systems, Banff, Canada, September 5-7, 2005 (ISBN 9781891706172) (Articolo in Atti di convegno)

Soluble and insoluble lithium dust in the EPICA DomeC ice core—Implications for changes of the East Antarctic dust provenance during the recent glacial–interglacial transition

MARIE-LOUISE SIGGAARD-ANDERSEN; PAOLO GABRIELLI; JRGEN PEDER STEFFENSEN; TRINE STRMFELDT; BARBANTE C.; CLAUDE BOUTRON; HUBERTUS FISCHER; HEINZ MILLER

(2007) in EARTH AND PLANETARY SCIENCE LETTERS, vol. 258, pp. 32-43 (ISSN 0012-821X) (Articolo su rivista)

La pesca del pesce novello da semina in laguna di venezia nel periodo 1999-2001

FRANZOI P.; PELLIZZATO M

(2002) in LAVORI - SOCIETÀ VENEZIANA DI SCIENZE NATURALI, vol. 27, pp. 57-68 (ISSN 0392-9450) (Articolo su rivista)

Ecological sustainability of wild finfish fry and glass eel fisheries for restocking and aquaculture

FRANZOI P.; CATAUDELLA S; MAIO G; ROSSI R; TORRICELLI P; TRISOLINI R; CICCOTTI E

(2001), Atti XI Congresso Nazionale della Società Italiana di Ecologia, Convegno: XI Congresso Nazionale della Società Italiana di Ecologia, Sabaudia (LT), 12-14 settembre 2001 (Articolo in Atti di convegno)

Conditions for emergent synchronization in protocells

R. SERRA; T. CARLETTI; POLI I.; M. VILLANI; A. FILISETTI

(2007), Proceedings of the EUROPEAN CONFERENCE ON COMPLEX SYSTEMS, Dresda., Convegno: EUROPEAN CONFERENCE ON COMPLEX SYSTEMS, Dresda (Articolo in Atti di convegno)

Processus ponctuels spatiaux

GAETAN C.; GUYON X

(2006) in J.J. DROESBEKE; M. LEJEUNE; G. SAPORTA, Analyse statistique des données spatiales, PARIS, Technip, pp. 157-180 (ISBN 9782710808732) (Articolo su libro)

Intruder Capture in Sierpinski Graphs.

F.L. LUCCIO

(2007), Fun with Algorithms, Springer Verlag, vol. 4475, pp. 249-261, Convegno: 4th International Conference, FUN 2007 (ISBN 9783540729136) (ISSN 0302-9743) (Articolo in Atti di convegno)

Decontaminating chordal rings and tori using mobile agents.

P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO

(2007) in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, vol. 18(3), pp. 547-563 (ISSN 0129-0541) (Articolo su rivista)

Economy-Wide Estimates of the Implications of Climate Change: Sea-Level Rise

ROSON R.; BOSELLO F; TOL R.S.J

(2007) in ENVIRONMENTAL & RESOURCE ECONOMICS, vol. 37, pp. 549-571 (ISSN 0924-6460) (Articolo su rivista)

Microtox® Solid Phase Test: Effect of diluent used in toxicity test

VOLPI GHIRARDINI A.; GIRARDINI; MARCHETTO D; PANTANI C

(2009) in ECOTOXICOLOGY AND ENVIRONMENTAL SAFETY, vol. 72, pp. 851-861 (ISSN 0147-6513) (Articolo su rivista)
Link DOI

PicNic - Pi-calculus Non-Interference checker

S. CRAFA; M. MIO; M. MICULAN; C. PIAZZA; ROSSI S.

(2008), Proc of the 8th International Conference on Application on Concurrency to System Design, ACSD 2008, IEEE Computer Society, pp. 33-38, Convegno: ACSD'08, Xi’an, China, June 23–27, 2008 (ISBN 9781424418381) (Articolo in Atti di convegno)

Influenza delle praterie di Posidonia oceanica sulla composizione dei sedimenti delle spiagge della Penisola del Sinis (Sardegna occidentale)

DE FALCO G.; MOLINAROLI E.; BAROLI M; BELLACICCO S

(2003) in BIOLOGIA MARINA MEDITERRANEA, vol. 10, pp. 671-674 (ISSN 1123-4245) (Articolo su rivista)

Integrated coastal management: the case of Venice Lagoon.

SUMAN D; GUERZONI S; MOLINAROLI E.

(2005) in HYDROBIOLOGIA, vol. 550, pp. 251-269 (ISSN 0018-8158) (Articolo su rivista)

Ethoxyresorufin O-deethylas (EROD) activity and fluctuating asymmetry (FA) in Zosterisessor ophiocephalus (Teleostei, Gobiidae) as indicators of environmental stress in the Venice Lagoon

FRANCO A; MALAVASI S.; PRANOVI F; NASCI C.; TORRICELLI P.

(2002) in JOURNAL OF AQUATIC ECOSYSTEM STRESS AND RECOVERY, vol. 9, pp. 239-247 (ISSN 1386-1980) (Articolo su rivista)

Habitat characteristics of two endangered gobies in the Venice Lagoon

FRANCO A; MALAVASI S; FIORIN R; ZUCCHETTA M; TORRICELLI P.

(2004), Proceedings of the Sixth International Conference on the Mediterranean Coastal Environment, MEDCOAST 03, 7-11 October 2003, Ravenna, Italy, ANKARA, Middle East Technical University, vol. 1, pp. 479-484, Convegno: Sixth International Conference on the Mediterranean Coastal Environment MEDCOAST 03, Ravenna, 7-11 October 2003 (Articolo in Atti di convegno)

Assessment of chloroaniline toxicity by the submitochondrial particle assay

ARGESE E.; C. BETTIOL; F. AGNOLI; A. ZAMBON; M. MAZZOLA; A. VOLPI GHIRARDINI

(2001) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 20, pp. 826-832 (ISSN 0730-7268) (Articolo su rivista)
Link DOI

ROLE OF CLAM-FISHING ON SEDIMENTATION FLUXES, GRAIN-SIZE CHANGES AND EROSIVE PROCESSES IN THE CENTRAL PART OF THE VENICE LAGOON.

SFRISO A.; FACCA C; CEOLDO S; SILVESTRI S; BOATTO V

(2003), -, VENEZIA, pp. 30, Convegno: CO.RI.LA. RESEARCH PROGRAMME 2000-2004. SECOND ANNUAL WORKSHOP, Venezia, 31 MARZO-2 APRILE (Articolo in Atti di convegno)

THE ART OF FISHING IN THE VENICE LAGOON: FROM TRADITION TO INNOVATION

BOATTO V; GALLETTO L; OREL G; PELLIZZATO M; ROSSETTO L; SFRISO A.; SILVESTRI S

(2003), -, VENEZIA, pp. 28, Convegno: CO.RI.LA. RESEARCH PROGRAMME 2000-2004. SECOND ANNUAL WORKSHOP, Venezia, 31 MARZO-2 APRILE (Articolo in Atti di convegno)

DECREMENTO DELLE CONCENTRAZIONI DI FITOPLANCTON E CORRELAZIONI CON LE COMUNITA' MICROBENTONICHE E RILEVANTI VARIABILI AMBIENTALI NELLA PARTE CENTRALE DELLA LAGUNA DI VENEZIA

FACCA C; SFRISO A.; SOCAL G

(2000), -, pp. 82, Convegno: X CONGRESSO NAZIONALE S.IT.E., Pisa, 14-16 SETTEMBRE (Articolo in Atti di convegno)

Reasoning on geographical data using constraints and annotations

GIANNOTTI F; RAFFAETA' A.; RENSO C; TURINI F

(2001), Spatio-Temporal Reasoning and Geographic Information Systems Workshop, Convegno: Spatio-Temporal Reasoning on Geographical Information Systems Workshop (Articolo in Atti di convegno)

Computational Logic in GeoPKDD

GIANNOTTI F; RAFFAETA' A.; RENSO C

(2005), Convegno Italiano di Logica Computazionale (CILC), Convegno: Convegno Italiano di Logica Computazionale (CILC) (Articolo in Atti di convegno)

MODELLING THE SEASONAL EVOLUTION OF SEAGRASSES IN THE LAGOON OF VENICE

BRIGOLIN D; PETRIZZO A; SFRISO A.; ZUCCHETTA M; PASTRES R

(2004), -, VENICE, pp. 104, Convegno: COASTWETCHANGE, Venice, APRIL 26-28 (Articolo in Atti di convegno)

LISTA ED AGGIORNAMENTO DELLE MACROALGHE PRESENTI NELLA LAGUNA DI VENEZIA E NEI SUOI LITORALI MARINI

SFRISO A.; CURIEL D

(2004), -, PALLANZA, pp. 23-24, Convegno: CONVEGNO SOCIETÀ BOTANICA ITALIANA, GRUPPO DI LAVORO PER L’ALGOLOGIA, Pallanza, 18-19 NOVEMBRE (Articolo in Atti di convegno)

MACROALGHE COME INDICATORI DI QUALITÀ AMBIENTALE IN AMBIENTI MARINI DI TRANSIZIONE

SFRISO A.; FACCA C; GHETTI P.F

(2005), -, TRIESTE, pp. 85, Convegno: SIBM, Trieste, 9-13 MAGGIO (Articolo in Atti di convegno)

ACCRESCIMENTO DELLA FANEROGAMA MARINA NANOZOSTERA NOLTII (HORNEMAN) TOMLINSON ET POSLUZNY IN DIFFERENTI AREE DELLA LAGUNA DI VENEZIA: CONFRONTO CON I DATI PREGRESSI

SFRISO A.; FACCA C; CEOLDO S

(2006), Second Annual Workshop, VENEZIA, pp. 1, Convegno: CO.RI.LA. RESEARCH PROGRAMME 2004-2007. SECOND ANNUAL WORKSHOP, Venezia, 26-28 APRILE (Articolo in Atti di convegno)

Seaweeds as ecological and trophic state indices in coastal and transition marine areas: The lagoon of Venice as a study case

SFRISO A.; LA ROCCA B; GODINI E

(2003), -, TRIESTE, pp. 26, Convegno: CONVEGNO SOCIETÀ BOTANICA ITALIANA, GRUPPO DI LAVORO PER L’ALGOLOGIA, Trieste, 7-8 SETTEMBRE (Articolo in Atti di convegno)

Proceedings of ACM WOSP 2002, Third International Workshop on Software and Performance

BALSAMO S.; Selic B.

(2002), NEW YORK, ACM Presss (Monografia o trattato scientifico)

Particelle submitocondriali: test rapido di monitoraggio ambientale

P. MIANA; C. BETTIOL; E. ARGESE

(1996), Dalla Tossicologia all'Ecotossicologia, pp. 145-149, Convegno: Seminario di Studi: Dalla tossicologia alla ecotossicologia, Pordenone, 16-17 settembre 1994 (Articolo in Atti di convegno)

As speciation in mussels (Mytilus galloprovincialis) and nereid polychaetes (Hediste diversicolor) of the Venice lagoon (Italy)

ARGESE E.; C. BETTIOL; C. RIGO; S. COLOMBAN; S. BERTINI; L. GOBBO

(2003), 5th International Symposium on Speciation of Elements in Biological, Environmental and Toxicological Sciences - Book of abstracts, pp. 140, Convegno: 5th International Symposium on Speciation of Elements in Biological, Environmental and Toxicological Sciences, Almuñécar (Spain), 13-16 September 2003 (Abstract in Atti di convegno)

Arsenic speciation in nereid polychaetes (Hediste diversicolor) of the Venice lagoon

ARGESE E.; S. BERTINI; C. BETTIOL; S. COLOMBAN; L. GOBBO; C. RIGO

(2004), Lagoons and coastal wetlands in the global change context: impacts and management issues, pp. 110-111, Convegno: CoastWetChange 2004, Venezia (Italy), April 26-28 (Articolo in Atti di convegno)

Ottimizzazione di una procedura di speciazione geochimica dei metalli nei sedimenti

ARGESE E.; C. BETTIOL; M. BERTELLE; S. BERTINI; C. RIGO

(2002), Atti del VII Congresso Nazionale di Chimica Ambientale - Dal locale al globale: percorsi di sostenibilità, pp. 159-161, Convegno: VII Congresso Nazionale di Chimica Ambientale, Venezia, 11-14 giugno 2002 (Articolo in Atti di convegno)

The phytosociological information and the management of the uprising vegetation of the River Sile Regional Park (Venetian Plain - Northern Italy)

BRACCO F.; BUFFA G.; GHIRELLI L.; SBURLINO G.; ZUCCARELLO V.

(2000) in ARCHIVIO GEOBOTANICO, vol. 4(1), pp. 51-57 (ISSN 1122-7214) (Articolo su rivista)

Curvature dependent skeletonization

TORSELLO A.; E. R. HANCOCK

(2003), Proc. 13th Scandinavian Conference on Image Analysis - SCIA 2003, Sringer, vol. 2749, pp. 200-207, Convegno: Scandinavian Conference on Image Analysis - SCIA 2003 (ISBN 3540406018) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

Estimation of PCDD/F distribution and fluxes in the Venice Lagoon, Italy: combining measurement and modelling approaches

DALLA VALLE M.; MARCOMINI A.; SFRISO A.; SWEETMAN J.A.; JONES C.K.

(2003) in CHEMOSPHERE, vol. 51, pp. 603-616 (ISSN 0045-6535) (Articolo su rivista)
Link DOI

On the Average Complexity of Dijkstra's Shortest Path Algorithm

BALSAMO S.; DONATIELLO L.; BERTOSSI A.

(1988), Mathematical Programming, Convegno: Proc. 13th Internat. Symposium on Mathematical Programming, Tokyo, Japan, AUG. 29 - SEPT.2 (Articolo in Atti di convegno)

Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models

BALSAMO S.; M. MARZOLLA

(2005) in R.PUIGJANER; G. HARING; C. JUIZ; D. PETRIU EDS., Fifth International Workshop on Software and Perfomance - WOSP'05, New York, ACM Press, vol. 488053, pp. 37-42, Convegno: ACM WOSP'05 Int. Workshop on Software and Performance, Palma de Mallorca, Spain, 12–14, 2005 (ISBN 1595930876) (Articolo in Atti di convegno)
Link DOI

Seasonal variations of heavy metals in the 1960s Alpine ice: sources versus meteorological parameters

VAN DE VELDE KATJA.; BELLOMI TANIA; BARBANTE C.; BOUTRON CLAUDE; FERRARI CHRISTOPHE; BOLSHOW M; RUDNEV SERGIEI

(1998) in EARTH AND PLANETARY SCIENCE LETTERS, vol. 164, pp. 521-533 (ISSN 0012-821X) (Articolo su rivista)

Provision of ecosystem services in the lagoon of Venice (Italy): an initial spatial assessment

S. Rova; F. Pranovi; F. Müller

(2015) in ECOHYDROLOGY & HYDROBIOLOGY, vol. 15, pp. 13-25 (ISSN 1642-3593) (Articolo su rivista)
Link DOI URL correlato

800 ky deuterium excess record from the EPICA Dome C ice core

Stenni B.; Selmo E.; Masson-Delmotte V.; Jouzel J.; Braida M.; Cattani O.; Falourd S.; Iacumin P.; Johnsen S.

(2007) in European Geosciences Union, EGU General Assembly 2007 in GEOPHYSICAL RESEARCH ABSTRACTS, Copernicus Publications, vol. 9, Convegno: EGU General Assembly 2007, Vienna, Austria, 15-20 aprile 2007 (ISSN 1607-7962) (Abstract in Atti di convegno)

Eight glacial cycles from an Antarctic ice core

Augustin L.; Barbante C.; Barnes P. R. F.; Barnola J. M.; Bigler M.; Castellano E.; Cattani O.; Chappellaz J.; Dahl-Jensen D.; Delmonte B.; Dreyfus G.; Durand G.; Falourd S.; Fischer H.; Flückiger J.; Hansson M. E.; Huybrechts P.; Jugie G.; Johnsen S. J.; Jouzel J.; Kaufmann P.; Kipfstuhl J.; Lambert F.; Lipenkov V. Y.; Littot G. C.; Longinelli A.; Lorrain R.; Maggi V.; Masson-Delmotte V.; Miller H.; Mulvaney R.; Oerlemans J.; Oerter H.; Orombelli G.; Parrenin F.; Peel D. A.; Petit J.-R.; Raynaud D.; Ritz C.; Ruth U.; Schwander J.; Siegenthaler U.; Souchez R.; Stauffer B.; Steffensen J. P.; Stenni B.; Stocker T. F.; Tabacco I. E.; Udisti R.; van de Wal R. S. W.; van den Broeke M.; Weiss J.; Wilhelms F.; Winther J.-G.; Wolff E. W.; Zucchelli M.

(2004) in NATURE, vol. 429, pp. 623-628 (ISSN 0028-0836) (Articolo su rivista)
Link DOI

Origins of the ground ice in the ice-free lands of the Northern Foothills (Northern Victoria Land, Antarctica)

Gragnani R.; Guglielmin M.; Longinelli A.; Stenni B.; Smiraglia C.; Cimino L.

(1998) in Lewkowicz A., Allard M., PERMAFROST - Seventh International Conference, Centre d'études nordiques, Université Laval, vol. Collection Nordicana No 55, pp. 335-340, Convegno: 7th International Conference on Permafrost, Yellowknife, Canada, 23-27 Luglio 1998 (Articolo in Atti di convegno)

Chemical and Isotopic Signals in Surface Snow from the ITASE TNB-DC Traverse.

Stenni B.; Genoni L.; Flora R.; Udisti R.; Becagli S.; Largiuni O.; Frezzotti M.

(2003) in Massimo Frezzotti, Valter Maggi, Proceedings of the 4th Meeting on Italian Antarctic Glaciology, Massimo Frezzotti, Valter Maggi, vol. 8, pp. 73-76, Convegno: 4° Convegno Nazionale di Glaciologia Antartica (CONGA), Milano, 25-26 Giugno 2002 (ISBN 8888395024) (ISSN 1723-7211) (Articolo in Atti di convegno)

Applicazioni degli isotopi stabili in paleoclimatologia: le carote di ghiaccio

STENNI B

(2003) in STUDI TRENTINI DI SCIENZE NATURALI. ACTA GEOLOGICA, vol. 80, pp. 17-27 (ISSN 0392-0534) (Articolo su rivista)

Caratterizzazione isotopica delle acque di falda e superficiali del Foglio 549 "Muravera": dati preliminari

PETRINI R.; SLEJKO F.F; FLORA O; STENNI B; CIDU R; BIDDAU R

(2005), ROMA, ENEA, pp. 39-41 (ISBN 9788882861360) (Monografia o trattato scientifico)

The δ18O signal of the northward flow of Mediterranean waters in the Adriatic Sea.

Stenni B.; Nichetto P.; Bregant D.; Scarazzato P.; Longinelli A.

(1995) in OCEANOLOGICA ACTA, vol. 18, pp. 319-328 (ISSN 0399-1784) (Articolo su rivista)

Chemical and isotopic profiles from snow pits and shallow firn cores on Campbell Glacier, northern Victoria Land, Antarctica

Gragnani R; Smiraglia C; Stenni B; Torcini S

(1998) in ANNALS OF GLACIOLOGY, vol. 27, pp. 679-684 (ISSN 0260-3055) (Articolo su rivista)