default search action
Giuseppe Longo
Person information
- affiliation: Centre Cavaillès (République des Savoirs), CNRS, Collège de France & École Normale Supérieure, Paris, France
- affiliation: Tufts University, Boston, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c77]Adriano Ettari, Antonio Nappa
, Marco Quartulli, Izar Azpiroz, Giuseppe Longo:
Adaptation of Diffusion Models for Remote Sensing Imagery. IGARSS 2024: 7240-7243 - [c76]Giuseppe Longo, Rosalba Liguori, Luigi Di Benedetto
Low-Cost Stretchable Sensor: Range of Motion Evaluation with Open-Source Software Validation. PRIME 2024: 1-4 - [i17]Lars Doorenbos, Eva Sextl, Kevin Heng, Stefano Cavuoti, Massimo Brescia, Olena Torbaniuk, Giuseppe Longo, Raphael Sznitman, Pablo Márquez-Neila:
Galaxy spectroscopy without spectra: Galaxy properties from photometric images with conditional diffusion models. CoRR abs/2406.18175 (2024) - [i16]Andrea Dosi, Massimo Brescia, Stefano Cavuoti, Mariarca D'Aniello, Michele Delli Veneri, Carlo Donadio, Adriano Ettari, Giuseppe Longo, Alvi Rownok, Luca Sannino, Maria Zampella:
AMBER - Advanced SegFormer for Multi-Band Image Segmentation: an application to Hyperspectral Imaging. CoRR abs/2409.09386 (2024) - 2023
- [c75]Marta Rosaria Marino, Ciro Costaiola, Paola Magri, Giuseppe Longo, Maria Triassi, Giovanni Improta:
COVID-19 in Eye Surgery: The Case of a University Hospital. ICIMTH 2023: 479-482 - [c74]Emma Montella
Implementation of a regression model to study the hospital stay of patients undergoing Laparoscopic Appendectomy: a multicenter study. ICMHI 2023: 176-181 - 2022
- [j50]Michele Delli Veneri
HyCASTLE: A Hybrid ClAssification System based on Typicality, Labels and Entropy. Knowl. Based Syst. 244: 108566 (2022) - [c73]Emma Montella, Marta Rosaria Marino, Miriam Rita Castorina, Sara Ranucci
The Effect of CoViD-19 Pandemic on the Hospitalization of a Department of Oncology of an Italian Hospital. BECB 2022: 332-339 - [c72]Emma Montella, Marta Rosaria Marino, Salvatore Bellopede, Sabrina Iodice, Massimo Majolo, Giuseppe Longo, Michele Sparano, Anna Borrelli, Maria Triassi:
A Bicentric Study to Investigate the Impact of COVID-19 on Urological Patients. BECB 2022: 348-356 - [c71]Arianna Scala
Machine Learning Algorithms to Predict LOS in Patients Undergoing Heart Bypass Surgery: A Bicentric Study. BECB 2022: 375-383 - [c70]Ida Santalucia, Marta Rosaria Marino, Massimo Majolo, Giuseppe Longo, Andrea Lombardi, Anna Borrelli, Maria Triassi:
Statistical Analysis and Logistic Regression to Assess How COVID-19 Has Changed Department of General Medicine Patients' Management: A Bicentric Study. BECB 2022: 401-409 - [c69]Emma Montella, Marta Rosaria Marino, Alessandro Frangiosa, Giuseppe Mazia, Massimo Majolo, Eliana Raiola, Giuseppe Russo, Giuseppe Longo, Giovanni Rossi, Anna Borrelli, Maria Triassi:
Multiple Regression Model to Analyze the Length of Stay for Patients Undergoing Laparoscopic Appendectomy: A Bicentric Study. BECB 2022: 410-419 - [c68]Emma Montella, Marta Rosaria Marino, Massimo Majolo, Eliana Raiola, Giuseppe Russo, Giuseppe Longo, Giovanni Rossi, Anna Borrelli, Maria Triassi:
Modeling LOS After Percutaneous Valvuloplasty: A Bicentric Study. BECB 2022: 428-435 - [c67]Ida Santalucia, Marta Rosaria Marino, Eliana Raiola, Massimo Majolo, Giuseppe Russo, Giuseppe Longo, Enrico Festa, Giuseppe Ferrucci, Anna Borrelli, Maria Triassi:
Effects of Covid-19 Protocols on Treatment of Patients with Head-Neck Diseases. BECB 2022: 436-444 - [c66]Ida Santalucia, Marta Rosaria Marino, Massimo Majolo, Eliana Raiola, Giuseppe Russo, Giuseppe Longo, Morena Anna Basso, Giovanni Balato
Machine Learning Algorithms to Study Features Affecting the Length of Stay in Patients with Lower Limb Fractures: A Bicentric Study. BECB 2022: 463-472 - [c65]Emma Montella, Marta Rosaria Marino, Miriam Rita Castorina, Sara Ranucci
The Effect of CoViD-19 Pandemic on the Hospitalization of Two Department of Emergency Surgery in Two Italian Hospitals. BECB 2022: 473-481 - [c64]Emma Montella, Marta Rosaria Marino, Cristiana Giglio, Massimo Majolo, Giuseppe Longo, Maria Triassi, Arianna Scala
Use of Classification Algorithms to Investigate Inpatient Stay for Retinal Diseases. BECB 2022: 496-503 - [c63]Teresa Angela Trunfio, Marta Rosaria Marino, Cristiana Giglio, Massimo Majolo, Giuseppe Longo, Morena Anna Basso, Giovanni Rossi, Anna Borrelli, Maria Triassi:
Impact of COVID-19 in a Surgery Department: Comparison Between Two Italian Hospitals. BECB 2022: 537-544 - [c62]Arianna Scala
How has COVID-19 Changed the Activities of Plastic Surgery? A Bicentric Study. BECB 2022: 545-551 - [c61]Antonio Saverio Valente, Marta Rosaria Marino, Massimo Majolo, Giuseppe Longo, Giovanni Balato
Multiple Linear Regression to Analyze the Effect of Emergency Diagnostic Procedures on the Hospitalization. BECB 2022: 552-559 - [c60]Emma Montella, Marta Rosaria Marino, Cristiana Giglio, Giuseppe Longo, Eliana Raiola, Maria Triassi, Anna Borrelli, Antonio Saverio Valente:
Regression Model to Predict LOS in General Medicine Department: A Bicentric Study. BECB 2022: 570-576 - [c59]Teresa Angela Trunfio, Marta Rosaria Marino, Cristiana Giglio, Massimo Majolo, Eliana Raiola, Enrico Festa, Giuseppe Longo, Maria Triassi, Arianna Scala
Study of Variables Influencing LOS with Machine Learning in Patients with Kidney Disease. BECB 2022: 577-583 - [c58]Alfonso Maria Ponsiglione, Angelo Rosa
Sustaining Continuous Improvement of a Higher Health Education Service Through Analytical Methodologies for Determining Customer Satisfaction. ELEC 2022: 246-257 - [c57]Marta Rosaria Marino
A machine learning approach to predict the hospital length of stay after kidney surgery. ICBBS 2022: 54-58 - [c56]Marta Rosaria Marino
Analysis of the impact of COVID-19 on the organization of liver transplantation. ICBBS 2022: 134-137 - [c55]Emma Montella, Marta Rosaria Marino, Massimo Majolo
Regression and classification methods for predicting the length of hospital stay after cesarean section: a bicentric study. ICMHI 2022: 135-140 - [c54]Ida Santalucia, Marta Rosaria Marino, Eliana Raiola, Massimo Majolo
A multiple regression model for modelling the hospital patients LOS' of laparoscopic cholecystectomy: a bicentric study. ICMHI 2022: 205-209 - [c53]Emma Montella, Marta Rosaria Marino, Massimo Majolo
Lean Six Sigma approach to the study of the LOS of patients who undergo laparoscopic cholecystectomy: a bicentric study. ICMHI 2022: 247-252 - [c52]Michele Delli Veneri
3D Detection of ALMA Sources Through Deep Learning. PKDD/ECML Workshops (1) 2022: 269-280 - [i15]Lars Doorenbos, Olena Torbaniuk, Stefano Cavuoti
ULISSE: A Tool for One-shot Sky Exploration and its Application to Active Galactic Nuclei Detection. CoRR abs/2208.10984 (2022) - [i14]Michele Delli Veneri, Lukasz Tychoniec, Fabrizia Guglielmetti, Giuseppe Longo, Eric Villard:
3D Detection and Characterisation of ALMA Sources through Deep Learning. CoRR abs/2211.11462 (2022) - 2021
- [j49]Enka Blanchard
From axiomatic systems to the Dogmatic gene and beyond. Biosyst. 204: 104396 (2021) - [c51]Alfonso Maria Ponsiglione
Analysis of voluntary departures from the Emergency Department of the hospital AORN "A. Cardarelli". BECB 2021: 27:1-27:4 - [c50]Massimo Majolo
Studying length of stay in the Emergency Department of A.O.R.N. "Antonio Cardarelli" of Naples. ICBBS 2021: 144-147
2010 – 2019
- 2018
- [j48]Salvatore Tudisco, Francesco La Via, Clementina Agodi, Carmen Altana, Giacomo Borghi, Maurizio Boscardin, Giancarlo Bussolino, Lucia Calcagno, Massimo Camarda, Francesco Cappuzzello, Diana Carbone, Salvatore Cascino, Giovanni Casini, Manuela Cavallaro, Caterina Ciampi, Giuseppe Cirrone, Giacomo Cuttone, Alberto Fazzi, Dario Giove, Giuseppe Gorini, Luca Labate, Gaetano Lanzalone, Grazia Litrico, Giuseppe Longo, Domenico Lo Presti, Marco Mauceri, Roberto Modica, Maurizio Moschetti, Annamaria Muoio, Franco Musumeci, Gabriele Pasquali, Giada Petringa, Nicolò Piluso, Giacomo Poggi, Stefania Privitera, Sebastiana Puglia, Valeria Puglisi, Marica Rebai, Sabina Ronchin, Antonello Santangelo, Andrea Stefanini, Antonio Trifirò
SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications. Sensors 18(7): 2289 (2018) - [c49]Michael Biehl, Kerstin Bunte, Giuseppe Longo, Peter Tiño:
Machine learning and data analysis in astroinformatics. ESANN 2018 - [c48]Michele Delli Veneri, Stefano Cavuoti, Massimo Brescia, Giuseppe Riccio, Giuseppe Longo:
stellar formation rates in galaxies using machine learning models. ESANN 2018 - 2017
- [j47]Giuseppe Longo:
The web and its sorceries. AI Soc. 32(1): 135-136 (2017) - [j46]Giuseppe Longo, Maël Montévil
From Logic to Biology via Physics: a survey. Log. Methods Comput. Sci. 13(4) (2017) - [c47]Giuseppe Longo, Massimo Brescia, Stefano Cavuoti:
The Astronomical Data Deluge: the Template Case of Photometric Redshifts. DAMDID/RCDL 2017: 27-29 - [c46]Massimo Brescia
Data Deluge in Astrophysics: Photometric Redshifts as a Template Use Case. DAMDID/RCDL (Selected Papers) 2017: 61-72 - [i13]Giuseppe Longo, Maël Montévil:
From Logic to Biology via Physics: a survey. CoRR abs/1709.06001 (2017) - 2016
- [j45]Cristian S. Calude
Classical, quantum and biological randomness as relative unpredictability. Nat. Comput. 15(2): 263-278 (2016) - [c45]Stefano Cavuoti
Cooperative photometric redshift estimation. Astroinformatics 2016: 166-172 - [c44]Valeria Amaro, Stefano Cavuoti
METAPHOR: Probability density estimation for machine learning based photometric redshifts. Astroinformatics 2016: 197-200 - [c43]Stefano Cavuoti
Probability density estimation of photometric redshifts based on machine learning. SSCI 2016: 1-6 - [e1]Massimo Brescia, S. George Djorgovski, Eric D. Feigelson, Giuseppe Longo, Stefano Cavuoti:
Astroinformatics 2016, Sorrento, Italy, October 19-25, 2016. Proceedings of the International Astronomical Union 12(S325), Cambridge University Press 2016 [contents] - 2015
- [j44]Sabina Sonia Tangaro
Feature Selection Based on Machine Learning in MRIs for Hippocampal Segmentation. Comput. Math. Methods Medicine 2015: 814104:1-814104:10 (2015) - [c42]Barbara Bravi, Giuseppe Longo:
The Unconventionality of Nature: Biology, from Noise to Functional Randomness. UCNC 2015: 3-34 - [i12]Sabina Sonia Tangaro, Nicola Amoroso, Massimo Brescia
Feature Selection based on Machine Learning in MRIs for Hippocampal Segmentation. CoRR abs/1501.03915 (2015) - 2014
- [j43]Giuseppe Longo, Mioara Mugur-Schächter:
Preface to the special issue on developments of the concepts of randomness, statistics and probability. Math. Struct. Comput. Sci. 24(3) (2014) - [j42]Giuseppe Longo, Mioara Mugur-Schächter:
Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability. Math. Struct. Comput. Sci. 24(3) (2014) - [c41]Ciro Donalek, S. George Djorgovski, Alex Cioc, Anwell Wang, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake, Scott Davidoff
Immersive and collaborative data visualization using virtual reality platforms. IEEE BigData 2014: 609-614 - [i11]Ciro Donalek, S. George Djorgovski, Scott Davidoff, Alex Cioc, Anwell Wang, Giuseppe Longo, Jeffrey S. Norris, Jerry Zhang, Elizabeth Lawler, Stacy Yeh, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake:
Immersive and Collaborative Data Visualization Using Virtual Reality Platforms. CoRR abs/1410.7670 (2014) - 2013
- [j41]Marcello Buiatti, Giuseppe Longo:
Randomness and multilevel interactions in biology. Theory Biosci. 132(3): 139-158 (2013) - [c40]Ciro Donalek, S. George Djorgovski, Ashish Mahabal, Matthew J. Graham, Andrew J. Drake, Arun Kumar A., N. Sajeeth Philip, Thomas J. Fuchs, Michael J. Turmon, Michael Ting-Chang Yang, Giuseppe Longo:
Feature selection strategies for classifying high dimensional astronomical data sets. IEEE BigData 2013: 35-41 - [i10]Ciro Donalek, Arun Kumar A., S. George Djorgovski, Ashish Mahabal, Matthew J. Graham, Thomas J. Fuchs, Michael J. Turmon, N. Sajeeth Philip, Michael Ting-Chang Yang, Giuseppe Longo:
Feature Selection Strategies for Classifying High Dimensional Astronomical Data Sets. CoRR abs/1310.1976 (2013) - 2012
- [j40]Matthew J. Graham, S. George Djorgovski, Ashish Mahabal, Ciro Donalek, Andrew J. Drake, Giuseppe Longo:
Data challenges of time domain astronomy. Distributed Parallel Databases 30(5-6): 371-384 (2012) - [j39]Giuseppe Longo:
Incomputability in Physics and Biology. Math. Struct. Comput. Sci. 22(5): 880-900 (2012) - [c39]Giuseppe Longo, Maël Montévil
Randomness Increases Order in Biological Evolution. Computation, Physics and Beyond 2012: 289-308 - [c38]Jean Lassègue, Giuseppe Longo:
What is Turing's Comparison between Mechanism and Writing Worth? CiE 2012: 450-461 - [c37]Giuseppe Longo, Maël Montévil
No entailing laws, but enablement in the evolution of the biosphere. GECCO (Companion) 2012: 1379-1392 - [c36]Stefano Cavuoti
Genetic Algorithm Modeling with GPU Parallel Computing Technology. WIRN 2012: 29-39 - [i9]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) - 2011
- [j38]Giuseppe Longo, Andrea Sgarro:
Unruly codes with unruly distances raise (combinatorial) problems. Electron. Notes Discret. Math. 38: 575-578 (2011) - [j37]Giuseppe Longo, Maël Montévil
Protention and retention in biological systems. Theory Biosci. 130(2): 107-117 (2011) - [i8]Marco Castellani, Massimo Brescia, Ettore Mancini, Luca Pellecchia, Giuseppe Longo:
VOGCLUSTERS: an example of DAME web application. CoRR abs/1109.4104 (2011) - [i7]Massimo Brescia
The DAME/VO-Neural Infrastructure: an Integrated Data Mining System Support for the Science Community. CoRR abs/1112.0742 (2011) - [i6]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) - 2010
- [j36]Giuseppe Calcagno, Antonino Staiano
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) - [c35]Giuseppe Longo:
Incomputability in Physics. CiE 2010: 276-285 - [i5]Massimo Brescia
Mining Knowledge in Astrophysical Massive Data Sets. CoRR abs/1010.3796 (2010) - [i4]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)
2000 – 2009
- 2009
- [j35]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) - [c34]Giuseppe Longo:
Randomness and Determination, from Physics and Computing towards Biology. SOFSEM 2009: 49-61 - 2008
- [j34]Giuseppe Longo, Asya Willerval:
Bibliométrie et les tenants de l'orthodoxie (version française, version russe). Bull. dInformatique Approfondie et Appl. 81: 7-18 (2008) - [j33]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) - [c33]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 - [i3]Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Natalia Deniskina
The VO-Neural project: recent developments and some applications. CoRR abs/0806.1006 (2008) - [i2]Natalia Deniskina
GRID-Launcher v.1.0. CoRR abs/0806.1144 (2008) - [i1]Massimo Brescia, Stefano Cavuoti, Giovanni D'Angelo, Raffaele D'Abrusco, Ciro Donalek, Natalia Deniskina
Astrophysics in S.Co.P.E. CoRR abs/0807.0967 (2008) - 2007
- [j32]Francis Bailly, Giuseppe Longo:
Randomness and determinism in the interplay between the continuum and the discrete. Math. Struct. Comput. Sci. 17(2): 289-305 (2007) - [c32]Giuseppe Longo:
Symmetries in Foundations. ICTCS 2007: 11 - 2006
- [j31]Roberto Amato
A multi-step approach to time series analysis and gene expression clustering. Bioinform. 22(5): 589-596 (2006) - 2005
- [j30]Roberto Marmo, Sabrina Amodio
Textural identification of carbonate rocks by image processing and neural network: Methodology proposal and examples. Comput. Geosci. 31(5): 649-659 (2005) - [c31]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 - [c30]Roberto Amato
NEC for Gene Expression Analysis. WILF 2005: 246-251 - [c29]Angelo Ciaramella
NEC: A Hierarchical Agglomerative Clustering Based on Fisher and Negentropy Information. WIRN/NAIS 2005: 49-56 - 2004
- [c28]Antonino Staiano
Probabilistic Principal Surfaces for Yeast Gene Microarray Data Mining. ICDM 2004: 202-208 - [c27]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 - 2003
- [j29]Giuseppe Longo, P. Scott:
New programs and open problems in the foundation of mathematics. Bull. Symb. Log. 9(2): 129-130 (2003) - [j28]Luca Aceto, Giuseppe Longo, Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Math. Struct. Comput. Sci. 13(4): 481-484 (2003) - [j27]Roberto Tagliaferri
Introduction: Neural networks for analysis of complex scientific data: astronomy and geosciences. Neural Networks 16(3-4): 295 (2003) - [j26]Roberto Tagliaferri
Neural neZtworks in astronomy. Neural Networks 16(3-4): 297-319 (2003) - [j25]Giuseppe Longo:
Proofs and Programs. Synth. 134(1-2): 85-117 (2003) - [c26]Giuseppe Longo:
Computer modelling and natural phenomena. ESEC / SIGSOFT FSE 2003: 1-5 - [c25]Roberto Tagliaferri
Neural Networks for Photometric Redshifts Evaluation. WIRN 2003: 226-234 - 2000
- [j24]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000) - [j23]Giuseppe Longo:
Prototype Proofs in Type Theory. Math. Log. Q. 46(2): 257-266 (2000) - [c24]Giuseppe Longo:
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. TYPES 2000: 160-180
1990 – 1999
- 1999
- [j22]Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin:
Preface. Math. Struct. Comput. Sci. 9(4): 321 (1999) - [c23]Stefano Andreon
Neural nets and star/galaxy separation in wide field astronomical images. IJCNN 1999: 3810-3815 - 1997
- [c22]Maurizio Rasile, Roberto Tagliaferri
Neural networks for periodicity analysis of unevenly spaced data. ICNN 1997: 2257-2262 - 1995
- [j21]Giuseppe Longo:
Parametric and Type-Dependent Polymorphism. Fundam. Informaticae 22(1/2): 69-92 (1995) - [j20]Giuseppe Castagna, Giorgio Ghelli
A Calculus for Overloaded Functions with Subtyping. Inf. Comput. 117(1): 115-135 (1995) - [c21]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
A Logic of Subtyping (Extended Abstract). LICS 1995: 292-299 - 1993
- [j19]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) - [c20]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 - [c19]Giuseppe Longo:
Types as Parameters. TAPSOFT 1993: 658-670 - [c18]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123 - 1992
- [j18]Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo:
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2(2): 231-247 (1992) - [c17]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192 - 1991
- [b1]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 - [j17]Giuseppe Longo:
The new role of mathematical logic: A tool for computer scienc. Inf. Sci. 57-58: 23-29 (1991) - [j16]Luca Cardelli
A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991) - [j15]Giuseppe Longo, Eugenio Moggi
Constructive Natural Deduction and its 'Omega-Set' Interpretation. Math. Struct. Comput. Sci. 1(2): 215-254 (1991) - 1990
- [j14]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239 (1990) - [j13]Giuseppe Longo, Eugenio Moggi
A Category-Theoretic Characterization of Functional Completeness. Theor. Comput. Sci. 70(2): 193-211 (1990) - [c16]Giuseppe Longo:
Information and the Mind-Body Problem. IPMU 1990: 298-306 - [c15]Giuseppe Longo, Andrea Sgarro:
A Pragmatic Way Out of the Maze of Uncertainty Measures. IPMU 1990: 370-376 - [c14]Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43
1980 – 1989
- 1989
- [c13]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
- [j12]Giuseppe Longo:
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory. Ann. Pure Appl. Log. 40(2): 93-133 (1988) - [c12]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50 - 1987
- [c11]Roberto M. Amadio, Giuseppe Longo:
Type-free compiling of parametric types. Formal Description of Programming Concepts 1987: 377-398 - 1986
- [j11]Giuseppe Longo, Simone Martini
Computability in Higher Types, P omega and the Completeness of Type Assignment. Theor. Comput. Sci. 46(3): 197-217 (1986) - [c10]Andrea Asperti
Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. CAAP 1986: 266-287 - [c9]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 - 1985
- [c8]Kim B. Bruce, Giuseppe Longo:
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version). STOC 1985: 263-272 - 1984
- [j10]Paola Giannini
Effectively Given Domains and Lambda-Calculus Models. Inf. Control. 62(1): 36-63 (1984) - [j9]Giuseppe Longo, Eugenio Moggi:
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. J. Symb. Log. 49(4): 1319-1332 (1984) - [j8]Kim B. Bruce, Giuseppe Longo:
On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984) - [c7]Giuseppe Longo:
Continuous Structures and Analytic Methods in Computer Science. CAAP 1984: 1-22 - [c6]Giuseppe Longo:
Limits, Higher Type Computability and Type-Free Languages. MFCS 1984: 96-114 - [c5]Giuseppe Longo, Eugenio Moggi
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. MFCS 1984: 397-406 - [c4]Giuseppe Longo, Eugenio Moggi
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types 1984: 235-255 - [c3]Giuseppe Longo, Simone Martini:
Computability in Higher Types and the Universal Domain P_omega. STACS 1984: 186-197 - 1983
- [j7]Giuseppe Longo:
Set-theoretical models of λ-calculus: theories, expansions, isomorphisms. Ann. Pure Appl. Log. 24(2): 153-188 (1983) - [c2]Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo:
Applicative Information Systems. CAAP 1983: 35-64 - 1982
- [j6]Giuseppe Longo, Guglielmo Galasso:
An application of informational divergence to Huffman codes. IEEE Trans. Inf. Theory 28(1): 36-42 (1982) - 1981
- [j5]Lee D. Davisson, Giuseppe Longo, Andrea Sgarro:
The error exponent for the noiseless encoding of finite ergodic Markov sources. IEEE Trans. Inf. Theory 27(4): 431-437 (1981) - 1980
- [j4]Giuseppe Longo, Marisa Venturini Zilli:
Aλδ-calculus with an algorithmicδ. Arch. Math. Log. 20(1-2): 41-52 (1980)
1970 – 1979
- 1979
- [j3]Giuseppe Longo, Andrea Sgarro:
The source coding theorem revisited: A combinatorial approach. IEEE Trans. Inf. Theory 25(5): 544-548 (1979) - 1976
- [c1]Giuseppe Longo, Marisa Venturini Zilli:
A Theory of Computation with an Identity Discriminator. ICALP 1976: 147-167 - 1974
- [j2]Giuseppe Longo, Marisa Venturini Zilli:
Complexity of theorem-proving procedures : some general properties. RAIRO Theor. Informatics Appl. 8(3): 5-18 (1974) - 1973
- [j1]János Körner, Giuseppe Longo:
Two-step encoding for finite sources. IEEE Trans. Inf. Theory 19(6): 778-782 (1973)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-14 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: