BibSonomy :: author  ::

bookmarks

publications

(35)

• Biomagnetic measurements of spontaneous brain activity in epileptic patients
  I. Modena and G. B. Ricci and S. Barbanera and Leoni R. and G. L. Romani and P. Carelli Electroencephalography and clinical Neurophysiology 54 622-628 (1982)
  to CCP JRR, SQUID, activity, bioelectrical brain currents, electrical by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• Space-aware ambients and processes.
  Franco Barbanera and Michele Bugliesi and Mariangiola Dezani-Ciancaglini and Vladimiro Sassone Theor. Comput. Sci. 373 41-69 (2007)
  to dblp by dblp on 2007-03-30 00:00:00
  | URL | BibTeX  
• Intersection types and lambda models.
  Fabio Alessi and Franco Barbanera and Mariangiola Dezani-Ciancaglini Theor. Comput. Sci. 355 108-126 (2006)
  to dblp by dblp on 2006-04-27 00:00:00
  | URL | BibTeX  
• Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube
  Franco Barbanera and Maribel Fernández and Herman Geuvers LICS 406-415 (1994)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX  
• Towards a Semantics for the QUEST Language
  Fabio Alessi and Franco Barbanera LICS 12-21 (1991)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX  
• Intersection and Union Types: Syntax and Semantics
  Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro Inf. Comput. 119 202-230 (1995)
  to dblp by dblp on 2006-04-25 00:00:00
  | URL | BibTeX  
• Type Assignement for Mobile Objects.
  Franco Barbanera and Ugo de'Liguoro Electr. Notes Theor. Comput. Sci. 104 25-38 (2004)
  to dblp by dblp on 2005-05-13 00:00:00
  | URL | BibTeX  
• A Type Inference Algorithm for Secure Ambients.
  Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ivano Salvo and Vladimiro Sassone Electr. Notes Theor. Comput. Sci. 62 (2001)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• Intersection Types and Computational Rules.
  Fabio Alessi and Franco Barbanera and Mariangiola Dezani-Ciancaglini Electr. Notes Theor. Comput. Sci. 84 (2003)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• Can addresses be types? (A case study: objects with delegation).
  Christopher Anderson and Franco Barbanera and Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou Electr. Notes Theor. Comput. Sci. 82 (2003)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX