Sophia Drossopoulou

Sophia Drossopoulou publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Sophia Drossopoulou sits on this spectrum.

Sophia Drossopoulou D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Sophia Drossopoulou sits on this spectrum.

Best Publications

• Ownership, encapsulation and the disjointness of type and effect

  Dave Clarke;Sophia Drossopoulou

  346
  Citations

• Towards type inference for javascript

  Christopher Anderson;Paola Giannini;Sophia Drossopoulou

  273
  Citations

• Session types for object-oriented languages

  Mariangiola Dezani-Ciancaglini;Dimitris Mostrous;Nobuko Yoshida;Sophia Drossopoulou

  206
  Citations

• Java is type safe — Probably

  Sophia Drossopoulou;Susan Eisenbach

  186
  Citations

• ECOOP 2009 - Object-Oriented Programming

  Sophia Drossopoulou

  174
  Citations

• Fickle: Dynamic Object Re-classification

  Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

  138
  Citations

• Deny capabilities for safe, fast actors

  Sylvan Clebsch;Sophia Drossopoulou;Sebastian Blessing;Andy McNeil

  136
  Citations

• More dynamic object reclassification: Ficklep

  Sophia Drossopoulou;Ferruccio Damiani;Mariangiola Dezani-Ciancaglini;Paola Giannini

  120
  Citations

• Multiple ownership

  Nicholas R. Cameron;Sophia Drossopoulou;James Noble;Matthew J. Smith

  115
  Citations

• Describing the Semantics of Java and Proving Type Soundness

  Sophia Drossopoulou;Susan Eisenbach

  105
  Citations

• Is the Java type system sound

  Sophia Drossopoulou;Susan Eisenbach;Sarfraz Khurshid

  100
  Citations

• Zeno: an automated prover for properties of recursive data structures

  William Sonnex;Sophia Drossopoulou;Susan Eisenbach

  93
  Citations

• A distributed object-oriented language with session types

  Mariangiola Dezani-Ciancaglini;Nobuko Yoshida;Alexander Ahern;Sophia Drossopoulou

  87
  Citations

• Chai : Traits for Java-like languages

  Charles Smith;Sophia Drossopoulou

  87
  Citations

• What is Java binary compatibility

  Sophia Drossopoulou;David Wragg;Susan Eisenbach

  84
  Citations

• Chai : traits for Java-like languages

  Charles Smith;Sophia Drossopoulou

  82
  Citations

• Polymorphic bytecode: compositional compilation for Java-like languages

  Davide Ancona;Ferruccio Damiani;Sophia Drossopoulou;Elena Zucca

  82
  Citations

• Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason

  Davide Ancona;Sophia Drossopoulou;Viviana Mascardi

  76
  Citations

• A fragment calculus-towards a model of separate compilation, linking and binary compatibility

  S. Drossopoulou;S. Eisenbach;D. Wragg

  75
  Citations

• Tribe: a simple virtual class calculus

  Dave Clarke;Sophia Drossopoulou;James Noble;Tobias Wrigstad

  73
  Citations