The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe Castagna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Castagna
    Covariance and Contravariance: Conflict without a Cause. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:3, pp:431-447 [Journal]
  2. John Boyland, Giuseppe Castagna
    Type-Safe Compilation of Covariant Specialization: A Practical Case. [Citation Graph (2, 0)][DBLP]
    ECOOP, 1996, pp:3-25 [Conf]
  3. Giuseppe Castagna
    A Meta-Language for Typed Object-Oriented Languages. [Citation Graph (1, 0)][DBLP]
    FSTTCS, 1993, pp:52-71 [Conf]
  4. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:182-192 [Conf]
  5. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. [Citation Graph (1, 0)][DBLP]
    TLCA, 1993, pp:107-123 [Conf]
  6. Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    A Calculus for Overloaded Functions with Subtyping [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:115-135 [Journal]
  7. Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Information Flow Security for XML Transformations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:33-53 [Conf]
  8. Luigi Liquori, Giuseppe Castagna
    A Typed Lambda Calculus of Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:129-141 [Conf]
  9. Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
    Type-Based XML Projection. [Citation Graph (0, 0)][DBLP]
    BDA, 2006, pp:- [Conf]
  10. Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
    CQL: a pattern-based query language for XML. [Citation Graph (0, 0)][DBLP]
    BDA, 2004, pp:469-490 [Conf]
  11. Giuseppe Castagna
    A proposal for making 02 more type-safe. [Citation Graph (0, 0)][DBLP]
    BDA, 1995, pp:61-0 [Conf]
  12. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Typed Mobile Objects. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:504-520 [Conf]
  13. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Reasoning about Security in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:102-120 [Conf]
  14. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
    Encoding CDuce in the Cpi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:310-326 [Conf]
  15. Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
    Typing Mobility in the Seal Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:82-101 [Conf]
  16. Giuseppe Castagna
    Patterns and Types for Querying XML Documents. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:1-26 [Conf]
  17. Giuseppe Castagna
    F&<=: integrating parametric and "ad hoc" second order polymorphism. [Citation Graph (0, 17)][DBLP]
    DBPL, 1993, pp:338-358 [Conf]
  18. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
    A Survey of Name-Passing Calculi and Crypto-Primitives. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:91-138 [Conf]
  19. Giuseppe Castagna, Francesco Zappa Nardelli
    The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:85-96 [Conf]
  20. Giuseppe Castagna, Alain Frisch
    A Gentle Introduction to Semantic Subtyping. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:30-34 [Conf]
  21. Jan Vitek, Giuseppe Castagna
    Seal: A Framework for Secure Mobile Computations. [Citation Graph (0, 0)][DBLP]
    ICCL Workshop: Internet Programming Languages, 1998, pp:47-77 [Conf]
  22. Véronique Benzaken, Giuseppe Castagna, Alain Frisch
    CDuce: an XML-centric general-purpose language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:51-63 [Conf]
  23. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Subtyping and Matching for Mobile Objects. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:235-255 [Conf]
  24. Giuseppe Castagna
    Semantic Subtyping: Challenges, Perspectives, and Open Problems. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:1-20 [Conf]
  25. Giuseppe Castagna, Dario Colazzo, Alain Frisch
    Error Mining for Regular Expression Patterns. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:160-172 [Conf]
  26. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
    Semantic Subtyping for the p-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:92-101 [Conf]
  27. Alain Frisch, Giuseppe Castagna, Véronique Benzaken
    Semantic Subtyping. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:137-146 [Conf]
  28. John Boyland, Giuseppe Castagna
    Parasitic Methods: An Implementation of Multi-Methods for Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1997, pp:66-76 [Conf]
  29. Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
    A Full Pattern-Based Paradigm for XML Query Processing. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:235-252 [Conf]
  30. Giuseppe Castagna, Nils Gesbert, Luca Padovani
    A Theory of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:37-48 [Conf]
  31. Michele Bugliesi, Giuseppe Castagna
    Secure safe ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:222-235 [Conf]
  32. Giuseppe Castagna, Benjamin C. Pierce
    Decidable Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:151-162 [Conf]
  33. Giuseppe Castagna, Benjamin C. Pierce
    Corrigendum: Decidable Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:408- [Conf]
  34. Haruo Hosoya, Alain Frisch, Giuseppe Castagna
    Parametric polymorphism for XML. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:50-62 [Conf]
  35. Giuseppe Castagna, Alain Frisch
    A gentle introduction to semantic subtyping. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:198-199 [Conf]
  36. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:38-63 [Conf]
  37. Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
    Type-Based XML Projection. [Citation Graph (0, 0)][DBLP]
    VLDB, 2006, pp:271-282 [Conf]
  38. Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
    A Formal Account of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:148-162 [Conf]
  39. Giuseppe Castagna
    Patterns and Types for Querying XML Documents. [Citation Graph (0, 0)][DBLP]
    XSym, 2005, pp:1-3 [Conf]
  40. Michele Bugliesi, Giuseppe Castagna
    Behavioural typing for safe ambients. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:61-99 [Journal]
  41. Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
    An overview of Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  42. Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
    Information Flow Security for Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  43. Giuseppe Castagna
    Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:247-293 [Journal]
  44. Giuseppe Castagna, Gang Chen
    Dependent Types with Subtyping and Late-Bound Overloading. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:168, n:1, pp:1-67 [Journal]
  45. Giuseppe Castagna, Adriana B. Compagnoni
    Seventh International Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:1, pp:1- [Journal]
  46. Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli
    The Seal Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:201, n:1, pp:1-54 [Journal]
  47. Giuseppe Castagna, Gary T. Leavens
    Foundation of Object-Oriented Languages, 2nd Workshop Report. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:2, pp:5-11 [Journal]
  48. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  49. Giuseppe Castagna
    A Meta-Language for Typed Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:2, pp:297-352 [Journal]
  50. Giuseppe Castagna
    Unifying Overloading and lambda-Abstraction: lambda{}. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:176, n:1-2, pp:337-345 [Journal]
  51. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
    A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:123-152 [Journal]
  52. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Access control for mobile agents: The calculus of boxed ambients. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:1, pp:57-124 [Journal]

  53. Pattern by Example: type-driven visual programming of XML queries. [Citation Graph (, )][DBLP]


  54. Contracts for Mobile Processes. [Citation Graph (, )][DBLP]


  55. Typed iterators for XML. [Citation Graph (, )][DBLP]


  56. Typed Iterators for XML. [Citation Graph (, )][DBLP]


  57. A theory of contracts for web services. [Citation Graph (, )][DBLP]


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


  59. Pattern by example: type-driven visual programming of XML queries. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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