Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Tram Truong-Huu
Barbara Aquilani
Benjamin T. Fine
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Hiêp Hàn
Home
/
Author
/
STEPHEN FORREST
Author Info
Open Visualization
Name
Affiliation
Papers
STEPHEN FORREST
Jet Propulsion Laboratory, Pasadena, California, United States of America
4
Collaborators
Citations
PageRank
20
0
1.35
Referers
Referees
References
0
8
3
Publications (4 rows)
Collaborators (20 rows)
Referers (0 rows)
Referees (8 rows)
Title
Citations
PageRank
Year
SC-square: when Satisfiability Checking and Symbolic Computation join forces.
0
0.34
2017
Satisfiability Checking and Symbolic Computation.
0
0.34
2016
Sc2: Satisfiability Checking Meets Symbolic Computation (Project Paper)
0
0.34
2016
Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw.
0
0.34
2013
1