Stephen Forrest

According to our database¹, Stephen Forrest authored at least 6 papers between 2013 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Awards

IEEE Fellow

IEEE Fellow 1991, "For contributions to optoelectronics materials and devices research including detectors, receivers, and optoelectronic integrated circuits.".

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Integration of SMT-LIB Support into Maple.

[BibT_eX]

[DOI]

Stephen Forrest

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

SC-square: when Satisfiability Checking and Symbolic Computation join forces.

[BibT_eX]

[DOI]

Proceedings of the ARCADE 2017, 2017

2016

Satisfiability Checking meets Symbolic Computation (Project Paper).

[BibT_eX]

[DOI]

CoRR, 2016

Satisfiability checking and symbolic computation.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2013

Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw.

[BibT_eX]

[DOI]

Sebastian J. I. Herzig

Nicolas F. Rouquette

Stephen Forrest

J. Steven Jenkins

Proceedings of the Conference on Systems Engineering Research, 2013

Stephen Forrest

Awards

IEEE Fellow

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...