| Specifying distributed software architectures J Magee, N Dulay, S Eisenbach, J Kramer Software Engineering—ESEC'95: 5th European Software Engineering Conference …, 1995 | 1331 | 1995 |
| Java is type safe—probably S Drossopoulou, S Eisenbach ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997 | 188 | 1997 |
| Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999 | 157 | 1999 |
| Describing the semantics of Java and proving type soundness S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java, 41-80, 1999 | 100 | 1999 |
| Zeno: An automated prover for properties of recursive data structures W Sonnex, S Drossopoulou, S Eisenbach Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 95 | 2012 |
| Writing safe smart contracts in Flint F Schrans, S Eisenbach, S Drossopoulou Companion Proceedings of the 2nd International Conference on the Art …, 2018 | 83 | 2018 |
| Coordination in evolving systems M Radestock, S Eisenbach International Workshop on Trends in Distributed Systems, 162-176, 1996 | 78 | 1996 |
| What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 77 | 1998 |
| A fragment calculus-towards a model of separate compilation, linking and binary compatibility S Drossopoulou, S Eisenbach, D Wragg Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 74 | 1999 |
| Flexible models for dynamic linking S Drossopoulou, G Lagorio, S Eisenbach European Symposium on Programming, 38-53, 2003 | 53 | 2003 |
| Universes for race safety D Cunningham, S Drossopoulou, S Eisenbach Verification and Analysis of Multi-threaded Java-like Programs (VAMP), 20-51, 2007 | 51 | 2007 |
| A distributed abstract machine for boxed ambient calculi A Phillips, N Yoshida, S Eisenbach Programming Languages and Systems: 13th European Symposium on Programming …, 2004 | 47 | 2004 |
| Functional programming: languages, tools, and architectures S Eisenbach Halsted Press, 1987 | 47 | 1987 |
| MagicBeans: a platform for deploying plugin components R Chatley, S Eisenbach, J Magee International Working Conference on Component Deployment, 97-112, 2004 | 45 | 2004 |
| Java type soundness revisited S Drossopoulou, T Valkevych, S Eisenbach Technical report, Imperial College London, 2000 | 45 | 2000 |
| Modelling a framework for plugins R Chatley, S Eisenbach, J Magee SAVCBS 2003 Specification and Verification of Component-Based Systems, 49, 2003 | 40 | 2003 |
| pi-Calculus semantics for the concurrent configuration language Darwin S Eisenbach, R Paterson [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 40 | 1993 |
| Predictable dynamic plugin systems R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel Fundamental Approaches to Software Engineering: 7th International Conference …, 2004 | 39 | 2004 |
| JErlang: Erlang with joins H Plociniczak, S Eisenbach Coordination Models and Languages: 12th International Conference …, 2010 | 38 | 2010 |
| Session types in Haskell: Updating message passing for the 21st century M Sackman, S Eisenbach Unpublished manuscript, 2008 | 38 | 2008 |
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
