The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe Longo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:182-192 [Conf]
  2. Kim B. Bruce, Giuseppe Longo
    A Modest Model of Records, Inheritance and Bounded Quantification [Citation Graph (1, 0)][DBLP]
    LICS, 1988, pp:38-50 [Conf]
  3. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. [Citation Graph (1, 0)][DBLP]
    TLCA, 1993, pp:107-123 [Conf]
  4. Kim B. Bruce, Giuseppe Longo
    A Modest Model of Records, Inheritance and Bounded Quantification [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1990, v:87, n:1/2, pp:196-239 [Journal]
  5. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:115-135 [Journal]
  6. Luca Cardelli, Giuseppe Longo
    A Semantic Basis for Quest. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:4, pp:417-458 [Journal]
  7. Andrea Asperti, Giuseppe Longo
    Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:266-287 [Conf]
  8. Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
    Applicative Information Systems. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:35-64 [Conf]
  9. Giuseppe Longo
    Continuous Structures and Analytic Methods in Computer Science. [Citation Graph (0, 0)][DBLP]
    CAAP, 1984, pp:1-22 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    CAMP, 2005, pp:141-146 [Conf]
  11. Giuseppe Longo
    Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:1-4 [Conf]
  12. Giuseppe Longo, Marisa Venturini Zilli
    A Theory of Computation with an Identity Discriminator. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:147-167 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ICDM, 2004, pp:202-208 [Conf]
  14. Giuseppe Longo
    Information and the Mind-Body Problem. [Citation Graph (0, 0)][DBLP]
    IPMU, 1990, pp:298-306 [Conf]
  15. Giuseppe Longo, Andrea Sgarro
    A Pragmatic Way Out of the Maze of Uncertainty Measures. [Citation Graph (0, 0)][DBLP]
    IPMU, 1990, pp:370-376 [Conf]
  16. Luca Cardelli, Giuseppe Longo
    A Semantic Basis for Quest. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:30-43 [Conf]
  17. Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo
    The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:122-130 [Conf]
  18. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:6-14 [Conf]
  19. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:292-299 [Conf]
  20. Giuseppe Longo
    Limits, Higher Type Computability and Type-Free Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:96-114 [Conf]
  21. Giuseppe Longo, Eugenio Moggi
    Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:397-406 [Conf]
  22. Giuseppe Longo, Eugenio Moggi
    Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:235-255 [Conf]
  23. Giuseppe Longo
    Computer modelling and natural phenomena. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:1-5 [Conf]
  24. Giuseppe Longo, Simone Martini
    Computability in Higher Types and the Universal Domain P_omega. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:186-197 [Conf]
  25. Kim B. Bruce, Giuseppe Longo
    Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:263-272 [Conf]
  26. Giuseppe Longo
    Types as Parameters. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:658-670 [Conf]
  27. Giuseppe Longo
    On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2000, pp:160-180 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    WILF, 2005, pp:246-251 [Conf]
  29. Roberto Tagliaferri, Giuseppe Longo, Stefano Andreon, Salvatore Capozziella, Ciro Donalek, Gerardo Giordano
    Neural Networks for Photometric Redshifts Evaluation. [Citation Graph (0, 0)][DBLP]
    WIRN, 2003, pp:226-234 [Conf]
  30. Angelo Ciaramella, Giuseppe Longo, Antonino Staiano, Roberto Tagliaferri
    NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information. [Citation Graph (0, 0)][DBLP]
    WIRN/NAIS, 2005, pp:49-56 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:5, pp:589-596 [Journal]
  32. Giuseppe Longo, P. Scott
    New programs and open problems in the foundation of mathematics. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2003, v:9, n:2, pp:129-130 [Journal]
  33. Giuseppe Longo
    Parametric and Type-Dependent Polymorphism. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:1/2, pp:69-92 [Journal]
  34. Paola Giannini, Giuseppe Longo
    Effectively Given Domains and Lambda-Calculus Models [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:62, n:1, pp:36-63 [Journal]
  35. Giuseppe Longo
    The new role of mathematical logic: A tool for computer scienc. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1991, v:57, n:, pp:23-29 [Journal]
  36. Giuseppe Longo, Eugenio Moggi
    The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1319-1332 [Journal]
  37. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    Coherence and transitivity of subtyping as entailment. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:4, pp:493-526 [Journal]
  38. Giuseppe Longo
    Prototype Proofs in Type Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:2, pp:257-266 [Journal]
  39. Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
    Provable Isomorphisms of Types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:231-247 [Journal]
  40. Luca Aceto, Giuseppe Longo, Björn Victor
    Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:4, pp:481-484 [Journal]
  41. Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin
    Preface. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:321- [Journal]
  42. Giuseppe Longo, Eugenio Moggi
    Constructive Natural Deduction and its `Omega-Set' Interpretation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:215-254 [Journal]
  43. Roberto Tagliaferri, Giuseppe Longo, Bruno D'Argenio, Alberto Incoronato
    Introduction: Neural networks for analysis of complex scientific data: astronomy and geosciences. [Citation Graph (0, 0)][DBLP]
    Neural Networks, 2003, v:16, n:3-4, pp:295- [Journal]
  44. 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. [Citation Graph (0, 0)][DBLP]
    Neural Networks, 2003, v:16, n:3-4, pp:297-319 [Journal]
  45. Kim B. Bruce, Giuseppe Longo
    On Combinatory Algebras and their Expansions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:31, n:, pp:31-40 [Journal]
  46. Giuseppe Longo, Simone Martini
    Computability in Higher Types, P omega and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:197-217 [Journal]
  47. Giuseppe Longo, Eugenio Moggi
    A Category-Theoretic Characterization of Functional Completeness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:2, pp:193-211 [Journal]
  48. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:323-349 [Journal]
  49. Lee D. Davisson, Giuseppe Longo, Andrea Sgarro
    The error exponent for the noiseless encoding of finite ergodic Markov sources. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1981, v:27, n:4, pp:431-437 [Journal]
  50. Giuseppe Longo, Guglielmo Galasso
    An application of informational divergence to Huffman codes. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1982, v:28, n:1, pp:36-42 [Journal]
  51. Francis Bailly, Giuseppe Longo
    Randomness and determinism in the interplay between the continuum and the discrete. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2007, v:17, n:2, pp:289-305 [Journal]

  52. Incomputability in Physics. [Citation Graph (, )][DBLP]


  53. Symmetries in Foundations. [Citation Graph (, )][DBLP]


  54. Randomness and Determination, from Physics and Computing towards Biology. [Citation Graph (, )][DBLP]


  55. Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms. [Citation Graph (, )][DBLP]


  56. The VO-Neural project: recent developments and some applications [Citation Graph (, )][DBLP]


  57. GRID-Launcher v.1.0 [Citation Graph (, )][DBLP]


  58. Astrophysics in S.Co.P.E [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002