by Sonnex, William, Drossopoulou, Sophia, Eisenbach, Susan
Published in Tools and Algorithms for the Construction and Analysis of Systems (2012)

by Franco, Juliana, Drossopoulou, Sophia
Published in Electronic proceedings in theoretical computer science (10.02.2016)

by Tasos, Alexandros, Franco, Juliana, Drossopoulou, Sophia, Wrigstad, Tobias, Eisenbach, Susan
Published in Science of computer programming (01.10.2020)

by Mackay, Julian, Eisenbach, Susan, Noble, James, Drossopoulou, Sophia
Published in Proceedings of ACM on programming languages (31.10.2022)

by Arvidsson, Ellen, Castegren, Elias, Clebsch, Sylvan, Drossopoulou, Sophia, Noble, James, Parkinson, Matthew J., Wrigstad, Tobias
Published in Proceedings of ACM on programming languages (16.10.2023)

by Cheeseman, Luke, Parkinson, Matthew J., Clebsch, Sylvan, Kogias, Marios, Drossopoulou, Sophia, Chisnall, David, Wrigstad, Tobias, Liétar, Paul
Published in Proceedings of ACM on programming languages (16.10.2023)

by Drossopoulou, Sophia, Noble, James
Published in Integrated Formal Methods (2014)

by Anderson, Christopher, Giannini, Paola, Drossopoulou, Sophia
Published in ECOOP 2005 - Object-Oriented Programming (2005)

by Clebsch, Sylvan, Franco, Juliana, Drossopoulou, Sophia, Yang, Albert Mingkun, Wrigstad, Tobias, Vitek, Jan
Published in Proceedings of ACM on programming languages (01.10.2017)

by Franco, Juliana, Clebsch, Sylvan, Drossopoulou, Sophia, Vitek, Jan, Wrigstad, Tobias
Published in UPMARC (2018)

by Dezani-Ciancaglini, Mariangiola, Drossopoulou, Sophia, Mostrous, Dimitris, Yoshida, Nobuko
Published in Information and computation (01.05.2009)

by Smith, Charles, Drossopoulou, Sophia
Published in ECOOP 2005 - Object-Oriented Programming (2005)

by Ancona, Davide, Drossopoulou, Sophia, Mascardi, Viviana
Published in Declarative Agent Languages and Technologies X (2013)

by DIETL, Werner, DROSSOPOULOU, Sophia, MULLER, Peter
Published in ACM transactions on programming languages and systems (01.12.2011)

by Capecchi, Sara, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Drossopoulou, Sophia, Giachino, Elena
Published in Theoretical computer science (06.02.2009)

by Drossopoulou, Sophia, Lagorio, Giovanni, Eisenbach, Susan
Published in Theoretical computer science (05.12.2006)

by Damiani, Ferruccio, Giachino, Elena, Giannini, Paola, Drossopoulou, Sophia
Published in Acta informatica (01.12.2008)

by Mackay, Julian, Drossopoulou, Sophia, Noble, James, Eisenbach, Susan
Year of Publication 16.09.2022

by DEZANI-CIANCAGLINI, Mariangiola, DROSSOPOULOU, Sophia, MOSTROUS, Dimitris, YOSHIDA, Nobuko
Published in Information and computation (2009)

by CAPECCHI, Sara, COPPO, Mario, DEZANI-CIANCAGLINI, Mariangiola, DROSSOPOULOU, Sophia, GIACHINO, Elena
Published in Theoretical computer science (2009)