The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. Massimo D'Antonio, Giorgio Delzanno
    SAT-Based Analysis of Cellular Automata. [Citation Graph (0, 0)][DBLP]
    ACRI, 2004, pp:745-754 [Conf]
  2. Giorgio Delzanno, Maurizio Martelli
    Forum Objects. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:283-294 [Conf]
  3. Giorgio Delzanno, Maurizio Martelli
    Proofs as Computations in Linear Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:155-166 [Conf]
  4. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:105-116 [Conf]
  5. Giorgio Delzanno, Javier Esparza, Jirí Srba
    Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:415-429 [Conf]
  6. Marco Bozzano, Giorgio Delzanno
    Algorithmic Verification of Invalidation-Based Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:295-308 [Conf]
  7. Giorgio Delzanno
    Automatic Verification of Parameterized Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:53-68 [Conf]
  8. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Attacking Symbolic State Explosion. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:298-310 [Conf]
  9. Giorgio Delzanno, Tevfik Bultan
    Constraint-Based Verification of Client-Server Protocols. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:286-301 [Conf]
  10. Giorgio Delzanno, Javier Esparza, Andreas Podelski
    Constraint-Based Analysis of Broadcast Protocols. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:50-66 [Conf]
  11. Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
    BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:214-223 [Conf]
  12. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:138-152 [Conf]
  13. Giorgio Delzanno
    Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:123-137 [Conf]
  14. Giorgio Delzanno
    Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:171-186 [Conf]
  15. Giorgio Delzanno
    Constraint-Based Model Checking for Parameterized Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:72-86 [Conf]
  16. Giorgio Delzanno, Maurizio Gabbrielli
    Compositional Verification of Asynchronous Processes via Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1239-1250 [Conf]
  17. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
    A Linear Logic Calculus Objects. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:67-81 [Conf]
  18. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:47-48 [Conf]
  19. Giorgio Delzanno, Roberto Montagna
    Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:302-316 [Conf]
  20. Giorgio Delzanno, Andreas Podelski
    Verification of Infinite-State Systems in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:13-22 [Conf]
  21. Giorgio Delzanno, Sandro Etalle
    Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:76-90 [Conf]
  22. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Multi-agent Systems Development as a Software Engineering Enterprise. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:46-60 [Conf]
  23. Marco Bozzano, Giorgio Delzanno
    Automated protocol verification in linear logic. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:38-49 [Conf]
  24. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    A bottom-up semantics for linear logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:92-102 [Conf]
  25. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:209-217 [Conf]
  26. Giorgio Delzanno, Maurizio Martelli
    A Bottom-Up Characterization of Finite Success. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:676- [Conf]
  27. Giorgio Delzanno, Maurizio Martelli
    Objects in Forum. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:115-129 [Conf]
  28. Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
    Model Checking Communication Protocols. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2001, pp:160-170 [Conf]
  29. Marco Bozzano, Giorgio Delzanno
    Beyond Parameterized Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:221-235 [Conf]
  30. Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola
    Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:435-449 [Conf]
  31. Giorgio Delzanno, Pierre Ganty
    Automatic Verification of Time Sensitive Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:342-356 [Conf]
  32. Giorgio Delzanno, Andreas Podelski
    Model Checking in CLP. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:223-239 [Conf]
  33. Giorgio Delzanno, Jean-François Raskin
    Symbolic Representation of Upward-Closed Sets. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:426-440 [Conf]
  34. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Towards the Automated Verification of Multithreaded Java Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:173-187 [Conf]
  35. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An Effective Fixpoint Semantics for Linear Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  36. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    Model Checking Linear Logic Specifications [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  37. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    On the Relations between Disjunctive and Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  38. Giorgio Delzanno
    An Assertional Language for the Verification of Systems Parametric in Several Dimensions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  39. Giorgio Delzanno
    An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  40. Giorgio Delzanno
    A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:98, n:, pp:21-33 [Journal]
  41. Giorgio Delzanno
    Constraint-Based Verification of Parameterized Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:3, pp:257-301 [Journal]
  42. Marco Bozzano, Giorgio Delzanno
    Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:38, n:5, pp:1375-1415 [Journal]
  43. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
    Object calculi in linear logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:1, pp:75-104 [Journal]
  44. Giorgio Delzanno, Didier Galmiche, Maurizio Martelli
    A specification logic for concurrent object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:253-286 [Journal]
  45. Giorgio Delzanno, Andreas Podelski
    Constraint-based deductive model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:3, pp:250-270 [Journal]
  46. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Covering sharing trees: a compact data structure for parameterized verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:268-297 [Journal]
  47. Giorgio Delzanno, Maurizio Martelli
    Proofs as computations in linear logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:269-297 [Journal]
  48. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An effective fixpoint semantics for linear logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:1, pp:85-122 [Journal]
  49. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    Model Checking Linear Logic Specifications. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:573-619 [Journal]
  50. Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
    Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:3, pp:225-226 [Journal]
  51. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
    Parameterized Verification of Infinite-State Processes with Global Conditions. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:145-157 [Conf]
  52. Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
    Comparing the Expressive Power of Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:99-114 [Conf]
  53. Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
    Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:721-736 [Conf]
  54. Giorgio Delzanno
    Constraint-based verification of abstract models of multitreaded programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  55. Giorgio Delzanno
    Constraint-based automatic verification of abstract models of multithreaded programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  56. Giorgio Delzanno, Roberto Montagna
    On Reachability and Spatial Reachability in Fragments of BioAmbients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:69-79 [Journal]

  57. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. [Citation Graph (, )][DBLP]


  58. The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. [Citation Graph (, )][DBLP]


  59. Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. [Citation Graph (, )][DBLP]


  60. Parameterized Verification of Ad Hoc Networks. [Citation Graph (, )][DBLP]


  61. Parameterized Tree Systems. [Citation Graph (, )][DBLP]


  62. Approximated Context-Sensitive Analysis for Parameterized Verification. [Citation Graph (, )][DBLP]


  63. Monotonic Abstraction in Action. [Citation Graph (, )][DBLP]


  64. On the Dynamics of PB Systems with Volatile Membranes. [Citation Graph (, )][DBLP]


  65. On the Qualitative Analysis of Conformon P Systems. [Citation Graph (, )][DBLP]


  66. A Biologically Inspired Model with Fusion and Clonation of Membranes. [Citation Graph (, )][DBLP]


  67. Handling Parameterized Systems with Non-atomic Global Conditions. [Citation Graph (, )][DBLP]


  68. A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. [Citation Graph (, )][DBLP]


  69. Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. [Citation Graph (, )][DBLP]


  70. Automatic Verification of Directory-Based Consistency Protocols. [Citation Graph (, )][DBLP]


  71. Monotonic Abstraction in Parameterized Verification. [Citation Graph (, )][DBLP]


  72. Deciding Reachability in Mobile Ambients with Name Restriction. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002