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

8201  publications

76 Books
83 Edition
16 Patent
4439 Article
621 Book chapter
2783 Conference proceeding
183 Other
Automated Behavioural Verification of Prolog Programs

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

(1997), Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pp. 189-200, Convegno: Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), Grado, Italy, 16-19 June (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)

Determination by HRGC/HRMS of PBDE levels in edible Mediterranean bivalves collected from north-western Adriatic coasts

Pizzini, Sarah; Marchiori, Enrico; Piazza, Rossano; Cozzi, Giulio; Barbante, Carlo

(2015) in MICROCHEMICAL JOURNAL, vol. 121, pp. 184-191 (ISSN 0026-265X) (Articolo su rivista)
Link DOI URL correlato

Supporting Decision Making for Sustainable Nanotechnology

I. Malsch; V. Subramanian; E. Semenzin; D. Hristozov; A. Marcomini

(2015) in ENVIRONMENT SYSTEMS & DECISIONS, vol. 35, pp. 54-75 (ISSN 2194-5403) (Articolo su rivista)
Link DOI

Aromatic Surfactants in the Marine Environment: Analysis and Occurrence of LAS, NPEO and NP

MARCOMINI A; PAVONI B; SFRISO A.; ORIO A.A

(1988), ATTI III INTERNATIONAL CONFERENCE, ENVIRONMENTAL CONTAMINATION, VENICE, pp. 94-98, Convegno: - (Articolo in Atti di convegno)

ANALISI DI IDROCARBURI CLORURATI (PCB, PESTICIDI) IN DIFFERENTI MATRICI AMBIENTALI

PAVONI B; MAROLI L; LAURENTI A; SFRISO A.; ORIO A.A; RACCANELLI S

(1992), ATTI XI CONGRESSO NAZIONALE DIVISIONE DI CHIMICA ANALITICA, PAVIA, pp. 75-77, Convegno: - (Articolo in Atti di convegno)

La crescita dell'Ulva rigida nella laguna di Venezia: analisi esplorativa ed ipotesi per un modello previsivo

PASTORE A; PETRONE S; PAVONI B; SFRISO A.

(1993), -, VENEZIA, pp. 1-19, Convegno: ATTI STATCHEM 93, INCONTRO DI CHIMICA ANALITICA DELL'AMBIENTE (Articolo in Atti di convegno)

Macrophytes and nutrient cycles in the lagoon of Venice (Italy)

SFRISO A.; MARCOMINI A

(1996), J.W. RIJSTENBIL, P. KAMERMANS, P.H. NIENHUIS (EDS.), EUTROPHICATION AND MACROPHYTES (EUMAC), SYNTHESIS REPORT AND PROCEEDINGS OF THE II° EUMAC WORKSHOP, SÈTE, pp. 221-248, Convegno: - (Articolo in Atti di convegno)

Natural and anthropogenic influence recorded in a Colle del Lys new ice core (italian Alps)

Maggi V.; Orombelli G.; Wagenbach D.; Preunkert S.; Weisshaar R.; Flora O.; Stenni B.; Smiraglia C.; Rossi G.C.; Novo A.

(1997) in European Geosciences Union, Annales Geophysicae, Suppl. II in ANNALES GEOPHYSICAE, Copernicus Publications, vol. 15, pp. 461-461, Convegno: XXII General Assembly of the European Geophysical Society, Vienna, Austria, 21-25 Aprile 1997 (ISSN 0992-7689) (Abstract in Atti di convegno)

Peritidal depositional facies and carbon isotope variation across K/T boundary carbonates from NW Adriatic platform.

TEWARI V.C; STENNI B; PUGLIESE N.; DROBNE K; RICCAMBONI R; DOLENEC T

(2007) in PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, vol. 255, pp. 77-86 (ISSN 0031-0182) (Articolo su rivista)
Link DOI

Chemical and isotopic snow variability along the 1998 ITASE traverse from Terra Nova Bay to Dome C (East-Antarctica)

Proposito M.; Becagli S.; Castellano E.; Flora O.; Genoni L.; Gragnani R.; Stenni B.; Traversi R.; Udisti R.; Frezzotti M.

(2002) in ANNALS OF GLACIOLOGY, vol. 35, pp. 187-194 (ISSN 0260-3055) (Articolo su rivista)

Thermal regime, isotopic and morphological characteristics of ice wedges in northern Victoria Land, Antartica

Raffi R.; Stenni B.; Genoni L.; Flora O.; Sega S.

(2007) in Cooper A.K. Raymond C.R.,, Antarctica: A Keystone in a Changing World, U.S. Geological Survey and The National Academies, pp. "-"-"-", Convegno: 10th International Symposium on Antarctic Earth Sciences, Santa Barbara, California (USA), 26 Agosto – 1 Settembre 2007 (Abstract in Atti di convegno)

Compositional Information Flow Security for Concurrent Programs

BOSSI A.; PIAZZA C; ROSSI S

(2005), Dipartimento di Informatica, Universita' Ca' Foscari, vol. CS-2005-5, Marzo 2005 (Rapporto di ricerca)

La dispersione dei materiali nei depositi terrazzati pleistocenici della fascia costiera abruzzese nella zona Atri-Silvi.

Molinaroli E.

(1984) in BOLLETTINO DELLA SOCIETÀ GEOLOGICA ITALIANA, vol. 103, pp. 529-537 (ISSN 0037-8763) (Articolo su rivista)

Feature Integration and Relevance Feedback Analysis in Image Similarity Evaluation

CELENTANO A.; E. DI SCIASCIO

(1998) in JOURNAL OF ELECTRONIC IMAGING, vol. 7 (2), pp. 308-317 (ISSN 1017-9909) (Articolo su rivista)

Sampling sea surfaces with SESAMO: an autonomous craft for the study of sea-air interactions.

M. CACCIA; R. BONO; GA. BUZZONE; GI BUZZONE; E. SPIRANDELLI; G. VERUGGIO; A.M. STORTINI; CAPODAGLIO G.

(2005) in IEEE ROBOTICS AND AUTOMATION MAGAZINE, vol. 12 (3), pp. 95-105 (ISSN 1070-9932) (Articolo su rivista)
Link DOI

Agents for Distributed Context-Aware Interaction

CELENTANO A.; FOGLI D. ; MUSSIO P. ; PITTARELLO F.

(2002), Proceedings of AIMS '02, Workshop on Artifical Intelligence in Mobile Systems, pp. 29-36, Convegno: AIMS '02, Workshop on Artifical Intelligence in Mobile Systems, Lyon, France, July 22, 2002 (Articolo in Atti di convegno)

Study on the toxicity of phenolic and phenoxy herbicides using the submitochondrial particle assay

ARGESE E.; BETTIOL C.; MARCHETTO D.; DE VETTORI S.; ZAMBON A.; MIANA P.; GHETTI P.F.

(2005) in TOXICOLOGY IN VITRO, vol. 19, pp. 1035-1043 (ISSN 0887-2333) (Articolo su rivista)
Link DOI

Prediction regions for scale and location models

GIUMMOLE' F.

(2004) in STATISTICA APPLICATA, vol. 16, pp. 5-15 (ISSN 1125-1964) (Articolo su rivista)

On the relationship between alpha-connections and the asymptotic properties of predictive distributions

CORCUERA J.M; GIUMMOLE' F.

(1999) in BERNOULLI, vol. 5, pp. 163-176 (ISSN 1350-7265) (Articolo su rivista)

Nutrients in Sediments, Suspended Solids and Waters of the Lagoon of Venice

SFRISO A.; DONAZZOLO R; CALVO C; ORIO A.A

(1988), Atti III International Conference, Environmental Contamination, VENICE, pp. 354-357, Convegno: - (Articolo in Atti di convegno)

Micropollutants and organic carbon concentrations in surface and deep sediments in the Tunisian cost near the city of Sousse

PAVONI B.; BERTO D.; RIGONI M.; SALIZZATO M.

(2000) in MARINE ENVIRONMENTAL RESEARCH, vol. 49, pp. 177-196 (ISSN 0141-1136) (Articolo su rivista)

Correlation between Inorganic (heavy metals) and organic (PCBs, PAHs) micropollutant concentrations during sewage sludge composting process

LAZZARI L.; SPERNI L.; BERTIN P.; PAVONI B.

(2000) in CHEMOSPHERE, vol. 41, pp. 427-435 (ISSN 0045-6535) (Articolo su rivista)

Denitrification under high nitrate concentration and alternating anoxic conditions

PAVAN P.; BILANOVIC, D.; BATTISTONI, P.; MATA-ALVAREZ,J; CECCHI, F.

(1999) in WATER RESEARCH, vol. 33, pp. 3311-3320 (ISSN 0043-1354) (Articolo su rivista)

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

Valutazione del comportamento nel tempo di trattamenti protettivi a base di polimeri acrilici

E.ZENDRI; BISCONTIN G.; M.BATTAGLIARIN; G.LONGEGA

(2000) in G. Biscontin, G. Driussi, La Prova del Tempo. Verifiche degli interventi per la conservazione del costruito, Venezia, Arcadia Ricerche, vol. XVI, pp. 173-180 (ISBN 9788895409047) (Articolo su libro)

Concentration changes of cadmium and lead in Antarctic coastal seawater (Ross Sea) during the austral summer and their relationship with the evolution of biological activity

G. SCARPONI; G. CAPODAGLIO; C. Barbante; G. TOSCANO; M. CECCHINI; A. GAMBARO; CESCON P.

(2000) in F. FARANDA; L. GUGLIELMO; A. IANORA; EDS., ROSS SEA ECOLOGY, BERLINO, HEIDELBERG, SPRINGER, pp. 223-226 (Articolo su libro)

Evolutionary designs for microfluidic experiments

POLI IRENE; ROMANAZZI MARIO; SERRA ROBERTO; AGOSTINELLI CLAUDIO

(2005), vol. 10 (Altro)

Control Flow Analysis of Mobile Ambients with Security Boundaries

BRAGHIN C.; CORTESI A.; FOCARDI R.

(2002) in BART JACOBS; AREND RENSINK EDS., Formal Methods for Open Object-Based Distributed Systems, DORDRECHT, Kluwer, vol. 209, pp. 197-212, Convegno: IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), Enschede, The Netherlands, March 20-22, 2002 (ISBN 9780792376835) (Articolo in Atti di convegno)

Mortality and air pollution in Philadelphia: a dynamic generalized linear modelling approach

CHIOGNA M.; GAETAN C.

(2004) in BOCK H.; CHIODI M.; MINEO A., Advances in Multivariate Data Analysis, BERLIN, Springer, pp. 233-244 (ISBN 9783540208891) (Articolo su libro)
Link DOI URL correlato

Application of sphere cap mercury microelectrodes and scanning electrochemical microscopy (SECM) for heavy metal monitoring at solid/solution interfaces.

DANIELE S.; I. CIANI; M. A. BALDO; C. BRAGATO

(2007) in ELECTROANALYSIS, vol. 19, pp. 2067-2076 (ISSN 1040-0397) (Articolo su rivista)
Link DOI

Weighted likelihood Inference in Gaussian spatial linear models

GAETAN C.; GRECO L

(2007), Classification and Data Analysis 2007, MACERATA, edizioni Università di Macerata, pp. 309-312, Convegno: Meeting of the Classification and Data Analysis Group of the Italian Statistical Society, Macerata, 12--14 September 2007 (ISBN 9788860560209) (Articolo in Atti di convegno)

Vegetazione naturale.

LASEN C; SBURLINO G; BUFFA G.

(2005) in ARPAV EDS., Carta dei Suoli del Veneto. Note illustrative., PONZANO (TV), Vianello, pp. 66-72 (Articolo su libro)

Aggiornamento della lista dei syntaxa segnalata per la Regione Veneto.

BRACCO F; BUFFA G.; GAMPER U; SBURLINO G; SERDOZ M

(2001) in FITOSOCIOLOGIA, vol. 38 (2) suppl. 1, pp. 245-265 (ISSN 1125-9078) (Articolo su rivista)

La vegetazione del sistema costiero veneto: peculiarità, rischi, conservazione e possibilità di riqualificazione.

FILESI L; BUFFA G.; GAMPER U; SBURLINO G

(2006) in Zezza F., La riqualificazione della città e dei territori, vol. Quad. IUAV 48, Convegno: La riqualificazione della città e dei territori. Architettura e scienze a confronto (ISBN 8871155262) (Articolo in Atti di convegno)

Analisi della flora del Monte Cero (Colli Euganei – NE Italia).

VILLANI MC; GAMPER U; BUFFA G.

(1999) in LAVORI - SOCIETÀ VENEZIANA DI SCIENZE NATURALI, vol. 24, pp. 67-83 (ISSN 0392-9450) (Articolo su rivista)

Navigation Help in 3D Worlds: Some Empirical Evidences on Use of Sound

ARDITO C.; COSTABILE M.F.; DE ANGELI A.; PITTARELLO F.

(2007) in MULTIMEDIA TOOLS AND APPLICATIONS, vol. 33(2), pp. 201-216 (ISSN 1380-7501) (Articolo su rivista)
Link DOI

La certificazione Grin per la formazione informatica universitaria

CORTESI A.; ENRICO NARDELLI

(2006) in A CURA DI CONSORZIO INTERUNIVERSITARIO ALMALAUREA, VIII Profilo dei laureati italiani. I primi figli della riforma, BOLOGNA, IL MULINO, pp. 271-280 (ISBN 9788815114563) (Articolo su libro)

Mobile Agent Rendezvous When Tokens Fail

P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO; C. SAWCHUK

(2004), Structural Information and Communication Complexity, vol. 3104, pp. 161-172, Convegno: 11th International Colloquium, SIROCCO 2004 (ISBN 3540222308) (ISSN 0302-9743) (Articolo in Atti di convegno)

Routing in Series Parallel Networks

P. FLOCCHINI; F.L. LUCCIO

(2003) in THEORY OF COMPUTING SYSTEMS, vol. 36(2), pp. 137-157 (ISSN 1432-4350) (Articolo su rivista)

Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies

F.L. LUCCIO

(1998) in INFORMATION PROCESSING LETTERS, vol. 66/2, pp. 59-64 (ISSN 0020-0190) (Articolo su rivista)

The role of atmospheric deposition in the biogeochemistry of the Mediterranean Sea

GUERZONI S; CHESTER R; DULAC F; LOE-PILOT M.D; MEASURES C; MIGON C; MOLINAROLI E.; MOULIN C; ROSSINI P; SAYDAM C; SOUDINE A; ZIVERI P

(1999) in PROGRESS IN OCEANOGRAPHY, vol. 44, pp. 147-190 (ISSN 0079-6611) (Articolo su rivista)
Link DOI

Los ostracodos de la cuenca del Lido

RUIZ MUOZ F; GONZLEZ-REGALADO M.L; MENEGAZZO VITTURI L; RAMPAZZO G; MOLINAROLI E.; PISTOLATO M.

(1999) in REVISTA DE LA SOCIEDAD GEOLÓGICA DE ESPAÑA, vol. 27, pp. 209-211 (ISSN 0214-2708) (Articolo su rivista)

Fault-Tolerant Support for Reliable Multicast inMobile Wireless Systems: Design and Evaluation

F.L. LUCCIO; A. BARTOLI; G. ANASTASI

(2002), Quaderni Matematici (Technical Report) - Universita' degli Studi di Trieste, Dipartimento di Scienze Matematiche, vol. 526 (Rapporto di ricerca)

Minumum Feedback Vertex Set in k-Dimensional Hypercubes

R. FOCARDI; F.L. LUCCIO

(1999), Universita' Ca' Foscari di Venezia, Dipartimento di Informatica, vol. CS-99-21 (Rapporto di ricerca)

A Fault-Tolerant Support for Mobile Wireless Systems,

F.L. LUCCIO; A. BARTOLI; G. ANASTASI

(2000), Workshop di Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi, Convegno: Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture, e Linguaggi,, Ischia (Napoli), Italy,, 18-20 September (Abstract in Atti di convegno)

Interval Routing in Series Parallel Graphs

C. GAVOILLE; F.L. LUCCIO

(1997), Workshop di Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi, Convegno: WSDAAL, Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture, e Linguaggi, Bertinoro (Forli'), Italy, 23-25 SEPTEMBER (Abstract in Atti di convegno)

Atmospheric bulk deposition to the Lagoon of Venice: Part I, fluxes of metals, nutrients and organic contaminants.

ROSSINI P; GUERZONI S; MOLINAROLI E.; RAMPAZZO G; DE LAZZARI A; ZANCANARO A

(2005) in ENVIRONMENT INTERNATIONAL, vol. 31, pp. 959-974 (ISSN 0160-4120) (Articolo su rivista)
Link DOI

Trajectory Data Warehouses: Storing and Aggregating Frequent ST Patterns

ORLANDO S; RAFFAETA' A.; RONCATO A; SILVESTRI C

(2008), Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems,, Fotograf, pp. 179-190, Convegno: 16th Italian Symposium on Advanced Database Systems (Articolo in Atti di convegno)

Gas chromatographic determination of organic micropollutants in samples of sewage sludge and compost: Behaviour of PCB and PAH during composting

LAZZARI; SPERNI; SALIZZATO; PAVONI B.

(1999) in CHEMOSPHERE, vol. 38, pp. 1925-1935 (ISSN 0045-6535) (Articolo su rivista)