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

7435  publications

82 Books
80 Edition
14 Patent
3960 Article
611 Book chapter
2529 Conference proceeding
159 Other
Teaching relaxation labeling processes using genetic algorithms

PELILLO M.; ABBATTISTA F; MAFFIONE A

(1995) in PEARSON D. W.; STEELE N. C.; ALBRECHT R. F. EDS., Artificial Neural Networks and Genetic Algorithms, WIEN, Springer-Verlag, pp. 57-60 (Articolo su libro)

Confronto interannuale del contenuto di metalli in traccia nelle masse d’acqua del settore occidentale del mare di Ross

F. Corami; C. Turetta; E. Morabito; P. Cescon; C. Barbante; G. Capodaglio

(2005), XI Convegno Nazionale "La Contaminazione Chimica in Antartide", P.N.R.A., Convegno: 11° Convegno Nazionale "La Contaminazione Chimica in Antartide", Venezia, 23-24 giugno 2005 (Abstract in Atti di convegno)

Development of a site-specific Ecological Risk Assessment for contaminated sites: Part I. A multi-criteria based system for the selection of ecotoxicological tests and ecological observations

CRITTO A; TORRESAN S; SEMENZIN E; GIOVE S; MESMAN M; SCHOUTEN AJ; RUTGERS M; MARCOMINI A.

(2007) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 379(1), pp. 16-33 (ISSN 0048-9697) (Articolo su rivista)
Link DOI

Information Leakage Detection in Boundary Ambients

CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI

(2003), Proc. Computing: The Australasian Theory Symposium, Elsevier, vol. 78, pp. 127-147, Convegno: Computing: The Australasian Theory Symposium (CATS'03), Adelaide, Australia, 4th to 7th February, 2003 (ISSN 1571-0661) (Articolo in Atti di convegno)
Link DOI

Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling

BOSSI A.; ETALLE S; ROSSI S; SMAUS J.G

(2001), Programming Languages and Systems, Berlin Heidelberg: Springer, vol. 2028, pp. 402-416, Convegno: 10th European Symposium on Programming, ESOP 2001 (ISBN 3540418628) (ISSN 0302-9743) (Articolo in Atti di convegno)

Supporting tools for decisional process within Water Framework Directive: from EU context to MODELKEY perspective

GOTTARDO S.; SEMENZIN E.; AGOSTINI P.; CRITTO A.; MARCOMINI A.

(2008), Sustainable Use and Development of Watersheds. NATO Science for Peace and Security, Series C: Environmental Security, AMSTERDAM, SPRINGER, pp. 215-225 (ISBN 9781402085574) (Articolo su libro)

Automated Verification of Behavioural Properties of Prolog Programs

LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A

(1997), Advances in Computing Science, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97, Kathmandu, Nepal, 9-11 December 1997 (ISBN 354063875X) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

Spatial distribution of fish species of community interest (Habitat Directive, 92/43/EEC) on the shallows of the Venice Lagoon

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

(2006) in BIOLOGIA MARINA MEDITERRANEA, vol. 13 (1), pp. 711-713 (ISSN 1123-4245) (Articolo su rivista)

Distribuzione e produzione delle macroalghe (anno 2003)

SFRISO A.; FACCA C

(2005) in COMUNE DI VENEZIA ED., ATLANTE PER LA LAGUNA. OSSERVATORIO NATURALISTICO DELLA LAGUNA, VENEZIA, Marsilio Editori s.p.a., pp. 124-125 (ISBN 9788831787642) (Articolo su libro)

Multivaried analyisis of contaminants in under-water beach sediments from the Oristano Gulf (Sardinia Central Eastern - Italy)

GROSSO A; PILIA M; RAMPAZZO G.; CRISTINI A

(2002), BERLINO, Bayer U., Burger H., Skala W, vol. 1, pp. 287-291 (Monografia o trattato scientifico)

The role of spatial dependence on the functional clustering based on the smoothing splines regression

Gaetan C.; Girardi P; Pastres R.

(2014), Proceedings of the Seventh International Workshop on Spatio-Temporal Modelling (METMA7, ISSN 2037-7738, Convegno: METMA VII – GRASPA14, Turin (Itay), 10th-12th September 2014 (Articolo in Atti di convegno)

Performance Evaluation at the Software Architecture Level

SIMEONI M.; BALSAMO S.; BERNARDO M.

(2003), Formal Methods for Software Architectures, Springer, vol. 2804, pp. 207-258 (ISBN 3540200835) (ISSN 0302-9743) (Articolo su libro)
Link DOI

I ghiacciai alpini, archivi ambientali della qualità dell’aria: l’evoluzione del carico chimico e delle polveri atmosferiche nell’ultimo trentennio

Maggi V.; Casati P.; Uglietti C.; Marino F.; Filipazzi M.; Stenni B.; Udisti R.; Flora O.

(2004) in -, Il ghiaccio nelle Alpi, una risorsa strategica per l’ambiente dell’alta montagna, BOLOGNA, Bononia University Press, vol. 1, pp. 25-34 (ISBN 8873950272) (Articolo su libro)

Changes in abundance and composition of phytoplankton and microphytobenthos due to increased sediment fluxes in the Venice lagoon, Italy

FACCA C; SFRISO A.; SOCAL; G

(2002) in ESTUARINE, COASTAL AND SHELF SCIENCE, vol. 54, pp. 773-792 (ISSN 0272-7714) (Articolo su rivista)

A Theory of Noninterference for the pi-calculus

CRAFA S; ROSSI S.

(2005), Trustworthy Global Computing, Berlin Heidelberg: Springer, vol. 3705, pp. 2-18, Convegno: International Symposium, TGC 2005 (ISBN 3540300074) (ISSN 0302-9743) (Articolo in Atti di convegno)

Aerobic Biodegradation of Aliphatic Polyethoxylates: An 1H-Nuclear Magnetic Resonance Spectroscopy Investigation

DE LAZZARI A.; POJANA G.; GIACOMETTI A.; LUCCHINI V.; MARCOMINI A.

(2002) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 21, pp. 1757-1757 (ISSN 0730-7268) (Articolo su rivista)
Link DOI

Chemical and isotopic snow variability in East Antarctica along the 2001/02 ITASE traverse

Becagli S.; Proposito M.; Benassai S.; Flora O.; Genoni L.; Gragnani R.; Largiuni O.; Pili S. L.; Severi M.; Stenni B.; Traversi R.; Udisti R.; Frezzotti M.

(2004) in ANNALS OF GLACIOLOGY, vol. 39, pp. 473-482 (ISSN 0260-3055) (Articolo su rivista)

Le decorazioni a stucco del Palazzo dei Grimani di S.Maria Formosa a Venezia: i materiali e le tecnologie di preparazione

BISCONTIN G.; ZENDRI E.; I. Nardini; M. Pellizon Birelli

(2001) in G. Biscontin, G. Driussi, Lo stucco, Venezia, Arcadia Ricerche, vol. XVII, pp. 757-766 (ISBN 9788895409054) (Articolo su libro)

The changing state of contamination in the lagoon of Venice. Part 2: Heavy metals

BERNARDELLO M; SECCO T; PELLIZZATO F; CHINELLATO M; SFRISO A.; PAVONI B

(2006) in CHEMOSPHERE, vol. 64, pp. 1334-1345 (ISSN 0045-6535) (Articolo su rivista)

Applicazione di un modello di fugacità allo studio dei flussi di diossine e furani nella laguna veneta

DELLA VALLE M; MARCOMINI A; SFRISO A.; GHETTI P.F

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

Metodologie di campionamento e andamenti stagionali delle diatomee bentoniche nella laguna di Venezia

FACCA C; SFRISO A.; SOCAL G

(2001), -, pp. 89-90, Convegno: XI CONGRESSO NAZIONALE S.IT.E., Sabaudia, 11-13 SETTEMBRE (Articolo in Atti di convegno)

VALUTAZIONE DELLA QUALITÀ AMBIENTALE DELLA LAGUNA DI VENEZIA ATTRAVERSO L’UTILIZZO DELLE MACROFITE E DI ALCUNE VARIABILI AMBIENTALI E CONFRONTO CON ALTRI SISTEMI DI TRANSIZIONE ITALIANI.

SFRISO A.

(2005), ARPA Emilia-Romagna, FERRARA, pp. 1, Convegno: Meeting Provincia di Ferrara. IL MONITORAGGIO AMBIENTALE IN AREE LAGUNARI E MARINE., Ferrara, 11 NOVEMBRE (Articolo in Atti di convegno)

A review of terms and definitions to categorize estuaries, lagoons and associated environments

TAGLIAPIETRA D; SIGOVINI M; VOLPI GHIRARDINI A.

(2009) in MARINE AND FRESHWATER RESEARCH, vol. 60, pp. 497-509 (ISSN 1323-1650) (Articolo su rivista)

Composite likelihood methods for space-time data

BEVILACQUA M; GAETAN C.; PORCU E. MATEU J

(2006), Proceedings of the International Workshop on Spatio-Temporal Modelling (METMA3), NAVARRA, Instituto de Estadistica de Navarra, pp. 73-75, Convegno: METMA3, Pamplona (ISBN 9788497691390) (Articolo in Atti di convegno)

An optimization algorithm for determining the compatibility coefficients of relaxation labeling processes

PELILLO M.; REFICE M

(1992), LOS ALAMITOS, CA, IEEE Computer Society Press, pp. 145-148, Convegno: ICPR'92 - 11th International Conference on Pattern Recognition (Articolo in Atti di convegno)

Critical temperature ranges in the PAH production during the pyrolisis of shredded recycled tire rubber

G. Perin; A. Giacometti; S. Manente; I. Roverato

(2003), Proceedings of 13th SETAC Europe Annual Meeting "Understanding the complexity of environmental issues: a way to sustainability", Convegno: 13th SETAC Europe Annual Meeting "Understanding the complexity of environmental issues: a way to sustainability", Amburgo, Germania, 27 aprile – 1 maggio 2003 (Abstract in Atti di convegno)

Science vs. Profit in Research

CARRARO C.; SINISCALCO D.

(2003) in JOURNAL OF THE EUROPEAN ECONOMIC ASSOCIATION, vol. 2-3, pp. 576-590 (ISSN 1542-4766) (Articolo su rivista)

Composition and distribution of fish assemblages in the shallow waters of the Venice Lagoon

MAINARDI D.; FIORIN R.; FRANCO A.; FRANZOI P.; MALAVASI S.; PRANOVI F.; RICCATO F.; ZUCCHETTA M.; TORRICELLI P.

(2005) in CAMPOSTRINI P., Scientific research and safeguarding of Venice, Research programme 2001-2003, 2003 results, VENEZIA, Multigraf, vol. 3, pp. 405-419 (ISBN 9788889405093) (Articolo su libro)

Analysis of Typed Analyses of Authentication Protocols

BUGLIESI M.; FOCARDI R; MAFFEI M

(2005), CSFW 2005 - Computer Security Foundation Workshop, IEEE, pp. 112-125, Convegno: CSFW 2005 - Computer Security Foundation Workshop, Aix-en-Provence, France}, 20-22 June 2005 (ISBN 0769523404) (Articolo in Atti di convegno)

On Transforming UML models into performance models

BALSAMO S.; M. SIMEONI

(2001), ProceediWTUML: Workshop on Transformations in UML at ETAPS, Genova, Italy, Jon Whittle, Convegno: WTUML, Workshop on Transformations in UML, ETAPS 2001 Satellite Event, Genova, Italy, APRIL, 7 (Articolo in Atti di convegno)

Synchronisation delay in hardware fault tolerance techniques

BALSAMO S.; I. MURA

(1996), IEEE International Computer Performance and Dependability Symposium (IPDS' 96), IEEE, pp. 240-251, Convegno: IEEE International Computer Performance and Dependability Symposium (IPDS' 96), Urbana-Champaign, Illinois, USA, SEPT.4-6 (ISBN 0818674849; 9780818674846) (Articolo in Atti di convegno)
Link DOI

Measures of regulation and promotion of the fishing in Venice lagoon.

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

(2004) in P. CAMPOSTRINI ED., SCIENTIFIC RESEARCH AND SAFEGUARDING OF VENICE. CORILA. RESEARCH PROGRAMME 2001-2003. 2002 RESULTS., SPINEA, Multigraf, vol. II, pp. 43-51 (ISBN 9788889405000) (Articolo su libro)

Concentrations of organotin compounds and imposex in the gastropod hexaplex trunculus from the Lagoon of Venice

PELLIZZATO F.; CENTANNI E.; MARIN; M.G.; MOSCHINO V.; PAVONI B.

(2004) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 332, pp. 89-100 (ISSN 0048-9697) (Articolo su rivista)

Micropollutants, organic carbon and textural properties in surface sediments in the Maroccan coast near Al Hoceïma

PAVONI B.; MECOZZI M.; BERTO D.; AUSILI A.; ROMANO E.; AMICI M.; ZHAROVA N. AMATO E.

(2003) in TOXICOLOGICAL AND ENVIRONMENTAL CHEMISTRY, vol. 84 (1-4), pp. 53-67 (ISSN 0277-2248) (Articolo su rivista)

Uso di Comunità microalgali per lo studio dello stato delle acque costiere di transizione

FACCA A; SFRISO A.

(2007), Gruppo di Algologia, ENEA CASACCIA, ROMA, pp. 23, Convegno: Società Botanica Italiana. Riunione Scientifica Annuale. Gruppo di Algologia, 9-10 Novembre (Articolo in Atti di convegno)

Call-Correct Specialisation of Logic Programs

BOSSI A; ROSSI S.

(1998), Sixth Italian Conference on Theoretical Computer Science, World Scientific, pp. 335-346, Convegno: ICTCS'98, Prato, Italy, 9-11 NOVEMBER (ISBN 9789810236557) (Articolo in Atti di convegno)

Knowledge-based document retrieval in office environments: the Kabiria system

CELENTANO A.; FUGINI M. G.; POZZI S.

(1995) in ACM TRANSACTIONS ON INFORMATION SYSTEMS, vol. 13 (3), pp. 237-268 (ISSN 1046-8188) (Articolo su rivista)

Mineralogical characterisation of Saharan dust with a view to its final destination in Mediterranean sediments

MOLINAROLI E.

(1996) in GUERZONI S., CHESTER R., The impact of Desert Dust Across the Mediterranean, DORDRECHT, Kluwer, pp. 153-162 (ISBN 9780792342946) (Articolo su libro)

Globally optimal learning for relaxation labeling by simulated annealing

PELILLO M.; ABBATTISTA F; ABBATTISTA N

(1994) in IMPEDOVO S. ED., Progress in Image Analysis and Processing III, SINGAPORE, World Scientific, vol. III, pp. 241-247 (Articolo su libro)

Nutrient concentration updating in the waters of the Venice lagoon.

SFRISO A.; PELLEGRINO N; CEOLDO S; FACCA C

(2006) in P. CAMPOSTRINI ED., SCIENTIFIC RESEARCH AND SAFEGUARDING OF VENICE. CORILA RESEARCH PROGRAM 2004 RESULTS. IVSLA, PADOVA, Multigraf, Spinea, Vol. IV., vol. IV, pp. 291-298 (ISBN 9788889405017) (Articolo su libro)

Nesting analysis of mobile ambients

CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI; FLAMINIA L. LUCCIO; CARLA PIAZZA

(2004) in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30 (3-4), pp. 207-230 (ISSN 1477-8424) (Articolo su rivista)
Link DOI

Autoassociative learning in relaxation labeling networks

PELILLO M.; FANELLI A. M.

(1997) in PATTERN RECOGNITION LETTERS, vol. 18, pp. 3-12 (ISSN 0167-8655) (Articolo su rivista)

Male courtship sounds in a teleost with alternative reporductive tactics, the grass goby Zosterisessor ophiocephalus

MALAVASI S; TORRICELLI P.; LUGLI M; PRANOVI F; MAINARDI D

(2003) in ENVIRONMENTAL BIOLOGY OF FISHES, vol. 66, pp. 231-236 (ISSN 0378-1909) (Articolo su rivista)

Comparison between the energy flow networks of two habitats in the Venice Lagoon

LIBRALATO S; PASTRES R; PRANOVI F; RAICEVICH S; GRANZOTTO A; GIOVANARDI O; TORRICELLI P.

(2002) in MARINE ECOLOGY, vol. 23, pp. 228-236 (ISSN 0173-9565) (Articolo su rivista)

Graph Algorithms and Computer Vision.Special Section della rivista IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE

DICKINSON S; PELILLO M.; ZABIH R

(2001), vol. 23 (Altro)

ANDAMENTI STAGIONALI DELLE DIATOMEE BENTONICHE NELLA LAGUNA DI VENEZIA

FACCA C; SFRISO A.; SOCAL G

(2001), -, pp. 127-133, Convegno: Atti S.It.E (Articolo in Atti di convegno)

Representing Topological Relationships by Using 3D Objects: an Empirical Survey

DEL FATTO V.; PAOLINO L.; PITTARELLO F.

(2006), Proceedings of VLC 2006, International Workshop on Visual Languages and Computing, Knowledge Systems Institute Graduate School, Convegno: VLC 2006, International Workshop on Visual Languages and Computing, Grand Canyon, USA, August 30 - September 1, 2006 (ISBN 1891706195) (Articolo in Atti di convegno)

DISTRIBUZIONE SPAZIO-TEMPORALE DEL FITOPLANCTON NELL’AREA CENTRALE DELLA LAGUNA DI VENEZIA

FACCA C; SFRISO A.; SOCAL G

(2001), -, NUMANA (ANCONA), pp. 37, Convegno: 32° CONGRESSO SIBM, Numana, Riviera del Conero (Ancona), 4-9 GIUGNO (Articolo in Atti di convegno)

Spatial distribution of benthic diatoms in the surface sediment of the Venice lagoon, Italy

FACCA C; SFRISO A.

(2004), -, BARCELONE, pp. 518, Convegno: COMMISSION INTERNATIONALE POUR L’ESPLORATION SCIENTIFIQUE DE LA MER MÉDITERRANÉE. RAPPORT DU 37E CON, Barcelone, 7-11 JUIN (Articolo in Atti di convegno)

Contributo della fanerogama marina Nanozostera noltii (Horneman) Tomlinson et Posluzny alla produzione primaria della laguna di Venezia.

SFRISO A.; FACCA C; CEOLDO S

(2005), -, VENEZIA, pp. 49, Convegno: CO.RI.LA. RESEARCH PROGRAMME 2004-2007. FIRST ANNUAL WORKSHOP, Venezia, 14-16 Aprile (Articolo in Atti di convegno)