Betti Venneri

According to our database1, Betti Venneri
  • authored at least 30 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Data-driven adaptation for smart sessions.
J. Log. Algebr. Meth. Program., 2017

2016
Parallel Monitors for Self-adaptive Sessions.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

2015
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications, 2015

2014
Self-Adaptive Monitors for Multiparty Sessions.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013
Deriving session and union types for objects.
Mathematical Structures in Computer Science, 2013

2011
Delegation by object composition.
Sci. Comput. Program., 2011

Object reuse and behavior adaptation in Java-like languages.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

2009
Featherweight Java with dynamic and static overloading.
Sci. Comput. Program., 2009

Dynamic overloading with copy semantics in object-oriented languages: a formal account.
ITA, 2009

A Safe Implementation of Dynamic Overloading in Java-Like Languages.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
A typed lambda calculus with intersection types.
Theor. Comput. Sci., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Session and Union Types for Object Oriented Programming.
Proceedings of the Concurrency, 2008

2007
Featherweight Java with multi-methods.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006
Double dispatch in C++.
Softw., Pract. Exper., 2006

2005
Translating Double Dispatch into Single Dispatch.
Electr. Notes Theor. Comput. Sci., 2005

MOMI: a calculus for mobile mixins.
Acta Inf., 2005

2004
Subtyping-Inheritance Conflicts: The Mobile Mixin Case.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

O'Klaim: A Coordination Language with Mobile Mixins.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Extending Java to dynamic object behaviors.
Electr. Notes Theor. Comput. Sci., 2003

The Klaim Project: Theory and Practice.
Proceedings of the Global Computing. Programming Environments, 2003

2002
Coordinating Mobile Object-Oriented Code.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
Hyperformulae, Parallel Deductions and Intersection Types.
Electr. Notes Theor. Comput. Sci., 2001

Towards Object-Oriented Klaim.
Electr. Notes Theor. Comput. Sci., 2001

2000
Types for access control.
Theor. Comput. Sci., 2000

1997
The "Relevance" of Intersection and Union Types.
Notre Dame Journal of Formal Logic, 1997

1994
Intersection Types as Logical Formulae.
J. Log. Comput., 1994

1990
Partial Types and Intervals.
SIAM J. Comput., 1990

1984
Principal Type Schemes for an Extended Type Theory.
Theor. Comput. Sci., 1984

1981
Functional Characters of Solvable Terms.
Math. Log. Q., 1981


  Loading...