Amundson, Eric
50  results:
Search for persons X
?
1

Interstitial Chemotherapy and Polymer-Drug Delivery:

, In: Handbook of Brain Tumor Chemotherapy,
 
?
2

Contributors:

, In: Handbook of Brain Tumor Chemotherapy,
Abrey, Lauren E. ; Acker, Till ; Amundson, Eric... - p. xv-xvi , 2006
 
?
6

Predictors of Intraoperative Difficulty and Postoperative E..:

Govind, Akshay ; Demirel, Shaban ; Lee, Kristin...
Journal of Oral and Maxillofacial Surgery.  81 (2023)  11 - p. 1360-1371 , 2023
 
?
7

Synthesizing verified components for cyber assured systems ..:

Mercer, Eric ; Slind, Konrad ; Amundson, Isaac...
Software and Systems Modeling.  22 (2023)  5 - p. 1451-1471 , 2023
 
?
8

Model-driven development for the seL4 microkernel using the..:

Belt, Jason ; Hatcliff, John ; Robby...
Journal of Systems Architecture.  134 (2023)  - p. 102789 , 2023
 
?
9

Cyberassured Systems Engineering at Scale:

Cofer, Darren ; Amundson, Isaac ; Babar, Junaid...
IEEE Security & Privacy.  20 (2022)  3 - p. 52-64 , 2022
 
?
10

Assume-Guarantee Reasoning with Scheduled Components:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Liu, Cong ; Babar, Junaid ; Amundson, Isaac... - p. 355-372 , 2022
 
?
11

Flight Test of a Collision Avoidance Neural Network with Ru..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),
 
?
12

Management of Zygomaticomaxillary Complex Fractures Utilizi..:

Cuddy, Karl ; Dierks, Eric J. ; Cheng, Allen...
Journal of Oral and Maxillofacial Surgery.  79 (2021)  1 - p. 177-182 , 2021
 
?
13

Run-Time Assurance for Learning-Based Aircraft Taxiing:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
 
?
14

Run-Time Assurance for Learning-Enabled Systems:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
 
?
15

Reconstruction of Maxillary Defects:

, In: Regenerative Strategies for Maxillary and Mandibular Reconstruction,
Khatib, Baber ; Patel, Ashish ; Dierks, Eric J.... - p. 175-200 , 2019
 
1-15