Concepedia

Stephanie Balzer

SB

8

Publications

213

Citations

8

H-Index

2007

Active since

Affiliations

Carnegie Mellon University(Current)

Radboud University Nijmegen

Universidade Nova de Lisboa

Stephanie Balzer is an author at Carnegie Mellon University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisDesignSoftware DesignSystem Software

Publications per year

2007–2022

8

Publications

8

Manifest sharing with session types

Stephanie Balzer, Frank Pfenning · Proceedings of the ACM on Programming Languages · 2017 · 76 citations · Full text

Engineering, Concurrent System, Formal Verification +17

A relational model of object collaborations and its use in reasoning about relationships

Stephanie Balzer, Thomas R. Gross, Patrick Eugster · 2007 · 35 citations

Engineering, Semantics, Semantic Web +16

Ligia Nistor, Darya Kurilova, Stephanie Balzer et al. · 2013 · 24 citations

Engineering, Software Engineering, Software Analysis +16

Resource-Aware Session Types for Digital Contracts

Ankush Das, Stephanie Balzer, Jan Hoffmann et al. · 2021 · 19 citations · Full text

Engineering, Software Engineering, Transactional System +22

Multiparty GV: functional multiparty session types with certified deadlock freedom

Jules Jacobs, Stephanie Balzer, Robbert Krebbers · Proceedings of the ACM on Programming Languages · 2022 · 16 citations · Full text

Engineering, Verification, Computer Architecture +18

Rows per page

1–5 of 8