Steven P. Miller - Citegraph

Author Info

Name	Affiliation	Papers
STEVEN P. MILLER	Rockwell Collins, 400 Collins Road NE, 52498 Cedar Rapids, Iowa USA	35
Collaborators	Citations	PageRank
84	561	56.48
Referers	Referees	References
1344	774	327

Search Limit

1001000

Publications (35 rows)

Collaborators (84 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
BrainNetCNN: Convolutional neural networks for brain networks; towards predicting neurodevelopment.	48	1.85	2017
STEAM - Statistical Template Estimation for Abnormality Mapping: A personalized DTI analysis technique with applications to the screening of preterm infants.	1	0.40	2016
Patch-based augmentation of Expectation-Maximization for brain MRI tissue segmentation at arbitrary age after premature birth.	5	0.45	2016
Predictive Subnetwork Extraction with Structural Priors for Infant Connectomes.	1	0.35	2016
Prediction of Motor Function in Very Preterm Infants Using Connectome Features and Local Synthetic Instances	5	0.54	2015
Spatially adapted augmentation of age-specific atlas-based segmentation using patch-based priors	1	0.35	2014
Structural network analysis of brain development in young preterm neonates.	21	0.76	2014
White matter injury detection in neonatal MRI	0	0.34	2013
Study on the Barriers to the Industrial Adoption of Formal Methods	8	0.62	2013
Compositional verification of architectural models	43	1.91	2012
Altered long-range alpha-band synchronization during visual short-term memory retention in children born very preterm.	3	0.41	2011
Software model checking takes off	52	2.16	2010
Reconstruction of a geometrically correct diffusion tensor image of a moving human fetal brain	1	0.34	2010
A Formal Architecture Pattern for Real-Time Distributed Systems	12	0.81	2009
Bridging the Gap Between Model-Based Development and Model Checking	1	0.39	2009
Formal Methods for Critical Systems	0	0.34	2008
Model-Checking Of Safety-Critical Software For Avionics	1	0.34	2008
Will This Be Formal?	4	0.52	2008
Integration of formal analysis into a model-based software development process	37	2.81	2007
Proving the shalls	14	1.56	2006
Coverage metrics for requirements-based testing	64	3.74	2006
Proving the Shalls: Requirements, Proofs, and Model-Based Development	2	0.42	2006
Early validation of requirements	0	0.34	2004
Early laminar organization of the human cerebrum demonstrated with diffusion tensor imaging in extremely premature infants	16	3.90	2004
Proving the Shalls	23	1.90	2003
Using a web-based prototype and human-computer interaction concepts to develop a vision for a next generation patient care management system.	0	0.34	2001
Specification-based prototyping for embedded systems	44	2.52	1999
Specifying the mode logic of a flight guidance system in CoRE and SCR	42	4.29	1998
Transferring Formal Methods Technology to Industry	1	0.35	1998
The Industrial Use of Formal Methods: Was Darwin Right?	4	0.62	1998
How Can Requirements Engineering Research Become Requirements Engineering Practice?	3	0.94	1997
Applying formal verification to the AAMP5 microprocessor: a case study in the industrial use of formal methods	35	4.80	1996
Experiences in applying formal methods to the analysis of software and system requirements.	8	1.13	1995
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods.	53	12.18	1995
UNIX and Remote Procedure Calls: A Peaceful Coexistence?	8	1.77	1986