Catalogo pubblicazioni
Il catalogo delle pubblicazioni del Dipartimento attinge le informazioni da ARCA, l'archivio istituzionale ad accesso aperto della ricerca di Ca' Foscari.
8199 pubblicazioni
| 76 | Libri | ||
| 83 | Curatele | ||
| 16 | Brevetti | ||
| 4438 | Contributi in rivista | ||
| 620 | Contributi in volume | ||
| 2783 | Contributi in atti convegno | ||
| 183 | Altro |
Development of a site-specific Ecological Risk Assessment for contaminated sites: Part II. A multi-criteria based system for the selection of bioavailability assessment tools
SEMENZIN E.; CRITTO A.; CARLON C.; RUTGERS M.; MARCOMINI A.
(2007) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 379(1), pp. 34-45 (ISSN 0048-9697)
(Articolo su rivista)
Link DOI
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
Sinfitosociologia ed Ecologia del Paesaggio.
BLASI C; BUFFA G.; DI MARZIO P; SBURLINO G
(2002), 10 anni di Ecologia del Paesaggio in Italia: ricerca, scopi e ruoli., vol. Atti SIEP IALE, pp. 18-25
(Articolo in Atti di convegno)
L'informazione vegetazionale per la gestione ad oasi naturalistica delle ex cave di Casale (VI).
BUFFA G.; GHIRELLI L; PICCOLO D; SBURLINO G
(1999) in BOLLETTINO DEL MUSEO CIVICO DI STORIA NATURALE DI VENEZIA, vol. 49 (suppl.), pp. 369-372 (ISSN 0505-205X)
(Articolo su rivista)
Lista dei syntaxa segnalati per la Regione Veneto.
BRACCO F; BUFFA G.; CANIGLIA G; GHIRELLI L; SBURLINO G; SERDOZ M
(1997) in FITOSOCIOLOGIA, vol. 33, pp. 211-225 (ISSN 1125-9078)
(Articolo su rivista)
L’analisi corologica nell’interpretazione sintassonomica: l’esempio delle praterie a Festuca paniculata (L.) Sch. Et Th..
SBURLINO G; BUFFA G.; GHIRELLI L
(1996) in GIORNALE BOTANICO ITALIANO, vol. 130 (1), pp. 236-247 (ISSN 0017-0070)
(Articolo su rivista)
An in vitro study of the interaction of Sea-Nine with rat lever mitochondria
M Bragadin; B. Pavoni; G. Scutari; S. Manente
(2005) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 24 (5), pp. 1074-1078 (ISSN 0730-7268)
(Articolo su rivista)
Link DOI
Butyltins and Phenyltins in biota and sediments from the Lagoon of Venice (Italy)
BORTOLI; A.; TRONCON; A.; DARIOL S.; PELLIZZATO; PAVONI B.
(2003) in OCEANOLOGIA, vol. 45, pp. 1781-1795 (ISSN 0078-3234)
(Articolo su rivista)
Chemical analyses and heavy metal contamination in sediments of the Venice lagoon and toxicological implications
PASSARINI F.; PAVONI B.
(2001) in ANNALI DI CHIMICA, pp. 28-35 (ISSN 0003-4592)
(Articolo su rivista)
Verifying Persistent Security Properties.
BOSSI A.; FOCARDI R.; PIAZZA C.; ROSSI S.
(2004) in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30, pp. 231-258 (ISSN 1477-8424)
(Articolo su rivista)
Link DOI
URL correlato
Declarative Semantics of Input Consuming Logic Programs
BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI
(2004), Program Development in Computational Logic, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743)
(Articolo su libro)
Link DOI
A Proof System for Information Flow Security
BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S
(2003), Logic Based Program Synthesis and Transformation, vol. 2664, pp. 199-218, Convegno: LOPSTR '02 (ISBN 3540404384)
(Articolo in Atti di convegno)
Link DOI
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)
Link DOI
Operational and Abstract Semantics of the Query Language G-Log
CORTESI A.; DOVIER A.; QUINTARELLI E.; TANCA L.
(2002) in THEORETICAL COMPUTER SCIENCE, vol. 275(1-2), pp. 521-560 (ISSN 0304-3975)
(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
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
CORTESI A.; LE CHARLIER B.; ROSSI S.
(2001) in Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, Perspectives of System Informatics, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743)
(Articolo in Atti di convegno)
Link DOI
The quotient of an abstract interpretation
CORTESI A.; FILE' G.; WINSBOROUGH W.
(1998) in THEORETICAL COMPUTER SCIENCE, vol. 202(1-2), pp. 163-192 (ISSN 0304-3975)
(Articolo su rivista)
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)
Assessment of organic chlorinated compounds removal from aqueous matrices by adsorption on activated carbon
PAVONI B.; DRUSIAN D; GIACOMETTI A; ZANETTE M
(2006) in WATER RESEARCH, vol. 40, pp. 3571-3579 (ISSN 0043-1354)
(Articolo su rivista)
Characterization of structural Byzantine mortars by thermogravimetric analysis
BAKOLAS A.; BISCONTIN G.; MOROPOULOU A.; ZENDRI E.
(1998) in THERMOCHIMICA ACTA, vol. 321, pp. 151-160 (ISSN 0040-6031)
(Articolo su rivista)
I mosaici della Basilica di San Marco a Venezia: indagini sui processi di distacco delle tessere dal supporto
BISCONTIN G.; R.BERTONCELLO; E.CROCE; L.MILANESE; L.SARAGONI; E.ZENDRI
(2002) in G. Biscontin, G. Driussi, I Mosaici. Cultura, Tecnologia, Conservazione, Venezia, Arcadia Ricerche, vol. XVIII, pp. 205-216 (ISBN 9788895409061)
(Articolo su libro)
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)
A multidisciplinary study of the immediate effects of mechanical clam-harvesting in the Venice Lagoon
PRANOVI F.; DA PONTE F; RAICEVICH S; GIOVANARDI O
(2004) in ICES JOURNAL OF MARINE SCIENCE, vol. 61, pp. 43-52 (ISSN 1054-3139)
(Articolo su rivista)
Bacterial characterization of the snow cover at Spitzberg, Svalbard
PIERRE AMATO; RAPHAËLLE HENNEBELLE; OLIVIER MAGAND; MARTINE SANCELME; ANNE MARIE DELORT; BARBANTE C.; CLAUDE BOUTRON; CHRISTOPHE FERRARI
(2007) in FEMS MICROBIOLOGY ECOLOGY, vol. 59, pp. 255-264 (ISSN 0168-6496)
(Articolo su rivista)
Spatially distributed ecological risk for fish of a coastal food web exposed to dioxins.
MICHELETTI C; LOVATO T; CRITTO A; PASTRES R; MARCOMINI A.
(2008) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 27, pp. 1217-1225 (ISSN 0730-7268)
(Articolo su rivista)
Short-term effects of environmentally relevant concentrations of EDC mixtures on Mytilus galloprovincialis digestive gland
CANESI L.; BORGHI C.; CIACCI C.; FABBRI R.; LORUSSO L.C.; VERGANI L.; MARCOMINI A.; POJANA G.
(2008) in AQUATIC TOXICOLOGY, vol. 87, pp. 272-279 (ISSN 0166-445X)
(Articolo su rivista)
Link DOI
Information Flow Security and Recursive Systems
BOSSI A.; MACEDONIO D; PIAZZA C; ROSSI S
(2003), Theoretical Computer Science, Berlin Heidelberg: Springer, vol. 2841, pp. 369-382, Convegno: 8th Italian Conference, ICTCS 2003 (ISBN 3540202161) (ISSN 0302-9743)
(Articolo in Atti di convegno)
Complexity of Nesting Analysis in Mobile Ambients
C. BRAGHIN; A. CORTESI; R. FOCARDI; F.L. LUCCIO; C. PIAZZA
(2003) in Lenore D. Zuck et al., Verification, Model Checking, and Abstract Interpretation, Heidelberg, Springer Verlag, vol. 2575, pp. 86-101, Convegno: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002 (ISBN 3540003487) (ISSN 0302-9743)
(Articolo in Atti di convegno)
Link DOI
Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks
F.L. LUCCIO;
(2003), Proceedings in Informatics, Ottawa, Carleton Scientific, vol. 17, pp. 235-247, Convegno: 10nth Colloquium on Structural Information and Communication Complexity, Umea Svezia, 18-20 JUNE 2003 (ISBN 9781894145169)
(Articolo in Atti di convegno)
ANNUAL NUTRIENT EXCHANGES BETWEEN THE CENTRAL LAGOON OF VENICE AND THE NORTHERN ADRIATIC SEA
SFRISO A.; MARCOMINI A; PAVONI B
(1994) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 156, pp. 77-92 (ISSN 0048-9697)
(Articolo su rivista)
Link DOI
Phytoplankton composition and distribution in the central part of the Venice lagoon
FACCA C; SFRISO A.; GHETTI P.F
(2004) in ACTA ADRIATICA, vol. 45, pp. 163-180 (ISSN 0001-5113)
(Articolo su rivista)
Decremento di produzione e cambio nella vegetazione macroalgale nella laguna di Venezia
SFRISO A.
(1996) in INQUINAMENTO, vol. 5, pp. 80-88 (ISSN 0001-4982)
(Articolo su rivista)
Diatomee planctoniche e bentoniche: abbondanza e diversità nella laguna di Venezia
FACCA C; SFRISO A.; SOCAL G
(2003) in BIOLOGIA MARINA MEDITERRANEA, vol. 10 (2), pp. 1006-1009 (ISSN 1123-4245)
(Articolo su rivista)
ENVIRONMENTAL AND ANALYTICAL CHEMISTRY OF SURFACTANTS
MARCOMINI A; ZANETTE M; SFRISO A.
(1993) in CHEMICKÉ LISTY, vol. 87, pp. 15-23 (ISSN 0009-2770)
(Articolo su rivista)
ANNUAL VARIATIONS OF NUTRIENTS IN THE LAGOON OF VENICE
SFRISO A.; PAVONI B; MARCOMINI A; ORIO A.A
(1988) in MARINE POLLUTION BULLETIN, vol. 19, pp. 54-60 (ISSN 0025-326X)
(Articolo su rivista)
Link DOI
Time trend of PCB concentrations in surface sediments from a hypertrophic, macroalgae populated area of the lagoon of Venice
PAVONI B; CALVO C; SFRISO A.; ORIO A.A
(1990) in SCIENCE OF THE TOTAL ENVIRONMENT, vol. 91, pp. 13-21 (ISSN 0048-9697)
(Articolo su rivista)
Link DOI
SAMPLING STRATEGIES FOR MEASURING MACROALGAL BIOMASS IN THE SHALLOW WATERS OF THE VENICE LAGOON
SFRISO A.; RACCANELLI S; PAVONI B; MARCOMINI A
(1991) in ENVIRONMENTAL TECHNOLOGY, vol. 12, pp. 263-269 (ISSN 0959-3330)
(Articolo su rivista)
Link DOI
MACROALGAE AND PHYTOPLANKTON COMPETITION IN THE CENTRAL VENICE LAGOON
SFRISO A.; PAVONI B
(1994) in ENVIRONMENTAL TECHNOLOGY, vol. 15, pp. 1-14 (ISSN 0959-3330)
(Articolo su rivista)
Link DOI
Behaviour of anionic and nonionic surfactants and their persistent metabolites in the Venice lagoon. Italy
MARCOMINI A.; POJANA G.; SFRISO A.; QUIROGA ALONSO J.M.
(2000) in ENVIRONMENTAL TOXICOLOGY AND CHEMISTRY, vol. 19, pp. 2000-2007 (ISSN 0730-7268)
(Articolo su rivista)
Link DOI
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)
Macroalgal production and nutrient recycling in the lagoon of Venice
SFRISO A.; MARCOMINI A; PAVONI B; ORIO A.A
(1988) in INGEGNERIA SANITARIA, vol. 5, pp. 255-266 (ISSN 0020-0980)
(Articolo su rivista)
Phytoplankton spatial and temporal distribution in the central part of the Venice lagoon
FACCA C; SFRISO A.; SOCAL G
(2002) in BIOLOGIA MARINA MEDITERRANEA, vol. 9 (1), pp. 383-390 (ISSN 1123-4245)
(Articolo su rivista)
Studi sulla distribuzione spazio-temporale delle macroalghe planctoniche e bentoniche nella laguna di Venezia.
FACCA C; SFRISO A.
(2005) in INFORMATORE BOTANICO ITALIANO, vol. 37, pp. 576-577 (ISSN 0020-0697)
(Articolo su rivista)
'Birthday effect' on the adoption of alternative mating tactics in Zosterisessor ophiocephalus: evidence from a growth model
PASTRES R; PRANOVI F.; LIBRALATO S; MALAVASI S; TORRICELLI P
(2002) in JOURNAL OF THE MARINE BIOLOGICAL ASSOCIATION OF THE UNITED KINGDOM, vol. 82, pp. 333-337 (ISSN 0025-3154)
(Articolo su rivista)
Link DOI
A Framework for Property-driven Program Slicing
CORTESI A.; BHATTACHARYA S
(2009) in S.SARKAR; P. DAS EDS., Computer, Communication, Control and Information Technology, NEW DELHI, Macmillan Publishers India Ldt, pp. 118-122, Convegno: Proc. 1st Int. Conference on Computer, Communication, Control and Information Technology, Kolkata, India, 2009 (ISBN 9780230637597)
(Articolo in Atti di convegno)
Electrochemical single-cell reactor for treatment of industrial wastewater composed of a spent textile bath
SZPYRKOWICZ L.; M. RADAELLI
(2007) in SEPARATION SCIENCE AND TECHNOLOGY, vol. 42, pp. 1493-1504 (ISSN 1520-5754)
(Articolo su rivista)
Determination of trace elements and organic pollutants (PCB, PAH) in the atmospheric aerosol of the Venice Lagoon.
GAMBARO A.; L. MANODORI; S. FERRARI; G. TOSCANO; A. VARGA; I. MORET; G. CAPODAGLIO
(2002) in PIERPAOLO CAMPOSTRINI, Scientific research and Safeguarding of Venice: Corila Research Program - 2001 results, VENEZIA, CORILA, vol. I, pp. 469-475 (ISBN 9788888143125)
(Articolo su libro)
Fish assemblages in different shallow water habitats of the Venice Lagoon.
FRANCO A; FRANZOI P; MALAVASI S.; RICCATO F. TORRICELLI P
(2003), 38° European Marine Biology- Book of abstracts, pp. 118-119, Convegno: 38th European Marine Biology Symposium, abstract book., Aveiro, SEPTEMBER 8-12
(Articolo in Atti di convegno)
Determinazione di dimetilsolfuro e dimetilsolfoniopropionato in acqua e sedimento della laguna di Venezia
GAMBARO A.; DA RIN E.; PIAZZA R.; CAPODAGLIO G.; MORET I.; CESCON P.
(2000), Convegno: Incontri di Chimica Analitica dell'Ambiente. XIV-Qualità dei dati analitici, Pisa, a cura della Div. Chimica Analitica S.C.I., 5-6/4/2000
(Articolo in Atti di convegno)
Evoluzione temporale di DMS e DMSP nella Gerlache Inlet (Baia Terra Nova, Antartide)
GAMBARO A.; PIAZZA R.; DA RIN E.; CESCON P.
(2001), pp. 258-259, Convegno: XVI Congresso Nazionale di Chimica Analitica, Portonovo (Ancona), 24-28/9/2001
(Articolo in Atti di convegno)