Department of
Environmental Sciences, Informatics and Statistics

Publications catalogue

The Publications Catalogue of Ca’ Foscari Departments draw on the information provided by ARCA, the institutional open access research archive of the university.

Downloads
Remove filter

8493  publications

76 Books
85 Edition
16 Patent
4621 Article
623 Book chapter
2897 Conference proceeding
175 Other
Variations of the macrobenthic community in a seagrass transplanted area of the Venice lagoon

PRANOVI F.; Curiel D.; Marzocchi M.; Rismondo A.; Scattolin M.

(2000) in SCIENTIA MARINA, vol. 64(3), pp. 303-310 (ISSN 0214-8358) (Articolo su rivista)

Coordinating HPF programs to mix task and data parallel

S. ORLANDO; P. PALMERINI; R. PEREGO

(2000), Proc. of the ACM SAC - Symposium on Applied Computing (SAC'00), ACM, pp. 240-247, Convegno: ACM SAC - Symposium on Applied Computing (ISBN 9781581139648) (Articolo in Atti di convegno)

Non Interference for the Analysis of Cryptographic Protocols

FOCARDI R.; GORRIERI R; MARTINELLI F

(2000), 27th International Colloquium on Automata, Languages and Programming, vol. 1853, pp. 354-372, Convegno: ICALP'00 (ISBN 3540677151) (ISSN 0302-9743) (Articolo in Atti di convegno)

A Compiler for Analysing Cryptographic Protocols Using Non-Interference

DURANTE A.; FOCARDI R.; GORRIERI R.

(2000) in ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 9(4), pp. 489-530 (ISSN 1049-331X) (Articolo su rivista)

Inorganic Geochemical Indicators in Glacial Marine Sediments :Applications to the Paleoclimatic Fluctuations Recorded by Late Quaternary Squences in Antartica

MENEGAZZO VITTURI L; PISTOLATO M; RAMPAZZO G.; VISIN F

(2000) in TERRA ANTARTICA REPORTS, vol. 4, pp. 217-228 (ISSN 1723-7211) (Articolo su rivista)

Mixed Data and Task Parallelism with HPF and PVM

S. ORLANDO; P. PALMERINI; R. PEREGO

(2000) in CLUSTER COMPUTING, vol. 3, pp. 203-213 (ISSN 1386-7857) (Articolo su rivista)

Message Authentication through Non Interference

FOCARDI R.; R. GORRIERI; F. MARTINELLI

(2000), International Conference on Algebraic Methodology And Software Technology, vol. 1816, pp. 258-272, Convegno: AMAST 2000 (ISBN 3540675302) (ISSN 0302-9743) (Articolo in Atti di convegno)

Benthic fluxes of cadmium, lead, copper and nitrogen species in the northern Adriatic Sea in front of the River Po outflow, Italy

C. ZAGO; G. CAPODAGLIO; S. CERADINI; G. CICERI; L. ABELMOSCHI; F. SOGGIA; CESCON P.; G. SCARPONI

(2000) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 246, pp. 121-137 (ISSN 0048-9697) (Articolo su rivista)

Abstract Domains for Reordering CLP(RLin) Programs

V. RAMACHANDRAN; CORTESI A.; P. VAN HENTENRYCK

(2000) in JOURNAL OF LOGIC PROGRAMMING, vol. 41, pp. 217-256 (ISSN 0743-1066) (Articolo su rivista)

Matching XML DTD to relational Database Views

PAGOTTO M.; CELENTANO A.

(2000), Atti del VIII Convegno sui Sistemi Evoluti per Basi di Dati, pp. 183-195, Convegno: VIII Convegno sui Sistemi Evoluti per Basi di Dati (SEBD 2000), L'Aquila, Italia, June 26-28, 2000 (Articolo in Atti di convegno)

Studio chemiometrico dell'evoluzione temporale di specie chimiche solforate (DMS, DMSP, CS2) nella laguna di Venezia in relazione con variabili idrologiche e biologiche

SCARPONI G.; TRUZZI C.; ANDREOLI C.; GAMBARO A.; MORET I.; CORAMI F.; CESCON P.

(2000), Convegno: Incontri di Chimica Analitica dell'Ambiente. XIV-Qualità dei dati analitici, 5-6/4/2000 (Articolo in Atti di convegno)

A genetic algorithm for neural network design

MINERVA T.; PATERLINI S.; POLI I.

(2000) in ECONOMICS & COMPLEXITY (ISSN 1398-1706) (Articolo su rivista)

Los ostràcodos actuales de la laguna de Venecia (NE de Italia)

RUIZ F; GONZALEZ REGALADO M.L; BACETA J. I; MENEGAZZO L; RAMPAZZO G.; PISTOLATO M.; MOLINAROLI E

(2000) in GEOBIOS, vol. 33 (4), pp. 447-454 (ISSN 0251-1223) (Articolo su rivista)

Typed Mobile Objects

BUGLIESI M.; CASTAGNA G; CRAFA S

(2000), CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings., vol. 1877, pp. 504-520 (ISBN 3540678972) (ISSN 0302-9743) (Articolo in Atti di convegno)

A Synchronization Model for Hypermedia Documents Navigation

CELENTANO A.; GAGGI O.

(2000), Proceedings of the 2000 ACM symposium on Applied computing, NEW YORK, ACM Press, vol. 2, pp. 585-591, Convegno: 2000 ACM Symposium on Applied Computing, Como, Italy, MARCH 19-21, 2000 (ISBN 9781581132403) (Articolo in Atti di convegno)

A New Definition of Multilevel Security

FOCARDI R.; R. GORRIERI; R. SEGALA

(2000), Workshop on Issues in the Theory of Security (WITS '00), Convegno: Workshop on Issues in the Theory of Security (WITS '00), Geneve (Articolo in Atti di convegno)

Flow exchange and tidally induced dynamics in the Strait of Gibraltar derived from a two-layer, boundary-fitted coordinate model

SEIN D. V; BACKHAUS J. O; BRANDT P; IZQUIERDO A; KAGAN B. A; RUBINO A.; TEJEDOR L

(2000), Oceanic Fronts and Related Phenomena, vol. 159, pp. 497-502, Convegno: Intergovernmental Oceanographic Commission (Articolo in Atti di convegno)

Processi di accumulo dei metalli pesanti nei sedimenti, fattori ambientali ed influenza antropica. il caso della Laguna di Venezia.

MENEGAZZO VITTURI L.; MOLINAROLI E.; PISTOLATO M.; RAMPAZZO G.

(2000), La Ricerca Scientifica per Venezia. Il Progetto Sistema Lagunare Veneziano, Venezia, M.U.R.S.T.; Co.Ri.La., vol. II, pp. 342-346, Convegno: La ricerca Scientifica per Venezia. Il Progetto Sistema Lagunare Veneziano, Venezia, 2000 (ISBN 8886166826) (Articolo in Atti di convegno)

The seasonal variations of dimethyl sulphide and carbon disulphide in surface waters of the Venice lagoon

MORET I.; A. GAMBARO; R. PIAZZA; C. BARBANTE; C. ANDREOLI; F. CORAMI; G. SCARPONI

(2000) in MARINE CHEMISTRY, vol. 71, pp. 283-295 (ISSN 0304-4203) (Articolo su rivista)

The new fill scale plant of Treviso(italy). The integration of wastewater and OFMSW treatment cycles: from the piot scale experiment to the indutrial realisation.

Pavan P.; Battisotni P.; Bolzonella D.; Traverso P.; Cecchi F.

(2000), Proceedings of 1th world water congress of IWA, Convegno: 1th world water congress of IWA, paris, France, 2-7/7/2000 (Articolo in Atti di convegno)

Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions

GROSSE-RHODE M; PARISI PRESICCE F; SIMEONI M.; TAENTZER G

(2000), APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, Springer, vol. 1779, pp. 31-45, Convegno: International Workshop, AGTIVE’99, Kerkrade, The Netherlands, September 1-3, 1999 (ISBN 3540676589) (ISSN 0302-9743) (Articolo in Atti di convegno)

Study of Particulate Matter and Heavy-Metal Fluxes in the Venice Canal Network by Large Volume Filtration and Sediment Traps

ZAGGIA L.; ZONTA R.; COLLAVINI F.; BETTIOL C.

(2000), Proceedings International Conference on Heavy Metals in the Environment, pp. Contribution n. 1401, Convegno: International Conference on Heavy Metals in the Environment, Ann Arbor, Michigan, USA, August 2000 (Articolo in Atti di convegno)

Deposizioni atmosferiche di metalli pesanti nella Laguna di Venezia: variabilità mensili, caratterizzazione granulometrica di particellato e confronto con gli apporti fluviali.

GUERZONI S.; MOLINAROLI E.; QUARANTOTTO G.; RAMPAZZO G.

(2000), La Ricerca Scientifica per Venezia. Il Progetto Sistema Lagunare Veneziano, Venezia, M.U.R.S.T.; Co.Ri.La., vol. II, pp. 192-198, Convegno: La Ricerca Scientifica per Venezia. Il Progetto Sistema Lagunare Veneziano, Venezia, 2000 (ISBN 8886166826) (Articolo in Atti di convegno)

Aerobic biodegradation of aliphatic alcohol polyethoxylates (AE) and their metabolites under standardized conditions (OECD 301 Test)

MARCOMINI A.; ZANETTE M.; POJANA G.; SUTER M.

(2000) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 19, pp. 549-554 (ISSN 0730-7268) (Articolo su rivista)

From Formulae to Rewriting Systems

Paolo Bottoni; Francesco Parisi Presicce; Marta Simeoni

(2000), THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS, Springer, vol. 1764, pp. 267-280, Convegno: TAGT'98, Paderborn, Germany, November 1998 (ISBN 3540672036) (ISSN 0302-9743) (Articolo in Atti di convegno)

Modelling the growth of Tapes philippinarum in Northern Adriatic lagoons

Solidoro C.; Pastres R.; Canu D.M.; Pellizzato M.; Rossi R

(2000) in MARINE ECOLOGY PROGRESS SERIES, vol. 199, pp. 137-148 (ISSN 0171-8630) (Articolo su rivista)

The Economics of International Coalition Formation and EU Leadership

CARRARO C.

(2000) in Gupta J, Grubb M., Climate Change and European Leadership, Dordrecht, Kluwer Academic Publishers, pp. 135-156 (ISBN 9780792364665) (Articolo su libro)

Integration of wasterwater and OFMSW treatment cycles: form the pilot scale experiment to the industrial realisation. The new full scale plant of Treviso (Italy)

Pavan P.; Battistoni P.; Bolzonella D.; Innocenti L.; Traverso P.; Cecchi F.

(2000), Proceedings of ISEB 4, Convegno: ISEB 4, Noordwijkerhout, The netherlands, 12-12/4/2000 (ISBN 9067545945) (Articolo in Atti di convegno)

Phosporous removal from a real anaerobic supernatant by struvite Crystallisation: process modeling.

Battisotni P., De Angelis E., Pavan P.; Prisciandaro M., Cecchi F.

(2000), Proceedings of 1st world water congess of IWA, Convegno: 1th World water congress of IWA, Paris, France, 3-7/7/2000 (Articolo in Atti di convegno)

Rheological properties help the monitoring of anaerobic digestion and co-digestion processes.

Battistoni P.; Cecchi F.; Pavan P.

(2000) in ANNALI DI CHIMICA, vol. 90, pp. 219-231 (ISSN 0003-4592) (Articolo su rivista)

Efficiency and Equity of Emission Trading with Endogenous Environmental Technical Change

Buonanno P.; CARRARO C.; Castelnuovo E.; Galeotti M.

(2000) in Carraro C., Efficiency and Equity of Climate Change Policy, Dordrecht, Kluwer Academic Publishers, pp. 121-162 (ISBN 9780792362623; 9780792362623) (Articolo su libro)

Behavioral and Distributional Effects of Environmental Policy

(a cura di) CARRARO C.; Metcalf G.E.

(2000), Chicago, University Of Chicago Press (ISBN 9780226094816) (Curatela)

Refinements of Graph Transformation Systems via Rule Expressions

Martin Grosse-Rhode; Francesco Parisi Presicce; Marta Simeoni

(2000), THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS, Springer, vol. 1764, pp. 368-382, Convegno: TAGT'98, Paderborn, Germany, November 1998 (ISBN 3540672036) (ISSN 0302-9743) (Articolo in Atti di convegno)

Struvite crystallization: a feasible and reliable way to fix phosphorus in anaerobic liquors.

Battistoni P.; Pavan P.; Prisciandaro M.; Cecchi F.

(2000) in WATER RESEARCH, vol. 34(11), pp. 3033-3041 (ISSN 0043-1354) (Articolo su rivista)

Environmental Technological Innovation and Diffusion: Model Analysis

CARRARO C.

(2000) in Hemmelskamp J., Rennings K., Leone F., Innovation-Oriented Environmental Regulation, Heidelberg, Physica-Verlag, vol. ZEW Economic Studies Vol. 10, pp. 269-298 (ISBN 9783790813135) (Articolo su libro)

Efficiency and Equity of Climate Change Policy. An Introduction

CARRARO C.

(2000) in Carraro C., Efficiency and Equity of Climate Change Policy, Dordrecht, Kluwer Academic Publishers, pp. 1-14 (ISBN 9780792362623; 9780792362623) (Articolo su libro)

Semantics for Temporal Annotated Constraint Logic Programming

RAFFAETA' A.; FRUEHWIRTH T

(2000), Labelled Deduction, Kluwer Academic Publishers, vol. Applied Logic Series, 17, pp. 215-243 (ISBN 9780792362371) (Articolo su libro)

The use of a remote stripping sensor for the determination of copper and mercury in the Lagoon of Venice.

S.DANIELE; C. BRAGATO; M.A. BALDO; J. WANG; J. LU

(2000) in ANALYST, vol. 125, pp. 731-735 (ISSN 0003-2654) (Articolo su rivista)

Dati vegetazionali per la gestione di un ambiente fluviale degradato: il Fiume Dese (Pianura veneta).

BRACCO F; BUFFA G.; GHIRELLI L; SBURLINO G; VILLANI M

(2000) in MEMORIE - ACCADEMIA MARCHIGIANA DI SCIENZE, LETTERE ED ARTI, pp. 309-325 (ISSN 1126-9456) (Articolo su rivista)

Acidogenic fermentation of source separated mixtures of vegetables and fruits wasted from supermarkets.

Traverso P.; Pavan P.; Bolzonella D.; Innocenti L.; Cecchi F.; Mata-Alvarez J.

(2000) in BIODEGRADATION, vol. 11(6), pp. 407-414 (ISSN 0923-9820) (Articolo su rivista)

Speciazione di metalli pesanti nelle acque della laguna di Venezia al fine di una più completa valutazione della loro ecotossicità.

P. CESCON; C. BARBANTE; G. Capodaglio; M. CECCHINI; G. SCARPONI; TOSCANO G.

(2000), LA RICERCA SCIENTIFICA PER VENEZIA - IL PROGETTO SISTEMA LAGUNARE VENEZIANO, pp. 538-547 (Articolo su libro)

Integrating task and data parallelism with taskHPF

S. Ciarpaglini; L. Folchi; S. Orlando; S. Pelagatti; R. Perego

(2000), Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, CSREA PRESS, Convegno: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA (Articolo in Atti di convegno)

Characterisation and physico-chemical action of condensed water on limestone surface

BISCONTIN G; ZENDRI E.; BAKOLAS A; KOSMIDIS P

(2000), Int.Congr. on Deterioration and Conservation of Stone, Elsevier, pp. 647-656, Convegno: 9th International Congress on The Deterioration and Conservation of Sto, Venezia (Articolo in Atti di convegno)

Heavy metal speciation in the sludge of the Venice canals: evaluation of selectivity and efficiency of extraction procedures

C. BETTIOL; E. ARGESE

(2000), Euresco Conference Natural Waters and Water Technology: Impact of metal Speciation on Water Technology, Convegno: Euresco Conference Natural Waters and Water Technology: Impact of metal Speciation on Water Technology, Albufeira; Portugal, 7-12 October 2000 (Abstract in Atti di convegno)

Diffusion of blackfly species(Diptera: Simulidae) in Friuli Venezia Giulia (Italy)

GHETTI P.F.; TAGLIAPIETRA D; LOSSO C; VOLPI GHIRARDINI A; GHIRELLI L; PEDRON M; RIVOSECCHI L

(2000) in THE ITALIAN JOURNAL OF ZOOLOGY, vol. 67 (4), pp. 349-353 (ISSN 1125-0003) (Articolo su rivista)

Messa a punto del test Microtox solid-phase per la valutazione del rischio tossico dei sedimenti della laguna di Venezia

VOLPI GHIRARDINI A; GHETTI P.F.; PANTANI C; ARIZZI NOVELLI A

(2000), Istituto Veneto di Scienze Lettere e Arti, vol. II, Tomo II, pp. 104-112, Convegno: La ricerca scientifica per Venezia: Il progetto Sistema Lagunare Veneziano (Articolo in Atti di convegno)

Roads Towards International Environmental Agreements

Carraro C.

(2000) in Siebert H., The Economics of International Environmental Problems, Tubingen, Mohr Siebeck, pp. 169-202 (ISBN 9783161473371) (Articolo su libro)

Los ostràcodos de la cuenca del Lido (Laguna de Venecia, NE Italia)

RUIZ F; GONZALEZ REGALADO M.L; MENEGAZZO L; RAMPAZZO G.; PISTOLATO M. Y MOLINAROLI E

(2000) in GEOGACETA, vol. 27, pp. 151-154 (ISSN 0213-683X) (Articolo su rivista)

Estimating functions based on the modified directed likelihood

GIUMMOLE' F.; VENTURA L; SALVAN A

(2000), Proceedings of the 15th International Workshop on Statistical Modelling, BILBAO, pp. 433-436, Convegno: 15th International Workshop on Statistical Modelling, 17/21.7 (Articolo in Atti di convegno)

Changes in the occurrence of silver, gold, platinum, palladium and rhodium in Mont Blanc ice and snow since the 18th century

K. VAN DE VELDE; C. BARBANTE; G. COZZI; MORET I.; T. BELLOMI; C. FERRARI; C. BOUTRON

(2000) in ATMOSPHERIC ENVIRONMENT, vol. 34, pp. 3117-3127 (ISSN 1352-2310) (Articolo su rivista)