( en | de | ru )

 

Disambiguation of "Simons, Anthony J. H."

Author of the publication

copydeleteadd this publication to your clipboard
Z2SAL - Building a Model Checker for Z.

, , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 280-293. Springer, (2008)

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.

Anthony J. Hornof

Paul-H Simons

Anthony J Harper

Anthony J Gittins

H J Plüss

 

Other publications of authors with the same name

Pattern-Driven Partitioning in Designing Distributed Object Applications., and . EuroPLoP, page 583-616. UVK - Universitaetsverlag Konstanz, (2004)A speech recognition strategy based on making acoustic evidence and phonetic knowledge explicit., , , and . ECST, page 1373-1376. ISCA, (1987)30 Things that Go Wrong in Object Modelling with UML 1.3., and . Behavioral Specifications of Businesses and Systems, volume 523 of The Kluwer International Series in Engineering and Computer Science, Springer, (1999)A Theory of Class.. OOIS, page 44-56. Springer, (1996)Using Alloy to model-check visual design notations, and . Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, page 121--128. IEEE Computer Society, (2005)Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs., , and . IEEE Trans. Serv. Comput., 16 (4): 2742-2754 (July 2023)The Theory of Classification, Part 10: Method Combination and Super-Reference.. J. Object Technol., 3 (1): 43-53 (2004)The Theory of Classification, Part 1: Perspectives on Type Compatibility.. J. Object Technol., 1 (1): 55-61 (2002)The Theory of Classification, Part 2: The Scratch-Built Typechecker.. J. Object Technol., 1 (2): 47-54 (2002)The Theory of Classification, Part 7: A Class is a Type Family.. J. Object Technol., 2 (3): 13-22 (2003)