×
Edit Profile (opens in new tab)

Curtis, Sharon A.

Co-Author Distance
Author ID: curtis.sharon-a Recent zbMATH articles by "Curtis, Sharon A."
Published as: Curtis, S. A.; Curtis, Sharon A.; Curtis, Sharon
Documents Indexed: 14 Publications since 1996
Co-Authors: 5 Co-Authors with 9 Joint Publications
51 Co-Co-Authors

Co-Authors

5 single-authored
6 Martin, Clare E.
2 Rewitzky, Ingrid
1 Bird, Richard S.
1 Lowe, Gavin
1 Mu, Shin-Cheng

Serials

5 Journal of Functional Programming
3 Science of Computer Programming
1 Information Processing Letters
1 Mathematical Structures in Computer Science

Fields

13 Computer science (68-XX)
2 Category theory; homological algebra (18-XX)
2 Operations research, mathematical programming (90-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 41 times in 32 Documents Cited by ▼ Year ▼
Proofs with graphs. Zbl 0852.68070
Curtis, Sharon; Lowe, Gavin
12
1996
Modelling angelic and demonic nondeterminism with multirelations. Zbl 1106.68023
Martin, C. E.; Curtis, S. A.; Rewitzky, I.
11
2007
Modelling nondeterminism. Zbl 1106.68343
Martin, Clare E.; Curtis, Sharon A.; Rewitzky, Ingrid
6
2004
The algebra of multirelations. Zbl 1352.18001
Martin, C. E.; Curtis, S. A.
4
2013
Monadic maps and folds for multirelations in an allegory. Zbl 1286.68087
Martin, C. E.; Curtis, S. A.
3
2010
The classification of greedy algorithms. Zbl 1078.68153
Curtis, S. A.
3
2003
Nondeterministic folds. Zbl 1235.68047
Martin, Clare E.; Curtis, Sharon A.
2
2006
The algebra of multirelations. Zbl 1352.18001
Martin, C. E.; Curtis, S. A.
4
2013
Monadic maps and folds for multirelations in an allegory. Zbl 1286.68087
Martin, C. E.; Curtis, S. A.
3
2010
Modelling angelic and demonic nondeterminism with multirelations. Zbl 1106.68023
Martin, C. E.; Curtis, S. A.; Rewitzky, I.
11
2007
Nondeterministic folds. Zbl 1235.68047
Martin, Clare E.; Curtis, Sharon A.
2
2006
Modelling nondeterminism. Zbl 1106.68343
Martin, Clare E.; Curtis, Sharon A.; Rewitzky, Ingrid
6
2004
The classification of greedy algorithms. Zbl 1078.68153
Curtis, S. A.
3
2003
Proofs with graphs. Zbl 0852.68070
Curtis, Sharon; Lowe, Gavin
12
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 46 Authors

7 Veloso, Paulo Augusto Silva
7 Veloso, Sheila R. M.
5 Viana, Petrucio
4 de Freitas, Renata P.
4 Furusawa, Hitoshi
3 Formisano, Andrea
3 Guttmann, Walter
3 Struth, Georg
2 Benevides, Mario R. F.
2 Berghammer, Rudolf
2 Kawahara, Yasuo
2 Nicolosi Asmundo, Marianna
2 Tsumagari, Norihiro
1 Appiah, Frederick VonWolff
1 Appiah, Martinson Yeboah
1 Barbosa, Luís Soares
1 Bird, Richard S.
1 Boateng, Kwasi
1 Cansell, Dominique
1 Cantone, Domenico
1 Cavalcanti, Ana
1 Cerioli, Márcia R.
1 Curtis, Sharon A.
1 Dougherty, Daniel J.
1 Dunne, Steve E.
1 Fecher, Harald
1 Gutiérrez, Claudio
1 Hesselink, Wim H.
1 Koenig, Jérémie
1 Madeira, Alexandre
1 Mamouras, Konstantinos
1 Martin, Clare E.
1 Martins, Manuel António
1 Méry, Dominique
1 Morris, Joseph M.
1 Mu, Shin-Cheng
1 Naumann, David A.
1 Omodeo, Eugenio Giovanni
1 Preoteasa, Viorel
1 Qiang, Xiong
1 Schmidt, Heiko A.
1 Shao, Zhong
1 Simeoni, Marta
1 Suguitani, Leandro
1 Tyrrell, Malcolm
1 Woodcock, James C. P.
all top 5

Cited in 13 Serials

5 Journal of Logical and Algebraic Methods in Programming
3 Theoretical Computer Science
2 ACM Transactions on Computational Logic
1 Acta Informatica
1 Opsearch
1 Studia Logica
1 Information and Computation
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Logical Methods in Computer Science
1 RAIRO. Theoretical Informatics and Applications
all top 5

Cited in 6 Fields

23 Computer science (68-XX)
19 Mathematical logic and foundations (03-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Category theory; homological algebra (18-XX)
2 Operations research, mathematical programming (90-XX)
1 General algebraic systems (08-XX)

Citations by Year