The following pages link to Hillel Kugler (Q2234095):
Displayed 13 items.
- Formal semantics and verification of network-based biocomputation circuits (Q2234096) (← links)
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS (Q3021937) (← links)
- (Q4413201) (← links)
- (Q4427918) (← links)
- (Q4540954) (← links)
- Functional Analysis of Large-Scale DNA Strand Displacement Circuits (Q5168509) (← links)
- (Q5190780) (← links)
- Automated Technology for Verification and Analysis (Q5491883) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703777) (← links)
- Formal Methods in Software and Systems Modeling (Q5710415) (← links)
- “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (Q5758117) (← links)
- Temporal logic based synthesis of experimentally constrained interaction networks (Q6074994) (← links)
- Learning through imitation by using formal verification (Q6169541) (← links)