Giuseppe Longo

Matthew J. Graham, S. George Djorgovski, Ashish Mahabal, Ciro Donalek, Andrew J. Drake, Giuseppe Longo: Data challenges of time domain astronomy. Distributed and Parallel Databases 30(5-6): 371-384 (2012)

Giuseppe Longo: Incomputability in Physics and Biology. Mathematical Structures in Computer Science 22(5): 880-900 (2012)

Giuseppe Longo, Maël Montévil: Randomness Increases Order in Biological Evolution. Computation, Physics and Beyond 2012: 289-308

Jean Lassègue, Giuseppe Longo: What is Turing's Comparison between Mechanism and Writing Worth? CiE 2012: 450-461

Giuseppe Longo, Maël Montévil, Stuart Kauffman: No entailing laws, but enablement in the evolution of the biosphere. GECCO (Companion) 2012: 1379-1392

Stefano Cavuoti, Mauro Garofalo, Massimo Brescia, Antonio Pescapè, Giuseppe Longo, Giorgio Ventre: Genetic Algorithm Modeling with GPU Parallel Computing Technology. CoRR abs/1211.5481 (2012)

Giuseppe Longo, Andrea Sgarro: Unruly codes with unruly distances raise (combinatorial) problems. Electronic Notes in Discrete Mathematics 38: 575-578 (2011)

Giuseppe Longo, Maël Montévil: Protention and retention in biological systems. Theory in Biosciences 130(2): 107-117 (2011)

Marco Castellani, Massimo Brescia, Ettore Mancini, Luca Pellecchia, Giuseppe Longo: VOGCLUSTERS: an example of DAME web application. CoRR abs/1109.4104 (2011)

Massimo Brescia, Anna Corazza, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Ciro Donalek, S. George Djorgovski, N. Deniskina, Michelangelo Fiore, Mauro Garofalo, Omar Laurino, Giuseppe Longo, Ashish Mahabal, Francesco Manna, Alfonso Nocella, B. Skordovski: The DAME/VO-Neural Infrastructure: an Integrated Data Mining System Support for the Science Community. CoRR abs/1112.0742 (2011)

Massimo Brescia, Stefano Cavuoti, Raffaele D'Abrusco, Omar Laurino, Giuseppe Longo: DAME: A Distributed Data Mining & Exploration Framework within the Virtual Observatory. CoRR abs/1112.0750 (2011)

Giuseppe Calcagno, Antonino Staiano, Giuliana Fortunato, Vincenzo Brescia-Morra, Elena Salvatore, Rosario Liguori, Silvana Capone, Alessandro Filla, Giuseppe Longo, Lucia Sacchetti: A multilayer perceptron neural network-based approach for the identification of responsiveness to interferon therapy in multiple sclerosis patients. Inf. Sci. 180(21): 4153-4163 (2010)

Giuseppe Longo: Incomputability in Physics. CiE 2010: 276-285

Massimo Brescia, Giuseppe Longo, F. Pasian: Mining Knowledge in Astrophysical Massive Data Sets. CoRR abs/1010.3796 (2010)

Massimo Brescia, Giuseppe Longo, S. George Djorgovski, Stefano Cavuoti, Raffaele D'Abrusco, Ciro Donalek, Alessandro Di Guido, Michelangelo Fiore, Mauro Garofalo, Omar Laurino, Ashish Mahabal, Francesco Manna, Alfonso Nocella, Giovanni D'Angelo, Maurizio Paolillo: DAME: A Web Oriented Infrastructure for Scientific Data Mining & Exploration. CoRR abs/1010.4843 (2010)

Giuseppe Longo: From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality. Inf. Comput. 207(5): 545-558 (2009)

Giuseppe Longo: Randomness and Determination, from Physics and Computing towards Biology. SOFSEM 2009: 49-61

Giuseppe Longo, Asya Willerval: Bibliométrie et les tenants de l'orthodoxie (version française, version russe). BIAA 81: 7-18 (2008)

Mathieu 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)

Maurizio 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

Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, N. Deniskina, Mauro Garofalo, Omar Laurino, Giuseppe Longo, Alfonso Nocella, B. Skordovski: The VO-Neural project: recent developments and some applications. CoRR abs/0806.1006 (2008)

N. Deniskina, Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Omar Laurino, Giuseppe Longo: GRID-Launcher v.1.0. CoRR abs/0806.1144 (2008)

Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Ciro Donalek, N. Deniskina, Omar Laurino, Giuseppe Longo: Astrophysics in S.Co.P.E. CoRR abs/0807.0967 (2008)

Francis 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)

Giuseppe Longo: Symmetries in Foundations. ICTCS 2007: 11

Roberto 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)

Roberto Marmo, Sabrina Amodio, Roberto Tagliaferri, Vittoria Ferreri, Giuseppe Longo: Textural identification of carbonate rocks by image processing and neural network: Methodology proposal and examples. Computers & Geosciences 31(5): 649-659 (2005)

Antonino 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

Roberto 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

Angelo Ciaramella, Giuseppe Longo, Antonino Staiano, Roberto Tagliaferri: NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information. WIRN/NAIS 2005: 49-56

Antonino 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

Antonino Staiano, Roberto Tagliaferri, Lara De Vinco, Angelo Ciaramella, Giancarlo Raiconi, Giuseppe Longo, Gennaro Miele, Roberto Amato, Carmine Del Mondo, Ciro Donalek, Giuseppe Mangano, Diego di Bernardo: Mining Yeast Gene Microarray Data with Latent Variable Models. WIRN 2004: 81-89

Giuseppe Longo, P. Scott: New programs and open problems in the foundation of mathematics. Bulletin of Symbolic Logic 9(2): 129-130 (2003)

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)

Roberto 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)

Roberto 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)

Giuseppe Longo: Computer modelling and natural phenomena. ESEC / SIGSOFT FSE 2003: 1-5

Roberto Tagliaferri, Giuseppe Longo, Stefano Andreon, Salvatore Capozziella, Ciro Donalek, Gerardo Giordano: Neural Networks for Photometric Redshifts Evaluation. WIRN 2003: 226-234

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000)

Giuseppe Longo: Prototype Proofs in Type Theory. Math. Log. Q. 46(2): 257-266 (2000)

Giuseppe Longo: On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. TYPES 2000: 160-180

Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)

Giuseppe Longo: Parametric and Type-Dependent Polymorphism. Fundam. Inform. 22(1/2): 69-92 (1995)

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. Inf. Comput. 117(1): 115-135 (1995)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: A Logic of Subtyping (Extended Abstract). LICS 1995: 292-299

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)

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

Giuseppe Longo: Types as Parameters. TAPSOFT 1993: 658-670

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123

Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo: Provable Isomorphisms of Types. Mathematical Structures in Computer Science 2(2): 231-247 (1992)

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192

Andrea Asperti, Giuseppe Longo: Categories, types and structures - an introduction to category theory for the working computer scientist. Foundations of computing, MIT Press 1991, isbn 978-0-262-01125-9, pp. I-XI, 1-306

Giuseppe Longo: The new role of mathematical logic: A tool for computer scienc. Inf. Sci. 57-58: 23-29 (1991)

Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991)

Giuseppe Longo, Eugenio Moggi: Constructive Natural Deduction and its `Omega-Set' Interpretation. Mathematical Structures in Computer Science 1(2): 215-254 (1991)

Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239 (1990)

Giuseppe Longo, Eugenio Moggi: A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. 70(2): 193-211 (1990)

Giuseppe Longo: Information and the Mind-Body Problem. IPMU 1990: 298-306

Giuseppe Longo, Andrea Sgarro: A Pragmatic Way Out of the Maze of Uncertainty Measures. IPMU 1990: 370-376

Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43

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

Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50

Giuseppe Longo, Simone Martini: Computability in Higher Types, P omega and the Completeness of Type Assignment. Theor. Comput. Sci. 46(3): 197-217 (1986)

Andrea Asperti, Giuseppe Longo: Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. CAAP 1986: 266-287

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

Kim B. Bruce, Giuseppe Longo: Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version). STOC 1985: 263-272

Paola Giannini, Giuseppe Longo: Effectively Given Domains and Lambda-Calculus Models. Information and Control 62(1): 36-63 (1984)

Giuseppe Longo, Eugenio Moggi: The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. 49(4): 1319-1332 (1984)

Kim B. Bruce, Giuseppe Longo: On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984)

Giuseppe Longo: Continuous Structures and Analytic Methods in Computer Science. CAAP 1984: 1-22

Giuseppe Longo: Limits, Higher Type Computability and Type-Free Languages. MFCS 1984: 96-114

Giuseppe Longo, Eugenio Moggi: Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS 1984: 397-406

Giuseppe Longo, Eugenio Moggi: Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types 1984: 235-255

Giuseppe Longo, Simone Martini: Computability in Higher Types and the Universal Domain P_omega. STACS 1984: 186-197

Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64

Giuseppe Longo, Guglielmo Galasso: An application of informational divergence to Huffman codes. IEEE Transactions on Information Theory 28(1): 36-42 (1982)

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)

Giuseppe Longo, Marisa Venturini Zilli: A Theory of Computation with an Identity Discriminator. ICALP 1976: 147-167