Sophia Drossopoulou

Available identifiers

zbMath Open drossopoulou.sophiaWikidataQ4815312 ScholiaQ4815312MaRDI QIDQ859835

List of research outcomes

Publication	Date of Publication	Type
Holistic Specifications for Robust Programs	2022-10-13	Paper
Quicksort revisited. Verifying alternative versions of quicksort	2021-05-20	Paper
Correctness of a concurrent object collector for actor languages	2019-09-13	Paper
Polymorphic bytecode	2017-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q5398109	2014-02-26	Paper
Zeno: An Automated Prover for Properties of Recursive Data Structures	2012-06-29	Paper
Theoretical Computer Science	2010-02-23	Paper
Considerate Reasoning and the Composite Design Pattern	2010-01-14	Paper
Objects and session types	2009-06-08	Paper
Existential Quantification for Variant Ownership	2009-03-31	Paper
A type safe state abstraction for coordination in JAVA-like languages	2009-03-20	Paper
Amalgamating sessions and methods in object-oriented languages with generics	2009-03-02	Paper
Universe Types for Topology and Encapsulation	2009-02-12	Paper
Bounded Session Types for Object Oriented Languages	2008-09-17	Paper
A flexible model for dynamic linking in Java and C\#	2007-01-22	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738855	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417881	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417651	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4532091	2002-05-28	Paper
Fickle: Dynamic Object Re-classification	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q3914435	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914436	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914437	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sophia Drossopoulou