 | 2009 |
|---|
| 7 |       | Alexander J. Summers,
Sophia Drossopoulou,
Peter Müller:
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.
Journal of Object Technology 8(4): 85-125 (2009) |
| 2008 |
|---|
| 6 | | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
ECOOP 2008: 412-437 |
| 5 | | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
Types, Logics and Semantics for State 2008 |
| 2007 |
|---|
| 4 | | Dave Cunningham,
Werner Dietl,
Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
Universe Types for Topology and Encapsulation.
FMCO 2007: 72-112 |
| 3 | | Jayshan Raghunandan,
Alexander J. Summers:
On the Computational Representation of Classical Logical Connectives.
Electr. Notes Theor. Comput. Sci. 171(3): 85-109 (2007) |
| 2 | | Krysia Broda,
Jiefei Ma,
Gabrielle Sinnadurai,
Alexander J. Summers:
Pandora: A Reasoning Toolbox using Natural Deduction Style.
Logic Journal of the IGPL 15(4): 293-304 (2007) |
| 2006 |
|---|
| 1 | | Alexander J. Summers,
Steffen van Bakel:
Approaches to Polymorphism in Classical Sequent Calculus.
ESOP 2006: 84-99 |
