Susan Eisenbach

Citado por

	Total	Desde 2020
Citas	3551	312
Índice h	26	9
Índice i10	53	8

220

110

165

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 20 37 68 128 132 138 158 163 191 190 209 184 195 162 153 167 125 129 112 93 94 80 64 79 58 75 78 48 54 55 2

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Sophia DrossopoulouProfessor, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Jeff MageeProfessor of Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Jeff KramerProfessor of Computing, Imperial CollegeDirección de correo verificada de imperial.ac.uk
Naranker DulayReader in Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Robert ChatleyImperial College LondonDirección de correo verificada de doc.ic.ac.uk
Tristan AllwoodTeaching Fellow, Imperial College LondonDirección de correo verificada de doc.ic.ac.uk
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Ross PatersonCity, University of LondonDirección de correo verificada de city.ac.uk
Peter MüllerETH ZurichDirección de correo verificada de inf.ethz.ch
Nobuko YoshidaDepartment of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Diomidis SpinellisProfessor, AUEB and TU DelftDirección de correo verificada de aueb.gr
Sarfraz KhurshidProfessor, University of Texas at AustinDirección de correo verificada de ece.utexas.edu
Andrew PhillipsSanofiDirección de correo verificada de sanofi.com
Simon Peyton JonesEpic GamesDirección de correo verificada de epicgames.com
Tim HarrisMicrosoftDirección de correo verificada de microsoft.com
Cristian CadarImperial College LondonDirección de correo verificada de imperial.ac.uk

Seguir

Susan Eisenbach

Professor Emeritus of Computing, Imperial College London

Dirección de correo verificada de imperial.ac.uk

Programming Languages Concurrency Testing Verification Smart Contracts


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	189	1997
Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999	158	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	96	2012
Writing safe smart contracts in Flint F Schrans, S Eisenbach, S Drossopoulou Companion Proceedings of the 2nd International Conference on the Art …, 2018	84	2018
What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998	78	1998
Coordination in evolving systems M Radestock, S Eisenbach International Workshop on Trends in Distributed Systems, 162-176, 1996	78	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	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores