According to our database1, Stephanie Balzer authored at least 15 papers between 2005 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Programming Languages and Systems, 2019
Proceedings of the 29th International Conference on Concurrency Theory, 2018
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010
Modular reasoning about invariants over shared state with interposed data members: (abstract only).
ACM SIGPLAN Notices, 2009
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005