I agree that this site is using cookies. You can find further informations here.
X
Leifer, James J.
40  results:
Articles (Online) X
Search for persons X
?
1

Acute: High-level programming language design for distribut..:

SEWELL, PETER ; LEIFER, JAMES J. ; WANSBROUGH, KEITH...
Journal of Functional Programming.  17 (2007)  4-5 - p. 547-612 , 2007
Link: https://doi.org/10.1017/..
 
?
2

Transition systems, link graphs and Petri nets:

LEIFER, JAMES J. ; MILNER, ROBIN
Mathematical Structures in Computer Science.  16 (2006)  6 - p. 989 , 2006
Link: https://doi.org/10.1017/..
 
?
3

Abstraction preservation and subtyping in distributed langu..:

Deniélou, Pierre-Malo ; Leifer, James J.
ACM SIGPLAN Notices.  41 (2006)  9 - p. 286-297 , 2006
Link: https://doi.org/10.1145/..
 
?
4

Acute: high-level programming language design for distribut..:

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith...
ACM SIGPLAN Notices.  40 (2005)  9 - p. 15-26 , 2005
Link: https://doi.org/10.1145/..
 
?
5

Global abstraction-safe marshalling with hash types:

Leifer, James J. ; Peskine, Gilles ; Sewell, Peter.
ACM SIGPLAN Notices.  38 (2003)  9 - p. 87-98 , 2003
Link: https://doi.org/10.1145/..
 
?
6

Shallow Linear Action Graphs and their Embeddings:

Leifer, James J. ; Milner, Robin
Formal Aspects of Computing.  13 (2002)  3-5 - p. 327-340 , 2002
Link: https://doi.org/10.1007/..
 
?
7

Racing CARs to veterinary immuno-oncology:

Cockey, James R. ; Leifer, Cynthia A.
Frontiers in Veterinary Science.  10 (2023)  - p. , 2023
Link: https://doi.org/10.3389/..
 
?
8

Event‐specific win ratios for inference with terminal and n..:

Yang, Song ; Troendle, James ; Pak, Daewoo.
Statistics in Medicine.  41 (2021)  7 - p. 1225-1241 , 2021
Link: https://doi.org/10.1002/..
 
?
9

Differences in NT‐proBNP Response and Prognosis in Men and ..:

Daubert, Melissa A. ; Yow, Eric ; Barnhart, Huiman X....
Journal of the American Heart Association.  10 (2021)  10 - p. , 2021
Link: https://doi.org/10.1161/..
 
?
10

Optimal Medical Therapy in Heart Failure: Reasons for Lack ..:

Fiuzat, Mona ; Alemayehu, Wendimagegn ; Ezekowitz, Justin...
Journal of Cardiac Failure.  25 (2019)  8 - p. S78 , 2019
Link: https://doi.org/10.1016/..
 
?
11

How to control for unmeasured confounding in an observation..:

Troendle, James ; Leifer, Eric ; Zhang, Zhiwei..
Statistics in Medicine.  36 (2017)  23 - p. 3654-3669 , 2017
Link: https://doi.org/10.1002/..
 
?
12

Effects of climate change on methane emissions from seafloo..:

James, Rachael H. ; Bousquet, Philippe ; Bussmann, Ingeborg...
Limnology and Oceanography.  61 (2016)  S1 - p. S283-S299 , 2016
Link: https://www.jstor.org/st..
 
?
13

Effects of climate change on methane emissions from seafloo..:

James, Rachael H. ; Bousquet, Philippe ; Bussmann, Ingeborg...
Limnology and Oceanography.  61 (2016)  S1 - p. , 2016
Link: https://doi.org/10.1002/..
 
?
14

Structure–Activity Relationship in a Purine-Scaffold Compou..:

Patel, Hardik J. ; Patel, Pallav D. ; Ochiana, Stefan O....
Journal of Medicinal Chemistry.  58 (2015)  9 - p. 3922-3943 , 2015
Link: https://doi.org/10.1021/..
 
?
15

Performance evaluation of a 16-µm methane DIAL system from ..:

Refaat, Tamer F. ; Ismail, Syed ; Nehrir, Amin R....
Optics Express.  21 (2013)  25 - p. 30415 , 2013
Link: https://doi.org/10.1364/..
 
1-15