Dipartimento di
Scienze Ambientali, Informatica e Statistica

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

6876  pubblicazioni

86 Libri
77 Curatele
14 Brevetti
3489 Contributi in rivista
627 Contributi in volume
2422 Contributi in atti convegno
161 Altro
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)

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)

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

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)

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)

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)

Management of port dredged material: an environmental political issue

MANNINO I.; SORIANI. S.; ZANETTO G.

(2002), The changing Coast, PORTO (PORTUGAL), Eurocoast, vol. 3, pp. 75-79, Convegno: Littoral 2002 (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)

STRUTTURA, DINAMICA E CARATTERISTICHE FUNZIONALI DELLE COMUNITÀ BIOLOGICHE DOMINATE DA MACROFITE E DA ALGHE PLANCTONICHE NELLA LAGUNA DI VENEZIA (LINEA DI RICERCA 3)

PUGNETTI A; DEL NEGRO P; GIANI M; SFRISO A.; ACRI F; BERNARDI AUBRY F; BERTO D; CAMATTI E; COPPOLA J; FACCA C; RAVAGNAN E; VALERI A

(2006), -, VENEZIA, pp. 1, Convegno: CO.RI.LA. RESEARCH PROGRAMME 2004-2007. SECOND ANNUAL WORKSHOP, Venezia, 26-28 APRILE (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)

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)

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)

DeduGIS: un progetto per potenziare i GIS con ragionamento spazio-temporale

GIANNOTTI F; RAFFAETA' A.; RENSO C; TURINI F

(2003), Sesta Conferenza Italiana Utenti ESRI, Convegno: Sesta Conferenza Italiana Utenti ESRI (Articolo in Atti di convegno)

Tree Vector Indexes: Efficient Range Queries for Dynamic Content on Peer-to-Peer Networks

M. MARZOLLA; M. MORDACCHINI; S. ORLANDO

(2006), Proc of the 14th Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing (PDP'06), pp. 457-464, Convegno: 14th Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing (PDP'06) (ISBN 9780769525136) (Articolo in Atti di convegno)

Variations in atmospheric trace elements in Dome C (East Antarctica) ice over the last two climatic cycles.

GABRIELLI P.; BARBANTE C.; BOUTRON C.; COZZI G.; GASPARI V.; PLANCHON F.; FERRARI C.; TURETTA C.; HONG S.; CESCON P.

(2005) in ATMOSPHERIC ENVIRONMENT, vol. 39, pp. 6420-6429 (ISSN 1352-2310) (Articolo su rivista)

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)

On the characterization of probabilistic queueing disciplines.

BALSAMO S.; A. Marin

(2009) in Khalid Al-Begain, Dieter Fiems and Gábor Horváth, ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, Berlino, Springer, vol. 5513, pp. 204-218, Convegno: ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, Madrid Spain, June 2009 (ISBN 9783642022043) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

An Importance Sampling Approach to Learning Structural Representations of Shape

Torsello, Andrea

(2008), IEEE Conference on Computer Vision and Pattern Recognition - CVPR 2008, IEEE Computer Society, pp. 1-7, Convegno: IEEE Conference on Computer Vision and Pattern Recognition - CVPR 2008 (ISBN 9781424422425) (Articolo in Atti di convegno)
Link DOI

Fuzzy Graphs and Error-proof Keyboards

F.L. LUCCIO; A. SGARRO

(2002), IPMU 2002, Université de Savoie, pp. 1503-1508, Convegno: Int.Conf. on Inf. Processing and Management of Uncertainty in KnowledgeBased systems, Annecy, France, 1-5 luglio 2002 (ISBN 9782951645325) (Articolo in Atti di convegno)

The Situation Lens: Looking into Personal Service Composition

CELENTANO A.; FARALLI S.; PITTARELLO F.

(2008), Advances in Conceptual Modeling – Challenges and Opportunities, Springer-Verlag, vol. 5232, pp. 165-174, Convegno: ER 2008 Workshops (ISBN 9783540879909) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

Metaphorical Cartography for Knowledge Creation and Sharing

CELENTANO A.; MUSSIO P.; PITTARELLO F.

(2008) in E. Jungert, M. Hirakawa, Proceedings of the 14th International Conference on Distributed Multimedia Systems, SKOKIE, IL, Knowledge Systems Institute, pp. 214-219, Convegno: DMS 2008, 14th International Conference on Distributed Multimedia Systems (ISBN 9781891706233) (Articolo in Atti di convegno)

Ada web portal: promoting women access to informatics

BOSCHETTO E; CORTESI A.

(2007) in P.KEFALAS; A.SOTIRIADOU; G.DAVIES; A.MCGETTRICK EDS, Proc. Informatics Education Europe II, TESSALONIKI, SEERC, pp. 108-117, Convegno: Informatics Education Europe II, Thessaloniki, Grece, 29-30 November 2007 (ISBN 9789608962934) (Articolo in Atti di convegno)

Queueing Networks

BALSAMO S.; A. MARIN

(2007) in M. Bernardo, J. Hillston, SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation, Berlino, Springer-Verlag, vol. 4486, pp. 34-82, Convegno: SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation (ISBN 9783540724827) (ISSN 0302-9743) (Articolo in Atti di convegno)
Link DOI

Spatio-Temporal Aggregations in Trajectory Data Warehouses

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

(2007), Data Warehousing and Knowledge Discovery, 9th International Conference, DaWaK 2007,, Springer, vol. 4654, pp. 66-77, Convegno: 9th Int.l Conf. on Data Warehousing and Knowledge Discovery, DaWaK 2007 (ISBN 9783540745525) (ISSN 0302-9743) (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)

Integrazione delle conoscenze sull’ecosistema lagunare. Attività B: Stato delle comunità fito-e zooplanctoniche. Dati idrologici

SFRISO A.

(2005), Rapporto Finale-10 (Altro)

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)

Production of soluble organic compounds by anaerobic fermentation of organic solid waste

BOLZONELLA D; FATONE F; PAVAN P.; POGGI-VARALDO H.M; CECCHI F

(2005), Chemical Engineering Transactions,, TAORMINA, S. Pierucci Ed, vol. 6, Convegno: ICheaP-7, TAORMINA, 15-18 maggio (ISBN 9788890077579) (Articolo in Atti di convegno)

Almost Exact Minumum Feedback Vertex Set in Meshes and Butterflies

F.L. LUCCIO

(1997), Universita' degli Studi di Milano, Dipartimento di Scienze dell'Informazione, vol. 207-97 (Rapporto di ricerca)

Coesistenza di Ulva rigida, C. Agardh and Ulva laetevirens areschoug in alcuni ambienti di transizione italiani.

SFRISO A.

(2006), Gruppo di lavoro per l'algologia, CATANIA, pp. 22, Convegno: Convegno Società Botanica Italiana, Gruppo di lavoro per l'algologia, 24-25 Novembre (Articolo in Atti di convegno)