The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giorgio Levi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Contributions to the Semantics of Open Logic Programs. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:570-580 [Conf]
  2. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A New Declarative Semantics for Logic Languages. [Citation Graph (2, 0)][DBLP]
    ICLP/SLP, 1988, pp:993-1005 [Conf]
  3. Marco Bellia, Giorgio Levi
    The Relation between Logic and Functional Languages: A Survey. [Citation Graph (2, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:3, pp:217-236 [Journal]
  4. Maurizio Gabbrielli, Giorgio Levi
    Modeling Answer Constraints in Constraint Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1991, pp:238-252 [Conf]
  5. Giorgio Levi, A. M. Pegna
    Top-Down Mathematical Semantics and Symbolic Execution. [Citation Graph (1, 0)][DBLP]
    ITA, 1983, v:17, n:1, pp:55-70 [Journal]
  6. Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi
    Observable Semantics for Constraint Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:2, pp:133-171 [Journal]
  7. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
    Declarative Modeling of the Operational Behavior of Logic Languages. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:69, n:3, pp:289-318 [Journal]
  8. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:159-174 [Conf]
  9. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Intensional Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:359-374 [Conf]
  10. Marco Comini, Giorgio Levi
    An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:170-186 [Conf]
  11. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:533-544 [Conf]
  12. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:607-618 [Conf]
  13. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Modular Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:409-420 [Conf]
  14. Alberto Bottoni, Giorgio Levi
    Computing in the Completion. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:375-392 [Conf]
  15. Roberta Gori, Giorgio Levi
    Finite Failure is AND-Compositional. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:464-478 [Conf]
  16. Roberta Gori, Giorgio Levi
    On the verification of finite failure. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:197-212 [Conf]
  17. Giorgio Levi, Marco Comini, Giuliana Vitiello
    On the Abstract Diagnosis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:41-60 [Conf]
  18. Giorgio Levi, Daniele Micciancio
    Analysis of Pure PROLOG Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:521-532 [Conf]
  19. Giorgio Levi, Francesca Scozzari
    Contributions to a Theory of Existential Termination for Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:631-642 [Conf]
  20. Giorgio Levi, Fausto Spoto
    Accurate Analysis of Prolog with cut. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:481-492 [Conf]
  21. Giorgio Levi, Paolo Volpe
    Derivation of Proof Methods by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:283-292 [Conf]
  22. Giorgio Levi, W. Volpi
    Set Based-Analysis of Logic Programs via Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:303-310 [Conf]
  23. Fausto Spoto, Giorgio Levi
    A Denotational Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:201-212 [Conf]
  24. Fausto Spoto, Giorgio Levi
    An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:269-282 [Conf]
  25. Maurizio Gabbrielli, Giorgio Levi
    Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:204-216 [Conf]
  26. Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
    Joining Abstract and Concrete Computations in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:109-126 [Conf]
  27. Fausto Spoto, Giorgio Levi
    Abstract Interpretation of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:455-470 [Conf]
  28. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Compilative Constructive Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:52-67 [Conf]
  29. Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
    A Generalized Semantics for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:581-591 [Conf]
  30. Moreno Falaschi, Giorgio Levi
    Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:364-373 [Conf]
  31. Giorgio Levi, Franco Sirovich
    Pattern Matching and Call by Pattern. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1975, pp:491-499 [Conf]
  32. Maurizio Gabbrielli, Giorgio Levi
    On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:1-19 [Conf]
  33. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    An OR-Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:215-240 [Conf]
  34. Roberto Barbuti, Pierpaolo Degano, Giorgio Levi
    Toward an Inductionless Technique for Proving Properties of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:175-181 [Conf]
  35. Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre
    Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:359-373 [Conf]
  36. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:131-145 [Conf]
  37. Giorgio Levi
    Models, Unfolding Rules and Fixpoint Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1649-1665 [Conf]
  38. Giorgio Levi
    On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:945- [Conf]
  39. Giorgio Levi, Catuscia Palamidessi
    An Approach to the Declarative Semantics of Synchronization in Logic Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:877-893 [Conf]
  40. Giorgio Levi, Davide Ramundo
    A Formalization of Metaprogramming for real. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:354-373 [Conf]
  41. Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
    A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:251-264 [Conf]
  42. Marco Bellia, Giorgio Levi
    Distributed Control, Modularity and Data Types in a Simple Parallel Language. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:441-450 [Conf]
  43. Giorgio Levi
    One, None, A Hundred Thousand Specification Languages - Response. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:1005-1008 [Conf]
  44. Giorgio Levi, Franco Sirovich
    A Problem Reduction Model for Non-Independent Subproblems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:340-344 [Conf]
  45. Giorgio Levi
    A Unified Approach to Logic Programs Semantics based on Constraints. [Citation Graph (0, 0)][DBLP]
    SPLT, 1990, pp:583-0 [Conf]
  46. Alberto Bottoni, Giorgio Levi
    The Inverse of Fitting's Functional. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:132-143 [Conf]
  47. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Proving Properties of Logic Programs by Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:22-50 [Conf]
  48. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Abstract Debugging of Logic Program. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:440-450 [Conf]
  49. Marco Comini, Roberta Gori, Giorgio Levi
    How to Transform an Analyzer into a Verifier. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:595-609 [Conf]
  50. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
    A Two Steps Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:297-308 [Conf]
  51. Giorgio Levi, Franco Sirovich
    Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1975, pp:294-301 [Conf]
  52. Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    A Two-Level Approach to Logic plus Functional Programming Integration. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:374-393 [Conf]
  53. Giorgio Levi, Fausto Spoto
    Non Pair-Sharing and Freeness Analysis Through Linear Refinement. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:52-61 [Conf]
  54. Giorgio Levi, Fausto Spoto
    An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:152-169 [Conf]
  55. Giorgio Levi, Paolo Volpe
    Derivation of Proof Methods by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:102-117 [Conf]
  56. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
    Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:57-72 [Conf]
  57. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modeling Prolog Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:95-104 [Conf]
  58. Roberta Gori, Giorgio Levi
    On the Verification of Finite Failure. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:311-327 [Conf]
  59. Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
    Applicative communicating processes in first order logic. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:1-14 [Conf]
  60. Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    New Semantic Tools for Logic Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:204-235 [Conf]
  61. Gianluca Amato, Giorgio Levi
    Abstract Interpretation Based Semantics of Sequent Calculi. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:38-57 [Conf]
  62. Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
    Static Analysis of CLP Programs over Numeric Domains. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:43-50 [Conf]
  63. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modelling Prolog Control. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:117-124 [Conf]
  64. Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
    On the Integration of Logic Programming and Functional Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:160-166 [Conf]
  65. Marco Comini, Giorgio Levi
    An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:172-186 [Conf]
  66. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-Derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:561-575 [Conf]
  67. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:275-287 [Conf]
  68. Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    Failure and Success made Symmetric. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:3-22 [Conf]
  69. Giorgio Levi, Catuscia Palamidessi
    The Declarative Semantics of Logical Read-Only Variables. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:128-137 [Conf]
  70. Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:318-327 [Conf]
  71. Maurizio Gabbrielli, Giorgio Levi
    A Solved Form Algorithm for Ask and Tell Herbrand Constraints. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:320-337 [Conf]
  72. Roberta Gori, Giorgio Levi
    An Experiment in Type Inference and Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:225-239 [Conf]
  73. Roberta Gori, Giorgio Levi
    Properties of a Type Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:132-145 [Conf]
  74. Giorgio Levi, Catuscia Palamidessi
    Contributions to the Semantics of Logic Perpetual Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:6, pp:691-711 [Journal]
  75. Giorgio Levi, Franco Sirovich
    Generalized AND/OR Graphs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1976, v:7, n:3, pp:243-259 [Journal]
  76. Marco Comini, Roberta Gori, Giorgio Levi
    Assertion based Inductive Verification Methods for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  77. Marco Comini, Roberta Gori, Giorgio Levi
    Logic programs as specifications in the inductive verification of logic programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  78. Giorgio Levi
    Abstract Interpretation Based Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  79. Marco Comini, Giorgio Levi, Maria Chiara Meo
    A Theory of Observables for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:169, n:1, pp:23-80 [Journal]
  80. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:1, pp:86-113 [Journal]
  81. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
    A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:60, n:1-3, pp:36-69 [Journal]
  82. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observable Behaviors and Equivalences of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:1, pp:1-29 [Journal]
  83. Giorgio Levi, Ugo Montanari
    A Grey-Weighted Skeleton [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:17, n:1, pp:62-91 [Journal]
  84. Giorgio Levi, Fausto Spoto
    Pair-independence and freeness analysis through linear refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:182, n:1, pp:14-52 [Journal]
  85. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
    Nested Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:249-264 [Journal]
  86. Giorgio Levi, Fabrizio Luccio
    A technique for graph embedding with constraints on node and arc correspondences. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1973, v:5, n:, pp:1-24 [Journal]
  87. Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    Kernel-LEAF: A Logic plus Functional Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:2, pp:139-185 [Journal]
  88. Roberta Gori, Giorgio Levi
    On the verification of finite failure. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:4, pp:535-575 [Journal]
  89. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
    Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1997, v:1997, n:6, pp:- [Journal]
  90. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    The s-Semantics Approach: Theory and Applications. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:149-197 [Journal]
  91. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:43-93 [Journal]
  92. Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
    Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:25, n:3, pp:191-247 [Journal]
  93. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modelling Prolog Control. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:6, pp:579-603 [Journal]
  94. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Resultants Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:491-521 [Journal]
  95. Roberta Gori, Giorgio Levi
    Finite Failure is And-Compositional. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:6, pp:753-776 [Journal]
  96. Giorgio Levi, Giuseppe Sardu
    Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:227-247 [Journal]
  97. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Differential Logic Programs: Programming Methodologies and Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:27, n:3, pp:217-262 [Journal]
  98. Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
    Abstract interpretation based verification of logic programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:49, n:1-3, pp:89-123 [Journal]
  99. Giorgio Levi
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:39, n:1, pp:1- [Journal]
  100. María Alpuente, Moreno Falaschi, Giorgio Levi
    Incremental Constraint Satisfaction for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:142, n:1, pp:27-57 [Journal]
  101. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    A Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:3-47 [Journal]
  102. Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
    Abstract Interpretation based Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  103. Moreno Falaschi, Giorgio Levi
    Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:1&2, pp:45-66 [Journal]
  104. Maurizio Gabbrielli, Giorgio Levi
    Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:1, pp:85-128 [Journal]
  105. Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
    A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:133-181 [Journal]

Search in 0.061secs, Finished in 0.066secs
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