© 2000 - 2012 Virginia Bioinformatics Institute
Wednesday, 16 May 2012
Mortveit, Henning , Ph.D.
Faculty - Publications - Mortveit, Henning

Associate Professor, Network Dynamics and Simulation Science Laboratory
Associate Professor, Department of Mathematics

Phone: (540) 231-5327
Email:hmortveit@vbi.vt.edu
Fax: 540-231-2891

Personal_Page | Network Dynamics and Simulation Science Laboratory | NDSSL Research Group



Publications:

2012


Leidig J, Bisset K, Hall K, Mortveit H, Shams Z, Wendelsdorf K. A Job Submission System Architecture to Support the Public Health Modeling and Simulation Community.; 2012. ACM SIGHIT International Health Informatics Symposium (IHI).  

2011


Kuhlman C, Kumar VSA, Marathe M, et al. A general-purpose graph dynamical system modeling framework. Phoenix, Arizona, December 11-14, 2011; 2011. Proceedings of the 2011 Winter Simulation Conference.  

Leidig J, Fox E, Hall K, Marathe M, Mortveit H. SimDL: A model ontology driven digital library for simulation systems. Ottawa, Canada, June 13-17, 2011; 2011. Proceedings of ACM/IEEE Joint Conference on Digital Libraries In press.  

Leidig J, Fox EA, Hall K, Marathe M, Mortveit H. Improving simulation management systems with model ontologies. Ottawa, Canada, June 13-17, 2011; 2011. Proceedings of ACM/IEEE Joint Conference on Digital Libraries In press.  

Xia H, Chen J, Marathe M, Mortveit H. Synthesis and refinement of detailed subnetworks in a social contact network for epidemic simulations. College Park, Maryland, March 29-31, 2011; 2011. Proceedings of the International Conference on Social Computing, Behavioral Modeling and Prediction .  

2010


Leidig J, Fox E, Marathe M, Mortveit H. Epidemiology experiment and simulation management through schema-based digital libraries. Glasglow, Scotland, September 6-10, 2010; 2010. Proceedings of the 2nd DL.org workshop during the 14th European Conference on Digital Libraries.  

Macauley M, McCammond J, Mortveit H. Dynamics groups of asynchronous cellular automata. Foundations of Computational Mathematics. 2010;33:11–35.  http://www.springerlink.com/content/hgv665924j44t770/

Macauley M, Mortveit H. Update sequence stability in graph dynamical systems. Discrete and Continuous Dynamical Systems S.. 2010;4:1533–1541.  

2009


Barrett C, Lewis B, Chen J, et al. Interactions among human behavior, social networks, and societal infrastructures: A case study in computational epidemiology. In: Ravi S, Shukla S, eds. Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz. Vol. Xxii. Springer Verlag; 2009:479–507.  http://www.springer.com/computer/swe/book/978-1-4020-9687-7

Kumar A, Macauley M, Mortveit H. Limit set reachability in asynchronous graph dynamical systems, Lecture Notes in Computer Science. In: Reachability Problems. Vol. 5797:217-232. Springer Berlin Heidelberg; 2009.  http://www.springerlink.com/content/t497v3644155p15q/

Macauley M, Mortveit HS. Cycle equivalence of graph dynamical systems. Nonlinearity. 2009:421–436.  http://iopscience.iop.org/0951-7715/22/2/010

2008


Adasi K, Barrett CL, Eubank S, et al. A Review of malaria modeling.. 2008.  

Atkins K, Barrett C, Beckman R, et al. An interaction based composable architecture for building scalable models of large social, biological, information and technical systems. CT Watch. 2008;4:46–53.  http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2800380/

Barrett CL, Beckman R, Bisset K, et al. Investigating the role of public policies and individual behavior on epidemics: a multi-agent systems approach. Chicago, Illinois; 2008. Proceedings of Association for the Advancement of Artificial Intelligence.  

Laubenbacher RC, Jarrah AS, Mortveit HS, Ravi SS. A mathematical formalism for agent based modeling. In: Meyers RA, ed. Encyclopedia of Complexity and System Science. Vol. In Press. Springer Verlag; 2008.  http://arxiv.org/abs/0801.0249

Macauley M, McCammond J, Mortveit HS. Order independence in asynchronous cellular automata. Journal of Cellular Automata. 2008;3:37–56.  http://arxiv.org/abs/0707.2360

Macauley M, Mortveit HS. Equivalences on acyclic orientations. Discrete Mathematics. 2008.  

2007


Barrett C, Bisset K, Chen J, et al. Effect of public policies and individual behavior on the co-evolution of social networks and infectious disease dynamics. Rutgers University; 2007. Paper Presented at DIMACS Workshop on Computational Methods for Dynamic Interaction Networks.  

Barrett C, Bisset K, Eubank S, Kumar VSA, Marathe M, Mortveit H. Modeling and simulation of large biological, information and socio-technical systems: An interaction-based approach. In: Proceedings of the Short Course on Modeling and Simulation of Biological Networks, AMS Lecture Notes, Series: PSAPM. Vol. 64.; 2007:101–147.  

Blumer AD, Mortveit HS, Patterson C. Formal modeling of process migration. Amserdam, Netherlands; 2007. 17th International Conference on Field Programmable Logic and Applications.  

Macauley M, Mortveit HS. On enumeration of cojugacy classes of coxeter elements. Proceedings of theAmerican Mathematical Society. 2007;136:4157–4165.  http://www.ams.org/journals/proc/2008-136-12/S0002-9939-08-09543-9/home.html

Mortveit HS, Reidys C. An introduction to sequential dynamical systems. Springer; 2007.   http://isbn.nu/0387306544

2006


Barrett C, Eubank S, Marathe M, Mortveit H. An interaction-based computing approach to modeling and simulation of large biological and socio-technical systems. In: AMS Lecture Notes.; 2006.  

Bisset K, Lewis B, Kumar K, Mortveit H. Will pandemic flu get you ? Using math, supercomputers, and computer science to solve pressing public health problems.; 2006.  

2005


Hansson A, Gokhale M, Mortveit H, Tripp J. Urban traffic simulation modeling for reconfigurable hardware. Berlin; 2005:291–298. Proceedings of Industrial Simulation Conference.  

Hansson AA, Mortveit HS, Reidys CM. On asynchronous cellular automata. Advances in Complex Systems. 2005;8:521–538.  

Tripp J, Hansson A, Gokhale M, Mortveit H. Partitioning hardware and software for reconfigurable supercomputing applications: A case study. Seattle, WA; 2005:27–38. Proceedings of the 2005 ACM/IEEE Conference on Supercomputing '05 Industrial.  

Tripp J, Hansson A, Mortveit H, Gokhale M. Metropolitan road traffic simulation on FPGAs. Los Alamitos, CA; 2005:117–126. Proceedings of 13th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'05).  

2004


Mortveit HS, Reidys CM. Neutral evolution and mutation rates of sequential dynamical systems. Advances in Complex Systems. 2004;7:395–418.  

Mortveit HS, Reidys CM. Reduction of discrete dynamical systems over graphs. Advances in Complex Systems. 2004;7:1–20.  http://econpapers.repec.org/article/wsiacsxxx/v_3a07_3ay_3a2004_3ai_3a01_3ap_3a1-20.htm

Tripp JL, Mortveit HS, Nassr MS, Hansson AA, Gokhale M. Acceleration of traffic simulation on reconfigurable hardware.; 2004. Proceedings of MAPLD04.  

2003


Barrett CL, Mortveit HS, Reidys CM. ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence. Applied Mathematics and Computation. 2003;134:153–171.  

2002


Barrett C, Eubank S, Marathe M, Mortveit H, Reidys C. Science and engineering of large scale socio-technical simulations. In: Wie CR eds, ed. San Antonio, Texas; 2002. Proceedings of 1st International Conference on Grand Challenges in Simulations held as a part of Wes.  http://www.thesimguy.com/GC/papers/WMC02/G083_MARATHE.pdf

Barrett CL, Mortveit HS, Reidys C. Sequential dynamical systems. Tokyo, Japan; 2002:167–169. In Artificial Life and Robotics, Proceedings of the Sixth International Symposium on Artificial Life 6.  

Mortveit HS, Reidys CM. Towards a calculus of biological networks. Z Phys. Chm. 2002;216:235–27.  http://www.oldenbourg-link.com/doi/abs/10.1524/zpch.2002.216.2.235?cookieSet=1

2001


Barrett CL, Mortveit HS, Reidys CM. Factorization of simulations.; 2001:245–252. In Applied Simulation and Modeling, Proceedings of the IASTED International Conference.  

Barrett CL, Mortveit HS, Reidys CM. Elements of a theory of simulation III: equivalence of SDS. Applied Mathematics and Computation. 2001;122:325–340.  http://www.sciencedirect.com/science/article/B6TY8-43G359R-4/2/80ce380cea9a4d3327978424ce7e85f3

Mortveit HS, Reidys CM. Discrete, sequential dynamical systems. Discrete Math.. 2001;226:281–295.  http://ndssl.vbi.vt.edu/Publications/DM-SDS-226-2001.pdf

2000


Barrett C, Eubank S, Marathe M, Mortveit H, Reidys C. Science and engineering of large scale socio-technical simulations. In: Vakilzadian H, Wie CR, Wie CR eds, eds. San Diego, California; 2000. Proceedings of 2000 ICSEE Western MultiConference on Computer Simulation (ICSEE/WMC'2000).  http://ndssl.vbi.vt.edu/Publications/ScienceAndEngineering_Barrett.pdf

Barrett C, Mortveit H, Reidys C. Elements of a theory of simulation II: sequential dynamical systems. Appl. Math. Comput.. 2000;107:121–136.  http://ndssl.vbi.vt.edu/Publications/SDSIIBarrett.pdf

Barrett CL, Bush BW, Kopp S, Mortveit HS, Reidys CM. Sequential Dynamical Systems and Applications to Simulations. IEEE Computer Society; 2000. Proceedings of the 33rd Annual Simulation Symposium.  

1999


Kopp S, Mortveit HS, Reidys CM. Sequential dynamical systems and simulation. Orlando, Florida; 1999:1445. In Proceedings to the Genetic and Evolutionary Computation Conference 2.  

Kopp S, Mortveit HS, Reidys CM. Orlando, Florida; 1999:1445.  

1998


Barrett CL, Mortveit HS, Reidys CM. On theoretical issues of computer simulations-sequential dynamical systems. Orlando, Florida; 1998:141–147. Proceedings of World Multiconference on SYSTEMICS, CYBERNETICS and INFORMATICS-SCI 98 4.