( en | de | ru )

 

Disambiguation of "Ridge, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.

, , and . FM, volume 5014 of Lecture Notes in Computer Science, page 294-309. 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.

Andrew Ridge

Enda Ridge

Hellfried Ridger

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Herrmann

 

Other publications of authors with the same name

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle.. SLE, volume 8706 of Lecture Notes in Computer Science, page 261-281. Springer, (2014)Lem: reusable engineering of real-world semantics., , , , and . ICFP, page 175-188. ACM, (2014)A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic., and . TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 294-309. Springer, (2005)Direct Interpretation of Functional Programs for Debugging., and . ML/OCaml, volume 294 of EPTCS, page 41-73. (2017)Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars.. CPP, volume 7086 of Lecture Notes in Computer Science, page 103-118. Springer, (2011)Ramsey's theorem, infinitary version.. Arch. Formal Proofs, (2004)Formal proof development.Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL. CoRR, (2006)A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service., , and . FM, volume 5014 of Lecture Notes in Computer Science, page 294-309. Springer, (2008)Verifying distributed systems: the operational approach.. POPL, page 429-440. ACM, (2009)Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL., , , , and . ICNP, page 117-126. IEEE Computer Society, (2006)