Search

Your search keyword '"Davoren, J."' showing total 108 results

Search Constraints

Start Over You searched for: Author "Davoren, J." Remove constraint Author: "Davoren, J."
108 results on '"Davoren, J."'

Search Results

1. MITL Verification Under Timing Uncertainty

2. Sampling Polynomial Trajectories for LTL Verification

4. Implementation of a multidisciplinary treatment team for hepatocellular cancer at a Veterans Affairs Medical Center improves survival

5. Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

6. Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics

7. On Simulations and Bisimulations of General Flow Systems

18. Periprocedural complications by Child-Pugh class in patients undergoing transcatheter arterial embolization or chemoembolization to treat unresectable hepatocellular carcinoma at a VA medical center

31. Development of Design Methodologies for Robust, Adaptive Autonomous Hierarchical Systems: Final Report

32. Topologies, Continuity and Bisimulations

33. On Hybrid Systems and the Modal Mu-Calculus

34. Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.

35. On Simulations and Bisimulations of General Flow Systems.

42. Vasoactive Intestinal Peptide: A Novel Stimulator of Steroidogenesis by Cultured Rat Granulosa Cells1

43. DNA identification of skeletal remains from world war II mass graves uncovered in Slovenia

49. Postmortem Skeletal Microbial Community Composition and Function in Buried Human Remains.

50. Characterizing the postmortem human bone microbiome from surface-decomposed remains.

Catalog

Books, media, physical & digital resources