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
- VSA Kumar, M Macauley and H Mortveit. Limit Set Reachability in Asychronous Graph Dynamical Systems. Lecture Notes in Computer Science, 5797, 2009:217-232.
- M. Macauley and HS Mortveit.
Cycle equivalence of graph dynamical systems.
Nonlinearity, 22 2009:421-436.
2008
- 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.
- M. Macauley, J. McCammond and H.S. Mortveit. Order Independence in Asynchronous Cellular Automata, Journal of Cellular Automata, 3(1), 2008:37-56.
- M. Macauley and H.S. Mortveit.
On Enumeration of Conjugacy Classes of Coxeter Elements.
Proceedings of the American Mathematical Society, 136, 2008:4157-4165.
2007
- H.S. Mortveit and C.M. Reidys. An Introduction to Sequential Dynamical Systems, Springer Verlag (Universitext) , 2007.
- 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. (Preprint)
- C. Barrett, K. Bisset, J. Chen, B. Lewis, S. Eubank, VS. Anil Kumar, M. Marathe, H. Mortveit.
Effect of Public Policies and Individual Behavior on the Co-evolution of Social Networks and Infectious Disease Dynamics.
Proceedings of DIMACS/DyDAn Workshop on Computational Methods for Dynamic Interaction Networks, September 2007.
2006
- 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.
- K. Bisset, K. Atkins, C. Barrett, R. Beckman, S. Eubank, A. Marathe, M. Marathe, H. Mortveit, P. Stretz, and A. Vullikanti.
Synthetic data products for societal infrastructures and proto populations: Data set 1.0.
NDSSL Technical Report No. 06-006. 2006.
2005
- 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.
2004
- 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.
2003
- 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.
2002
- H.S. Mortveit and C.M. Reidys.
Towards a calculus of biological networks.
Z. Phys. Chem. 216(2), 2002:235-247.
2001
- 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.
2000
- 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.
