2008 |
6 | EE | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
ECOOP 2008: 412-437 |
5 | EE | 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 | EE | 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 | EE | Jayshan Raghunandan,
Alexander J. Summers:
On the Computational Representation of Classical Logical Connectives.
Electr. Notes Theor. Comput. Sci. 171(3): 85-109 (2007) |
2 | EE | 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 | EE | Alexander J. Summers,
Steffen van Bakel:
Approaches to Polymorphism in Classical Sequent Calculus.
ESOP 2006: 84-99 |