×

zbMATH — the first resource for mathematics

Owicki, Susan S.

Compute Distance To:
Author ID: owicki.susan-s Recent zbMATH articles by "Owicki, Susan S."
Published as: Owicki, S.; Owicki, Susan; Owicki, Susan S.
External Links: MGP · Wikidata
Documents Indexed: 15 Publications since 1976

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 258 times in 233 Documents Cited by Year
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
90
1976
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
65
1982
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
46
1976
Competitive randomized algorithms for nonuniform problems. Zbl 0806.68053
Karlin, A. R.; Manasse, M. S.; McGeoch, L. A.; Owicki, S.
21
1994
Competitive randomized algorithms for non-uniform problems. Zbl 0800.68456
Karlin, Anna R.; Manasse, Mark S.; McGeoch, Lyle A.; Owicki, Susan
11
1990
A consistent and complete deductive system for the verification of parallel programs. Zbl 0365.68010
Owicki, Susan
11
1976
A model and temporal proof system for networks of processes. Zbl 0598.68025
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
5
1986
Behavior: A temporal approach to process modelling. Zbl 0606.68022
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
4
1985
An axiomatic proof technique for parallel programs. Zbl 0395.68015
Owicki, Susan; Gries, David
3
1978
Specifications and proofs for abstract data types in concurrent programs. Zbl 0399.68032
Owicki, Susan S.
2
1979
Competitive randomized algorithms for nonuniform problems. Zbl 0806.68053
Karlin, A. R.; Manasse, M. S.; McGeoch, L. A.; Owicki, S.
21
1994
Competitive randomized algorithms for non-uniform problems. Zbl 0800.68456
Karlin, Anna R.; Manasse, Mark S.; McGeoch, Lyle A.; Owicki, Susan
11
1990
A model and temporal proof system for networks of processes. Zbl 0598.68025
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
5
1986
Behavior: A temporal approach to process modelling. Zbl 0606.68022
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
4
1985
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
65
1982
Specifications and proofs for abstract data types in concurrent programs. Zbl 0399.68032
Owicki, Susan S.
2
1979
An axiomatic proof technique for parallel programs. Zbl 0395.68015
Owicki, Susan; Gries, David
3
1978
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
90
1976
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
46
1976
A consistent and complete deductive system for the verification of parallel programs. Zbl 0365.68010
Owicki, Susan
11
1976
all top 5

Cited by 379 Authors

10 Hesselink, Wim H.
6 Apt, Krzysztof Rafal
6 Brookes, Stephen D.
6 de Boer, Frank S.
6 de Roever, Willem-Paul
5 Dovland, Johan
5 Francez, Nissim
5 Johnsen, Einar Broch
5 Owe, Olaf
5 Pnueli, Amir
4 Katz, Shmuel
4 Olderog, Ernst-Rüdiger
4 Steffen, Martin
4 Xu, Weijun
3 Broy, Manfred
3 Duan, Zhenhua
3 Groote, Jan Friso
3 Hayes, Ian J.
3 Hooman, Jozef Johannes Maria
3 Jones, Cliff B.
3 Méry, Dominique
3 Namjoshi, Kedar S.
3 Peled, Doron A.
3 Stirling, Colin
3 Vardi, Moshe Y.
3 Zhang, Weiguo
2 Abadi, Martín
2 Baeten, Jos C. M.
2 Bergstra, Jan A.
2 Cachera, David
2 Chaki, Sagar
2 Chrobak, Marek
2 Colvin, Robert J.
2 Costa, Gerardo
2 da Rocha Pinto, Pedro
2 Damaschke, Peter
2 Dinsdale-Young, Thomas
2 Gardner, Philippa Anne
2 Gries, David
2 Gupta, Sushmita
2 Gurfinkel, Arie
2 Halpern, Joseph Yehuda
2 Hoare, C. A. R. Tony
2 Jonsson, Bengt
2 Kamali, Shahin
2 Lam, Tak-Wah
2 Larmore, Lawrence L.
2 Lee, Lap-Kei
2 Levi, Amir
2 Li, Hongyi
2 López-Ortiz, Alejandro
2 Milner, Robin
2 Owicki, Susan S.
2 Patt-Shamir, Boaz
2 Reingold, Nick
2 Schneider, Fred B.
2 Seiden, Steve S.
2 Sernadas, Amilcar C.
2 Strichman, Ofer
2 Tian, Cong
2 To, Isaac K. K.
2 Utard, Gil
2 Wolper, Pierre
2 Wong, Prudence Wai-Ha
2 Yang, Xingyu
1 Ábrahám, Erika
1 Agarwal, Shivali
1 Ahrendt, Wolfgang
1 Alpern, Bowen
1 Alur, Rajeev
1 Amighi, Afshin
1 Amjad, Hasan
1 Ammann, Paul
1 Anderson, James H.
1 Andronick, June
1 Anisimov, Anatoly V.
1 Aravind, Alex A.
1 Attie, Paul C.
1 Avin, Chen
1 Azhar, Syarifuddin
1 Bae, Sung Eun
1 Bartal, Yair
1 Barthelmann, Klaus
1 Beckert, Bernhard
1 Bein, Wolfgang W.
1 Berman, Francine
1 Bernstein, Arthur J.
1 Best, Elke
1 Bezem, Marc
1 Bienkowski, Marcin
1 Biyani, Karun N.
1 Blocho, Miroslaw
1 Blom, Stefan
1 Bol, Roland N.
1 Bornat, Richard
1 Borsi, Zsolt
1 Boström, Pontus
1 Boudriga, Noureddine A.
1 Bougé, Luc
1 Buhăceanu, D. S.
...and 279 more Authors
all top 5

Cited in 46 Serials

48 Theoretical Computer Science
25 Formal Aspects of Computing
17 Distributed Computing
15 Information Processing Letters
12 Acta Informatica
10 Information and Computation
9 Formal Methods in System Design
4 Journal of Computer and System Sciences
4 Science of Computer Programming
4 Algorithmica
4 International Journal of Parallel Programming
4 The Journal of Logic and Algebraic Programming
3 Information Sciences
3 Cybernetics
3 Journal of Logical and Algebraic Methods in Programming
2 Computing
2 Annals of Pure and Applied Logic
2 Journal of Automated Reasoning
2 International Journal of Computer Mathematics
2 RAIRO. Informatique Théorique et Applications
2 Theory of Computing Systems
2 Sādhanā
2 ACM Transactions on Computational Logic
2 Algorithms
2 Computer Science Review
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of Computer & Information Sciences
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Operations Research
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Journal of Computer Science and Technology
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
1 Journal of Parallel and Distributed Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Journal of Global Optimization
1 Parallel Algorithms and Applications
1 Abstract and Applied Analysis
1 Journal of Combinatorial Optimization
1 Logical Methods in Computer Science
1 Acta Universitatis Sapientiae. Informatica
1 Frontiers of Computer Science in China

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.