( en | de | ru )

 

Disambiguation of "Ramsey, Norman"

Author of the publication

copydeleteadd this publication to your clipboard
Exact Bayesian inference by symbolic disintegration.

, and . POPL, page 130-144. ACM, (2017)

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.

Helga Ramsey-Kurz

Norman Lieber

Schöffengericht und Trial by Jury: eine rechtsvergleichende Untersuchung zur Entstehung, gegenwärtigen Praxis und möglichen Zukunft zweier Modelle der Laienbeteiligung an Strafverfahren in Europa. Uni Leipzig, (2007)

Norman Joesting

Norman Unterhauser

Norman Kreller

 

Other publications of authors with the same name

C--: A Portable Assembly Language that Supports Garbage Collection., , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 1-28. Springer, (1999)Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions., and . CC, volume 3923 of Lecture Notes in Computer Science, page 217-231. Springer, (2006)Widening Integer Arithmetic., and . CC, volume 2985 of Lecture Notes in Computer Science, page 232-249. Springer, (2004)Automatic Checking of Instruction Specifications., and . ICSE, page 326-336. ACM, (1997)MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 12 (1): 4-16 (2015)An algebraic approach to file synchronization., and . ESEC / SIGSOFT FSE, page 175-185. ACM, (2001)Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code., and . POPL, page 575-586. ACM, (2011)The New Jersey Machine-Code Toolkit., and . USENIX, page 289-302. USENIX Association, (1995)Waving A Language-Independent WEB., and . Commun. ACM, 32 (9): 1051-1055 (1989)Pragmatic aspects of reusable program generators.. J. Funct. Program., 13 (3): 601-646 (2003)