The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gian Luigi Ferrari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    KLAIM: A Kernel Language for Agents Interaction and Mobility. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:5, pp:315-330 [Journal]
  2. Gian Luigi Ferrari, Ugo Montanari
    Dynamic Matrices and the Cost Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:307-321 [Conf]
  3. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
  4. Gian Luigi Ferrari, Ugo Montanari
    Towards the Unification of Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:162-176 [Conf]
  5. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
    Modelling Fusion Calculus using HD-Automata. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:142-156 [Conf]
  6. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    Verifying Mobile Processes in the HAL Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:511-515 [Conf]
  7. Gian Luigi Ferrari, Ugo Montanari
    The Observation Algebra of Spatial Pomsets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:188-202 [Conf]
  8. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    The Weak Late pi-Calculus Semantics as Observation Equivalence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:57-71 [Conf]
  9. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Programming Access Control: The KLAIM Experience. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:48-65 [Conf]
  10. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
    Mobile Agents Coordination in Mobadtl. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:232-248 [Conf]
  11. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:33-48 [Conf]
  12. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Coordinating Mobile Agents via Blackboards and Access Rights. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:220-237 [Conf]
  13. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Enforcing Secure Service Composition. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:211-223 [Conf]
  14. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Types and Effects for Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:57-69 [Conf]
  15. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Types as Specifications of Access Policies. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:118-146 [Conf]
  16. Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
    From Theory to Practice in Transactional Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:272-286 [Conf]
  17. Sajal K. Das, Jiannong Cao, Jie Wu, Gian Luigi Ferrari
    Topic 15: Mobile Computing. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:916- [Conf]
  18. Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:319-338 [Conf]
  19. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
    Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:22-43 [Conf]
  20. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security Issues in Service Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:1-16 [Conf]
  21. Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
    JSCL: A Middleware for Service Coordination. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:46-60 [Conf]
  22. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    History-Based Access Control with Local Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:316-332 [Conf]
  23. Gian Luigi Ferrari, Ugo Montanari, Marco Pistore
    Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:129-158 [Conf]
  24. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Model Checking for Nominal Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:1-24 [Conf]
  25. Rocco De Nicola, Gian Luigi Ferrari
    Observational Logics and Concurrency Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:301-315 [Conf]
  26. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  27. Giulio Colavolpe, Gian Luigi Ferrari, Riccardo Raheli
    Reduced-State BCJR-Type Algorithms. [Citation Graph (0, 0)][DBLP]
    ICC (1), 2000, pp:460-464 [Conf]
  28. Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
    Event Based Service Coordination over Dynamic and Heterogeneous Networks. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:453-458 [Conf]
  29. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security-Aware Program Transformations. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:355-368 [Conf]
  30. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Checking Risky Events Is Enough for Local Policies. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:97-112 [Conf]
  31. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    A LTS Semantics of Ambients via Graph Synchronization with Mobility. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:1-16 [Conf]
  32. Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
    Transition Systems with Algebraic Structure as Models of Computations. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:185-222 [Conf]
  33. Gian Luigi Ferrari, Ugo Montanari
    A Tile-Based Coordination View of Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:52-70 [Conf]
  34. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions: the Late Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:342-351 [Conf]
  35. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security and Dynamic Compositions of Open Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:1372-1377 [Conf]
  36. Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri
    Implicative Formulae in the ``Proofs as Computations'' Analogy. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:59-71 [Conf]
  37. Gian Luigi Ferrari, Emilio Tuosto
    A debugging calculus for mobile ambients. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:- [Conf]
  38. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: Meta-programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:183-198 [Conf]
  39. Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    An Automated Based Verification Environment for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:275-289 [Conf]
  40. Gian Luigi Ferrari
    On Causality Observed Incrementally, Finally. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:26-41 [Conf]
  41. Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    An Extended Expansion Theorem. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:29-48 [Conf]
  42. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Locality Based Linda: Programming with Explicit Localities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:712-726 [Conf]
  43. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Graph-Based Models of Internetworking Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:242-266 [Conf]
  44. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
    Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:72-74 [Conf]
  45. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari
    Interactive Mobile Agents in X-Klaim. [Citation Graph (0, 0)][DBLP]
    WETICE, 1998, pp:110-117 [Conf]
  46. Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
    Calculi for Network Aware Programming. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:23-28 [Conf]
  47. Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Mobile Applications in X-KLAIM. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:1-6 [Conf]
  48. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
    Mark, a Reasoning Kit for Mobility. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:2, pp:137-150 [Journal]
  49. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Static Analysis for Stack Inspection. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  50. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Program Transformations under Dynamic Security Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:49-86 [Journal]
  51. Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi
    Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:11-20 [Journal]
  52. Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto
    A Coordination-based Methodology for Security Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:23-46 [Journal]
  53. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security Issues in Component-based Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  54. Flavio Corradini, Gian Luigi Ferrari, Marco Pistore
    Eager, busy-waiting and lazy actions in timed computation? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  55. Gian Luigi Ferrari, Ugo Montanari
    Tiles for concurrent and located calculi? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  56. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Higher-Order Types and Meta-Programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  57. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Global Types and Network Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  58. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Guardians for Ambient-based Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  59. Gian Luigi Ferrari
    Atomicity and Concurrency Control in Process Calculi. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:29, n:4, pp:341-368 [Journal]
  60. Gian Luigi Ferrari, Ugo Montanari
    Parameterized Structured Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:1-2, pp:1-31 [Journal]
  61. Gian Luigi Ferrari, Ugo Montanari
    Tile Formats for Located and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:173-235 [Journal]
  62. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Stack inspection and secure program transformations. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:187-217 [Journal]
  63. Gian Luigi Ferrari, Ugo Montanari, Miranda Mowbray
    Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:3, pp:241-282 [Journal]
  64. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: a type safe multi-stage language for global computing. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:367-395 [Journal]
  65. Gian Luigi Ferrari, Giulio Colavolpe, Riccardo Raheli
    On trellis-based truncated-memory detection. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Communications, 2005, v:53, n:9, pp:1462-1476 [Journal]
  66. Flavio Corradini, Gian Luigi Ferrari, Marco Pistore
    On the semantics of durational actions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:269, n:1-2, pp:47-82 [Journal]
  67. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:168, n:1, pp:53-103 [Journal]
  68. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:325-365 [Journal]
  69. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
    Types for access control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:215-254 [Journal]
  70. Gian Luigi Ferrari, Keith M. Chugg
    Linear programming-based optimization of the distance spectrum of linear block codes. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 2003, v:49, n:7, pp:1794-1800 [Journal]
  71. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
    A model-checking verification environment for mobile processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:440-473 [Journal]
  72. Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini
    RSF: A Formalism for Executable Requirement Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1235-1246 [Journal]
  73. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2007, pp:24-74 [Conf]
  74. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Types and Effects for Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:32-47 [Conf]
  75. Vincenzo Ciancia, Gian Luigi Ferrari
    Co-Algebraic Models for Quantitative Spatial Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:43-58 [Journal]

  76. History Dependent Automata for Service Compatibility. [Citation Graph (, )][DBLP]


  77. Ugo Montanari and Software Verification. [Citation Graph (, )][DBLP]


  78. Event-Based Service Coordination. [Citation Graph (, )][DBLP]


  79. Checking Correctness of Transactional Behaviors. [Citation Graph (, )][DBLP]


  80. nu-Types for Effects and Freshness Analysis. [Citation Graph (, )][DBLP]


  81. Engineering energy-efficient target detection applications in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  82. Policy framings for access control. [Citation Graph (, )][DBLP]


  83. Model Checking Usage Policies. [Citation Graph (, )][DBLP]


  84. Refactoring Long Running Transactions. [Citation Graph (, )][DBLP]


  85. Choreography Rehearsal. [Citation Graph (, )][DBLP]


  86. Efficient Broadcasting in IEEE 802.11 Networks through Irresponsible Forwarding. [Citation Graph (, )][DBLP]


  87. Simulation-assisted analysis and design of STP-based networks. [Citation Graph (, )][DBLP]


  88. Hard Life with Weak Binders. [Citation Graph (, )][DBLP]


  89. Global Coordination Policies for Services. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.075secs
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