The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mariangiola Dezani-Ciancaglini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    Intersection and Union Types: Syntax and Semantics [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:2, pp:202-230 [Journal]
  2. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    A Calculus of Bounded Capacities. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:205-223 [Conf]
  3. Mariangiola Dezani-Ciancaglini, Ivano Salvo
    Security Types for Mobile Safe Ambients. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:215-236 [Conf]
  4. Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
  5. Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
    Applicative Information Systems. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:35-64 [Conf]
  6. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
    Encoding CDuce in the Cpi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:310-326 [Conf]
  7. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    Fickle : Dynamic Object Re-classification. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:130-149 [Conf]
  8. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
    Session Types for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:328-352 [Conf]
  9. Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
    Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:95-110 [Conf]
  10. Corrado Böhm, Mariangiola Dezani-Ciancaglini
    Combinatorial Problems, Combinator Equations and Normal Forms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:185-199 [Conf]
  11. Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
    (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1978, pp:142-164 [Conf]
  12. Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
    Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:133-146 [Conf]
  13. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A Complete Characterization of the Complete Intersection-Type Theories. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:287-302 [Conf]
  14. Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
    Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:170-184 [Conf]
  15. Mariangiola Dezani-Ciancaglini
    Intersection Types and Properties of Lambda Terms. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:267-268 [Conf]
  16. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
    Filter Models and Easy Terms. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:17-37 [Conf]
  17. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    Dynamic and Local Typing for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:577-590 [Conf]
  18. Corrado Böhm, Mariangiola Dezani-Ciancaglini
    Lambda-terms as total or partial functions on normal forms. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:96-121 [Conf]
  19. Steffen van Bakel, Mariangiola Dezani-Ciancaglini
    Characterising Strong Normalisation for Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:356-370 [Conf]
  20. Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
    Discrimination by Parallel Observers. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:396-407 [Conf]
  21. Makoto Tatsuta, Mariangiola Dezani-Ciancaglini
    Normalisation is Insensible to lambda-Term Identity or Difference. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:327-338 [Conf]
  22. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    May and Must Convergencey in Concurrent Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:211-220 [Conf]
  23. Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
    Compositional Characterizations of lambda-Terms Using Intersection Types. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:304-313 [Conf]
  24. Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
    Boxed Ambients with Communication Interfaces. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:119-148 [Conf]
  25. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Filter Models for a Parallel and Non Deterministic Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:403-412 [Conf]
  26. Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
    BASS: boxed ambients with safe sessions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:61-72 [Conf]
  27. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
    Types for trees. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:11-29 [Conf]
  28. Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
    Listing of information structures defined by fixed-point operators. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:266-279 [Conf]
  29. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    Re-classification and multi-threading: FickleMT. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1297-1304 [Conf]
  30. Mariangiola Dezani-Ciancaglini, Ines Margaria
    F-Semantics for Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:279-300 [Conf]
  31. Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:651-674 [Conf]
  32. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Fully Abstract Semantics for Concurrent Lambda-calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:16-35 [Conf]
  33. Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
    Subtyping Constraints for Incomplete Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:465-477 [Conf]
  34. Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
    A Distributed Object-Oriented Language with Session Types. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:299-318 [Conf]
  35. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
    Two Behavioural Lambda Models. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:127-147 [Conf]
  36. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Tailoring Filter Models. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:17-33 [Conf]
  37. Mario Coppo, Mariangiola Dezani-Ciancaglini
    A Fully Abstract Model for Higher-Order Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:255-271 [Conf]
  38. Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    Combining Type Disciplines. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:66, n:3, pp:197-230 [Journal]
  39. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A Complete Characterization of Complete Intersection-Type Theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  40. Mariangiola Dezani-Ciancaglini, Stefania Lusin
    Intersection Types and Lambda Theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  41. Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
    Can addresses be types? (A case study: objects with delegation). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  42. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection Types and Computational Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  43. Fabio Alessi, Mariangiola Dezani-Ciancaglini
    Type Preorders and Recursive Terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:3-21 [Journal]
  44. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
    A Type Inference Algorithm for Secure Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  45. Mario Coppo, Mariangiola Dezani-Ciancaglini
    A Fully Abstract Model for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  46. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
    Mobility Types for Mobile Processes in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  47. Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
    The Relevance of Semantic Subtyping. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
  48. Mariangiola Dezani-Ciancaglini, Elio Giovannetti
    From Bohm's Theorem to Observational Equivalences: an Informal Account. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  49. Mariangiola Dezani-Ciancaglini, Makoto Tatsuta
    A Behavioural Model for Klop's Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:19-32 [Journal]
  50. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:193-250 [Journal]
  51. Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
    A Subtyping for Extensible, Incomplete Objects. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:38, n:4, pp:325-364 [Journal]
  52. Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
    Type Theories, Normal Forms and D_\infty-Lambda-Models [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:72, n:2, pp:85-116 [Journal]
  53. Mariangiola Dezani-Ciancaglini
    Preface [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:1-3 [Journal]
  54. Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
    Discrimination by Parallel Observers: The Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:153-186 [Journal]
  55. Stephane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
    Intersection types for explicit substitutions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:17-42 [Journal]
  56. Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta
    Complexity of lambda-term reductions. [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:3, pp:- [Journal]
  57. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    On Re-classification and Multi-threading. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:11, pp:5-30 [Journal]
  58. Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
    A Filter Lambda Model and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:4, pp:931-940 [Journal]
  59. Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
    Approximation Theorems for Intersection Type Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:3, pp:395-417 [Journal]
  60. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    A filter model for mobile processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:63-101 [Journal]
  61. 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]
  62. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
    The ``Relevance'' of Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:246-269 [Journal]
  63. Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
    The Semantics of Entailment Omega. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 2002, v:43, n:3, pp:129-145 [Journal]
  64. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    A Filter Model for Concurrent lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1998, v:27, n:5, pp:1376-1419 [Journal]
  65. Mariangiola Dezani-Ciancaglini, Betti Venneri
    Partial Types and Intervals. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1990, v:19, n:4, pp:644-568 [Journal]
  66. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection types and lambda models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:108-126 [Journal]
  67. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin
    Intersection types and domain operators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:316, n:1, pp:25-47 [Journal]
  68. Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
    Intersection types for lambda-trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:272, n:1-2, pp:3-40 [Journal]
  69. Alessandro Berarducci, Mariangiola Dezani-Ciancaglini
    Infinite lambda-Calculus and Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:212, n:1-2, pp:29-75 [Journal]
  70. Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
    A Discrimination Algorithm Inside lambda-beta-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:8, n:, pp:265-292 [Journal]
  71. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec
    Behavioural inverse limit lambda-models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:316, n:1, pp:49-74 [Journal]
  72. Mariangiola Dezani-Ciancaglini
    Characterization of Normal Forms Possessing Inverse in the lambda-beta-mu -Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1976, v:2, n:3, pp:323-337 [Journal]
  73. Mariangiola Dezani-Ciancaglini, J. Roger Hindley
    Intersection Types for Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:100, n:2, pp:303-324 [Journal]
  74. Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
    Compositional characterisations of lambda-terms using intersection types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:3, pp:459-495 [Journal]
  75. Mariangiola Dezani-Ciancaglini, Ines Margaria
    A Characterization of F-Complete Type Assignments. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:45, n:2, pp:121-157 [Journal]
  76. Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi
    Theories of Types and Proofs 1997 - Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:272, n:1-2, pp:1-2 [Journal]
  77. Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
    Böhm's theorem for Berarducci trees. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal]
  78. Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
    Infinitary lambda calculus and discrimination of Berarducci trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:2, n:298, pp:275-302 [Journal]
  79. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Filter Models for Conjunctive-Disjunctive lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:83-128 [Journal]
  80. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    Space-aware ambients and processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:41-69 [Journal]
  81. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A complete characterization of complete intersection-type preorders. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:1, pp:120-147 [Journal]
  82. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    More dynamic object reclassification: Fickle|| [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:153-191 [Journal]
  83. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
    Asynchronous Session Types and Progress for Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:1-31 [Conf]

  84. Session and Union Types for Object Oriented Programming. [Citation Graph (, )][DBLP]


  85. Global Progress in Dynamically Interleaved Multiparty Sessions. [Citation Graph (, )][DBLP]


  86. Session Types for Access and Information Flow Control. [Citation Graph (, )][DBLP]


  87. Intersection, Universally Quantified, and Reference Types. [Citation Graph (, )][DBLP]


  88. On Isomorphisms of Intersection Types. [Citation Graph (, )][DBLP]


  89. Bounded Session Types for Object Oriented Languages. [Citation Graph (, )][DBLP]


  90. Foundations of session types. [Citation Graph (, )][DBLP]


  91. Structured Communications with Concurrent Constraints. [Citation Graph (, )][DBLP]


  92. Security Types for Dynamic Web Data. [Citation Graph (, )][DBLP]


  93. On Progress for Structured Communications. [Citation Graph (, )][DBLP]


  94. Sessions and Session Types: An Overview. [Citation Graph (, )][DBLP]


  95. A Type System for Required/Excluded Elements in CLS [Citation Graph (, )][DBLP]


  96. A Type System for a Stochastic CLS [Citation Graph (, )][DBLP]


  97. Type Disciplines for Analysing Biologically Relevant Properties. [Citation Graph (, )][DBLP]


  98. Preface. [Citation Graph (, )][DBLP]


Search in 0.762secs, Finished in 0.765secs
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