dblp.uni-trier.dewww.uni-trier.de

Giuseppe Longo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
59EEGiuseppe Longo: Randomness and Determination, from Physics and Computing towards Biology. SOFSEM 2009: 49-61
58EEGiuseppe Longo: From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality. Inf. Comput. 207(5): 545-558 (2009)
2008
57EEMaurizio Palesi, Giuseppe Longo, Salvatore Signorino, Rickard Holsmark, Shashi Kumar, Vincenzo Catania: Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms. NOCS 2008: 97-106
56EEM. Brescia, S. Cavuoti, G. D'Angelo, R. D'Abrusco, N. Deniskina, M. Garofalo, O. Laurino, Giuseppe Longo, A. Nocella, B. Skordovski: The VO-Neural project: recent developments and some applications CoRR abs/0806.1006: (2008)
55EEN. Deniskina, M. Brescia, S. Cavuoti, G. D'Angelo, O. Laurino, Giuseppe Longo: GRID-Launcher v.1.0 CoRR abs/0806.1144: (2008)
54EEM. Brescia, S. Cavuoti, G. D'Angelo, R. D'Abrusco, Ciro Donalek, N. Deniskina, O. Laurino, Giuseppe Longo: Astrophysics in S.Co.P.E CoRR abs/0807.0967: (2008)
53EEMathieu Hoyrup, Arda Kolçak, Giuseppe Longo: Computability and the morphological complexity of some dynamics on continuous domains. Theor. Comput. Sci. 398(1-3): 170-182 (2008)
2007
52 Giuseppe Longo: Symmetries in Foundations. ICTCS 2007: 11
51EEFrancis Bailly, Giuseppe Longo: Randomness and determinism in the interplay between the continuum and the discrete. Mathematical Structures in Computer Science 17(2): 289-305 (2007)
2006
50EERoberto Amato, Angelo Ciaramella, N. Deniskina, Carmine Del Mondo, Diego di Bernardo, Ciro Donalek, Giuseppe Longo, Giuseppe Mangano, Gennaro Miele, Giancarlo Raiconi, Antonino Staiano, Roberto Tagliaferri: A multi-step approach to time series analysis and gene expression clustering. Bioinformatics 22(5): 589-596 (2006)
2005
49EEAntonino Staiano, Angelo Ciaramella, Lara De Vinco, Giuseppe Longo, Giancarlo Raiconi, Roberto Tagliaferri, Roberto Amato, Carmine Del Mondo, Giuseppe Mangano, Gennaro Miele: Visualization, Clustering and Classification of Multidimensional Astronomical Data. CAMP 2005: 141-146
48EERoberto Amato, Angelo Ciaramella, N. Deniskina, Carmine Del Mondo, Diego di Bernardo, Ciro Donalek, Giuseppe Longo, Giuseppe Mangano, Gennaro Miele, Giancarlo Raiconi, Antonino Staiano, Roberto Tagliaferri: NEC for Gene Expression Analysis. WILF 2005: 246-251
47EEAngelo Ciaramella, Giuseppe Longo, Antonino Staiano, Roberto Tagliaferri: NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information. WIRN/NAIS 2005: 49-56
2004
46EEAntonino Staiano, Lara De Vinco, Angelo Ciaramella, Giancarlo Raiconi, Roberto Tagliaferri, Roberto Amato, Giuseppe Longo, Ciro Donalek, Gennaro Miele, Diego di Bernardo: Probabilistic Principal Surfaces for Yeast Gene Microarray Data Mining. ICDM 2004: 202-208
2003
45EEGiuseppe Longo: Computer modelling and natural phenomena. ESEC / SIGSOFT FSE 2003: 1-5
44EERoberto Tagliaferri, Giuseppe Longo, Stefano Andreon, Salvatore Capozziella, Ciro Donalek, Gerardo Giordano: Neural Networks for Photometric Redshifts Evaluation. WIRN 2003: 226-234
43EEGiuseppe Longo, P. Scott: New programs and open problems in the foundation of mathematics. Bulletin of Symbolic Logic 9(2): 129-130 (2003)
42 Luca Aceto, Giuseppe Longo, Björn Victor: Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Mathematical Structures in Computer Science 13(4): 481-484 (2003)
41EERoberto Tagliaferri, Giuseppe Longo, Bruno D'Argenio, Alberto Incoronato: Introduction: Neural networks for analysis of complex scientific data: astronomy and geosciences. Neural Networks 16(3-4): 295 (2003)
40EERoberto Tagliaferri, Giuseppe Longo, Leopoldo Milano, Fausto Acernese, Fabrizio Barone, Angelo Ciaramella, Rosario De Rosa, Ciro Donalek, Antonio Eleuteri, Giancarlo Raiconi, Salvatore Sessa, Antonino Staiano, Alfredo Volpicelli: Neural neZtworks in astronomy. Neural Networks 16(3-4): 297-319 (2003)
2000
39EEGiuseppe Longo: On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. TYPES 2000: 160-180
38 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000)
37EEGiuseppe Longo: Prototype Proofs in Type Theory. Math. Log. Q. 46(2): 257-266 (2000)
1999
36 Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)
1995
35 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: A Logic of Subtyping (Extended Abstract) LICS 1995: 292-299
34 Giuseppe Longo: Parametric and Type-Dependent Polymorphism. Fundam. Inform. 22(1/2): 69-92 (1995)
33 Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping Inf. Comput. 117(1): 115-135 (1995)
1993
32 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) LICS 1993: 6-14
31EEGiuseppe Longo: Types as Parameters. TAPSOFT 1993: 658-670
30 Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123
29 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 121(1&2): 323-349 (1993)
1992
28EEGiuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192
27 Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo: Provable Isomorphisms of Types. Mathematical Structures in Computer Science 2(2): 231-247 (1992)
1991
26EEGiuseppe Longo: The new role of mathematical logic: A tool for computer scienc. Inf. Sci. 57-58: 23-29 (1991)
25 Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991)
24 Giuseppe Longo, Eugenio Moggi: Constructive Natural Deduction and its `Omega-Set' Interpretation. Mathematical Structures in Computer Science 1(2): 215-254 (1991)
1990
23 Giuseppe Longo: Information and the Mind-Body Problem. IPMU 1990: 298-306
22 Giuseppe Longo, Andrea Sgarro: A Pragmatic Way Out of the Maze of Uncertainty Measures. IPMU 1990: 370-376
21EELuca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43
20 Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification Inf. Comput. 87(1/2): 196-239 (1990)
19 Giuseppe Longo, Eugenio Moggi: A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. 70(2): 193-211 (1990)
1989
18 Giuseppe Longo: Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective. Category Theory and Computer Science 1989: 1-4
1988
17 Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification LICS 1988: 38-50
1986
16EEAndrea Asperti, Giuseppe Longo: Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. CAAP 1986: 266-287
15 Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo: The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations LICS 1986: 122-130
14 Giuseppe Longo, Simone Martini: Computability in Higher Types, P omega and the Completeness of Type Assignment. Theor. Comput. Sci. 46(3): 197-217 (1986)
1985
13 Kim B. Bruce, Giuseppe Longo: Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) STOC 1985: 263-272
1984
12 Giuseppe Longo: Continuous Structures and Analytic Methods in Computer Science. CAAP 1984: 1-22
11EEGiuseppe Longo, Eugenio Moggi: Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS 1984: 397-406
10EEGiuseppe Longo: Limits, Higher Type Computability and Type-Free Languages. MFCS 1984: 96-114
9EEGiuseppe Longo, Simone Martini: Computability in Higher Types and the Universal Domain P_omega. STACS 1984: 186-197
8 Giuseppe Longo, Eugenio Moggi: Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types 1984: 235-255
7 Paola Giannini, Giuseppe Longo: Effectively Given Domains and Lambda-Calculus Models Information and Control 62(1): 36-63 (1984)
6 Giuseppe Longo, Eugenio Moggi: The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. 49(4): 1319-1332 (1984)
5 Kim B. Bruce, Giuseppe Longo: On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984)
1983
4EEMario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64
1982
3 Giuseppe Longo, Guglielmo Galasso: An application of informational divergence to Huffman codes. IEEE Transactions on Information Theory 28(1): 36-42 (1982)
1981
2 Lee D. Davisson, Giuseppe Longo, Andrea Sgarro: The error exponent for the noiseless encoding of finite ergodic Markov sources. IEEE Transactions on Information Theory 27(4): 431-437 (1981)
1976
1 Giuseppe Longo, Marisa Venturini Zilli: A Theory of Computation with an Identity Discriminator. ICALP 1976: 147-167

Coauthor Index

1Fausto Acernese [40]
2Luca Aceto [42]
3Roberto M. Amadio [15]
4Roberto Amato [46] [48] [49] [50]
5Stefano Andreon [44]
6Andrea Asperti [16]
7Francis Bailly [51]
8Fabrizio Barone [40]
9Diego di Bernardo [46] [48] [50]
10M. Brescia [54] [55] [56]
11Kim B. Bruce [5] [13] [15] [17] [20] [27]
12Salvatore Capozziella [44]
13Luca Cardelli [21] [25]
14Giuseppe Castagna [28] [30] [33]
15Vincenzo Catania [57]
16S. Cavuoti [54] [55] [56]
17Angelo Ciaramella [40] [46] [47] [48] [49] [50]
18Mario Coppo [4]
19Roberto Di Cosmo [27]
20R. D'Abrusco [54] [56]
21G. D'Angelo [54] [55] [56]
22Bruno D'Argenio [41]
23Lee D. Davisson [2]
24N. Deniskina [48] [50] [54] [55] [56]
25Mariangiola Dezani-Ciancaglini [4] [36]
26Ciro Donalek [40] [44] [46] [48] [50] [54]
27Antonio Eleuteri [40]
28Guglielmo Galasso [3]
29M. Garofalo [56]
30Giorgio Ghelli [28] [30] [33]
31Paola Giannini [7]
32Gerardo Giordano [44]
33Rickard Holsmark [57]
34Mathieu Hoyrup [53]
35Alberto Incoronato [41]
36Arda Kolçak [53]
37Shashi Kumar [57]
38O. Laurino [54] [55] [56]
39Giuseppe Mangano [48] [49] [50]
40Simone Martini [9] [14]
41Gennaro Miele [46] [48] [49] [50]
42Leopoldo Milano [40]
43Kathleen Milsted [29] [32] [35] [38]
44Eugenio Moggi [6] [8] [11] [19] [24]
45Carmine Del Mondo [48] [49] [50]
46A. Nocella [56]
47Maurizio Palesi [57]
48Giancarlo Raiconi [40] [46] [48] [49] [50]
49Rosario De Rosa [40]
50P. Scott [43]
51Jonathan P. Seldin [36]
52Salvatore Sessa [40]
53Andrea Sgarro [2] [22]
54Salvatore Signorino [57]
55B. Skordovski [56]
56Sergei Soloviev [29] [32] [35] [38]
57Antonino Staiano [40] [46] [47] [48] [49] [50]
58Roberto Tagliaferri [40] [41] [44] [46] [47] [48] [49] [50]
59Björn Victor [42]
60Lara De Vinco [46] [49]
61Alfredo Volpicelli [40]
62Marisa Venturini Zilli [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)