E-LIB Suche - Ergebnisse für: McDowell, Raymond

1

Encoding transition systems in sequent calculus:

McDowell, Raymond ; Miller, Dale ; Palamidessi, Catuscia
Theoretical Computer Science. 294 (2003) 3 - p. 411-437 , 2003

Link: https://doi.org/10.1016/..

2

Cut-elimination for a logic with definitions and induction:

McDowell, Raymond ; Miller, Dale
Theoretical Computer Science. 232 (2000) 1-2 - p. 91-119 , 2000

Link: https://doi.org/10.1016/..

3

Managing Business Relationships by Analyzing the Effects an..:

Ford, David ; McDowell, Raymond
Industrial Marketing Management. 28 (1999) 5 - p. 429-442 , 1999

Link: https://doi.org/10.1016/..

4

Encoding Transition Systems in Sequent Calculus: Preliminar..:

McDowell, Raymond ; Miller, Dale ; Palamidessi, Catuscia
Electronic Notes in Theoretical Computer Science. 3 (1996) - p. 138-152 , 1996

Link: https://doi.org/10.1016/..

5

Automatic generation of network element software (AGNES) ..:

, In: Proceedings of the 12th Annual Conference on Cyber and Information Security Research,

Rouff, Christopher A. ; Williams, M. Douglas ; Zhang, Qinqing... - p. 1-4 , 2017

Link: https://dl.acm.org/doi/1..

6

Reasoning with higher-order abstract syntax in a logical fr..:

McDowell, Raymond C. ; Miller, Dale A.
ACM Transactions on Computational Logic. 3 (2002) 1 - p. 80-136 , 2002

Link: https://doi.org/10.1145/..

7

Reasoning with higher-order abstract syntax in a logical fr..:

McDowell, Raymond C. ; Miller, Dale A.
ACM Transactions on Computational Logic (TOCL). 3 (2002) 1 - p. 80-136 , 2002

Link: https://dl.acm.org/doi/1..

8

UK Academic Capacity Mapping: social marketing:

Eagle, Lynne ; Kemp, Gillian ; McDowell, Raymond.
https://researchonline.jcu.edu.au/20399/. , 2008

Link: https://researchonline.j..

9

Reasoning with Higher-Order Abstract Syntax in a Logical Fr..:

McDowell, Raymond C ; Miller, Dale A
http://arxiv.org/abs/cs/0003062. , 2000

Link: http://arxiv.org/abs/cs/..

10

Development and Implementation of Dried Blood Spot-Based CO..:

Wong, Marcus P. ; Meas, Michelle A. ; Adams, Cameron...
Microbiology Spectrum. 10 (2022) 3 - p. , 2022

Link: https://doi.org/10.1128/..

11

A new visual design language for biological structures in a..:

Singla, Jitin ; Burdsall, Kylie ; Cantrell, Brian...
Structure. 30 (2022) 4 - p. 485-497.e3 , 2022

Link: https://doi.org/10.1016/..

12

In Situ TEM Investigation of the Spontaneous Hollowing of A..:

Boebinger, Matthew ; Yarema, Olesya ; Yarema, Maksym...
Microscopy and Microanalysis. 27 (2021) S1 - p. 1972-1973 , 2021

Link: https://doi.org/10.1017/..

13

The Prevalence and Determinants of Return to Work in Nasoph..:

So, Nathaniel ; McDowell, Lachlan J. ; Lu, Lin...
International Journal of Radiation Oncology*Biology*Physics. 106 (2020) 1 - p. 134-145 , 2020

Link: https://doi.org/10.1016/..

14

Sexual satisfaction in nasopharyngeal carcinoma survivors: ..:

McDowell, Lachlan ; So, Nathaniel ; Keshavarzi, Sareh...
Oral Oncology. 109 (2020) - p. 104865 , 2020

Link: https://doi.org/10.1016/..

15

A cross sectional study in cognitive and neurobehavioral im..:

McDowell, Lachlan J. ; Ringash, Jolie ; Xu, Wei...
Radiotherapy and Oncology. 131 (2019) - p. 179-185 , 2019

Link: https://doi.org/10.1016/..