Explore over 5,214,755 papers,
46,254 were added last week.
Author
|
Conference
|
Journal
|
Year
Look for results that meet for the following criteria:
Later than
Equal to
Earlier than
Papers
Authors
Conferences
Journals
View Top Co-Authors In
Visual Explorer
Lawrence Flon
Top Co-Authors:
Mary Shaw (3)
A. Nico Habermann (3)
Norihisa Suzuki (3)
Wm. A. Wulf (2)
Paul N. Hilfinger (2)
Ian T. Foster (1)
Carl Kesselman (1)
Jayadev Misra (1)
William A. Wulf (1)
Suresh Singh (1)
Mark W. Green (1)
Michael D. Ernst (1)
Russell B. Miller (1)
Yong Zhao (1)
Keith D. Baker (1)
Ewa Deelman (1)
Brian Tierney (1)
Robert Gardner (1)
Xin Zhao (1)
Jason Smith (1)
ObjectID : Author/403157
Lawrence Flon
(
Publications: 15
)
(
Citation Count: 229
)
(
G-Index: 15
)
(
H-Index: 7
)
The University of Texas at Austin, Austin, Texas
Permanent Link:
http://academic.research.microsoft.com/Author/403157.aspx
Order by:
Year
|
Citation
|
Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.
Learn more
Papers
Citations
Year 2004
Ian T. Foster
,
Jerry Gieraltowski
,
Scott Gose
,
Natalia Maltsev
,
Edward N. May
,
Alex Rodriguez
,
Dinanath Sulakhe
,
A. Vaniachine
,
Jim Shank
,
Saul Youssef
,
David Adams
,
Richard Baker
,
Wensheng Deng
,
Jason Smith
,
Dantong Yu
,
Iosif Legrand
,
Suresh Singh
,
Conrad Steenberg
,
Yang Xia
,
M. Anzar Afaq
,
Eileen Berman
,
James Annis
,
L. A. T. Bauerdick
,
Michael Ernst
,
Ian Fisk
,
Lisa Giacchetti
,
Gregory E. Graham
,
Anne Heavey
,
Joseph Kaiser
,
Nickolai Kuropatkin
,
Ruth Pordes
,
Vijay Sekhri
,
John Weigand
,
Yujun Wu
,
Keith Baker
,
Lawrence Sorrillo
,
John Huth
,
Matthew Allen
,
Leigh Grundhoefer
,
John Hicks
,
Fred Luehring
,
Steve Peck
,
Rob Quick
,
Stephen Simms
,
George Fekete
,
Jan Vandenberg
,
Kihyeon Cho
,
Kihwan Kwon
,
Dongchul Son
,
Hyoungwoo Park
,
Shane Canon
,
Keith R. Jackson
,
David E. Konerding
,
Jason Lee
,
Doug Olson
,
Iowa Sakrejda
,
Brian Tierney
,
Mark Green
,
Russ Miller
,
James Letts
,
Terrence Martin
,
David Bury
,
Catalin Dumitrescu
,
Daniel Engh
,
Robert Gardner
,
Marco Mambelli
,
Yuri Smirnov
,
Jenss. Vöckler
,
Michael Wilde
,
Yong Zhao
,
Xin Zhao
,
Paul Avery
,
Richard Cavanaugh
,
Bockjoo Kim
,
Craig Prescott
,
Jorge Luis Rodriguez
,
Andrew Zahn
,
Shawn Mckee
,
Christopher T. Jordan
,
James E. Prewett
,
Timothy L. Thomas
,
Horst Severini
,
Ben Clifford
,
Ewa Deelman
,
Larry Flon
,
Carl Kesselman
,
Gaurang Mehta
,
Nosa Olomu
,
Karan Vahi
,
Kaushik De
,
Patrick Mcguigan
,
Mark Sosebee
,
Dan Bradley
,
Peter Couvares
,
Alan Desmet
,
Carey Kireyev
,
Erik Paulson
,
Alain Roy
,
Scott Koranda
,
Brian Moe
,
Bobby Brown
,
Paul Sheldon
:
The Grid2003 Production Grid: Principles and Practice
,
HPDC
, 2004
(
Citations: 49
)
Year 1981
Lawrence Flon
,
Norihisa Suzuki
:
The Total Correctness of Parallel Programs
,
SIAMCOMP
, 1981
(
Citations: 4
)
William A. Wulf
,
Mary Shaw
,
Paul N. Hilfinger
,
Lawrence Flon
:
Fundamental structures of computer science
, 1981
(
Citations: 18
)
Year 1980
W. A. Wulf
,
M. Shaw
,
L. Flon
,
P. N. Hillinger
:
Fundamental structures of computer science
, 1980
(
Citations: 6
)
Year 1979
L. Flon
,
J. Misra
:
A unified approach to the specification and verification of abstract data types
, 1979
(
Citations: 6
)
Year 1978
Lawrence Flon
,
Norihisa Suzuki
:
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs
,
FOCS
, 1978
(
Citations: 12
)
Lawrence Flon
,
Paul N. Hilfinger
,
Mary Shaw
,
Wm. A. Wulf
:
A fundamental computer science course that unifies theory and practice
,
SIGCSE
, 1978
(
Citations: 3
)
Year 1977
L. Flon
:
On the design and verification of operating systems
, 1977
(
Citations: 6
)
L. Flon
,
N. Suzuki
:
Nondeterminism and the correctness of parallel programs
, 1977
(
Citations: 3
)
Year 1976
A. Nico Habermann
,
Lawrence Flon
,
Lee W. Cooprider
:
Modularization and Hierarchy in a Family of Operating Systems
,
CACM
, 1976
(
Citations: 80
)
A. N. Habermann
,
L. Flon
:
Cooprider: modularization and hierarchy in a family of operating systems
, 1976
(
Citations: 16
)
Lawrence Flon
,
A. Nico Habermann
:
Towards the Construction of Verifiable Software Systems
,
ACM SIGPLAN Conferences and Workshops
, 1976
(
Citations: 12
)
Year 1975
L. Flon
:
Program design with abstract data types
, 1975
(
Citations: 4
)
Lawrence Flon
:
On research in structured programming
,
SIGPLAN
, 1975
(
Citations: 8
)
Year 1974
L. Flon
:
A survey of some issues concerning abstract data types
, 1974
(
Citations: 2
)