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

5407  pubblicazioni

72 Libri
57 Curatele
8 Brevetti
2574 Contributi in rivista
524 Contributi in volume
2009 Contributi in atti convegno
163 Altro

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)

On the algebraic models of lambda calculus

SALIBRA A.

(2000) in THEORETICAL COMPUTER SCIENCE, vol. 249, pp. 197-240 (ISSN 0304-3975) (Articolo su rivista)

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

Population structure and reproduction of three pipefish species (Teleostei, Syngnathidae) in a sea grass meadow of the Venice lagoon

RICCATO F; FIORIN R; FRANCO A; FRANZOI P; LIBERTINI A; PRANOVI F; TORRICELLI P.

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

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)

Variations in Tritium Activity along the ITASE TNB-DC Traverse

Flora O.; Genoni L.; Stenni B.; Proposito M.; Frezzotti M.

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

Integrazione di un intervento di rinaturalizzazione di un'area lagunare nella Gestione della Zona Costiera di Caorle (Venezia)

BELLACICCO S; MOLINAROLI E.

(2001) in Falcucci M.; Hull V., Congresso Nazionale della Società Italiana di Ecologia Atti 25, Convegno: XICongresso Nazionale della Società Italiana di Ecologia, Parco Nazionale del Circeo, Sabaudia, 12-14 settembre 2001 (Articolo 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)

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)

Polychlorinated biphenyls in sediments of the Tam Guang-Cau Hai Lagoon, Central Vietnam

M. FRIGNANI; R. PIAZZA; L.G. BELLUCCI; N.H. CU; R. ZANGRANDO; S. ALBERTAZZI; MORET I.; S. ROMANO; A. GAMBARO

(2007) in CHEMOSPHERE, vol. 67, pp. 1786-1793 (ISSN 0045-6535) (Articolo su rivista)
Link DOI

Le Scienze della Terra nello studio dell'ambiente: una esperienza didattica interdisciplinare

BINI C; MENEGAZZO VITTURI L; MOLINAROLI E.

(1996) in PLINIUS, vol. 16, pp. 46-47 (ISSN 1120-317X) (Articolo su rivista)

Les poussières sahariennes

GUERZONI S; MOLINAROLI E.

(1998) in POUR LA SCIENCE, vol. 247, pp. 72-77 (ISSN 0153-4092) (Articolo su rivista)

Type Inference for Variant Object Types

BUGLIESI M.; PERICAS-G S.

(2002) in INFORMATION AND COMPUTATION, vol. 177(1), pp. 2-27 (ISSN 0890-5401) (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)

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)

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)

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)

Temporal Annotated Constraint Logic Programming with Multiple Theories

MANCARELLA P; RAFFAETA' A.; TURINI F

(1999) in TJOA A M.; CAMMELLI A.; WAGNER R.R., International Workshop on Database and Expert Systems Applications, IEEE Computer Society, pp. 501-508, Convegno: International Workshop on Database and Expert Systems Applications (ISBN 9780769502816) (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)

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)

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)

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)

The stable isotopes record of the EPICA-EDML ice core in comparison with the Dome C ice core

Oerter H.; Meyer H.; Graf W.; Fischer H.; Cattani O.; Jouzel J.; Masson-Delmotte V.; Stenni B.; Selmo E.; Johnsen S.

(2005) in European Geosciences Union, EGU General Assembly 2005 in GEOPHYSICAL RESEARCH ABSTRACTS, Copernicus Publications, vol. 7, Convegno: European Geosciences Union, General Assembly 2005, Vienna, Austria, 24-29 Aprile 2005 (ISSN 1607-7962) (Abstract 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)

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

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)

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)

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)

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)