Beauty Is Our Business
Latest Publications

TOTAL DOCUMENTS

54

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer New York

9781461287926, 9781461244769

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Drawing Lines, Circles, and Ellipses in a Raster

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_52 ◽

1990 ◽

pp. 427-434 ◽

Cited By ~ 1

Author(s):

N. Wirth

Download Full-text

Duality and De Morgan Principles for Lists

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_48 ◽

1990 ◽

pp. 390-398 ◽

Cited By ~ 1

Author(s):

D. A. Turner

Download Full-text

An Assignment Problem for the Vertices of a Cycle

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_47 ◽

1990 ◽

pp. 386-389

Author(s):

Henk C. A. Tilborg

Keyword(s):

Assignment Problem

Download Full-text

A Curious Property of Points and Circles in the Plane

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_42 ◽

1990 ◽

pp. 356-357 ◽

Cited By ~ 1

Author(s):

Karel A. Post

Keyword(s):

Curious Property

Download Full-text

An Exercise in the Verification of Multi-Process Programs

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_34 ◽

1990 ◽

pp. 289-301 ◽

Cited By ~ 6

Author(s):

Zohar Manna ◽

Amir Pnueli

Download Full-text

A Simple Program Whose Proof Isn’t

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_28 ◽

1990 ◽

pp. 233-242 ◽

Cited By ~ 7

Author(s):

Donald E. Knuth

Keyword(s):

Simple Program

Download Full-text

Formalizing Some Classic Synchronization Primitives

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_25 ◽

1990 ◽

pp. 212-219

Author(s):

J. J. Horning

Keyword(s):

Synchronization Primitives

Download Full-text

Serializable Programs, Parallelizable Assertions: A Basis for Interleaving

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_16 ◽

1990 ◽

pp. 135-140 ◽

Cited By ~ 2

Author(s):

Mohamed G. Gouda

Download Full-text

Examples in Program Composition

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_11 ◽

1990 ◽

pp. 94-101 ◽

Cited By ~ 2

Author(s):

K. Mani Chandy ◽

Stephen Taylor

Keyword(s):

Program Composition

Download Full-text

A Personal Perspective of the Alpern-Schneider Characterization of Safety and Liveness

Beauty Is Our Business ◽

10.1007/978-1-4612-4476-9_44 ◽

1990 ◽

pp. 365-372 ◽

Cited By ~ 2

Author(s):

Martin Rem

Keyword(s):

Personal Perspective

Download Full-text