| Specifying distributed software architectures J Magee, N Dulay, S Eisenbach, J Kramer European Software Engineering Conference, 137-153, 1995 | 1309 | 1995 |
| Java is type safe—probably S Drossopoulou, S Eisenbach European Conference on Object-Oriented Programming, 389-418, 1997 | 178 | 1997 |
| Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999 | 152 | 1999 |
| Describing the semantics of Java and proving type soundness S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java, 41-80, 1999 | 98 | 1999 |
| Zeno: An automated prover for properties of recursive data structures W Sonnex, S Drossopoulou, S Eisenbach International Conference on Tools and Algorithms for the Construction and …, 2012 | 78 | 2012 |
| What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 76 | 1998 |
| Coordination in evolving systems M Radestock, S Eisenbach International Workshop on Trends in Distributed Systems, 162-176, 1996 | 74 | 1996 |
| 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 | 71 | 1999 |
| Writing safe smart contracts in Flint F Schrans, S Eisenbach, S Drossopoulou Conference companion of the 2nd international conference on art, science …, 2018 | 56 | 2018 |
| Universes for race safety D Cunningham, S Drossopoulou, S Eisenbach Verification and Analysis of Multi-threaded Java-like Programs (VAMP), 20-51, 2007 | 53 | 2007 |
| Flexible models for dynamic linking S Drossopoulou, G Lagorio, S Eisenbach European Symposium on Programming, 38-53, 2003 | 51 | 2003 |
| Java type soundness revisited S Drossopoulou, T Valkevych, S Eisenbach | 46 | 2000 |
| Functional programming: languages, tools and architectures S Eisenbach | 46 | 1987 |
| MagicBeans: a platform for deploying plugin components R Chatley, S Eisenbach, J Magee International Working Conference on Component Deployment, 97-112, 2004 | 41 | 2004 |
| pi-Calculus semantics for the concurrent configuration language Darwin S Eisenbach, R Paterson [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 41 | 1993 |
| Predictable dynamic plugin systems R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel International Conference on Fundamental Approaches to Software Engineering …, 2004 | 40 | 2004 |
| A distributed abstract machine for boxed ambient calculi A Phillips, N Yoshida, S Eisenbach European Symposium on Programming, 155-170, 2004 | 39 | 2004 |
| Modelling a framework for plugins R Chatley, S Eisenbach, J Magee SAVCBS 2003 Specification and Verification of Component-Based Systems, 49, 2003 | 37 | 2003 |
| Towards an operational semantics and proof of type soundness for Java S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java 1523, 1998 | 37 | 1998 |
| JErlang: Erlang with joins H Plociniczak, S Eisenbach International Conference on Coordination Languages and Models, 61-75, 2010 | 36 | 2010 |
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
