Concepedia

D. Crocker

DC

6

Publications

131

Citations

6

H-Index

1979

Active since

Affiliations

UNSW Sydney(Current)

Dartmouth College

University of Newcastle Australia

D. Crocker is an author at UNSW Sydney specializing in engineering, computer engineering, and representation theory.

Top concepts

EngineeringComputer ScienceComputer EngineeringRepresentation TheoryEducationVerificationCommunicationFormal MethodsData ManagementNetwork Science

Publications per year

1979–2007

6

Publications

6

An Equivariant Brauer Group and Actions of Groups onC*-Algebras

D. Crocker, Alexander Kumjian, Iain Raeburn et al. · Journal of Functional Analysis · 1997 · 55 citations · Full text

Abstract Algebra, Representation Theory, Equivariant Brauer Group +7

Verification of C Programs Using Automated Reasoning

D. Crocker, Judith Carlton · 2007 · 23 citations

Program Checking, Engineering, Verification +18

An internetwork memo distribution capability---MMDF

D. Crocker, Edward S. Szurkowski, David J. Farber · 1979 · 16 citations · Full text

Engineering, Equivalent Packet Networks, Network Analysis +16

An Equivariant Brauer Group and Actions of Groups on C*-algebras

D. Crocker, Alex Kumjian, Iain Raeburn et al. · ArXiv.org · 1994 · 14 citations · Full text

Geometric Group Theory, Representation Theory, Stable Continuous-trace \Cs-algebras +9

Toeplitz operators on certain weakly pseudoconvex domains

D. Crocker, Iain Raeburn · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1981 · 13 citations · Full text

Spectral Theory, Toeplitz Operators, Linear Operator +7

Rows per page

1–5 of 6