( en | de | ru )

 

Disambiguation of "Matthews, John"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatic Constructor Classes in Isabelle/HOLCF.

, , and . TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)

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.

Ralph Matthews

Danny Matthews

James Matthews

Volker Matthews

Hanna Matthews

 

Other publications of authors with the same name

Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel)., , , , and . SIGMETRICS, page 60-61. ACM, (1995)Work-Conserving In-Sequence Striping in Multi-Band Wireless Backhaul Systems., , and . IEEE Trans. Mob. Comput., 13 (8): 1896-1908 (2014)Verifying BDD Algorithms through Monadic Interpretation., and . VMCAI, volume 2294 of Lecture Notes in Computer Science, page 182-195. Springer, (2002)A modified approach to data cache management., , , and . MICRO, page 93-103. ACM / IEEE Computer Society, (1995)Semantics of the reFLect language., and . PPDP, page 32-42. ACM, (2004)Virtualizing the access network via open APIs., , , , , and . CoNEXT, page 31-42. ACM, (2013)Low latency integrated point-to-multipoint and e-band point-to-point backhaul for mobile small cells., , , , , , and . ICC Workshops, page 592-597. IEEE, (2014)Transformer-optimized generation, detection, and tracking network for images with drainage pipeline defects., , , , , and . Comput. Aided Civ. Infrastructure Eng., 38 (15): 2109-2127 (October 2023)Rate and delay controlled core networks: An experimental demonstration., , , , and . IWQoS, page 1-9. IEEE, (2009)Recursive Function Definition over Coinductive Types.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 73-90. Springer, (1999)