Sophia Drossopoulou

Citeras av

	Alla	Sedan 2019
Citat	4594	849
h-index	34	15
i10-index	85	22

280

140

210

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202460 74 71 79 90 130 145 163 179 280 245 277 270 174 213 246 164 154 197 161 188 159 155 139 119 146 129

Offentlig åtkomst

Visa alla

12 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Susan EisenbachProfessor Emeritus of Computing, Imperial College LondonVerifierad e-postadress på imperial.ac.uk
James NobleCreative Research & ProgrammingVerifierad e-postadress på acm.org
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerifierad e-postadress på di.unito.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerifierad e-postadress på di.unito.it
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerifierad e-postadress på it.uu.se
Peter MüllerETH ZurichVerifierad e-postadress på inf.ethz.ch
Christopher Lyon AndersonElectric LabsVerifierad e-postadress på lyonanderson.org
Dave ClarkeIndependentVerifierad e-postadress på storytel.com
Davide AnconaGenovaVerifierad e-postadress på unige.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
Alexander J. SummersThe University of British ColumbiaVerifierad e-postadress på ubc.ca
Werner DietlElectrical and Computer Engineering, University of WaterlooVerifierad e-postadress på uwaterloo.ca
Gary T. LeavensProfessor, University of Central FloridaVerifierad e-postadress på cs.ucf.edu
Erik ErnstMember of the Dart programming language team, Google LLCVerifierad e-postadress på cs.au.dk
Diomidis SpinellisProfessor, AUEB and TU DelftVerifierad e-postadress på aueb.gr
Viviana MascardiAssociate Professor, University of Genova, ItalyVerifierad e-postadress på unige.it
Sarfraz KhurshidProfessor, University of Texas at AustinVerifierad e-postadress på ece.utexas.edu
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifierad e-postadress på uni-tuebingen.de
Dimitris Mostrous

Följ

Sophia Drossopoulou

Professor, Imperial College London

Verifierad e-postadress på imperial.ac.uk - Startsida

Programming Languages Program Verification Compilers Type Systems


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou Proceedings of the 17th ACM SIGPLAN conference on Object-oriented …, 2002	338	2002
Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	272	2005
Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou European Conference on Object-Oriented Programming, 328-352, 2006	192	2006
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
Generic universe types W Dietl, S Drossopoulou, P Müller ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007	152	2007
Deny capabilities for safe, fast actors S Clebsch, S Drossopoulou, S Blessing, A McNeil Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015	145	2015
Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001	135	2001
More dynamic object reclassification: Fickle∥ S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002	115	2002
Multiple ownership NR Cameron, S Drossopoulou, J Noble, MJ Smith ACM SIGPLAN Notices 42 (10), 441-460, 2007	111	2007
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
Chai: Traits for Java-Like Languages C Smith, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005	93*	2005
A distributed object-oriented language with session types M Dezani-Ciancaglini, N Yoshida, A Ahern, S Drossopoulou International Symposium on Trustworthy Global Computing, 299-318, 2005	84	2005
Writing safe smart contracts in Flint F Schrans, S Eisenbach, S Drossopoulou Companion Proceedings of the 2nd International Conference on the Art …, 2018	79	2018
What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998	77	1998
Polymorphic bytecode: Compositional compilation for Java-like languages D Ancona, F Damiani, S Drossopoulou, E Zucca Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	76	2005
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
Automatic generation of self-monitoring MASs from multiparty global session types in Jason D Ancona, S Drossopoulou, V Mascardi Declarative Agent Languages and Technologies X: 10th International Workshop …, 2013	71	2013
Tribe: a simple virtual class calculus D Clarke, S Drossopoulou, J Noble, T Wrigstad Proceedings of the 6th international conference on Aspect-oriented software …, 2007	71	2007

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare