Curtis Madsen

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	Approximation Techniques for Stochastic Analysis of Biological Systems	2019	Thakur Neupane Zhen Zhang Curtis Madsen Hao Zheng Chris J. Myers
+ PDF Chat	Approximation Techniques for Stochastic Analysis of Biological Systems	2019	Thakur Neupane Zhen Zhang Curtis Madsen Hao Zheng Chris J. Myers
+	STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis	2019	Thakur Neupane Chris J. Myers Curtis Madsen Hao Zheng Zhen Zhang
+	Approximation Techniques for Stochastic Analysis of Biological Systems	2019	Thakur Neupane Zhen Zhang Curtis Madsen Hao Zheng Chris J. Myers
+ PDF Chat	Metrics for Signal Temporal Logic Formulae	2018	Curtis Madsen Prashant Vaidyanathan Sadra Sadraddini Cristian-Ioan Vasile Nicholas A. DeLateur Ron Weiss Douglas Densmore Călin Belta
+	Metrics for Signal Temporal Logic Formulae	2018	Curtis Madsen Prashant Vaidyanathan Sadra Sadraddini Cristian-Ioan Vasile Nicholas A. DeLateur Ron J. Weiss Douglas Densmore Călin Belta
+	Metrics for Signal Temporal Logic Formulae	2018	Curtis Madsen Prashant Vaidyanathan Sadra Sadraddini Cristian-Ioan Vasile Nicholas A. DeLateur Ron Weiss Douglas Densmore Călin Belta

Common Coauthors

Coauthor	Papers Together
Thakur Neupane	4
Chris J. Myers	4
Hao Zheng	3
Sadra Sadraddini	3
Prashant Vaidyanathan	3
Cristian-Ioan Vasile	3
Călin Belta	3
Douglas Densmore	3
Nicholas A. DeLateur	3
Ron Weiss	2
Zhen Zhang	1
Zhen Zhang	1
Hao Zheng	1
Ron J. Weiss	1
Zhen Zhang	1
Zhen Zhang	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Interrogating the <i>Escherichia coli</i> cell cycle by cell dimension perturbations	2016	Hai Zheng Po-Yi Ho Meiling Jiang Bin Tang Weirong Liu Dengjin Li Xue‐Feng Yu Nancy Kleckner Ariel Amir Chenli Liu	3
+ PDF Chat	A Course in Abstract Analysis	2012	John B. Conway	2
+	Exact stochastic simulation of coupled chemical reactions	1977	Daniel T. Gillespie	2
+ PDF Chat	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications	2016	Shromona Ghosh Dorsa Sadigh Pierluigi Nuzzo Vasumathi Raman Alexandre Donzé Alberto Sangiovanni‐Vincentelli S. Shankar Sastry Sanjit A. Seshia	2
+ PDF Chat	Time window temporal logic	2017	Cristian-Ioan Vasile Derya Aksaray Călin Belta	2
+ PDF Chat	On-Line Monitoring for Temporal Logic Robustness	2014	Adel Dokhanchi Bardh Hoxha Georgios Fainekos	2
+ PDF Chat	Computing the Hausdorff Distance of Two Sets from Their Distance Functions	2020	Daniel Kraft	1
+	Networks of Waiting Lines	1957	James R. Jackson	1
+ PDF Chat	Approximation Techniques for Stochastic Analysis of Biological Systems	2019	Thakur Neupane Zhen Zhang Curtis Madsen Hao Zheng Chris J. Myers	1
+ PDF Chat	Mining parametric temporal logic properties in model-based design for cyber-physical systems	2017	Bardh Hoxha Adel Dokhanchi Georgios Fainekos	1
+ PDF Chat	On the minimal revision problem of specification automata	2015	Kangjin Kim Georgios Fainekos Sriram Sankaranarayanan	1