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

5682  pubblicazioni

72 Libri
60 Curatele
8 Brevetti
2732 Contributi in rivista
529 Contributi in volume
2131 Contributi in atti convegno
150 Altro

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)

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)

Transport of Gas-Phase Polycyclic Aromatic Hydrocarbons to the Venice Lagoon

A. GAMBARO; L. MANODORI; I. MORET; CAPODAGLIO G.; P. CESCON.

(2004) in ENVIRONMENTAL SCIENCE & TECHNOLOGY, vol. 38, pp. 5357-5364 (ISSN 0013-936X) (Articolo su rivista)

Nonlinear relaxation labeling as growth transformation

PELILLO M.

(1994), LOS ALAMITOS, CA, IEEE Computer Society Press, pp. 201-206, Convegno: ICPR'94 - 12th International Conference on Pattern Recognition (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)

Multivariate prediction

CORCUERA J.M.; GIUMMOLE' F.

(2006) in BERNOULLI, vol. 12, pp. 157-168 (ISSN 1350-7265) (Articolo su rivista)

Chapter 18. Flora and macroalgal biomass production in different nutrient-enriched areas of the Venice lagoon.

SFRISO A.; PAVONI B; ORIO A.A

(2000) in IN P. LASSERRE; A. MARZOLLO EDS., THE VENICE LAGOON ECOSYSTEM. INPUTS AND INTERACTIONS BETWEEN LAND AND SEA, CARNFORTH, PARTHENON PUBLISHING, pp. 315-338 (ISBN 9788888888880) (Articolo su libro)

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)

Boundary Inference for Enforcing Security Policies in Mobile Ambients

BRAGHIN C.; CORTESI A.; FOCARDI R.; VAN BAKEL S.

(2002) in RICARDO A. BAEZAYATES; UGO MONTANARI; NICOLA SANTORO EDS., Foundations of Information Technology in the Era of Networking and Mobile Computing, DORDRECHT, Kluwer, vol. 223, pp. 383-395, Convegno: IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), Montreal, Canada, August 25-30, 2002 (ISBN 9781402071812) (Articolo in Atti di convegno)

Joseph Beuys +Italy/the defense of nature

CONTI G.

(2005) in PLANUM, vol. XI, pp. 1-16 (ISSN 1723-0993) (Articolo su rivista)

Negotiating on Water. Insights from Non-cooperative Bargaining Theory.

CARRARO C.; MARCHIORI C.; SGOBBI A.

(2007) in ENVIRONMENT AND DEVELOPMENT ECONOMICS, vol. 12, pp. 1-21 (ISSN 1355-770X) (Articolo su rivista)

L’archiviage des activités humainnes par les neiges et glaces polaires: le cas du plomb

BOUTRON C; ROSMAN K; BARBANTE C.; FERRARI C

(2004) in COMPTES RENDUS. GÉOSCIENCE, vol. 336, pp. 847-867 (ISSN 1631-0713) (Articolo su rivista)

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)

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)

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)

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)

Seaside Tourism Monoculture versus Sustainability

CONTI G.; PERELLI C.

(2004) in PLANUM, vol. XI, pp. 1-16 (ISSN 1723-0993) (Articolo su rivista)

First Workshop on Object Oriented Developments (WOOD 2003)

(a cura di) BONO V; BUGLIESI M.; DROSSOPOULOU S

(2003), Elsevier, vol. 82(2) (Curatela)

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

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)

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)

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)

Lambda calculus: models and theories

SALIBRA A.

(2003) in F. Spoto, G. Scollo, A. Nijhol, Proceeding of the third AMAST workshop on algebraic methods in language processing, TWLT Proceedings Series, University of Twente, vol. 21, pp. 39-54, Convegno: Third AMAST Workshop on Algebraic Methods in Language Processing, Verona (Articolo in Atti di convegno)

Channel Abstractions for Network Security

BUGLIESI M.; FOCARDI R

(2010) in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 20(1), pp. 3-44 (ISSN 0960-1295) (Articolo su rivista)
Link DOI

La perception de Venise et de sa lagune, entre usages et usagers

M. SENN; M. CAMUFFO; ZANETTO G.

(2007) in L. VIALA; S. VILLEPONTOUX; J.P. VOLLE, Imaginaire, territoires, sociétés. Contributions à un déploiement transdisciplinaire de la Géographie sociale, MONTPELLIER, CNRS, pp. 409-422 (ISBN 9782842697662) (Articolo su libro)

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)

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