Julie Sussman

3 papers and 85 indexed citations i.

Julie Sussman has authored 3 papers that have received a total of 85 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Software and 1 paper in Computer Science Applications. The topics of these papers are Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Teaching and Learning Programming (1 paper). Julie Sussman is often cited by papers focused on Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Teaching and Learning Programming (1 paper) and collaborates with scholars based in United States. Julie Sussman's co-authors include Gerald Jay Sussman, Harold Abelson and Christopher H. Fry and has published in prestigious journals such as Computer Music Journal