Simulation and Verification of Electronic and Biological Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789400701489, 9789400701496

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_4 ◽

2011 ◽

pp. 71-93 ◽

Cited By ~ 8

Author(s):

Prateek Bhansali ◽

Jaijeet Roychowdhury

Keyword(s):

Injection Locking ◽

Coupled Oscillator ◽

Oscillator Networks ◽

Weakly Coupled

Download Full-text

A Perspective on Fast-SPICE Simulation Technology

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_2 ◽

2011 ◽

pp. 23-42 ◽

Cited By ~ 15

Author(s):

Michał Rewieński

Keyword(s):

Simulation Technology ◽

Spice Simulation

Download Full-text

Recycling Circuit Simulation Techniques for Mass-Action Biochemical Kinetics

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_6 ◽

2011 ◽

pp. 115-136 ◽

Cited By ~ 2

Author(s):

Jared E. Toettcher ◽

Joshua F. Apgar ◽

Anya R. Castillo ◽

Bruce Tidor ◽

Jacob White

Keyword(s):

Circuit Simulation ◽

Mass Action ◽

Biochemical Kinetics ◽

Simulation Techniques

Download Full-text

Analog Verification

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_8 ◽

2011 ◽

pp. 157-171 ◽

Cited By ~ 1

Author(s):

Ken Kundert ◽

Henry Chang

Download Full-text

Formal Methods for Verification of Analog Circuits

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_9 ◽

2011 ◽

pp. 173-192

Author(s):

Sebastian Steinhorst ◽

Lars Hedrich

Keyword(s):

Formal Methods ◽

Analog Circuits

Download Full-text

Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_5 ◽

2011 ◽

pp. 95-113

Author(s):

Peng Li ◽

Wei Dong ◽

Garng M. Huang

Keyword(s):

Numerical Analysis ◽

Dynamic Stability ◽

Analysis Techniques

Download Full-text

Parallel Transistor-Level Circuit Simulation

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_1 ◽

2011 ◽

pp. 1-21 ◽

Cited By ~ 6

Author(s):

Eric R. Keiter ◽

Heidi K. Thornquist ◽

Robert J. Hoekstra ◽

Thomas V. Russo ◽

Richard L. Schiek ◽

...

Keyword(s):

Circuit Simulation

Download Full-text

Recent Advances in Structure-Preserving Model Order Reduction

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_3 ◽

2011 ◽

pp. 43-70 ◽

Cited By ~ 4

Author(s):

Roland W. Freund

Keyword(s):

Model Order Reduction ◽

Order Reduction ◽

Model Order ◽

Structure Preserving ◽

Recent Advances

Download Full-text

Circuit-Based Models of Biomolecular System Dynamics

Simulation and Verification of Electronic and Biological Systems ◽

10.1007/978-94-007-0149-6_7 ◽

2011 ◽

pp. 137-156 ◽

Cited By ~ 1

Author(s):

Elebeoba E. May

Keyword(s):

System Dynamics ◽

Biomolecular System

Download Full-text

Simulation and Verification of Electronic and Biological SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks

A Perspective on Fast-SPICE Simulation Technology

Recycling Circuit Simulation Techniques for Mass-Action Biochemical Kinetics

Analog Verification

Formal Methods for Verification of Analog Circuits

Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques

Parallel Transistor-Level Circuit Simulation

Recent Advances in Structure-Preserving Model Order Reduction

Circuit-Based Models of Biomolecular System Dynamics

Simulation and Verification of Electronic and Biological Systems
Latest Publications