Edit Profile (opens in new tab) Drossopoulou, Sophia Chloe Compute Distance To: Compute Author ID: drossopoulou.sophia Published as: Drossopoulou, Sophia; Drossopoulou, S. External Links: MGP · Wikidata · dblp Documents Indexed: 25 Publications since 1980, including 4 Books 3 Contributions as Editor · 1 Further Contribution Co-Authors: 40 Co-Authors with 26 Joint Publications 427 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Damiani, Ferruccio 5 Dezani-Ciancaglini, Mariangiola 5 Eisenbach, Susan 4 Dausmann, Manfred 4 Giannini, Paola 4 Persch, Guido 4 Winterstein, Georg 3 Giachino, Elena 3 Yoshida, Nobuko 2 Ancona, Davide 2 Goos, Gerhard 2 Lagorio, Giovanni 2 Leavens, Gary T. 2 Poetzsch-Heffter, Arnd 2 Poll, Erik 2 Summers, Alexander J. 2 Zucca, Elena 1 Ahern, Alexander 1 Bono, Viviana 1 Bugliesi, Michele 1 Bundschuh, Florian 1 Cameron, Nicholas 1 Capecchi, Sara 1 Certezeanu, Razvan 1 Clebsch, Sylvan 1 Coppo, Mario 1 Cunningham, Dave 1 Dietl, Werner 1 Egelund-Muller, Benjamin 1 Eisinger, Norbert 1 Fels, Gernot 1 Francalanza, Adrian 1 Franco, Juliana 1 Kirchgässner, Walter 1 Landwehr, Rudolf 1 Leino, K. Rustan M. 1 Mostrous, Dimitris 1 Müller, Peter 1 Peter, Tibor 1 Rapp, Robert 1 Schlüter, Manfred 1 Sivarajan, Sinduran 1 Sonnex, William 1 Vitek, Jan 1 Walter, Ingrid 1 Walter, Michael 1 Wheelhouse, Mark 1 Wood, Tim 1 Wrigstad, Tobias Serials 3 Lecture Notes in Computer Science 2 Theoretical Computer Science 1 Acta Informatica 1 Information and Computation 1 Electronic Notes in Theoretical Computer Science Fields 29 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 68 times in 49 Documents Cited by ▼ Year ▼ Objects and session types. Zbl 1183.68358Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko 14 2009 Bounded session types for object oriented languages. Zbl 1147.68445Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko 9 2007 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 A distributed object-oriented language with session types. Zbl 1151.68347Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia 7 2005 Zeno: an automated prover for properties of recursive data structures. Zbl 1352.68216Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan 6 2012 \(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2001 An attribute grammar for the semantic analysis of ADA. Zbl 0501.68001Uhl, J.; Drossopoulou, S.; Persch, G.; Goos, G.; Dausmann, M.; Winterstein, G.; Kirchgaessner, W. 3 1982 A type safe state abstraction for coordination in JAVA-like languages. Zbl 1180.68098Damiani, Ferruccio; Giachino, Elena; Giannini, Paola; Drossopoulou, Sophia 3 2008 Polymorphic bytecode: compositional compilation for Java-like languages. Zbl 1369.68122Ancona, Davide; Damiani, Ferruccio; Drossopoulou, Sophia; Zucca, Elena 3 2005 Flexible models for dynamic linking. Zbl 1032.68039Drossopoulou, Sophia; Lagorio, Giovanni; Eisenbach, Susan 2 2003 Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract). Zbl 1257.68050Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola 2 2003 An abstract model of Java dynamic linking and loading. Zbl 0985.68506Drossopoulou, Sophia 2 2001 ADA-0 reference and user manual. Zbl 0463.68044Persch, Guido; Winterstein, Georg; Dausmann, Manfred; Drossopoulou, Sophia 2 1981 Existential quantification for variant ownership. Zbl 1234.68064Cameron, Nicholas; Drossopoulou, Sophia 1 2009 Considerate reasoning and the Composite design pattern. Zbl 1273.68242Summers, Alexander J.; Drossopoulou, Sophia 1 2010 Correctness of a concurrent object collector for actor languages. Zbl 1418.68040Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias 1 2018 Quicksort revisited. Verifying alternative versions of quicksort. Zbl 1475.68102Certezeanu, Razvan; Drossopoulou, Sophia; Egelund-Muller, Benjamin; Leino, K. Rustan M.; Sivarajan, Sinduran; Wheelhouse, Mark 1 2016 Correctness of a concurrent object collector for actor languages. Zbl 1418.68040Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias 1 2018 Quicksort revisited. Verifying alternative versions of quicksort. Zbl 1475.68102Certezeanu, Razvan; Drossopoulou, Sophia; Egelund-Muller, Benjamin; Leino, K. Rustan M.; Sivarajan, Sinduran; Wheelhouse, Mark 1 2016 Zeno: an automated prover for properties of recursive data structures. Zbl 1352.68216Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan 6 2012 Considerate reasoning and the Composite design pattern. Zbl 1273.68242Summers, Alexander J.; Drossopoulou, Sophia 1 2010 Objects and session types. Zbl 1183.68358Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko 14 2009 Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena 7 2009 Existential quantification for variant ownership. Zbl 1234.68064Cameron, Nicholas; Drossopoulou, Sophia 1 2009 A type safe state abstraction for coordination in JAVA-like languages. Zbl 1180.68098Damiani, Ferruccio; Giachino, Elena; Giannini, Paola; Drossopoulou, Sophia 3 2008 Bounded session types for object oriented languages. Zbl 1147.68445Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko 9 2007 A distributed object-oriented language with session types. Zbl 1151.68347Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia 7 2005 Polymorphic bytecode: compositional compilation for Java-like languages. Zbl 1369.68122Ancona, Davide; Damiani, Ferruccio; Drossopoulou, Sophia; Zucca, Elena 3 2005 Flexible models for dynamic linking. Zbl 1032.68039Drossopoulou, Sophia; Lagorio, Giovanni; Eisenbach, Susan 2 2003 Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract). Zbl 1257.68050Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola 2 2003 \(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 4 2001 An abstract model of Java dynamic linking and loading. Zbl 0985.68506Drossopoulou, Sophia 2 2001 An attribute grammar for the semantic analysis of ADA. Zbl 0501.68001Uhl, J.; Drossopoulou, S.; Persch, G.; Goos, G.; Dausmann, M.; Winterstein, G.; Kirchgaessner, W. 3 1982 ADA-0 reference and user manual. Zbl 0463.68044Persch, Guido; Winterstein, Georg; Dausmann, Manfred; Drossopoulou, Sophia 2 1981 all cited Publications top 5 cited Publications all top 5 Cited by 89 Authors 8 Yoshida, Nobuko 7 Dezani-Ciancaglini, Mariangiola 4 Damiani, Ferruccio 4 Drossopoulou, Sophia Chloe 4 Gay, Simon J. 4 Giachino, Elena 3 Bettini, Lorenzo 3 Capecchi, Sara 3 Coppo, Mario 3 Padovani, Luca 3 Vasconcelos, Vasco Thudichum 2 Ancona, Davide 2 Carbone, Marco 2 Castellani, Ilaria 2 Giannini, Paola 2 Giunti, Marco 2 Honda, Kohei 2 Hozzová, Petra 2 Kovács, Laura Ildikó 2 Lagorio, Giovanni 2 Mostrous, Dimitris 2 Schaefer, Ina 2 Voronkov, Andrei 2 Zucca, Elena 1 Agha, Gul A. 1 Agrawal, Rakesh 1 Ahern, Alexander 1 Bartoletti, Massimo 1 Berardi, Stefano 1 Beringer, Lennart 1 Brown, Cynthia A. 1 Claessen, Koen 1 Clarke, Dave 1 Coglio, Alessandro 1 Dallal, Jehad Al 1 Dardha, Ornela 1 De Angelis, Emanuele 1 de’Liguoro, Ugo 1 Deniélou, Pierre-Malo 1 Detro, Keith D. 1 Donaldson, Alastair F. 1 Eberhard, Sebastian 1 Ehrig, Hartmut 1 Eisenbach, Susan 1 Ernst, Erik 1 Fagorzi, Sonia 1 Fey, Werner 1 Fioravanti, Fabio 1 García Perez-Schofield, J. Baltasar 1 Ghilezan, Silvia 1 Giegerich, Robert 1 Grechanik, S. A. 1 Hajdú, Márton 1 Hansen, Horst 1 Hetzl, Stefan 1 Hole, Malcolm 1 Horne, Ross 1 Igarashi, Atsushi 1 Jacobs, Dean 1 Johansson, Moa 1 Johnsen, Einar Broch 1 Kastens, Uwe 1 Leino, K. Rustan M. 1 Lowe, Michael J. S. 1 Ortín, Francisco 1 Owe, Olaf 1 Pantović, Jovanka 1 Parisi-Presicce, Francesco 1 Pérez, Jorge A. 1 Piancastelli, Giulio 1 Plyukhin, Dan 1 Proietti, Maurizio 1 Purdom, Paul Walton jun. 1 Ravara, António 1 Redondo, Jose Manuel 1 Ricci, Alessandro 1 Rosen, Dan 1 Saito, Chieri 1 Saleh, Kassem A. 1 Sangiorgi, Davide 1 Schoisswohl, Johannes 1 Seidl, Christoph 1 Smallbone, Nicholas 1 Thiemann, Peter J. 1 Toninho, Bernardo 1 Venneri, Betti 1 Vieira, Hugo Torres 1 Viroli, Mirko 1 Waite, William M. all top 5 Cited in 14 Serials 7 Acta Informatica 7 Theoretical Computer Science 5 Science of Computer Programming 3 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 1 Programming and Computer Software 1 Software. Practice & Experience 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Journal of Functional Programming 1 The Journal of Logic and Algebraic Programming 1 Concurrency and Computation: Practice & Experience 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 48 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.