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

Using Static Analysis to Find Bugs:

Ayewah, Nathaniel ; Pugh, William ; Hovemeyer, David..
IEEE Software.  25 (2008)  5 - p. 22-29 , 2008
Link: https://doi.org/10.1109/..
 
?
2

Guest Editors' Introduction:

Penix, John ; Grundy, John
Automated Software Engineering.  13 (2006)  3 - p. 343-344 , 2006
Link: https://doi.org/10.1007/..
 
?
3

Verifying Time Partitioning in the DEOS Scheduling Kernel:

Penix, John ; Visser, Willem ; Park, SeungJoon...
Formal Methods in System Design.  26 (2005)  2 - p. 103-135 , 2005
Link: https://doi.org/10.1007/..
 
?
4

The first international workshop on automated program analy..:

Penix, John ; Tracey, Nigel ; Visser, Willem
ACM SIGSOFT Software Engineering Notes.  26 (2001)  1 - p. 40 ff. , 2001
Link: https://dl.acm.org/doi/1..
 
?
5

Editorial: The First International Workshop on Automated Pr..:

Tracey, Nigel ; Penix, John ; Visser, Willem
Software Testing, Verification and Reliability.  11 (2001)  2 - p. 63-64 , 2001
Link: https://doi.org/10.1002/..
 
?
6

Using Declarative Specifications and Case-based Planning fo..:

Alexander, Perry ; Baraona, Phillip ; Penix, John
Concurrent Engineering.  2 (1994)  4 - p. 291-302 , 1994
Link: https://doi.org/10.1177/..
 
?
7

Increased Endothelial Expression of Intercellular Adhesion ..:

DeGraba, Thomas J. ; Sirén, Anna-Leena ; Penix, LaRoy...
Stroke.  29 (1998)  7 - p. 1405-1410 , 1998
Link: https://doi.org/10.1161/..
 
?
8

Soft-Tissue Repair of Myelomeningocele Defects Using Bilate..:

McCraw, John B. ; Penix, Jerry O. ; Freeman, Bruce G...
Annals of Plastic Surgery.  18 (1987)  2 - p. 147-155 , 1987
Link: https://doi.org/10.1097/..
 
?
9

REPAIR OF MAJOR DEFECTS OF THE CHEST WALL AND SPINE WITH TH..:

McCRAW, JOHN B. ; PENIX, JERRY O. ; BAKER, JOHN W.
Plastic and Reconstructive Surgery.  62 (1978)  2 - p. 197-206 , 1978
Link: https://doi.org/10.1097/..
 
?
10

Characterization of cinnamate 4-hydroxylase (CYP73A) and p-..:

Karimzadegan, Vahid ; Koirala, Manoj ; Sobhanverdi, Sajjad...
Plant Physiology and Biochemistry.  210 (2024)  - p. 108612 , 2024
Link: https://doi.org/10.1016/..
 
1-10