Bender, John A.
1739  Ergebnisse:
Personensuche X
?
 
?
3

Q: A Sound Verification Framework for Statecharts and Their..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
 
?
4

Development of Effective and Fast-Flow Ceramic Porous Media..:

Yang, Haiyan ; Min, Xiaopeng ; Xu, Shangping..
ACS Sustainable Chemistry & Engineering.  8 (2020)  6 - p. 2531-2539 , 2020
 
?
6

Foley Effects in the Gothic Sound in The Castle of Otranto:

Bender, John
English Literature; 7 | 2020 The Representation of the Wonderful and the Preternatural between the Gothic Novel and Fin-de-Siècle Literature.  , 2020
 
?
7

A formalization of Java's concurrent access modes:

Bender, John ; Palsberg, Jens
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-28 , 2019
 
?
8

A formalization of Java's concurrent access modes:

Bender, John ; Palsberg, Jens
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-28 , 2019
 
?
11

Crystal structure of cis-[1,2-bis(diphenylphosphanyl)ethene..:

Mugemana, Jimmy ; Bender, John ; Staples, Richard J..
Acta Crystallographica Section E Crystallographic Communications.  74 (2018)  7 - p. 998-1001 , 2018
 
?
12

Discovery of a Hepatitis C Virus NS5B Replicase Palm Site A..:

Yeung, Kap-Sun ; Beno, Brett R. ; Parcella, Kyle...
Journal of Medicinal Chemistry.  60 (2017)  10 - p. 4369-4385 , 2017
 
?
13

Development of the Large-Scale Synthesis of Tetrahydropyran..:

Mathur, Arvind ; Wang, Bei ; Smith, Daniel...
The Journal of Organic Chemistry.  82 (2017)  19 - p. 10376-10387 , 2017
 
?
14

Assessing Nest Success of Black-Capped Chickadees (Poecile ..:

Bender, John ; Fidino, Mason ; Limbrick, Kelvin.
The Wilson Journal of Ornithology.  128 (2016)  2 - p. 425-429 , 2016
 
1-15