Henning S. Mortveit
Senior Research Associate, NDSSL, VBIAssistant Professor, Department of Mathematics, Virginia Tech
Professional Preparation
- Los Alamos National Laboratory, Postdoctoral Fellow, 2000-2002.
- Norwegian University of Science and Technology, Mathematics, Ph.D., 2000.
- Norwegian Institute of Technology, M.S., 1995.
Research Interests
Discrete, finite dynamical systems, in particular Sequential Dynamical Systems (SDS) and generalized Cellular Automata (CA). Mathematical modeling with discrete dynamical systems.Selected Publications
- M. Macauley, J. McCammond, H. Mortveit. Dynamics Groups of Asynchronous Cellular Automata Preprint. 2008.
- K. Atkins, C.L. Barrett, R. Beckman, K. Bisset, J. Chen, S. Eubank, A. Feng, X. Feng, S. Harris, B. Lewis, AVS Kumar, M. Marathe, A. Marathe, H. Mortveit, and P. Stretz. An Interaction Based Composable Architecture for Building Scalable Models of Large Social, Biological, Information and Technical Systems. CT Watch, 4, 2008:46-53.
- H.S. Mortveit and C.M. Reidys. An Introduction to Sequential Dynamical Systems, Springer Verlag (Universitext) , 2007.
- M. Macauley and H.S. Mortveit. On Enumeration of Conjugacy Classes of Coxeter Elements. Proceedings of the American Mathematical Society, 136, 2008:4157-4165.
- M. Macauley and H.S. Mortveit. Cycle Equivalence of Sequential Dynamical Systems. Preprint. September 2007.
- M. Macauley, J. McCammond and H.S. Mortveit. Order Independence in Asynchronous Cellular Automata, Journal of Cellular Automata, 3(1), 2008:37-56.
- C.L. Barrett, K. Bisset, S. Eubank, V.S. Anil Kumar, M.V. Marathe and H.S. Mortveit Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction-Based Approach. Proceedings of the Short Course on Modeling and Simulation of Biological Networks, AMS Lecture Notes, Series: PSAPM, Springer Berlin Heidelberg, 2006:353-392.
- R. Laubenbacher, A.S. Jarrah, H.S. Mortveit and S.S. Ravi. A mathematical formalism for agent-based modeling. Encyclopedia of Complexity and System Science, Springer, 2007.
- A.A. Hansson, H.S. Mortveit and C.M. Reidys. On Asynchronous Cellular Automata. Advances in Complex Systems, 8(4) 2005:521-538.
- J. Tripp, A. Hansson, M. Gokhale and H.S. Mortveit. Partitioning hardware and software for reconfigurable supercomputing applications: A case study. Proceedings of the 2005 ACM/IEEE Conference on Supercomputing '05 Industrial, 27-38, 2005.
- J. Tripp, A. Hansson, H.S. Mortveit and M. Gokhale. Metropolitan road traffic simulation on FPGAs. IEEE Symposium on Field-Programmable Custom Computing, Machines, 117-126, 2005.
- H.S. Mortveit and C.M. Reidys. Reduction of Discrete Dynamical Systems over Graphs. Advances in Complex Systems, 7(1), 2004:1-20.
- H.S. Mortveit and C.M. Reidys. Neutral Evolution and Mutation Rates of Sequential Dynamical Systems. Advances in Complex Systems, 7(3-4) 2004:395-418.
- C.L. Barrett, H.S. Mortveit, and C.M. Reidys. ETS IV: Sequential Dynamical Systems: fixed points, invertibility and equivalence. Appl. Math. and Comput., 134(1), 2003:153-171.
- H.S. Mortveit and C.M. Reidys. Towards a calculus of biological networks. Z. Phys. Chem. 216(2), 2002:235-247.
- H.S. Mortveit and C.M. Reidys. Discrete, Sequential Dynamical Systems. Discrete Mathematics, 226(1-3) 2001:281-295.
- C.L. Barrett, H.S. Mortveit, and C.M. Reidys. Elements of a Theory of Simulation III: Equivalence of SDS. Appl. Math. and Comput., 122(3) 2001:325-340.
- C.L. Barrett, H.S. Mortveit and C.M. Reidys. Elements of a Theory of Simulation II: Sequential Dynamical Systems. Appl. Math. and Comput., 107(2-3), 2000:121-136.
- C.L. Barrett, S. Eubank, M. Madhav, H.S Mortveit, and C.M. Reidys. Science and Engineering of Large Scale Socio-Technical Simulations. Proc. of 2000 ICSEE Western MultiConference on Computer Simulation (ICSEE/WMC'2000), (H. Vakilzadian, C.R. Wie eds.), The Society for Computer Simulation International, San Diego, CA, January 2000.