Publications
- Dissertation:
- Marc L. Smith. View-Centric Reasoning about Parallel and Distributed Computation. PhD thesis, University of Central Florida, Orlando, FL 32816-2362, December 2000. Postscript .
- Journal:
- Shinichi Sunagawa, Emily C Wilson, Michael Thaler, Marc L Smith, Carlo Caruso, John R Pringle, Virginia M Weis, Mónica Medina and Jodi A Schwarz, “Generation and analysis of transcriptomic resources for a model system on the rise: the sea anemone Aiptasia pallida and its dinoflagellate endosymbiont,” BMC Genomics 2009, 10:258 (05 Jun 2009).
- Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. “View-Centric Reasoning for Linda and Tuple Space Computation,” IEE Proceedings-Software 150(2), pp 71-84. Special Issue on Communicating Process Architectures 2002. April 2003.
- Refereed Conference Proceedings:
- Neil Brown and Marc L. Smith, “Relating and Visualising CSP, VCR and Structural Traces,” in Concurrent Systems Engineering Series (Peter H. Welch, et al. Eds.) IOS Press, Amsterdam, 2009. Communicating Process Architectures (CPA 2009), Technische Universiteit Eindhoven. November 1-4, 2009. pp. 89-103. PDF
- Neil Brown and Marc L. Smith, “Representation and Implementation of CSP and VCR Traces,” in Concurrent Systems Engineering Series (Peter H. Welch, et al. Eds.) IOS Press, Amsterdam, 2008. Communicating Process Architectures (CPA 2008), University of York (York, England). September 7-10, 2008. pp. 329-345. PDF
- Mark Burgin and Marc L. Smith, “Compositions of Concurrent Processes,” in Concurrent Systems Engineering Series (Frederick R. M. Barnes, Jon M. Kerridge, Peter H. Welch, Eds.) IOS Press, Amsterdam, 2006. Communicating Process Architectures (CPA 2006), Napier University (Edinburgh, Scotland). September 17-20, 2006. pp. 281-296. PDF
- Tiffani L. Williams and Marc L. Smith, “The Role of Diverse Populations in Phylogenetic Analysis,” The Genetic and Evolutionary Computation Conference, (GECCO 2006). Seattle, WA, July 8-12, 2006. PDF
- Marc L. Smith and Tiffani L. Williams, “Phylospaces: Reconstructing Evolutionary Trees in Tuple Space,” Fifth IEEE International Workshop on High Performance Computational Biology (HiCOMB 2006), Rhodes Island, Greece, April 25, 2006. PDF.
- Marc L. Smith. “A Unifying Theory of True Concurrency Based on CSP and Lazy Observation,” in Concurrent Systems Engineering Series (Roebbers, Welch, and Wood, Eds.) IOS Press, Amsterdam, 2005. Communicating Process Architectures (CPA 2005), Technische Universiteit Eindhoven (Eindhoven, the Netherlands. September 18-21, 2005. pp. 177-188. PDF
- Marc L. Smith. “Focusing on Traces to Link VCR and CSP,” in Concurrent Systems Engineering Series (East, Martin, Welch, Duce, and Green, Eds.) IOS Press, Amsterdam, 2004. (Presented at Communicating Process Architectures - 2004, Oxford Brookes University (Headington Campus, Oxford, UK). September 5-8, 2004. pp. 353-360. PDF .
- Marc L. Smith, Charles E. Hughes, and Kyle W. Burke. “The Denotational Semantics of View-Centric Reasoning,” in Concurrent Systems Engineering Series (Broenink and Hilderink, Eds.) IOS Press, Amsterdam, 2003. (Presented at Communicating Process Architectures - 2003. The University of Twente (Enschede, the Netherlands). September 7-10, 2003. PDF.
- Marc L. Smith and Charles E. Hughes. “A Characterization of Lazy and Eager Semantic Solutions to the Linda Predicates Ambiguity Problem,” Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’03), Edited by Hamid R. Arabnia, CSREA Press, Las Vegas, Nevada, USA, 23-26 June 2003. PDF
- Charles E. Hughes and Marc L. Smith. “Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis,” Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’03), Edited by Hamid R. Arabnia, CSREA Press, Las Vegas, Nevada, USA, 23-26 June 2003. PDF
- Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. " View-Centric Reasoning for Linda and Tuple Space Computation,” in Concurrent Systems Engineering Series (Pascoe, Loader and Sunderam, Eds.) IOS Press, Amsterdam, 2002. (Presented at Communicating Process Architectures 2002, The University of Reading (England). September 15-18, 2002.) PDF .
- Marc L. Smith, Rebecca J. Parsons, and Charles E. Hughes. View-Centric Reasoning in Modern Computing Systems. In Proceedings of the International Conference on Communications in Computing . Las Vegas, Nevada, USA. June 24-27, 2002. PDF .
- Charles E. Hughes, J.Michael Moshell, Sean G. Hughes, and Marc L. Smith. “Cooperative Problem Solving among K-12 Students: The ExploreNet Project,” Proceedings of Frontiers in Education ‘92, Nov. 1992, pp. 522-526.
- Abstracts:
- Mark Burgin and Marc L. Smith, “Algebras of Actions in Concurrent Processes,” in Concurrent Systems Engineering Series (Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter H. Welch, Eds.) IOS Press, Amsterdam, 2007. Communicating Process Architectures 2007 (CPA 2007), University of Surrey (Guildford, UK). July 8-11, 2007. p. 505. PDF
- Workshop papers:
- Marc L. Smith. “TeachScheme! Lite: A Recipe for Teaching EoPL Without Prerequisites,” Proceedings of the TeachScheme! Anniversary Workshop, Brown University, Providence, RI, June 11-12, 2005. Edited by Richard Cobbe, NU-CCIS-05-05. College of Computer and Information Science, Northeastern University, Boston, MA. pp. 200-203.
- Preprints:
- Mark Burgin and Marc L. Smith, “Concurrent Composition and Algebras of Events, Actions, and Processes,” arXiv.org, arXiv:0803.3099v1, March 2008.
- Book Review:
- Mark Burgin, Super-Recursive Algorithms. Series: Monographs in Computer Science. Springer Verlag (2005). ISBN 0-387-95569-0. $79.95/{pound}61.50/{euro}79.95. 304 pp. Hardbound.
Marc L. Smith, The Computer Journal 2006 49(6):762-763; doi: 10.1093/comjnl/bxl050. Online article.
