( en | de | ru )

 

Disambiguation of "Gardiner, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
A collaborative analysis tool for visualisation and interaction with spatial data.

, , and . Web3D, page 75-83. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frederick Gardiner

Dorothea Paulick

Manfred Paul

Günther Paul

Konrad Paul

 

Other publications of authors with the same name

A Database Handler (DBH) for broadband network administration., and . Comput. Commun., 17 (2): 103-118 (1994)Data Refinement by Calculation., and . Acta Inf., 27 (6): 481-503 (1990)Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock., , , , , and . TACAS, volume 1019 of Lecture Notes in Computer Science, page 133-152. Springer, (1995)An Algebraic Construction of Predicate Transformers., , and . MPC, volume 669 of Lecture Notes in Computer Science, page 100-121. Springer, (1992)A Simpler Semantics for Z., , and . Z User Workshop, page 3-11. Springer, (1990)A Methodology for Model-Checking Ad-hoc Networks., , , and . SPIN, volume 2648 of Lecture Notes in Computer Science, page 181-196. Springer, (2003)Reasoning Algebraically about Recursion., and . Sci. Comput. Program., 18 (3): 271-280 (1992)The Formal Specification in Z of Defence Standard 00-56., , and . Z User Workshop, page 9-28. Springer/BCS, (1994)