Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

Autore

GIAN-LUIGI FERRARI

Unimap Dati autore

• Professore Ordinario presso Dipartimento di Informatica
• Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
• Settore scientifico disciplinare INF/01 INFORMATICA
• In servizio

Prodotti

• lista concisa
• lista espansa
• tipo
• anno

• Articolo in rivista

  1. G. Ferrari, U. Montanari, P. Quaglia,A pi-calculus with explicit substitutions, THEORETICAL COMPUTER SCIENCE,vol. 168,pp 53,tot.pag 51,1996
  2. G. Ferrari, U. Montanari, M. Mowbray,Structured transition systems with parametric observations: observational congruences and minimal realizations, Mathematical Structures in Computer Science,vol. 7,num. 1,pp 241,tot.pag 42,1997
  3. G. Ferrari,Atomicity and Concurrency Control in Process Calculi, Fundamenta Informaticae,vol. 29,num. 4,pp 341,tot.pag 28,1997
  4. G. Ferrari, U. Montanari,Parameterized Structured Operational Semantics, Fundamenta Informaticae,vol. 34,num. 1-2,pp 1,tot.pag 31,1998
  5. R. De Nicola, G. Ferrari, R. Pugliese,KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,vol. 24,num. 5,pp 315,tot.pag 17,1998
  6. R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri,Types for Access Control, THEORETICAL COMPUTER SCIENCE,vol. 240,num. 1,pp 215,tot.pag 40,2000
  7. G. Ferrari, U. Montanari,Tile Formats for Located and Mobile Systems, INFORMATION AND COMPUTATION,vol. 156,num. 1-2,pp 173,tot.pag 63,2000
  8. F. Corradini, G. Ferrari M. Pistore,On the semantics of durational actions, THEORETICAL COMPUTER SCIENCE,vol. 269,num. 1-2,pp 47-82,tot.pag 36,2001
  9. G. Ferrari, U. Montanari,Cost Calculi for Communicating Systems,, Fundamenta Informaticae,pp 1,tot.pag 40,2001
  10. G. Ferrari, C. Montangero, L. Semini, S. Semprini,MARK: A Reasoning Kit for Mobility, Automated Software Engineering,vol. 9,num. 2,pp 137-150,tot.pag 14,2002
  11. G. Ferrari, E. Moggi, R. Pugliese,MetaKlaim: A Type Safe Multi-stage Language for Global Computing, Mathematical Structures in Computer Science,pp 1,tot.pag 35,2003
  12. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore,A Model Checking Verification Environment for Mobile Processes, ACM Transactions on Software Engineering and Programming Methodologies,pp 1-37,tot.pag 37,2003
  13. M.Bartoletti, P.Degano, G. Ferrari,Stack Inspection and Secure Program Transformations, International Journal of Information Security,vol. 2,num. (3-4),pp 187-217,tot.pag 31,2004
  14. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Coalgebraic Minimization of HD-Automata for the π-Calculus Using Polymorphic Types, THEORETICAL COMPUTER SCIENCE,vol. Vol.331 (2-3),pp 325,tot.pag 41,2005
  15. G. Ferrari, U. Montanari, E. Tuosto,Co-algebraic minimization of HD-automata for the pi-calculus using polymorphic types, THEORETICAL COMPUTER SCIENCE,vol. 331,num. 2-3,pp 325-365,tot.pag 41,2005
  16. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI,Planning and Verifying Service Composition, INTERNATIONAL JOURNAL OF COMPUTER SECURITY,pp 1,tot.pag 68,2006
  17. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Semantics-based Design for Secure Web Services, I E E E TRANSACTIONS ON SOFTWARE ENGINEERING,vol. 34/1,pp 1,tot.pag 17,2008
  18. BRACCIALI ANDREA, FERRARI GIAN-LUIGI, Tuosto Emilio,A symbolic framework for multi- faceted security protocol analysis, INTERNATIONAL JOURNAL OF INFORMATION SECURITY,vol. Vol. 7 / Issue 1,pp 55,tot.pag 30,tot. autori 3,2008
  19. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.,Local Policies for Resource Usage Analysis, A C M TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,vol. 31 (6),pp 1,tot.pag 42,tot. autori 4,2009
  20. Ciancia Vincenzo, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Event based choreography.,vol. 75 (10),pp 848,tot.pag 878,2010
• 
  

  Capitolo, parte o articolo in libro

  1. R. De Nicola, G. Ferrari, R. Pugliese,Types as Specification of Access Policies in Secure Internet Programming: Security Issues for Distributed and Mobile Objects,pp 117, Springer Verlag,tot.pag. 30,1999
  2. G. Ferrari, U. Montanari, E. Tuosto,Graph-based Models of Internetworking Systems in Formal Methods at the Crossroads: from Panaces to Foundational Support, Springer,tot.pag. 26,2002
  3. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Secure Service Orchestration in Secure service Orchestration,pp 24, 74, Foundations of Security Analysis and Design IV (FOSAD),tot. autori 4,tot.pag. 51,2006
  4. FERRARI GIAN-LUIGI,Concurrency, Graphs and Models in Ugo Montanari and Software Verification,pp 618, 624,2008
  5. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio,Concurrency, Graphs and Models in Event-based Service Coordination,pp 312, 329,2008
  6. CIANCIA VINCENZO, FERRARI GIAN-LUIGI, Pistore Marco, Tuosto Emilio,Concurrency, Graphs and Models in History-Dependent Automata for Service Compatibility,pp 625, 641,2008
  7. Vincenzo Ciancia, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio,Model Driven Development of Long-Running Transactions in Rigorous Software Engineering for Service-Oriented Systems,pp 326, 348,2011
  8. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Call-by-Contract for Service Discovery, Orchestration and Recovery in Rigorous Software Engineering for Service-Oriented Systems,pp 232, 260,2011
• 
  

  Preprint

  1. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Semantics-based design for secure web services, tot.autori 4,2007
• 
  

  Articolo in atti di congresso

  1. G. Ferrari, G. Modoni, P. Quaglia,Towards a Semantic Based Verification Environment for the pi calculus, Italian Conference on Theoretical Computer Science, pp 451,vol. 5,1996
  2. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori,An automata based verification environment for the pi calculus - Tool Demonstration, Demos at CONCUR96, pp 10,vol. 1,1996
  3. F. Corradini, G. Ferrari, M. Pistore,Eager, Lazy and Busy Waiting Actions in Timed Computations, EXPRESS: Expressivity in Concurrency, pp 133,vol. 7,1997
  4. G. Ferrari, U. Montanari,Tiles for Concurrent and Causal Semantics, Express: Expressivity in Concurrency, pp 151,vol. 7,1997
  5. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori,An automata based verification environment for mobile processe, TACAS: Tools and Algorithms for the Construction and the Analysis of Systems, pp 275,vol. 1217,1997
  6. R. De Nicola, G. Ferrari, R. Pugliese,Coordinating Mobile agents via Blackboards and Access Rights, COORDINATION: Models and Languages, pp 220,vol. 1282,1997
  7. G. Ferrari, U. Montanari,A Tile Based View of the Asynchronous pi calculus, Mathematical Foundations of Computer Science, pp 52,vol. 1295,1997
  8. R. De Nicola, G. Ferrari, R. Pugliese,Locality based Linda: Programming with Explicit Localities, TAPSOFT: Theory and Practice of Software Development, pp 712,vol. 1214,1997
  9. L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese,Interactive Mobile Agents in XKlaim, Workshop on Enabling Technologies: Infrastructures for Collaborative Interprise, pp 110,vol. 3,1998
  10. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, G. Ristori,Verifying Mobile Process in the HAL Environment, Computer Aided Verification (CAV), pp 511,vol. 1427,1998
  11. G. Ferrari, C. Montangero, L. Semini, S. Semprini,A Refinement Calculus for Mobility, Workshop on Distributed Object Security, pp 20,vol. 2,1999
  12. L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese,Mobile Applications in XKlaim, Objects and Agents, pp 22,vol. 1,2000
  13. R. De Nicola, G. Ferrari, R. Pugliese,Programming Access Control: The KLAIM Experience, Concur-2000 - Concurrency Theory, pp 48,vol. 1877,2000
  14. G. Ferrari, C. Montangero, L. Semini, S. Semprini,Mobile Agents Coordination in Mob Adtl, Coordination: Models and Languages, pp 232,vol. 1906,2000
  15. G. Ferrari, C. Montangero, L. Semini, S. Semprini,Multiple Security Policies in Mob Adtl, Workshop on Issues in the Theory of Security, pp 50,vol. 1,2000
  16. G. Ferrari, R. Pugliese, E. Tuosto,Calculi for Network Aware Programming, Objects and Agents, pp 1,vol. 1,2000
  17. M. Bartoletti, P. Degano G. Ferrari,Static Analysis for Stack Inspection, International Workshop on Concurrency and Coordination, pp 68,vol. 54,2001
  18. M. Carbone, M. Coccia, G. Ferrari, S. Maffeis,Process Algebra - Guided Design of Java Mobile Network Applications, ECOOP Workshop on Formal Techniques for Java, pp 40,vol. 1,2001
  19. G. Ferrari, E. Tuosto,A Debugging Calculus for Mobile Ambients, ACM Symposium on Applied Computing (SAC), pp 425, Las Vegas (USA),vol. 16,2001
  20. G. Ferrari, E. Moggi, R. Pugliese,Network Services and Modal Types, International Workshop on Concurrency and Coordination, pp 34,vol. 54,2001
  21. A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto,Security Issues in Component-Based Design, International Workshop on Concurrency and Coordination, pp 48,vol. 54,2001
  22. G. Ferrari, E. Moggi, R. Pugliese,MetaKlaim: Meta Programming for Global Computing, Semantics, Applications and Implementation of Program Generation, pp 183,vol. 2196,2001
  23. G. Ferrari, U. Montanari, E. Tuosto,A LTS Semantics of Ambients via Graph Synchronization withMobility, Italian Conference on Theoretical Computer Science, pp 1,vol. 2201,2001
  24. G. Ferrari, C. Montangero, L. Semini, S. Semprini,Ad Hoc Network Applications: Specification, Design andVerification in Mob-Adtl, ICSE Workshop on Software Engineering and Mobility, pp 4, Toronto (Canada),vol. 1,2001
  25. G. Ferrari, E. Moggi, R. Pugliese,Higher-Order Types and Meta-Programming for Global Computing, Workshop Finale Progetto Tosca, pp 35,vol. 60,2001
  26. A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto,Security and Dynamic Compositions of Open Systems, International Conference on Parallel and Distributed Processing Techniques and Applications, pp 1372-1378,vol. Vol III,2002
  27. G. Ferrari, E. Moggi, R. Pugliese,Guardians for Ambient Based Monitoring, Foundations of Wide Area Network Programming, pp 1-24,vol. 66,2002
  28. G. Ferrari, U. Montanari, M. Pistore,Minimizing Transition Systems for Name-passing Calculi: A Co-algbraic Formulation, Foundations of Software Science and Computation Structures, pp 129-143,vol. 2303,2002
  29. M. Bartoletti, P. Degano, G. Ferrari,Static Analysis for Eager Stack Inspection, Workshop on Formal Techniques for Java-like Programs, pp 22-31,vol. ECOOP 2003 Workshop,2003
  30. G. Ferrari, U. Montanari, R. Raggi, E. Tuosto,From Co-algebraic Specifications to Implementation: The MIHDA toolkit}, Formal Methods for Components and Objects, pp 319-338,vol. 2852,2003
  31. M. Bartoletti, P. Degano, G. Ferrari,Security-Aware Program Transformations, Italian Conference on Theoretical Computer Science, pp 355-368,vol. 2841,2003
  32. L.Bettini and V.Bono and R.De Nicola and G.Ferrari and D.Gorla and M.Loreti and E.Moggi and R.Pugliese and E.Tuosto and B.Venneri,The Klaim Project: Theory and Practice, Global Computing: Programming Environments, Languages, Security and Analysis of Systems, pp 88-150,vol. 2874,2003
  33. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto,A Formal Basis for Reasoning on Programmable QoS, International Symposium on Verification, pp 100-120,vol. LNCS,2003
  34. G. Ferrari, A. Lluch-Lafuente,A Spatial Logic for QoS Properties of Graphs,, Views On Designing Complex Architectures, pp 147-164,vol. 1250,2004
  35. M. Bartoletti, P. Degano, G. Ferrari,Method-inlining in presence of stack-inspection, Workshop on Issues in the Theory of Security, pp 27-42,vol. WITS04,2004
  36. G. Ferrari, S. Gnesi, U. Montanari, R. Raggi, G. Trentanni, E. Tuosto,Verification on the web of mobile processe, 2nd International Workshop on Verification and Validation of Enterprise Information Systems, pp 72-74,vol. VVEIS,2004
  37. M. Baldamus, J., Bengston, G. Ferrari, R. Raggi,Web services as a new approach to distributing and coordinating semantics-based verification toolkits, First International Workshop on Web Services and Formal MethodsFormal Methods}, pp 11-2o,vol. 105,2004
  38. M. Bartoletti, P.Degano, G. Ferrari,Program transformations under dynamic security policies., Mephisto Final Workshop, pp 49-66,vol. 99,2004
  39. A. Bracciali, G. Baldi, G. Ferrari, E. Tuosto,A Coordination-based Methodology for Security Protocol Verification, 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), pp 23-46,vol. 121,2005
  40. G. Ferrari, U. Montanari, E. Tuosto,Modular Verification via Service Coordination, The Monterey Workshop Series, pp 55-60,vol. Monterey Workhop,2005
  41. M. Bartoletti, P. Degano, G. Ferrari,History-Based Access Control with Local Policies, Foundations of Software Science and Computational Structures (FoSSaCS 2005), pp 97-122,vol. 3441,2005
  42. Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo and Emilio Tuosto,From Theory to Practice in Transactional Composition of Web Services, WS-FM 2005, 2nd International Workshop on Web Services and Formal Methods, pp 272-286, Versailles, France,vol. 3670,2005
  43. G. Ferrari, U. Montanari, E. Tuosto, B. Victor, K. Yamane,Modelling Fusion Calculus using HD-Automata, Conference on Algebra and Coalgebra in Computer Science (CALCO 2005), pp 142-156,vol. 3629,2005
  44. M. Bartoletti, P. Degano, G. Ferrari,Policy Framings for Access Control, Workshop on Issues in the Theory of Security (WITS), pp 15-22,vol. Procs POPL'05 Satellite Events,2005
  45. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, E. Tuosto,A Process Calculus for QoS-aware Applications, Coordination 2005, pp 33-48,vol. 3454,2005
  46. M. Bartoletti, P. Degano, G. Ferrari,Enforcing Secure Service Composition, Computer Security Foundations Workshop (CSFW 2005), pp 211-223,vol. CSFW-18,2005
  47. G. Ferrari, U. Montanari, E. Tuosto,Model Checking for Nominal Calculi, Foundations of Software Science and Computational Structures (FoSSaCS 2005), pp 15-24,vol. 3441,2005
  48. M. Bartoletti. P. Degano, G. Ferrari,Plans for Service Composition, Workshop on Issues in the Theory of Security (WITS), pp 20-35,vol. WITS'06,2005
  49. M. Bartoletti, P. Degano,Security Issuees in Service Composition, Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp 1-16,vol. 4037,2006
  50. M. Bartoletti, P. Degano, G. Ferrari,Types and Effects for Secure Service Orchestration, Computer Security Foundations Workshop, pp 35-40,vol. CSFW-19,2006
  51. G. Ferrari, D. Hirsh, I. Lanese, U. Montanari, E. Tuosto,Synchronozed Hyperedge Replacement as a Model for Service Oriented Computing, Formal Methods for Components and Objects, pp 60-85,vol. 4111,2006
• 
  

  Atto di convegno internazionale con revisori articolo in extenso

  1. Bartoletti, M., Degano, P., Ferrari, G.L.,Checking Risky Events is Enough for Local Policies, ICTCS 2005, 12-14 October, pp 1111-1111, Siena, 12-14 October 2005,vol. 3701,2005
  2. Ciancia Vincenzo, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Global Coordination Policies for Services, International Conference on Formal Aspects of Component Software, pp 70-84, tot. autori 4,2008
  3. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio,Refactoring Long Running Transactions, Web Services and Formal Methods, pp 40-57, tot. autori 4,2008
  4. CIANCIA VINCENZO, FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Checking Correctness of Transactional Behaviours, IFIPWG 6.1 International Conference on Formal Methods, pp 134-148,vol. 5048,2008
  5. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio,Debugging Distributed Systems with Causal Nets, International Workshop on Petri Nets and Graph Transformations, pp 22-31,vol. Electronic Communication EASST,2008
  6. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Model Checking Usage Policies, Trustworthy Global Computing 2008, pp 19-35, Malaga,vol. 5474, tot. autori 4,2008
  7. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Hard Life with Weak Binders, 15th International Workshop on Expressiveness in Concurrency, pp 49-72,vol. 242 (1), tot. autori 4,2009
  8. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.,nu-Types for Effects and Freshness Analysis, ICTAC'09, pp 80-95, Kuala Lumpur, Malaysia,vol. 5684, tot. autori 4,2009
  9. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele, Tuosto Emilio,Refactoring Long Running Transactions: A Case Study, Trustworthly Global Computing - 5th International Symposium, TGC 2010, pp 318-334,vol. 6084,2010
  10. BODEI CHIARA, FERRARI GIAN-LUIGI,Choreography Rehearsal., International Workshop on Web Services and Formal Methods (WS-FM 2009), pp 29-45, Bologna, Italy,vol. Lecture Notes in Computer Science 6194, tot. autori 2,2010
  11. DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, MEZZETTI GIANLUCA,On Quantitative Security Policies, 11th Int. Conf. on Parallel Computing Technologies PaCT-11, pp 23-39, Kazan, Russia,vol. 6873,2011
  12. BODEI CHIARA, FERRARI GIAN-LUIGI, DINH VIET DUNG,Predicting global usages of resources endowed with local policies, Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'11), pp 49-64, Aachen, Germany,vol. EPTCS (58), tot. autori 3,2011
  13. BRUNI ROBERTO, CORRADINI ANDREA, FERRARI GIAN-LUIGI, Flagella Tito, Guanciale Roberto, Spagnolo Giorgio,Applying Process Analysis to the Italian eGovernment Enterprise Architecture, 8th International Workshop on Web Services and Formal Methods (WS-FM 2011), pp xx-xx, Clermont Ferrand, Francia, tot. autori 6,2011
  14. FERRARI GIAN-LUIGI, BODEI CHIARA, DINH VIET DUNG,A G-Local pi-calculus, Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, pp 1-8,2011
• 
  

  Atto di convegno internazionale con revisori articolo breve / poster

  1. BODEI CHIARA, Dung Dinh, FERRARI GIAN-LUIGI,Safer in the Clouds (Extended Abstract), Third Interaction and Concurrency Experience (ICE), pp 45-49, Amsterdam,vol. EPTCS 38, tot. autori 3,2010
• 
  

  Articolo su atti di congresso internazionale

  1. BRACCIALI ANDREA, BROGI ANTONIO, FERRARI GIAN-LUIGI, Tuosto Emilio,Security issues in component-based design, ConCoord: International Workshop on Concurrency and Coordination, pp 49-57,vol. 54,2001
  2. Bracciali Andrea, BROGI ANTONIO, FERRARI GIAN-LUIGI, Tuosto Emilio,Security and Dynamic Compositions of Open Systems, Internati. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA02), pp 1372-1377,2002
  3. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,JSCL: A Middleware for Service Coordination,, 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, pp 46-60, Parigi,vol. 4229,2006
  4. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Event Based Service Coordination over Dynamic and Heterogeneous Networks, 4th International Conference on Service Oriented Computing, pp 453-463, Chigago (USA),vol. 4294,2006
  5. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Coordination Via Types in an Event-Based Framework, 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, pp 66-80,vol. 4574,2007
  6. Ciancia Vincenzo, FERRARI GIAN-LUIGI,Co-Algebraic Models for Quantitative Spatial Logics, 5th Workshop on Quantitative Aspects of Programming Languages,, pp 43-58,vol. 190,2007
  7. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Types and Effects for Resource Usage Analysis, Foundations of Software Science and Computational Structures,, pp 32-47,vol. 4423,2007
• 
  

  Rapporto finale di ricerca pubblicato

  1. BODEI CHIARA, DINH VIET DUNG, FERRARI GIAN-LUIGI,Safer in the Clouds, Universita` di Pisa,2010
• 
  

  Recensione, prefazione, voce enciclopedica, catalogo, carta geologica ufficiale, editorial board di riviste

  1. FERRARI GIAN-LUIGI,Prefazione: Editoria Digitale, UTET, 2,2011
  2. FERRARI GIAN-LUIGI,Prefazione: Internet e Web 2.0, UTET, 2,2011
  3. FERRARI GIAN-LUIGI,Prefazione: Analisi e Basi di Dati, UTET, 2,2011
• 
  

  Software

  1. Degli innocenti Michela, FERRARI GIAN-LUIGI,RSF Design Environment,categoria ,1990
  2. Bettini Lorenzo, De nicola Rocco, FERRARI GIAN-LUIGI, Pugliese Rosario,Klava: Klaim Run Time Support,categoria ,1998
  3. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Gnesi Stefania, Pistore Marco,HAL: History Dependent Automata Laboratory,categoria ,progetto FET Global Computing PROFUNDIS,2002
  4. FERRARI GIAN-LUIGI, MONTANGERO CARLO, SEMINI LAURA, Semprini Simone,Mark Reasoning Environment,categoria ,2002
  5. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,MIHDA (Bisimulation Checker),categoria ,progetto FET Global Computing Project PROFUNDIS,2003
  6. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio, Raggi Roberto, Gnesi Stefania, Baldamus Michael,Profundis WEB Services,categoria ,progetto FET GLOBAL COMPUTING PROJECT PROFUNDIS,2004
  7. Baldi Giacomo, Bracciali Andrea, FERRARI GIAN-LUIGI, Tuosto Emilio,ASPASYA: Security Protocol Verification Environment,categoria ,progetto FET Global Computing Project PROFUNDIS,2004
  8. BRUNI ROBERTO, FERRARI GIAN-LUIGI, Melgratti Hernann, MONTANARI UGO GIOVANNI ERASMO, Strollo Daniele, Tuosto Emilio,Java Transactional Web Services (JTWS),categoria ,progetto FET GLOBAL COMPUTING PROJECT SENSORIA,2005
  9. FERRARI GIAN-LUIGI, Guanciale Roberto, Strollo Daniele,Java Signal Coordination Layer (JSCL),categoria ,progetto FET GLOBAL COMPUTING PROJECT SENSORIA,2006