The following pages link to Scott A. Smolka (Q498914):
Displaying 50 items.
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Data flow analysis of distributed communicating processes (Q751233) (← links)
- CCS expressions, finite state processes, and three problems of equivalence (Q918211) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- On the analysis of cooperation and antagonism in networks of communicating processes (Q1098279) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- Local model checking and protocol analysis (Q1856171) (← links)
- Reactive, generative, and stratified models of probabilistic processes (Q1898113) (← links)
- Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914) (← links)
- Statistical model checking (Q2075782) (← links)
- An STL-based formulation of resilience in cyber-physical systems (Q2112110) (← links)
- Lagrangian reachabililty (Q2151262) (← links)
- Neural flocking: MPC-based supervised learning of flocking controllers (Q2200808) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles (Q2402550) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- Introduction to operating system design and implementation. The OSP 2 approach (Q2644075) (← links)
- (Q2703729) (← links)
- (Q2754127) (← links)
- Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue (Q2870297) (← links)
- Compositionality results for cardiac cell dynamics (Q2986971) (← links)
- Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals (Q2988918) (← links)
- Vacuity Checking in the Modal Mu-Calculus* (Q2996128) (← links)
- Model Repair for Probabilistic Systems (Q3000664) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Query-Based Model Checking of Ad Hoc Network Protocols (Q3184703) (← links)
- Abstract Model Repair (Q3196342) (← links)
- (Q3216126) (← links)
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (Q3303936) (← links)
- (Q3340126) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)
- Dynamic Path Reduction for Software Model Checking (Q3605478) (← links)
- Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives (Q3662603) (← links)
- A CCS semantics for NIL (Q3766820) (← links)
- (Q3777459) (← links)
- (Q3793740) (← links)
- A comprehensive study of the complexity of multiparty interaction (Q4371516) (← links)
- (Q4414384) (← links)
- (Q4501586) (← links)
- (Q4518894) (← links)
- On Temporal Logic and Signal Processing (Q4649290) (← links)
- (Q4736515) (← links)
