The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Barbuti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi
    La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:341-358 [Conf]
  2. Roberto Barbuti, C. D'Ascanio, Franco Turini
    Cooperating Logic Theories. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:165-172 [Conf]
  3. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:100-114 [Conf]
  4. Roberto Barbuti, Paolo Mancarella
    A Multiple-Valued Logical Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:62-76 [Conf]
  5. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:289-306 [Conf]
  6. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:519-534 [Conf]
  7. 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]
  8. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Modeling OR-Parallel Execution of Prolog using CHOCS. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:547-561 [Conf]
  9. Roberto Barbuti, Maurizio Martelli
    Completeness of the SLDNF-resolution for a class of logic programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:600-614 [Conf]
  10. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Bisimulation Congruences in the Calculus of Looping Sequences. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:93-107 [Conf]
  11. Roberto Barbuti, Alberto Martelli
    A Constructive Approach to Static Verification of Program Properties. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:457-462 [Conf]
  12. Roberto Barbuti, Maurizio Martelli
    A Tool to Check the Non-Floundering Logic Programs and Goals. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:58-67 [Conf]
  13. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modeling Prolog Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:95-104 [Conf]
  14. Roberto Barbuti, Alberto Martelli
    Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:1-16 [Conf]
  15. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Checking security of Java bytecode by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:229-236 [Conf]
  16. Roberto Barbuti, Stefano Cataudella
    Java bytecode verification on Java cards. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:431-438 [Conf]
  17. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modelling Prolog Control. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:117-124 [Conf]
  18. Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
    Fixing the Java bytecode verifier by a suitable type domain. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:377-382 [Conf]
  19. 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]
  20. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Intensional Negation of Logic Programs: Examples and Implementation Techniques. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:96-110 [Conf]
  21. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Algebraic Computational Models of OR-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:6, pp:449-489 [Journal]
  22. Roberto Barbuti, Luca Tesei
    Timed automata with urgent transitions. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2004, v:40, n:5, pp:317-347 [Journal]
  23. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2004, v:47, n:1, pp:25-45 [Journal]
  24. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Logic Based Abstractions of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:3, pp:201-220 [Journal]
  25. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]
  26. Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
    Timed Automata with non-Instantaneous Actions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:189-200 [Journal]
  27. Roberto Barbuti, Stefano Cataudella
    Abstract Interpretation of an Object Calculus for Synchronization Optimizations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:1-12 [Journal]
  28. Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Probabilistic Model for Molecular Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:13-27 [Journal]
  29. Roberto Barbuti, Stefano Cataudella, Luca Tesei
    Abstract Interpretation Against Races. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:67-79 [Journal]
  30. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
    A Notion of Non-Interference for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:1-11 [Journal]
  31. Roberto Barbuti, Luca Tesei
    A Decidable Notion of Timed Non-Interference. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:137-150 [Journal]
  32. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Calculus of Looping Sequences for Modelling Microbiological Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:21-35 [Journal]
  33. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:2, pp:178-200 [Journal]
  34. Roberto Barbuti, Maurizio Martelli
    Recognizing Non-Floundering Logic Programs and Goals. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:2, pp:151-0 [Journal]
  35. Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
    Abstract interpretation of operational semantics for secure information flow. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:2, pp:101-108 [Journal]
  36. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Abstract Interpretation of Trace Semantics for Concurrent Calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:2, pp:69-78 [Journal]
  37. C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli
    Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:2, pp:155-170 [Journal]
  38. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:537-556 [Journal]
  39. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    A Transformational Approach to Negation in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1990, v:8, n:3, pp:201-228 [Journal]
  40. 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]
  41. Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
    Towards a Logical Semantics for Pure Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:145-176 [Journal]
  42. Roberto Barbuti, Roberto Giacobazzi
    A Bottom-Up Polymorphic Type Inference in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1992, v:19, n:3, pp:281-313 [Journal]
  43. Roberto Barbuti, Alberto Martelli
    A Structured Approach to Static Semantics Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1983, v:3, n:3, pp:279-311 [Journal]
  44. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:12, pp:1123-1147 [Journal]
  45. 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]
  46. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
    Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. [Citation Graph (0, 0)][DBLP]
    ISBRA, 2007, pp:638-649 [Conf]

  47. Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. [Citation Graph (, )][DBLP]


  48. The Calculus of Looping Sequences for Modeling Biological Membranes. [Citation Graph (, )][DBLP]


  49. The Calculus of Looping Sequences. [Citation Graph (, )][DBLP]


  50. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. [Citation Graph (, )][DBLP]


  51. On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems [Citation Graph (, )][DBLP]


  52. A Process Calculus for Molecular Interaction Maps [Citation Graph (, )][DBLP]


  53. Modelling the Dynamics of an Aedes albopictus Population [Citation Graph (, )][DBLP]


  54. An Intermediate Language for the Simulation of Biological Systems. [Citation Graph (, )][DBLP]


  55. Timed P Automata. [Citation Graph (, )][DBLP]


  56. Spatial Calculus of Looping Sequences. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.014secs
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