Pamela Zave

4.8k total citations
83 papers, 2.6k citations indexed

About

Pamela Zave is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Pamela Zave has authored 83 papers receiving a total of 2.6k indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Artificial Intelligence, 30 papers in Information Systems and 29 papers in Computer Networks and Communications. Recurrent topics in Pamela Zave's work include Advanced Software Engineering Methodologies (33 papers), Formal Methods in Verification (21 papers) and Software Engineering Research (15 papers). Pamela Zave is often cited by papers focused on Advanced Software Engineering Methodologies (33 papers), Formal Methods in Verification (21 papers) and Software Engineering Research (15 papers). Pamela Zave collaborates with scholars based in United States, Canada and France. Pamela Zave's co-authors include Michael Jackson, Elsa L. Gunter, Carl A. Gunter, Shiva Nejati, Marsha Chećhik, Mehrdad Sabetzadeh, Steve Easterbrook, Raymond T. Yeh, Werner C. Rheinboldt and Jennifer Rexford and has published in prestigious journals such as Proceedings of the IEEE, Communications of the ACM and ACM Computing Surveys.

In The Last Decade

Pamela Zave

78 papers receiving 2.3k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Pamela Zave United States	25	1.7k	1.5k	921	580	564	83	2.6k
Daniel Jackson United States	21	1.3k 0.8×	1.2k 0.8×	1.2k 1.4×	516 0.9×	561 1.0×	81	2.3k
Stefania Gnesi Italy	28	1.3k 0.8×	1.3k 0.9×	855 0.9×	272 0.5×	569 1.0×	156	2.3k
Bran Selić Canada	21	970 0.6×	1.0k 0.7×	931 1.0×	628 1.1×	281 0.5×	100	2.1k
Oscar Nierstrasz Switzerland	33	2.3k 1.3×	2.8k 1.8×	1.3k 1.4×	1.3k 2.3×	341 0.6×	252	4.1k
Frank Budinsky Canada	7	1.3k 0.8×	1.3k 0.9×	1.3k 1.5×	490 0.8×	182 0.3×	8	2.2k
Marsha Chećhik Canada	29	1.9k 1.1×	1.6k 1.1×	1.5k 1.6×	534 0.9×	758 1.3×	188	2.9k
Mauro Pezzè Italy	34	908 0.5×	2.1k 1.4×	2.4k 2.6×	1.2k 2.0×	604 1.1×	184	3.6k
Rocco De Nicola Italy	25	1.5k 0.9×	648 0.4×	363 0.4×	1.0k 1.8×	1.3k 2.3×	131	2.5k
Farhad Arbab Netherlands	21	1.2k 0.7×	812 0.5×	359 0.4×	746 1.3×	613 1.1×	155	2.0k
Holger Giese Germany	21	965 0.6×	700 0.5×	806 0.9×	488 0.8×	365 0.6×	188	1.7k

Countries citing papers authored by Pamela Zave

Since Specialization

Citations

This map shows the geographic impact of Pamela Zave's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Pamela Zave with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Pamela Zave more than expected).

Fields of papers citing papers by Pamela Zave

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Pamela Zave. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Pamela Zave. The network helps show where Pamela Zave may publish in the future.

Co-authorship network of co-authors of Pamela Zave

This figure shows the co-authorship network connecting the top 25 collaborators of Pamela Zave. A scholar is included among the top collaborators of Pamela Zave based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Pamela Zave. Pamela Zave is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Balasubramanian, Bharath, Richard D. Schlichting, & Pamela Zave. (2018). Brief Announcement. 281–284. 1 indexed citations

2.

Zave, Pamela. (2015). How to Make Chord Correct (Using a Stable Base).. arXiv (Cornell University). 7 indexed citations

3.

Zave, Pamela. (2012). Using lightweight modeling to understand chord. ACM SIGCOMM Computer Communication Review. 42(2). 49–57. 44 indexed citations

4.

Zave, Pamela. (2007). Audio feature interactions in Voice-over-IP. 67–78. 4 indexed citations

5.

Zave, Pamela. (2003). From Architecture to Requirements: A Success Story.. 64(51). 9–13. 3 indexed citations

6.

Zave, Pamela. (2003). Ideal Address Translation: Principles, Properties, and Applications.. 257–274. 4 indexed citations

7.

Zave, Pamela & Michael Jackson. (2002). A Call Abstraction for Component Coordination. Electronic Notes in Theoretical Computer Science. 66(4). 36–55. 7 indexed citations

8.

Oliveira, José N. & Pamela Zave. (2001). FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings. Springer eBooks. 2 indexed citations

9.

Gunter, Carl A., Elsa L. Gunter, Michael Jackson, & Pamela Zave. (2000). A Reference Model for Requirements and Specifications. 189. 130 indexed citations

10.

Zave, Pamela & Michael Jackson. (2000). New Feature Interactions in Mobile and Multimedia Telecommunications Services.. 51–66. 13 indexed citations

11.

Zave, Pamela. (1998). Architectural Solutions to Feature-Interaction Problems in Telecommunications.. 24(3). 10–22. 14 indexed citations

12.

Hall, Anthony, David L. Dill, John Rushby, et al.. (1996). Industrial Practice. 29(4). 22–27. 1 indexed citations

13.

Zave, Pamela & Daniel Jackson. (1989). Practical Specification Techniques for Control-Oriented Systems.. IFIP Congress. 83–88. 5 indexed citations

14.

Zave, Pamela. (1989). A compositional approach to multiparadigm programming. IEEE Software. 6(5). 15–25. 59 indexed citations

15.

Zave, Pamela, et al.. (1987). An experiment in technology transfer: PAISLey specification of requirements for an undersea lightwave cable system. International Conference on Software Engineering. 42–50. 7 indexed citations

16.

Bergland, G. D. & Pamela Zave. (1986). Guest editors' prologue special issue on software design methods. IEEE Transactions on Software Engineering. SE-12(2). 185–191. 1 indexed citations

17.

Zave, Pamela. (1982). An Operational Approach to Requirements Specification for Embedded Systems. IEEE Transactions on Software Engineering. SE-8(3). 250–269. 193 indexed citations

18.

Zave, Pamela & Raymond T. Yeh. (1981). Executable requirements for embedded systems. International Conference on Software Engineering. 295–304. 29 indexed citations

19.

Zave, Pamela. (1979). Functional Specification of Asynchronous Processes and Its Application to the Early Phases of System Development.. Defense Technical Information Center (DTIC). 1 indexed citations

20.

Zave, Pamela. (1979). 'Real-World' Properties in the Requirements for Embedded Systems,. Defense Technical Information Center (DTIC). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact